Studia Logica 92 (2):215 - 240 (2009)
|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||Abstract logics formal semantics truth-functionality|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
D. Hyde (1997). From Heaps and Gaps to Heaps of Gluts. Mind 106 (424):641-660.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Ross Thomas Brady (2010). Free Semantics. Journal of Philosophical Logic 39 (5):511 - 529.
Ned Block (1988). Functional Role and Truth Conditions. Proceedings of the Aristotelian Society 61:157-181.
Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra (2009). A Temporal Semantics for Basic Logic. Studia Logica 92 (2):147 - 162.
Josep Maria Font (2009). Taking Degrees of Truth Seriously. Studia Logica 91 (3):383 - 406.
C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas & C. Sernadas (2003). Fibring Non-Truth-Functional Logics: Completeness Preservation. [REVIEW] Journal of Logic, Language and Information 12 (2):183-211.
Added to index2009-07-11
Total downloads56 ( #21,283 of 722,700 )
Recent downloads (6 months)1 ( #60,006 of 722,700 )
How can I increase my downloads?