Non Truth-Functional Many-Valuedness
نویسنده
چکیده
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective. MSC Primary: 03B50, Secondary: 03B22 03B53 03B20 03B45
منابع مشابه
Two ’ s company : “ The humbug of many logical values ”
The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by Wójcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued sema...
متن کاملA Note on Two's Company: "The Humbug of Many Logical Values"
The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by Wójcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued sema...
متن کاملAutomatic extraction of axiomatizations in terms of two-signed tableaux for finite-valued logics
Classical Logic is bivalent in that it admits exactly two truth-values: the true and the false. Many-valued logics, in contrast, allow for the consideration of arbitrarily large classes of truth-values. To export the canonical notion of entailment to the realm of many-valuedness, the trick is to characterize any such class of truth-values by saying that some of these values are ‘designated’. On...
متن کاملMany-valuedness Meets Bivalence: Using Logical Values in an EffectiveWay
In spite of the multiplication of truth-values, a noticeable shade of bivalence lurks behind the canonical notion of entailment that many-valued logics inherit from the 2-valued case. Can this bivalence be somehow used to our advantage? The present note briefly surveys the progress made in the last three decades toward making that theme precise from an abstract point of view and effectively ext...
متن کاملProbabilistic Logic: Many-valuedness and Intensionality
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson’s probability structures/logics, and on linear inequalities in order to rea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 67 شماره
صفحات -
تاریخ انتشار 2002