Lógica condicional

The main goal of this work is to clarify the central concepts involved in the study of formalization of conditional sentences. More specifically, it has been done a comparative analysis of the two greater and more traditional proposals of conditional formalization (Lewis 1973c e Adams 1975). These proposals were responsible for the creation of a way of analysis that still present in the current debate about this subject. This work pursues to explain the principal assumptions held within these proposals. According to certain disambiguation techniques from Bennett (2003) and Lycan (2005), this work tries to explicit how these assumptions connect to the aims sought by the initial approaches. The following results show that there is a not declared presumption, the definition of the object of study of these theories, i.e., the definition of conditional sentence. This work argues that despite of not explicitly declared the definition of the study object has a central role in the intelligibility of the debate itself

estudo da formalização das sentenças condicionais. Mais especificamente, empreendemos uma análise comparativa de duas das principais e mais tradicionais propostas de formalização dos condicionais (Lewis (1973c) e Adams (1975)), propostas responsáveis pela inauguração de vertentes de análise que ainda se fazem presentes no debate contemporâneo sobre o tema. Visamos, fundamentalmente, o esclarecimento das principais assunções presentes nessas propostas. Com base em certas técnicas de desambiguação presentes em Bennett (2003) e em Lycan (2005), buscamos explicitar como essas assunções articulam-se, efetivamente, aos objetivos almejados pelas abordagens inaugurais. Os resultados que se seguem mostram que existe um pressuposto, não explicitamente declarado, tácito, a definição do objeto de estudo dessas teorias, isto é, a definição de sentença condicional. Argumentamos que, apesar de não claramente declarada, a definição do objeto de estudo desempenha um papel fundamental na própria inteligibilidade do debate