Australasian Journal of Logic 12 (1) (2015)
| Authors |
|
| Abstract |
It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. In this paper I want to suggest that bivalent logic can do just as well. This is accomplished by using a non-deterministic matrix to define the negation connective. I show that the systems obtained in this way support a transparent truth predicate. The paper also contains some remarks on the conceptual interest of such systems.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.26686/ajl.v12i1.2082 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,172
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
View all 18 references / Add more references
Citations of this work BETA
The Very Idea of a Substructural Approach to Paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.
Model-Theoretic Semantics and Revenge Paradoxes.Lorenzo Rossi - 2019 - Philosophical Studies 176 (4):1035-1054.
Subvaluationism and Classical Recapture.Paula Teijeiro - 2020 - Logic Journal of the IGPL 28 (5):832-844.
Similar books and articles
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
Entailment and Bivalence.Fred Seymour Michael - 2002 - Journal of Philosophical Logic 31 (4):289-300.
Non-Deterministic Conditionals and Transparent Truth.Federico Pailos & Lucas Rosenblatt - 2015 - Studia Logica 103 (3):579-598.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
Proof Systems for Reasoning About Computation Errors.Arnon Avron & Beata Konikowska - 2009 - Studia Logica 91 (2):273-293.
From Bi-Facial Truth to Bi-Facial Proofs.Stefan Wintein & Reinhard A. Muskens - 2015 - Studia Logica 103 (3):545-558.
The Expressive Unary Truth Functions of N -Valued Logic.Stephen Pollard - 2005 - Notre Dame Journal of Formal Logic 46 (1):93-105.
A Characteristic Model For Some Tabular Many-Valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
Analytics
Added to PP index
2017-02-14
Total views
12 ( #812,339 of 2,517,863 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,863 )
2017-02-14
Total views
12 ( #812,339 of 2,517,863 )
Recent downloads (6 months)
1 ( #409,482 of 2,517,863 )
How can I increase my downloads?
Downloads
