On truth-schemes for intensional logics

• Autorzy: Czelakowski J. , Dziobiak W.
• Języki publikacji: EN

Abstrakty

EN

The paper is concerned with the question of denability of truth-conditions for the connectives of intensional logics. A certain general solution of the problem is proposed for the class of self-extensional logics. The paper develops some ideas initiated by Suszko and Wojcicki in the seventies

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2006
• Tom: Nr 41,spec. iss.
• Strony: 151--171
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Czelakowski J.

autor

Dziobiak W.

• Department of Mathematics University of Puerto Rico Mayaguez Campus, Mayaguez, PR 00681-500, U.S.A.,

Bibliografia

• [1] R. Carnap, Introduction to Semantics, Harvard University Press, Harvard 1942.
• [2] J. Czelakowski, Protoalgebraic Logics, Kluwer, Dordrecht 2001.
• [3] J. Czelakowski and G. Malinowski, Key notions of Tarski's methodology of deductive systems, Studia Logica 44 (1895), pp. 321-351.
• [4] N.C.A. da Costa and J.-Y. Béziau, Théorie de la valuation, Logique et Analyse 146 (1994), pp. 95-117.
• [5] B.C. van Fraassen, Formal Semantics and Logics, The Macmillan Co., New York 1973.
• [6] G. Frege, Über Sinn und Bedeutung, Zeitschrift für Philosophie und philosophische Kritik, pp. 25-50. English translation as `On Sense and Reference' by M. Black in P.T. Geach and M. Black (eds.), Translations from the Philosphical Writings of Gottlob Frege, Oxford 1952, pp. 56-78.
• [7] G. Malinowski, Classical characterization of m-valued Łukasiewicz calculi, Reports on Mathematical Logic 9 (1977), pp. 41-45.
• [8] G. Malinowski, Many-Valued Logics, Oxford Logic Guides 25, Clarendon Press, Oxford 1993.
• [9] R. Routley, Every sentential logic has a two-valued worlds semantics, Logique et Analyse 74-75-76 (1976), pp. 353-365.
• [10] D. Scott, On engendering an illusion of understanding, The Journal of Philosophy 68 (1971), pp. 143-173.
• [11] D. Scott, Background to formalization, in: Truth, Syntax and Modality (ed. H. Leblanc), North-Holland, Amsterdam-London 1973.
• [12] R. Suszko, A note on the intuitionistic sentential calculus (ISC), Bulletin of the Section of Logic 3 (1974), pp. 20-21.
• [13] R. Suszko, The Fregean Axiom and Polish Mathematical Logic in the 1920's, Studia Logica 36 (1977), pp. 377-380.
• [14] R. Suszko, Remarks on Lukasiewicz's three-valued logic, Bulletin of the Section of Logic 4 (1977), pp. 87-90.
• [15] A. Urquhart, An interpretation of many-valued logic, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 19 (1973), pp. 111-114.
• [16] R. Wójcicki, Referential matrix semantics for propositional calculi, Bulletin of the Secion of Logic 8 (1979), pp. 170-176.
• [17] R. Wójcicki, Theory of Logical Calculi. Basic Theory of Consequence Operations, Kluwer, Dordrecht 1988.