Truth and the Liar in De Morgan-Valued Models
نویسندگان
چکیده
منابع مشابه
Belnap's Four-Valued Logic and De Morgan Lattices
In my paper [3], recently published in this Journal, I study several aspects of the relations between Belnap's logic B and the class DM of De Morgan lattices. Some of these relations concern a Gentzen system for Belnap's logic, denoted by G B , which was introduced in 1988 by my colleague Ventura Verdú and me (see [5] and [6]); indeed, the study of this Gentzen system within the theory of full ...
متن کاملCharacterization Theorem of 4-valued De Morgan Logic
In this paper we give an axiom system of a non-linear 4-valued logic which we call a de Morgan logic (ML), whose Lindenbaum algebra is the de Morgan algebra with implication (MI-algebra), and show that (1) For every MI-algebra L, there is a quotient MI-algebra L such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1}; (2) The Lindenbaum algebra of ML is the MI-algebra; (...
متن کاملLOGIC WITHOUT TRUTH Buridan on the Liar
Stephen Read's criticism of Buridan's solution of the Liar Paradox is based on the charge that while this solution may avoid inconsistency, it does so at the expense of failing to provide a theory of truth. This paper argues that this is one luxury Buridan's logical theory actually can afford: since Buridan does not de ne formal consequence in terms of truth (and with good reason), his logic si...
متن کاملA Contextual-Hierarchical Approach to Truth and the Liar Paradox
This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context depend...
متن کاملUnity, Truth and the Liar - The Modern Relevance of Medieval Solutions to the Liar Paradox
unity truth and the liar the modern relevance of medieval solutions to the liar paradox What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1999
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1012429715