Lógica formal
The aim of the work is to address the central themes of Classical Logic, from Aristotle's syllogistic to the calculation of first-order predicates. Emphasis will be placed on the construction of formally valid structures and on the science of validating arguments. For that, the following plan will b...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Online |
| Język: | portugalski |
| Wydane: |
Editora Oficina Universitária
2023
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://directory.doabooks.org/handle/20.500.12854/101123.3 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| _version_ | 1869517991231619072 |
|---|---|
| author | Soares, Edvaldo |
| author_browse | Soares, Edvaldo |
| author_facet | Soares, Edvaldo |
| author_sort | Soares, Edvaldo |
| collection | Directory of Open Access Books |
| description | The aim of the work is to address the central themes of Classical Logic, from Aristotle's syllogistic to the calculation of first-order predicates. Emphasis will be placed on the construction of formally valid structures and on the science of validating arguments. For that, the following plan will be followed: In the first one, we present some preliminary concepts (historical and philosophical) in relation to logic. In the second part we will approach the traditional logical logic, with special emphasis on the construction of syllogisms (Categorical and Hypothetical) and, in the third, the foundations of propositional knowledge and knowledge of first order predicates.
We warn that this is a work for the uninitiated and, as such, at the risk of making some inaccuracies, the least technical language possible will be used. |
| format | Online |
| id | doab-20.500.12854ir-101123.3 |
| institution | Directory of Open Access Books |
| language | por |
| publishDate | 2023 |
| publishDateRange | 2023 |
| publishDateSort | 2023 |
| publisher | Editora Oficina Universitária |
| publisherStr | Editora Oficina Universitária |
| record_format | ojs |
| spelling | doab-20.500.12854ir-101123.32023-07-10T13:01:55Z Lógica formal Soares, Edvaldo Lógica, Silogismo, Lógica simbólica e matemática. P The aim of the work is to address the central themes of Classical Logic, from Aristotle's syllogistic to the calculation of first-order predicates. Emphasis will be placed on the construction of formally valid structures and on the science of validating arguments. For that, the following plan will be followed: In the first one, we present some preliminary concepts (historical and philosophical) in relation to logic. In the second part we will approach the traditional logical logic, with special emphasis on the construction of syllogisms (Categorical and Hypothetical) and, in the third, the foundations of propositional knowledge and knowledge of first order predicates. We warn that this is a work for the uninitiated and, as such, at the risk of making some inaccuracies, the least technical language possible will be used. Published 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. 2023-07-10T13:01:53Z 2023-06-30T13:26:56Z 2023-07-10T12:27:50Z 2023-07-10T13:01:53Z 2023-05-19 book 978-65-5954-362-5 https://directory.doabooks.org/handle/20.500.12854/101123.3 por image/png Attribution-NonCommercial-NoDerivatives 4.0 International https://www.marilia.unesp.br/#!/laboratorio-editorial/como-adquirir/ https://doi.org/10.36311/2023.978-65-5954-362-5 Editora Oficina Universitária https://doi.org/10.36311/2023.978-65-5954-362-5 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. https://doi.org/10.36311/2023.978-65-5954-362-5 87d7c211-2f2b-494c-9f45-2d98c1bb6b53 978-65-5954-362-5 312 Marília, São Paulo, Brazil. open access |
| spellingShingle | Lógica, Silogismo, Lógica simbólica e matemática. P 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. P |
| topic_facet | Lógica, Silogismo, Lógica simbólica e matemática. P |
| url | https://directory.doabooks.org/handle/20.500.12854/101123.3 |
| work_keys_str_mv | AT soaresedvaldo logicaformal |