if 'the Snark was a Boojum' is a sentence of the object language under consideration, we must define 'true'
'The Snark was a Boojum' is true if and only if the Snark was a Boojum.
But what does this tell us? If it tells us anything (and a strong case can be made out for the view that it doesn't), what it dos is to convey the information that the sentences on the left and right of the 'if and only if' are somehow equivalent: that, e.g. anyone who accepts the one is committed to accepting the other. This may be an important fact, if it is a fact, about the usage of 'true', but it is hardly the sort of fact that the correspondence theorist thought that he was pointing out.
Putnam – 'Do true assertions correspond to reality?' in Mind, Language and Reality – Philosophical Papers vol. 3. – 1975 (1960), p. 71.
we have been mislead into thinking that Tarski's semantics is semantics by the usual inductive definitions of satisfaction and truth in an interpretation. There it seems that we have something like the world, and denotation, and that we are establishing a relation between sentences and the world. It appears however that this is only a mirage, and the truth is part of the morphology of language.
Tarski's approach through (T) undermines his work on truth both as an attempt to capture the classical conception of truth and as an attempt to formulate a semantic account of truth.
Chateaubriand – Logical Forms, 2001, pp. 230, 214.
The reason for my uneasiness concerning the notion of truth was, of course, that this notion had been for some time attacked by some philosophers, and with good arguments. It was not so much the antinomy of liar which frightened me, but the difficult of explaining the correspondence theory: what could the correspondence of a statement to the facts be?
Tarski's theory, as all you know, and he stressed first, is a rehabilitation and an elaboration of the classical theory that truth is correspondence to the facts.
Popper – Objective Knowledge, 1972 (196?), pp. 320, 323.
convention T is expressed in terms of the object language L and the metalanguage ML, but it states something about the relations between language L and the (rest of) the world. This hold even of the example (5) [(5) 'snow is white' is true if and only if snow is white], which is based upon contingent facts about the use of the terms 'snow' and 'white' in English. It is a tautology to state that 'snow' means (the same as) 'snow', but it is a fact of English that 'snow' means snow.
Niiniluoto – Tarskian Truth as Correspondence – Replies to some objections, 1999, p. 97.
Sobre a importância da lógica na filosofia
Abílio Rodrigues
Quantas vezes nós professores, ao coordenar um debate em sala de aula sobre um tema qualquer (filosófico ou não), exigimos dos alunos justificativas bem fundamentadas para suas afirmações? Quantas vezes já combatemos a mera expressão de opiniões baseadas em impressões pessoais? Quando fazemos isso estamos ensinando os alunos a apresentar argumentos para defender suas posições. A lógica é parte essencial de uma teoria da argumentação que nos fornece ferramentas indispensáveis precisamente para essas tarefas: construir e analisar argumentos.
De certa forma é surpreendente que a importância e o papel da lógica na filosofia suscitem controvérsias. Afinal, desde Aristóteles, que sistematizou pela primeira vez uma teoria da inferência válida – que é o objeto de estudo da lógica – o estudo da inferência válida sempre esteve lado a lado com a reflexão filosófica. A lógica, assim como a ética e a epistemologia, sempre foi uma disciplina filosófica por excelência. E isso por uma razão muito simples, que tem a ver com o caráter crítico da filosofia. Afinal, se vamos ser críticos, isto é, questionar idéias e valores, discutir problemas e teorias propostas para resolver tais problemas, precisamos saber construir argumentos corretamente e analisar os argumentos que nos são apresentados.
Lógica e lógicas
A posição central da lógica se reflete nas grades dos cursos de graduação em filosofia que, via de regra, possuem unidades curriculares de lógica nos primeiros períodos. Por outro lado, não é incomum encontrar nos alunos de filosofia um certo estranhamento em relação à lógica, como se a lógica fosse um 'corpo estranho' em meio às outras disciplinas filosóficas. Para alguns alunos parece ser uma surpresa, em um curso de filosofia, encontrar uma disciplina que à primeira vista parece ter um caráter dogmático, uma disciplina cujos resultados são 'exatos' e, assim como as verdades da aritmética que aprendemos no ensino fundamental, não podem ser colocados em dúvida. Quem iria colocar em questão que dois mais dois são quatro? Da mesma forma, parece que os princípios da lógica, como por exemplo o princípio do terceiro excluído e o da não-contradição[1], muitas vezes apresentados como 'leis fundamentais do pensamento', são também verdades que não podem ser rejeitadas em nenhuma hipótese. O resultado disso é uma visão segundo a qual a lógica se baseia em pressupostos que não podem ser questionados e, portanto, não condiz com a postura crítica que é essencial ao estudo da filosofia.
O problema é que a visão acima descrita é equivocada e resulta de um contato superficial com lógica. Para simplesmente constatar que a lógica não é uma disciplina baseada em pressupostos que não podem ser questionados basta mencionar que na verdade não temos uma lógica, mas sim várias. A lógica clássica fornece um tratamento da noção de inferência válida que, embora seja uma ferramenta poderosa, não é isento de controvérsias. E essas controvérsias motivaram a construção de lógicas que são diferentes da lógica clássica, grosso modo, lógicas que possuem diferentes critérios para determinar se uma dada proposição se segue de um conjunto de premissas.[2] A título de exemplo, podemos mencionar, dentre várias outras, a lógica intuicionista, que rejeita o princípio do terceiro excluído, e a lógica paraconsistente, que aceita a presença de contradições – justamente as 'leis fundamentais do pensamento' acima mencionadas.[3] Há também lógicas que ampliam a lógica clássica, como por exemplo as lógicas modais que tratam das noções de necessidade e possibilidade. Em suma: a lógica não é de modo algum uma disciplina baseada em princípios inquestionáveis e há vários problemas filosóficos envolvidos em cada um desses diferentes tratamentos da noção de conseqüência lógica.
A lógica e a atividade filosófica
Uma boa parte da filosofia se dedica à tentativa de resolver problemas. Exemplos de problemas filosóficos são: que razões temos para acreditar que Deus existe? Os animais, assim como os seres humanos, têm direitos? Qual é o melhor critério para avaliar as ações humanas? O que distingue o conhecimento genuíno da crença e da mera opinião? Os filósofos, ao apresentar respostas a essas perguntas, elaboram teorias. É por isso que estudamos a ética de Aristóteles, a teoria do conhecimento de Platão, a ética kantiana etc. Teorias são compostas por proposições e a tarefa dos filósofos ao defender suas teorias é justificar a verdade de tais proposições.[4]
O que caracteriza a discussão acerca de problemas filosóficos é a exigência de justificação racional – note-se que isso é exatamente o que marca o surgimento da filosofia na Grécia antiga, quando as explicações da realidade baseadas em mitos foram substituídas pelo discurso filosófico-científico. Quando a filosofia discute se o aborto, o uso de células-tronco ou a eutanásia devem ou não ser condenados a questão não é se uma determinada religião ou sociedade os condena ou não. O que interessa são as justificativas racionais que temos para condená-los ou defendê-los. E tais justificativas são apresentadas na forma de argumentos.
Nós que trabalhamos com a filosofia sabemos perfeitamente que a filosofia não é uma ciência empírica, portanto não pode justificar suas proposições com dados empíricos, nem é uma ciência formal como a matemática cujas proposições são demonstradas. Considere-se, por exemplo, a proposição 'o racismo é condenável' que, em princípio, todos nós estamos prontos a aceitar como verdadeira. Essa proposição não pode ser justificada por meio de uma demonstração nem baseado em fatos empíricos – na verdade, a história nos mostra inúmeras circunstâncias em que o racismo não foi condenado, o que evidentemente não torna o racismo correto. O único modo pelo qual podemos justificar a verdade da proposição 'o racismo é condenável' é por meio de argumentos. E isso é o caso para a maioria (talvez a totalidade) das proposições filosóficas.
Sobre a lógica no ensino médio
Para concluir, gostaria de fazer alguns breves comentários sobre o ensino da lógica no ensino médio. Em primeiro lugar, deve ser evitado o uso da lógica de Aristóteles. A lógica aristotélica trata apenas de um tipo especial de argumento, os formados pelas chamadas proposições categóricas, deixando de lado, por exemplo, argumentos tratados pela lógica proposicional (como A ou B, não B; logo A) e argumentos que envolvam relações (como x é maior que y, x é pai de y etc.). Além disso, a lógica moderna possui ferramentas muito mais simples e eficazes para estabelecer se um dado argumento é válido. Por fim, e mais importante, a lógica que é utilizada hoje na teoria da argumentação, na matemática, computação etc. não é a lógica aristotélica. O interesse da lógica aristotélica hoje é puramente histórico.
Outro problema enfrentado nas aulas de lógica diz respeito aos exemplos utilizados. É natural que os alunos não tenham muito interesse na análise de argumentos como todo homem é mortal e Sócrates é homem; logo, Sócrates é mortal. O uso desses exemplos, que sem dúvida têm um caráter didático, não deixa claro para os alunos que a lógica, como parte de uma teoria da argumentação, fornece ferramentas que nos ajudam a tratar problemas filosóficos. O professor deve, assim que possível, usar argumentos de conteúdo filosófico. Quando se estuda lógica sob essa perspectiva fica clara a sua importância para a filosofia. Um dos méritos do livro Lógica: um curso introdutório de Newton-Smith (editora Gradiva, Lisboa) é justamente utilizar argumentos com conteúdo filosófico. Mais exercícios desse tipo podem ser encontrados também na seção de lógica do site Crítica na Rede (http://criticanarede.com) e no site do manual A Arte de Pensar (http://aartedepensar.com), utilizado para lecionar filosofia em Portugal. Nos sites http://filosofiaetc.blogspot.com e http://sites.google.com/site/logicaetc (em permanente construção) há também links e material disponível, inclusive exercícios.
* * *
[1] Dada uma proposição p, segundo o princípio do terceiro excluído, ou p verdadeira ou a negação de p é verdadeira; segundo o princípio da não-contradição, p e a negação de p não podem ser simultaneamente verdadeiras.
[2] Uma discussão filosófica da noção de conseqüência lógica pode ser encontrada no cap. 2 do livro Thinking About Logic de Stephen Read, cuja tradução feita por alunos da graduação em filosofia da UFMG está no link http://filosofiaetc.sites.uol.com.br/txt_read_.htm.
[3] Sobre a lógica paraconsistente, uma boa apresentação é o artigo do professor Décio Krause disponível no site Crítica na Rede (http://criticanarede.com/html/log_paraconsistente.html). Sobre a lógica intuicionista, no link http://sites.google.com/site/logicaetc/Home/intuicionismo.pdf está o preprint de um texto introdutório e bastante acessível que será possivelmente publicado na revista Filosofia, Ciência e Vida. Sobre lógicas não-clássicas em geral e extensões da lógica clássica, há vários verbetes na Stanford Encyclopedia of Philosophy (www.plato.stanford.edu).
[4] Encontramos importantes reflexões e dicas sobre o ensino da lógica e da filosofia nos livros do professor Desidério Murcho (UFOP), A Natureza da Filosofia e o seu Ensino (Plátano, 2002) e O Lugar da Lógica na Filosofia (Plátano, 2003).
Olá para todos.
No link
http://sites.google.com/site/filosofiaetc/Home/port_royal.pdf
está um pequeno fragmento da Lógica de Port-Royal, a que Tugendhat se refere como exemplo da concepção psicológica da lógica. Abaixo,
http://sites.google.com/site/filosofiaetc/Home/maritain.pdf
também a título de exemplo, algumas páginas da Lógica Menor de Jacques Maritain. Apesar de ser um livro escrito no século XX, é um bom exemplo da lógica como 'teoria do pensamento correto' que se divide em lógica do conceito, do juízo e da inferência (raciocínio).
