pode ser aplicada às noções fundamentais da lógica:
- proposição
- verdade
- valor de verdade
- conectivo
- quantificador
- regra de inferência
- prova
-modelo
- contradição
- identidade
Geralmente os livros de lógica não apresentam respostas filosóficas satisfatórias a essas perguntas, apenas apresentam formalismos cuja qualidade matemática é duvidosa.
Nosso evento
O que é isto? Eis a questão!
Rio de Janeiro, de 27 a 31 de julho de 2026
https://sites.google.com/view/what-is-it/é a oportunidade de tornar a lógica mais filosófica.
Propostas de palestras sobre todos os aspectos da lógica são bem-vindas
JYB