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...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Online |
| Jezik: | portugalski |
| Izdano: |
Editora Oficina Universitária
2024
|
| Teme: | |
| Online pristup: | https://directory.doabooks.org/handle/20.500.12854/143121 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
| _version_ | 1869519827608010752 |
|---|---|
| author | Soares, Edvaldo |
| author_browse | Soares, Edvaldo |
| author_facet | Soares, Edvaldo |
| author_sort | Soares, Edvaldo |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-143121 |
| institution | Directory of Open Access Books |
| language | por |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | Editora Oficina Universitária |
| publisherStr | Editora Oficina Universitária |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1431212024-08-22T17:12:59Z Lógica formal Soares, Edvaldo Lógica, Silogismo, Lógica simbólica e matemática Silogismo 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. Published 2024-08-22T17:12:48Z 2024-08-22T17:12:48Z 2023-05-19 book 78-65-5954-362-5 https://directory.doabooks.org/handle/20.500.12854/143121 por image/png application/pdf Attribution-NonCommercial-NoDerivatives 4.0 International Attribution-NonCommercial-NoDerivatives 4.0 International https://ebooks.marilia.unesp.br/index.php/lab_editorial/catalog/book/412 https://ebooks.marilia.unesp.br/index.php/lab_editorial/catalog/book/412 Editora Oficina Universitária 10.36311/2023.978-65-5954-362-5 10.36311/2023.978-65-5954-362-5 87d7c211-2f2b-494c-9f45-2d98c1bb6b53 78-65-5954-362-5 312 Marilia open access |
| spellingShingle | Lógica, Silogismo, Lógica simbólica e matemática Silogismo Soares, Edvaldo Lógica formal |
| title | Lógica formal |
| title_full | Lógica formal |
| title_fullStr | Lógica formal |
| title_full_unstemmed | Lógica formal |
| title_short | Lógica formal |
| title_sort | logica formal |
| topic | Lógica, Silogismo, Lógica simbólica e matemática Silogismo |
| topic_facet | Lógica, Silogismo, Lógica simbólica e matemática Silogismo |
| url | https://directory.doabooks.org/handle/20.500.12854/143121 |
| work_keys_str_mv | AT soaresedvaldo logicaformal |