- Tytuł:
- Abstract logical structuralism
- Autorzy:
- Marquis, Jean-Pierre
- Powiązania:
- https://bibliotekanauki.pl/articles/1047597.pdf
- Data publikacji:
- 2020-12-29
- Wydawca:
- Copernicus Center Press
- Tematy:
-
philosophy
logic
structuralism
categorical logic - Opis:
- Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and probably should be seen—as being a structuralist approach to logic and it is from this angle that categorical logic is best understood.
- Źródło:
-
Zagadnienia Filozoficzne w Nauce; 2020, 69; 67-110
0867-8286
2451-0602 - Pojawia się w:
- Zagadnienia Filozoficzne w Nauce
- Dostawca treści:
- Biblioteka Nauki
Artykuł