Studia Logica 92 (2):215-240 (2009)
Authors |
|
Abstract |
What is the fundamental insight behind truth-functionality ? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truth-functionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still remains not very widely well-known. A clear distinction can be drawn between logics characterizable through: (1) genuinely finite-valued truth-tabular semantics; (2) no finite-valued but only an infinite-valued truthtabular semantics; (3) no truth-tabular semantics at all. Any of those logics, however, can in principle be characterized through non-truth-functional valuation semantics, at least as soon as their associated consequence relations respect the usual tarskian postulates. So, paradoxical as that might seem at first, it turns out that truth-functional logics may be adequately characterized by non-truth-functional semantics . Now, what feature of a given logic would guarantee it to dwell in class (1) or in class (2), irrespective of its circumstantial semantic characterization?
|
Keywords | Philosophy Computational Linguistics Mathematical Logic and Foundations Logic |
Categories | (categorize this paper) |
DOI | 10.1007/s11225-009-9196-z |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
On the Theory of Inconsistent Formal Systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.
View all 28 references / Add more references
Citations of this work BETA
Suszko’s Problem: Mixed Consequence and Compositionality.Emmanuel Chemla & Paul Égré - 2019 - Review of Symbolic Logic 12 (4):736-767.
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
Society Semantics for Four-Valued Łukasiewicz Logic.Edson Vinícius Bezerra - 2020 - Logic Journal of the IGPL 28 (5):892-911.
Universal Logic: An Anthology From Paul Hertz to Dov Gabbay.Jean-Yves Béziau (ed.) - 2012 - Basel, Switzreland: Birkhäuser.
Similar books and articles
Note on the Scope of Truth-Functional Logic.David Sherry - 1999 - Journal of Philosophical Logic 28 (3):327-328.
Proof Interpretations with Truth.Jaime Gaspar & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (6):591-610.
Fibring Non-Truth-Functional Logics: Completeness Preservation.C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas - 2003 - Journal of Logic, Language and Information 12 (2):183-211.
Functional Role and Truth Conditions.Ned Block - 1988 - Proceedings of the Aristotelian Society 88:157-181.
Generalizing Functional Completeness in Belnap-Dunn Logic.Hitoshi Omori & Katsuhiko Sano - 2015 - Studia Logica 103 (5):883-917.
The Logic of Indicative Conditionals.Chhanda Chakraborti - 1995 - Dissertation, The University of Utah
Functional Dependencies, Supervenience, and Consequence Relations.I. L. Humberstone - 1993 - Journal of Logic, Language and Information 2 (4):309-336.
Realism and Nominalism in Formal Logic.Bruce Erwin Ruy Thompson - 1988 - Dissertation, University of Colorado at Boulder
A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning.A. D. C. Bennett, J. B. Paris & A. Vencovská - 2000 - Journal of Logic, Language and Information 9 (1):31-63.
The Principle of Excluded Middle Then and Now: Aristotle and Principia Mathematica.Floy Andrews - 1996 - Animus 1:53-66.
The Theory of Truth Tabular Connectives, Both Truth Functional and Modal.Gerald J. Massey - 1966 - Journal of Symbolic Logic 31 (4):593-608.
Analytics
Added to PP index
2009-07-11
Total views
119 ( #99,753 of 2,520,805 )
Recent downloads (6 months)
2 ( #270,509 of 2,520,805 )
2009-07-11
Total views
119 ( #99,753 of 2,520,805 )
Recent downloads (6 months)
2 ( #270,509 of 2,520,805 )
How can I increase my downloads?
Downloads