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

By: Contributor(s): Material type: ArticlePublication details: Marilia Editora Oficina Universitária 2023Description: 1 electronic resource (312 p.)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 78-65-5954-362-5
  • 978-65-5954-362-5
Subject(s): Online resources: 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.
No physical items for this record

Open Access Unrestricted online access star

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.

Creative Commons Licence cc by-nc-nd cc https://creativecommons.org/licenses/by-nc-nd/4.0/

por

Freely available e-book