A implicação material e as sentenças condicionais

Abstract

O objetivo dessa monografia é discutir algumas relações entre a lógica e a linguagem ordinária. No capítulo 1, apresentamos a linguagem da Lógica Proposicional, suas propriedades, seus conectivos e mostramos pelo menos uma vantagem que a formalização pode ter em relação ao uso da linguagem ordinária. No capítulo 2, discutimos o artigo “Theory of Conditionals” (1968) de Stalnaker, onde ele propõe o conectivo condicional (>) que tenta captar a noção de condicionalidade presente na nossa linguagem ordinária,expressa nas sentenças condicionais. Por fim, abordamos, numa breve discussão, os casos de sentenças condicionais contrafatuais, aquelas que fazem afirmações sobre situações contrafatuais.