Atividades do seminário de lógica (15/03/2018)

Discussão do capítulo 1 (Argument and modality) do livro Modal Logics and Philosophy do Girle:

  • Motivação para estender a linguagem clássica
  • Não-verifuncionalidade dos operadores modais
  • Introdução dos operadores modais \square e \diamondsuit (sem interpretação)
  • Introdução da interpretação alética: possibilidade e necessidade
  • Relação de definibilidade entre \square e \diamondsuit
  • Introdução de outros operadores definíveis por meio de \square e \diamondsuit: contingente, analítico, consistente (compatível), inconsistente (incompatível)

Dia 29/03 começaremos o capítulo 2.