The truths of logic and logical truth
2008; UNIVERSIDADE ESTADUAL DE CAMPINAS; Volume: 31; Issue: 1 Linguagem: Inglês
ISSN
2317-630X
Autores Tópico(s)Linguistics and Discourse Analysis
ResumoA principal aim of Chateaubriand’s Logical Forms II: Logic, Language, and Knowledge is to clarify and defend what Chateaubriand describes as the ontological conception of logic against the standard model-theoretic or “linguistic” view. Both sides to the debate accept that if logic is a science then there must be logically necessary facts that this science discovers, Chateaubriand arguing that because logic is a science, there must be logically necessary facts, and his opponent that because there are no logically necessary facts, logic cannot be a science. I argue that we can go between the horns of this dilemma by showing that, although logic is a science, it does not follow, as Chateaubriand assumes, that there are logically necessary facts. There are truths of (the science of) logic; there are no “logical truths”. Resumo: Um dos objetivos principais de Logical Forms II: Logic, Language and Knowledge de Chateaubriand e clarificar e defender o que ele descreve como a concepcao ontologica da logica, contra a visao predominante, modelo-teorica ou “linguistica”. Os dois lados do debate aceitam que, se a logica e uma ciencia, entao deve haver fatos logicamente necessarios que esta ciencia descobre; Chateaubriand argumenta que, porque a logica e ciencia, deve haver fatos necessarios que ela descobre, enquanto seus oponentes argumentam que, porque nao ha fatos logicamente necessarios, a logica nao pode ser uma ciencia. Eu argumento que podemos tomar uma via intermediaria entre estes dois lados do dilema mostrando que, ainda que a logica seja uma ciencia, nao se segue, como Chateaubriand assume, que existem fatos logicamente necessarios. Existem verdades da (ciencia da) logica; nao existem “verdades logicas”.Palavras chave: Chateaubriand. Frege. Permissao para inferencia. Verdade logica. Intuicao matematica. Peirce.
Referência(s)