David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 92 (2):203 - 213 (2009)
The actual introduction of a non-reflexive and non-idempotent q -consequence gave birth to the concept of logical three-valuedness based on the idea of noncomplementary categories of rejection and acceptance. A q -consequence may not have bivalent description, the property claimed by Suszko’s Thesis on logical two-valuedness, ( ST ), of structural logics, i.e. structural consequence operations. Recall that ( ST ) shifts logical values over the set of matrix values and it refers to the division of matrix universe into two subsets of designated and undesignated elements using their characteristic functions as logical valuations, cf.  The extension of the idea operates with three-valued function, with the third value ascribed to those elements of the matrix which are neither rejected nor accepted. Accordingly, the logical three-valuedness departs naturally from the division of the matrix universe into three subsets and the ( ST ) counterpart says that any inference based on a structural q -consequence may have a bivalent or a three-valued description. After a short presentation of the three-valued inferential framework, we discuss a solution for further exploration of the idea leading to logical n -valuedness for n > 3. Apparently, the first step in that direction is easy and it consists of a division of the matrix universe into more than three subsets. The next move, i.e. a definition of a matrix consequence-like relation being neither a consequence nor a q -consequence, seems extremely difficult. Therefore, here we consider only finite linear matrices with one-argument functions “labelling” respective matrix subsets. By means of these functions it is possible to represent a q-consequence as a “partial” Tarski’s consequence and, ultimately, to define a logically more-valued consequence-like relation. We believe, that the present partial proposal deserves an attention by itself but also that it may lead to a general approach to logically many-valued inference.
|Keywords||consequence operation q-consequence many-valuedness structurality logical value inferential value logical two-valuedness Suszko’s Thesis logical n-valuedness|
|Categories||categorize this paper)|
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|
References found in this work BETA
J. Barkley Rosser (1977). Many-Valued Logics. Greenwood Press.
Grzegorz Malinowski (1990). Q-Consequence Operation. Reports on Mathematical Logic 24 (1):49--59.
Grzegorz Malinowski (2004). Inferential Paraconsistency. Logic and Logical Philosophy 8:83.
Citations of this work BETA
No citations found.
Similar books and articles
Peter Pagin (2012). Assertion, Inference, and Consequence. Synthese 187 (3):869 - 885.
Marcelo Tsuji (1998). Many-Valued Logics and Suszko's Thesis Revisited. Studia Logica 60 (2):299-309.
Matthew W. McKeon (2010). The Concept of Logical Consequence: An Introduction to Philosophical Logic. Peter Lang Pub..
Grzegorz Malinowski (2004). Inferential Intensionality. Studia Logica 76 (1):3 - 16.
Jan Zygmunt (1974). A Note on Direct Products and Ultraproducts of Logical Matrices. Studia Logica 33 (4):349 - 357.
Ignacio Jané (2003). Remarks on Second-Order Consequence. Theoria 18 (2):179-187.
Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
Heinrich Wansing & Yaroslav Shramko (2008). Suszko's Thesis, Inferential Many-Valuedness, and the Notion of a Logical System. Studia Logica 88 (3):405 - 429.
Added to index2009-07-11
Total downloads30 ( #103,865 of 1,725,413 )
Recent downloads (6 months)7 ( #93,164 of 1,725,413 )
How can I increase my downloads?