Lógica formal da lógica aristotélica ao cálculo sentencial bivalente

• Main Author: Soares, Edvaldo (auth)
• Format: Electronic Book Chapter
• Language: Portuguese
• Published: Marília, São Paulo, Brazil. Editora Oficina Universitária 2023
• Subjects: P; Lógica, Silogismo, Lógica simbólica e matemática.
• Online Access: DOAB: download the publication; DOAB: description of the publication

The aim of the work is to address the central themes of Classical Logic, from Aristotle's syllogistic to the calculation of first-order predicates. Emphasis will be placed on the construction of formally valid structures and on the science of validating arguments. For that, the following plan will be followed: In the first one, we present some preliminary concepts (historical and philosophical) in relation to logic. In the second part we will approach the traditional logical logic, with special emphasis on the construction of syllogisms (Categorical and Hypothetical) and, in the third, the foundations of propositional knowledge and knowledge of first order predicates. We warn that this is a work for the uninitiated and, as such, at the risk of making some inaccuracies, the least technical language possible will be used.

O objetivo da obra é abordar os temas centrais da Lógica Clássica, desde a silogística de Aristóteles até o cálculo dos predicados de primeira ordem. A ênfase será dada na construção de estruturas formalmente válidas e, na determinação da validade de argumentos. Para tanto será seguido o seguinte plano: Na primeira apresentamos alguns conceitos preliminares (históricos e filosóficos) em relação à lógica. Na segunda parte abordaremos a chamada lógica tradicional, com especial destaque à construção de silogismos (Categóricos e Hipotéticos) e, na terceira, os fundamentos do cálculo proposicional e do cálculo de predicados de primeira ordem. Advertimos que esta é uma obra para não iniciados e, como tal, com o risco de cometer algumas imprecisões, se utilizará de uma linguagem o menos técnica possível.