Teoria kategorii i niektóre jej logiczne aspekty
This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, w...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | deu |
| Published: |
Copernicus Center Press
2018-07-01
|
| Series: | Zagadnienia Filozoficzne w Nauce |
| Subjects: | |
| Online Access: | http://zfn.edu.pl/index.php/zfn/article/view/409 |
| _version_ | 1818523389533356032 |
|---|---|
| author | Mariusz Stopa |
| author_facet | Mariusz Stopa |
| author_sort | Mariusz Stopa |
| collection | DOAJ |
| description | This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. |
| first_indexed | 2024-12-11T05:44:21Z |
| format | Article |
| id | doaj.art-8b781d752c954a1c807e9c8f4f6c2210 |
| institution | Directory Open Access Journal |
| issn | 0867-8286 2451-0602 |
| language | deu |
| last_indexed | 2024-12-11T05:44:21Z |
| publishDate | 2018-07-01 |
| publisher | Copernicus Center Press |
| record_format | Article |
| series | Zagadnienia Filozoficzne w Nauce |
| spelling | doaj.art-8b781d752c954a1c807e9c8f4f6c22102022-12-22T01:19:02ZdeuCopernicus Center PressZagadnienia Filozoficzne w Nauce0867-82862451-06022018-07-0164758409Teoria kategorii i niektóre jej logiczne aspektyMariusz Stopa0Uniwersytet Jagielloński, Instytut Filozofii; Kolegium Filozoficzno-Teologiczne DominikanówThis article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.http://zfn.edu.pl/index.php/zfn/article/view/409category theorytopos theorycategorical logicpropositional logicintuitionistic logicnon-classical logic |
| spellingShingle | Mariusz Stopa Teoria kategorii i niektóre jej logiczne aspekty Zagadnienia Filozoficzne w Nauce category theory topos theory categorical logic propositional logic intuitionistic logic non-classical logic |
| title | Teoria kategorii i niektóre jej logiczne aspekty |
| title_full | Teoria kategorii i niektóre jej logiczne aspekty |
| title_fullStr | Teoria kategorii i niektóre jej logiczne aspekty |
| title_full_unstemmed | Teoria kategorii i niektóre jej logiczne aspekty |
| title_short | Teoria kategorii i niektóre jej logiczne aspekty |
| title_sort | teoria kategorii i niektore jej logiczne aspekty |
| topic | category theory topos theory categorical logic propositional logic intuitionistic logic non-classical logic |
| url | http://zfn.edu.pl/index.php/zfn/article/view/409 |
| work_keys_str_mv | AT mariuszstopa teoriakategoriiiniektorejejlogiczneaspekty |