Abstract
In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulae. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap (1943) called categoricity. We show that categorical systems can be given for any finite many-valued logic using n-sided sequent calculus. These systems are understood as a further development of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion, and with Mark Twain, that denial is more than a river in Egypt.
Dokumententyp: | Zeitschriftenartikel |
---|---|
Fakultät: | Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP)
Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic |
Themengebiete: | 100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 160 Logik |
Sprache: | Englisch |
Dokumenten ID: | 18398 |
Datum der Veröffentlichung auf Open Access LMU: | 02. Mrz. 2014 10:23 |
Letzte Änderungen: | 29. Apr. 2016 09:15 |