Lógica formal
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 pla...
Saved in:
| Hovedforfatter: | |
|---|---|
| Format: | Online |
| Sprog: | portugisisk |
| Udgivet: |
Editora Oficina Universitária
2024
|
| Fag: | |
| Online adgang: | https://directory.doabooks.org/handle/20.500.12854/143121 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
| 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 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. |
|---|