THE TRUTHS OF LOGIC AND LOGICAL TRUTH

• Autor(a) principal: Macbeth, Danielle
• Data de Publicação: 2015
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Manuscrito (Online)
• Texto Completo: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8642073
• topic: Chateaubriand. Frege. Inference license. Logical truth. Mathematical intuition. Peirce.

A 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 é clarificar e defender o que ele descreve como a concepção ontológica da lógica, contra a visão predominante, modelo-teórica ou “lingüística”. Os dois lados do debate aceitam que, se a lógica é uma ciência, então deve haver fatos logicamente necessários que esta ciência descobre; Chateaubriand argumenta que, porque a lógica é ciência, deve haver fatos necessários que ela descobre, enquanto seus oponentes argumentam que, porque não há fatos logicamente necessários, a lógica não pode ser uma ciência. Eu argumento que podemos tomar uma via intermediária entre estes dois lados do dilema mostrando que, ainda que a lógica seja uma ciência, não se segue, como Chateaubriand assume, que existem fatos logicamente necessários. Existem verdades da (ciência da) lógica; não existem “verdades lógicas”.Palavras chave: Chateaubriand. Frege. Permissão para inferência. Verdade lógica. Intuição matemática. Peirce.