Logic and Logical Philosophy 22 (4):429–443 (2013)

Authors
Abstract
By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued
Keywords calculus of names  Leśniewski’s Ontology  axiomatic rejection  Horn theories  cardinality of models
Categories (categorize this paper)
DOI 10.12775/LLP.2013.023
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

References found in this work BETA

Remarks on Axiomatic Rejection in Aristotle’s Syllogistic.Piotr Kulicki - 2002 - Studies in Logic and Theory of Knowledge 5:231-236.
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1952 - Revue de Métaphysique et de Morale 57 (4):456-458.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
On Dp-Minimal Ordered Structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
On ℵ1 Many Minimal Models.Greg Hjorth - 1996 - Journal of Symbolic Logic 61 (3):906 - 919.
On the Number of Minimal Models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):475-480.
Completeness and Herbrand Theorems for Nominal Logic.James Cheney - 2006 - Journal of Symbolic Logic 71 (1):299 - 320.
Tree Models and (Labeled) Categorial Grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
Valuation Semantics for Intuitionic Propositional Calculus and Some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
On Minimal Structures.Oleg V. Belegradek - 1998 - Journal of Symbolic Logic 63 (2):421-426.

Analytics

Added to PP index
2013-10-22

Total views
651 ( #7,043 of 2,329,884 )

Recent downloads (6 months)
33 ( #18,543 of 2,329,884 )

How can I increase my downloads?

Downloads

My notes