Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
2023-05-19
Título: Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
Autor: Edvaldo Soares
URL: https://ebooks.marilia.unesp.br/index.php/lab_editorial/catalog/book/412
DOI: https://doi.org/10.36311/2023.978-65-5954-362-5
Resumo: 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. Saiba mais sobre Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
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. Saiba mais sobre Lógica formal: da lógica aristotélica ao cálculo sentencial bivalente
