Dissertação
Ver fonte original- Autor
- ANDRE RODRIGO FERREIRA COGGIOLA
- Orientador(a)
- RODRIGO BACELLAR DA COSTA E SILVA
- Universidade
- UNIVERSIDADE DE SÃO PAULO — USP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2021
2021ANDRE RODRIGO FERREIRA COGGIOLA. TABLEAUX DEDUTIVOS. 2021. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE DE SÃO PAULO, SP. Orientador(a): RODRIGO BACELLAR DA COSTA E SILVA.2
O PRESENTE ESTUDO TEM POR OBJETIVO A FORMALIZAÇÃO DE UM CÁLCULO DEDUTIVO PARA A LÓGICA CLÁSSICA BASEADO EM TABLEAUX. SÃO APRESENTADOS OS CÁLCULOS DT, PARA A LÓGICA PROPOSICIONAL, E QDT, PARA A LÓGICA DE PREDICADOS. UMA POSSÍVEL FORMALIZAÇÃO DE UM CÁLCULO INTUICIONISTA NOS MESMOS MOLDES É CONJECTURADA. ESSES CÁLCULOS DERIVAM DE UMA REFORMULAÇÃO DO CÁLCULO DE DADOS DE RODERICK BATCHELOR, QUE É BREVEMENTE APRESENTADO NO INÍCIO.