Produção Nacional
IMPLICAÇÃO LÓGICA E MATERIAL: ESCLARECENDO PEQUENAS CONFUSÕES COMUNS
2013; Editora da Pontifícia Universidade Católica do Rio Grande do Sul (EDIPUCRS); Volume: 6; Issue: 2 Linguagem: Português
ISSN
1983-4012
Autores Tópico(s)Logic, programming, and type systems
ResumoO objetivo deste artigo e esclarecer a interpretacao vero-funcional do conectivo logico da implicacao (material). A importância de tal esclarecimento e que ele permite evitar os supostos paradoxos da implicacao material apresentados inicialmente por C. I. Lewis (1918). Sustento que uma compreensao adequada da historia e dos propositos da logica e suficiente para desfaze-los . A minha defesa baseia-se em uma exposicao do composicionalismo proposicional. Para contraponto, apresento tambem a alternativa de Stalnaker (1968) que procura explicitar o conceito de condicionalidade implicito nas assercoes condicionais. Para reforcar o objetivo exponho os doze diferentes significados do termo ‘implicacao’ apresentados por Corcoran (1993) a fim de mostrar que uma compreensao adequada deles nos permite evitar ambiguidades e confusoes. Por fim, espero mostrar que apesar das alternativas possiveis, o composicionalismo ainda e a melhor explicacao a verofuncionalidade dos conectivos.
Referência(s)