- Tytuł:
-
Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects - Autorzy:
- Stopa, Mariusz
- Powiązania:
- https://bibliotekanauki.pl/articles/690940.pdf
- Data publikacji:
- 2018
- Wydawca:
- Copernicus Center Press
- Tematy:
-
category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic - Opis:
- 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.
- Źródło:
-
Zagadnienia Filozoficzne w Nauce; 2018, 64; 7-58
0867-8286
2451-0602 - Pojawia się w:
- Zagadnienia Filozoficzne w Nauce
- Dostawca treści:
- Biblioteka Nauki
Artykuł