Material implication and conditional statements

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.The aim of this monography is to discuss some of the connections between logic and language. In chapter 1, we present the language of Propositional Logic, its properties, connectives and show at least one advantage of formalization over ordinary language. In chapter 2, we discuss the paper “Theory of Conditionals" by Robert Stalnaker. In this paper he proposes a new connective, the conditional corner (>) which tries to describe the concept of conditionality, present in the ordinary language, with the expression “if-then”. At last, we present a short discussion on the counterfactual conditional, the ones that makeassertions about non-actual situations