Lógica e Completude

Arno A. Viero
2010 Princípios  
Quine, em seu livro Philosophy of Logic, identifica lógica com lógica de primeira ordem e defende a concepçáo segundo a qual a completude é uma propriedade necessária dos sistemas lógicos. O objetivo deste trabalho é discutir a argumentaçáo de Quine e mostrar que suas idéias a respeito da natureza da lógica apresentam diversos problemas tanto conceituais, como técnicos.
doaj:0f8d718dfabc4f90b3bdd1a1e7c5ed8c fatcat:dgvvhr64avcp7hmw2f5oocst2u