Lógica formal : : da lógica aristotélica ao cálculo sentencial bivalente / / Edvaldo Soares.
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á seguid...
Saved in:
| VerfasserIn: | |
|---|---|
| Place / Publishing House: | Marília, São Paulo, Brazil : : Editora Oficina Universitária,, 2023. ©2023 |
| Year of Publication: | 2023 |
| Language: | Portuguese |
| Physical Description: | 1 online resource (312 pages) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Edvaldo Soares. |