Questão da Última Prova (28/11)

 A última prova do curso terá uma única questão, puramente conceitual e teórica, a saber:

 

Explique a definição de verdade para linguagens de primeira ordem, e como ela se aplica às noções de verdade lógica e consequência lógica.

 

(Basicamente, você deve explicar em detalhes (e com exemplos) as definições 10.1 e 10.2 do Cap. 10, e indicar como elas ajudam a definir verdade lógica e consequência lógica.)

Comentários

Postar um comentário

Postagens mais visitadas deste blog

Boas vindas ao curso de Introdução à Lógica!

Imagem
         Boas vindas ao curso de Introdução à Lógica!     O propósito deste curso é introduzir uma série de noções e de técnicas que constituem a base daquilo que é classicamente chamado "lógica" e que se mostrou ser um instrumento indispensável à filosofia. Esta área de estudo teve o seu início no trabalho de Aristóteles, que foi o primeiro grande filósofo a se preocupar em listar e sistematizar as chamadas formas válidas de raciocínio (ou argumentação), isto é, formas de raciocinar que, partindo de premissas verdadeiras, nos levariam ao conhecimento de novas verdades (as conclusões dos raciocínios válidos), por oposição às formas inválidas de raciocínio (que geravam sofismas e a ilusão de conhecimento).  (Aristóteles, 384-322 AC) Durante praticamente dois milênios aquilo que se entendia por lógica no trabalho de grandes filósofos (como Descartes, Hume e Kant) era a formulação aristotélica da mesma. Até que no séc. XIX a disciplina recebe...
Leia mais