Resumo. Lógica clássica apresenta sistemas bivalentes de proposições, predicados, conectivos e quantificadores. A interpretação é controversa porque envolve o que se perde quando se exige bivalência e explosão.
O acervo integral, as notas, os links relacionados e o acompanhamento de estudo são disponibilizados na biblioteca autenticada.
Entrar com Google para continuarConceitos relacionados
bivalência · predicado · quantificador · prova · bivalência · predicado · quantificador · prova
Referências e fontes
- Stanford Encyclopedia of Philosophy. Entrada enciclopédica: Truth.
- Stanford Encyclopedia of Philosophy. Entrada enciclopédica: Logic Classical.