Model theory and foundations of logic
Despite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the very essence of logic. I would like to balance...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | ces |
| Published: |
Karolinum Press
2016-08-01
|
| Series: | Acta Universitatis Carolinae: Philosophica et Historica |
| Subjects: | |
| Online Access: | http://www.karolinum.cz/doi/10.14712/24647055.2016.6 |
| _version_ | 1818049277364011008 |
|---|---|
| author | Pavel Arazim |
| author_facet | Pavel Arazim |
| author_sort | Pavel Arazim |
| collection | DOAJ |
| description | Despite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the very essence of logic. I would like to balance these extreme views. Of particular importance will be its connection to the problem of logical constants. Identifying logical constatnts enables us to identify logical forms of statements and thus brings us close to demarcating logic. We will see that solving this issue in ways suggested by model theory has its considerable costs, while the gains are rather modest. |
| first_indexed | 2024-12-10T10:35:01Z |
| format | Article |
| id | doaj.art-8f3c2bd380354e13a92b94018081c148 |
| institution | Directory Open Access Journal |
| issn | 0567-8293 2464-7055 |
| language | ces |
| last_indexed | 2024-12-10T10:35:01Z |
| publishDate | 2016-08-01 |
| publisher | Karolinum Press |
| record_format | Article |
| series | Acta Universitatis Carolinae: Philosophica et Historica |
| spelling | doaj.art-8f3c2bd380354e13a92b94018081c1482022-12-22T01:52:27ZcesKarolinum PressActa Universitatis Carolinae: Philosophica et Historica0567-82932464-70552016-08-012015172110.14712/24647055.2016.64161Model theory and foundations of logicPavel ArazimDespite its popularity, model theory based on Tarski’s insights is in need of deeper philosophical reflection. A wide range of stances towards it was proposed, some seeing it as project based on fundamental misconceptions, some asserting it reveals the very essence of logic. I would like to balance these extreme views. Of particular importance will be its connection to the problem of logical constants. Identifying logical constatnts enables us to identify logical forms of statements and thus brings us close to demarcating logic. We will see that solving this issue in ways suggested by model theory has its considerable costs, while the gains are rather modest.http://www.karolinum.cz/doi/10.14712/24647055.2016.6model-theorycompletnesssubstitutioninterpretationrepresentation |
| spellingShingle | Pavel Arazim Model theory and foundations of logic Acta Universitatis Carolinae: Philosophica et Historica model-theory completness substitution interpretation representation |
| title | Model theory and foundations of logic |
| title_full | Model theory and foundations of logic |
| title_fullStr | Model theory and foundations of logic |
| title_full_unstemmed | Model theory and foundations of logic |
| title_short | Model theory and foundations of logic |
| title_sort | model theory and foundations of logic |
| topic | model-theory completness substitution interpretation representation |
| url | http://www.karolinum.cz/doi/10.14712/24647055.2016.6 |
| work_keys_str_mv | AT pavelarazim modeltheoryandfoundationsoflogic |