Abstract
A calculus of names is a logical theory describing relations between names. By a pure calculus of names we mean a quantifier-free formulation of such a theory, based on classical propositional calculus. An axiomatisation of a pure calculus of names is presented and its completeness is discussed. It is shown that the axiomatisation is complete in three different ways: with respect to a set theoretical model, with respect to Leśniewski’s Ontology and in a sense defined with the use of axiomatic rejection. The independence of axioms is proved. A decision procedure based on syntactic transformations and models defined in the domain of only two members is defined.
Similar content being viewed by others
References
Dywan Z.: Denotacja u Arystotelesa i Fregego. In: Omyła, M. (ed.) Szkice z semiotyki i ontologii sytuacji. pp. 11–28. Biblioteka Myśli Semiotycznej, Polskie Towarzystwo Semiotyczne, Warszawa (1991)
Hodges, W., Logical features of Horn Clauses. Oxford University Press, Inc., New York, NY, USA, 1993, pp. 449–503.
Ishimoto A.: A propositional fragment of Lesniewski’s ontology. Studia Logica 36, 285–299 (1977)
Klima, G., Existence and reference in medieval logic. In A. Hieke and E. Morscher (eds.), New Essays in Free Logic. Kluwer, 2001, pp. 197–226.
Kulicki, P., The use of axiomatic rejection. In T. Childers (ed.), The Logica Yearbook 1999. Filosofia, Prague, 2000, pp. 109–117.
Kulicki P.: Remarks on axiomatic rejection in Aristotle’s syllogistic. Studies in Logic and Theory of Knowledge 5, 231–236 (2002)
Łukasiewicz, J., Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford, 1952.
McKinsey J.C.C.: The decision problem for some classes of sentences without quantifiers. The Journal of Symbolic Logic 8, 61–76 (1943)
Pietruszczak A.: O logice tradycyjnej i rachunku nazw dopuszczaja̧cym podstawienia nazw pustych. Ruch Filozoficzny 44, 158–166 (1987)
Pietruszczak, A., Bezkwantyfikatorowy rachunek nazw. Systemy i ich metateoria. Wydawnictwo Adam Marszaek, Toruń, 1991.
Pietruszczak A.: Standardowe rachunki nazw z funktorem Leśniewskiego. Acta Universitatis Nicolai Copernici, Logika I, 5–29 (1991)
Pietruszczak A.: Cardinalities of models for pure calculi of names. Reports on Mathematical Logic 28, 87–102 (1994)
Pratt-Hartmann I., Moss L.S.: Logics for the relational syllogistic. The Review of Symbolic Logic 2, 1–37 (2009)
Prior A.N.: Formal Logic. Clarendon Press, Oxford (1962)
Słupecki, J., Z badań nad sylogistyka̧ Arystotelesa. Wroclaw, 1948.
Słupecki J.: S. Leśniewski’s calculus of names. Studia Logica 3, 7–76 (1955)
Słupecki, J., G. Bryll, and U. Wybraniec-Skardowska, Theory of rejected propositions. I. Studia Logica 29(1), 1971.
Urbaniak R.: Some non-standard interpretations of the axiomatic basis of Leśniewski’s ontology. The Australasian Journal of Logic 4, 13–46 (2006)
Urbaniak R.: A note on identity and higher-order quantification. The Australasian Journal of Logic 7, 48–55 (2009)
Waragai T., Oyamada K.: A system of ontology based on identity and partial ordering as an adequate logical apparatus for describing taxonomical structures of concepts. Annals of the Japan Association for Philosophy of Science 15(2), 123–149 (2007)
Wójcicki R.: Dual counterparts of consequence operations. Bulletin of the Section of Logic 2, 54–57 (1973)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kulicki, P. An Axiomatisation of a Pure Calculus of Names. Stud Logica 100, 921–946 (2012). https://doi.org/10.1007/s11225-012-9441-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9441-8