- Tytuł:
- A Variant of Material Connexive Logic
- Autorzy:
-
Belikov, Alexander
Zaitsev, Dmitry - Powiązania:
- https://bibliotekanauki.pl/articles/2142753.pdf
- Data publikacji:
- 2021-11-09
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
many-valued logics
connexive logic
four-valued logic MC
informal reasoning - Opis:
- The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation.
- Źródło:
-
Bulletin of the Section of Logic; 2022, 51, 2; 227-242
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł