We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Against classical paraconsistent metatheory.
- Authors
Tanaka, Koji; Girard, Patrick
- Abstract
There was a time when 'logic' just meant classical logic. The climate is slowly changing, and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it is designed to study.
- Subjects
METATHEORY; NONCLASSICAL mathematical logic; STANDARDS; PHILOSOPHICAL research; PHILOSOPHY of mathematics
- Publication
Analysis, 2023, Vol 83, Issue 2, p285
- ISSN
0003-2638
- Publication type
Article
- DOI
10.1093/analys/anac093