Open main menu

De acordo com a semântica clássica

  • A interpretação substitucional vs a interpretação objetual

    Ainda: quantificações ociosas e renomeamento de variáveis. Ilustração detalhada da análise semântica recursiva de uma sentença contendo quantificadores.

    Como avaliar a adequação de uma tradução da linguagem natural para a linguagem formal.

  • A dualidade entre os quantificadores universal e existencial

  • A interação entre os quantificadores e os conectivos de conjunção e de disjunção

  • Aninhamento de quantificadores

  • Quantificadores relativizados

    [VIDEO]

  • Quantificadores de contagem

    [VIDEO]

Para reflexão

  • Além da dualidade, você seria capaz de verificar semanticamente, de maneira detalhada, todas as conexões características do Quadrado das Oposições?
  • Se a linguagem de primeira ordem possuísse somente quantificações relativizadas, como você faria para definir a partir destas últimas as quantificações irrestritas da versão homogênea da linguagem de primeira ordem?

Veja também

Links externos

You need to log in to edit this page.

Log in
Sign up