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

Autores

Palavras-chave:

Lógica, Silogismo, Lógica simbólica e matemática

Sinopse

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:

Logo_e-book_-_Oficina1.jpg      Logo_e-book_-_Cultura_academica1.jpg

Base de Dados:

 

Downloads

Não há dados estatísticos.

Publicado

May 19, 2023

Licença

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Detalhes sobre o formato disponível para publicação: E-book

E-book

Co-publisher's ISBN-13 (24)

978-65-5954-362-5

Date of first publication (11)

2023

Detalhes sobre o formato disponível para publicação: Impresso

Impresso

Co-publisher's ISBN-13 (24)

97865-5954-361-8

Date of first publication (11)

2023