Against Classical Paraconsistent Metatheory

Analysis 83 (2):285-294 (2023)
  Copy   BIBTEX

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.

Author Profiles

Koji Tanaka
Australian National University
Patrick Girard
University of Auckland

Analytics

Added to PP
2022-10-06

Downloads
785 (#23,571)

6 months
256 (#9,093)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?