Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
Keywords:
Lógica, Silogismo, Lógica simbólica e matemáticaSynopsis
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 formalmnte 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.
Edvaldo Soares
Professor de Neurociências e Bioestatística do Departamento de Educação e Desenvolvimento Humano da Universidade Estadual Paulista – UNESP – Campus de Marília SP.
Selo Editorial:
Base de Dados:
Downloads
![](https://ebooks.marilia.unesp.br/public/presses/1/submission_412_491_coverImage_pt_BR_t.png)
Published
License
![Creative Commons License](http://i.creativecommons.org/l/by-nc-nd/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.