A função de verdade dita condicional ou implicação na lógica proposicional simboliza-se S →P. Por exemplo, «Se chover»(proposição S) «então levarei guarda-chuva» (proposição P).

Escreve um manual do 11º ano de filosofia da Santilhana:

«A implicação material é uma operação intelectual que relaciona condicionalmente os valores lógicos de duas proposições simples.

«Por exemplo: P→Q       «Se tirar a carta, então vou comprar carro»

«Qual é a regra da implicação?

«Regra da implicação: A implicação só é falsa se o antecedente for verdadeiro e o consequente falso. Nos outros casos é sempre verdadeira».

«Qual é a tabela de verdade da implicação?

«A tabela de verdade da implicação é a seguinte:

P       Q            P→Q

V        V              V

V         F             F

F         V            V

F          F            V

(Amândio Fontoura, Mafalda Afonso e Maria de Fátima Vasconcelos, Essencial Filosofia 11º, Santillana, pág 73).

É fácil verificar a falsidade desta tabela de verdade aplicando-a a exemplos concretos (lógica material).

Consideremos a proposição complexa «Se há pegadas de dinossauro na Serra de Aire e Candeeiros (P),  então a Lua completa em 27,3 dias a sua órbita em torno da Terra (Q)».

Ambas as proposições simples são verdadeiras e, segundo a tabela de «verdade», a implicação será verdadeira. Mas não é, porque a relação entre pegadas de dinossauro na serra X e mês sideral da Lua é meramente acidental,  não existe sequer: quer haja ou não pegadas de dinossauro a Lua leva sempre 27,3 dias na sua órbita em torno da Terra.

Consideremos as proposições simples "Os átomos existem" (P) e "As moléculas existem" (Q). Construamos  a proposição complexa «Se os átomos não existem ( ¬ P) então (→ )as moléculas existem (Q)». Segundo a tabela de verdade acima, sendo    ¬ P falsa (porque os átomos existem) e Q verdadeira (as moléculas existem) a implicação será verdadeira. Ora não é isso que sucede: não havendo átomos implica não haver moléculas porque estas são agregados de átomos, logo a proposição «Se os átomos não existem (¬ P) então as moléculas existem (Q)» é uma implicação falsa.

Não basta considerar o valor de verdade de cada uma das proposições simples é necessário centrar-se no tipo de implicação: se é necessária, fundada na causalidade ou no sincronismo, ou contingente, fundada na ficção, no imaginário... Mas sobre isto a lógica proposicional nada diz. Não está bem construída, não foi bem pensada.

O que fazem os arautos da lógica proposicional em Portugal na universidade e no ensino secundário- João Branquinho, Ricardo Santos, Guido Imaguirre, João Sàágua, Domingos Faria, Aires Almeida, Rolando Almeida, Luís Veríssimo, Pedro Galvão e outros - senão ensinar estas erróneas teses e asim contribuir para estupidificar os alunos de filosofia?

Tenham a coragem de fazer autocrítica e condenar a lógica proposicional! Os vossos mestrados e doutoramentos não impedem que lavreis no erro. Não servem para nada, senão para transmitir conhecimentos fragmentados, mistos de verdade e erro. Extingam-se as cátedras de filosofia na universidade, ocupadas por incompetentes que se cooptam entre si, acabe-se com o autoritarismo sectário  e pseudo-científico da filosofia analítica e outras: as cátedras são tão prejudiciais ao saber quanto o Tribunal da Santa Inquisição o foi para a descoberta de Deus e o livre pensamento. 

www.filosofar.blogs.sapo.pt

f.limpo.queiroz@sapo.pt

© (Direitos de autor para Francisco Limpo de Faria Queiroz)