Abstract
By a pure modal logic of names (PMLN) we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions of Aristotelian modal syllogistic (Johnson in Notre Dame J Form Logic 30(2):271–284, 1989; Thomason in J Philos Logic 22(2):111–128, 1993 and J Philos Logic 26:129–141, 1997. In both cases we use Johnson-like models (1989). We also analyze different kinds of versions of PMLN, for both general and singular names. We present complete tableau systems for the different versions of PMLN. These systems enable us to present some decidability methods. It yields “strong decidability” in the following sense: for every inference starting with a finite set of premises (resp. every syllogism, every formula) we can specify a finite number of steps to check whether it is logically valid. This method gives the upper bound of the cardinality of models needed for the examination of the validity of a given inference (resp. syllogism, formula).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Aristotle, Prior Analytics, Hackett, Indianapolis, 1989. Translated with introduction notes and commentary by R. Smith.
Jarmużek, T., Tableau system for logic of categorial propositions and decidability, Bulletin of the Section of Logic 37:223–231, 2008.
Jarmużek, T., and A. Pietruszczak, Decidability methods for modal syllogisms, in A. Indrzejczak, J. Kaczmarek, and M. Zawidzki (eds.), Trends in Logic XIII, Łódź University Press, Łódź, 2014, pp. 95–112.
Johnson, F., Models for modal syllogisms, Notre Dame Journal of Formal Logic 30(2):271–284, 1989. https://doi.org/10.1305/ndjfl/1093635084
Kulicki, P., An axiomatisation of a pure calculus of names, Studia Logica 100(5):921–946, 2012. https://doi.org/10.1007/s11225-012-9441-8
Kulicki, P., On minimal models for pure calculi of names, Logic and Logical Philosphy 22(4):429–443, 2013. https://doi.org/10.12775/LLP.2013.023
McCall, S., Aristotle’s Modal Syllogisms, Nort-Holland, Amsterdam, 1993.
Pietruszczak, A., O logice tradycyjnej i rachunku nazw dopuszczającym podstawienia nazw pustych (On traditional logic and calculi of names allowing substitutions of empty names), Ruch Filozoficzny 44:158-166, 1987.
Pietruszczak, A., Standardowe rachunki nazw z funktorem Leśniewskiego (Pure calculi of names with Leśniewski’s functor), Acta Universitatis Nicolai Copernici, Logika I:5–29, 1991.
Pietruszczak, A., Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria (Quantifier-free Calculus of Names. Systems and their Metatheory), Wydawnictwo Adam Marszałek, Toruń, 1991.
Pietruszczak, A., Cardinalities of models for pure calculi of names, Reports on Mathematical Logic 28:87–102, 1994.
Pietruszczak, A., Cardinalities of models for monadic predicate logic (with equality and individual constants), Reports on Mathematical Logic 30:49–64, 1996.
Priest, G., An Introduction to Non-Classical Logic, 2th edition, Cambridge University Press, 2008. https://doi.org/10.1017/CBO9780511801174
Thomason, S., Semantic analysis of the modal syllogistic, Journal of Philosophical Logic 22(2):111–128, 1993. https://doi.org/10.1007/BF01049258
Thomason, S., Relational models for the modal syllogistic, Journal of Philosophical Logic 26:129–141, 1997. https://doi.org/10.1023/A:1004200616124
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Andrzej Indrzejczak.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Pietruszczak, A., Jarmużek, T. Pure Modal Logic of Names and Tableau Systems. Stud Logica 106, 1261–1289 (2018). https://doi.org/10.1007/s11225-018-9788-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-018-9788-6