# Does the free-logic-style semantics for traditional syllogisms imply that something exists?

I'm looking at Option 3 in Bumble's answer here which references this article on existential import in term logic in the Logic Museum website.

Does the free-logic-style semantics for term logic presuppose the existence of at least one thing? Is there a way to avoid this problem without introducing new inference rules specific to existence?

There are a few features of term logic that are hard to salvage with a direct translation into first-order logic, such as the syllogism below.

AaB    All A are B
AaC    All A are C
---- -------------
BiC   Some B are C


First, let me define two different semantics for term logic: the first-order semantics and the free semantics.

The first-order semantics consists of a non-empty domain of discourse D, and a possibly-empty subset of D associated with each category A, B, C and so on. The existence predicate E is just the universal set.

The free-logic-style semantics consists of a non-empty domain of discourse D, as well as a necessarily-nonempty subset of D associated with each category A, B, C, and so on, and their infinite negations !A, !B, !C, and so on. Existence E is treated as an ordinary category/predicate, subject to the same rules as all the others. Free-logic-style semantics is not a special case of free logic. Free logic doesn't require that every predicate is inhabited in the full domain, which is needed to get AaB, AaC |- BiC to go through.

The first-order semantics deliberately makes bad choices when used to give an account of term logic; it does so in order to illustrate the difference between term logic and modern logic.

I'm assuming that option 3 means picking a semantics like the free-logic-style semantics defined above. D is analogous to the full domain (i.e. the union of the inner domain and outer domain in dual-domain treatments of free logic).

The free-logic-style semantics has the benefit of validating inferences like AaB, AaC |- BiC and of being parsimonious by not treating existence differently from any other predicate. It has the drawback of forcing us to commit to at least one real thing and at least one non-real thing in our semantics.

However, the article on existential import in the Logic Museum mentions neither presupposing the existence of at least one thing nor the presence of rules of inference specific to existence.

This makes me wonder whether I've missed something about what option 3 is intended to mean.

• Not very clear... if we assume the empty domain with an existence predicate that is considered a "usual" predicate, then the interpretation of E will be obviously the empty set. Jan 7 at 8:20
• Having said that, if we consider traditional syllogism without the assumption that every term (universal) must be instantiated, if we assume that at least one predicate is not-emptythis means that the domain itself is not-empty. Jan 7 at 8:40
• Not sure I understand the question, but it looks like you are talking about translating syllogisms into predicate logic, in which case the only predicates that would have to be non-empty are those that are part of the language of syllogisms. E would be part of the metalanguage of predicate logic. Jan 7 at 14:59
• Per Lambert free logic is more ontologically neutral than its more stringent cousin aka classic logic and makes Quine's famous dictum to be is to be a value of a bound variable possible, thus it would not imply any singular existence based upon its own semantics or any model therein without further assumptions... Jan 8 at 1:37
• @DavidGudeman I edited the question; hopefully it's clearer. I'm not trying to translate syllogisms into predicate logic per se. I'm trying to understand one possible choice for giving them a semantics with sets of entities. It feels like we're faced with a choice of either a) accepting that we have at least one real and one non-real entity in all of our models or b) positing new inference rules specific to existence. Since neither (a) nor (b) appear in what I've read so far, I'm wondering if I'm missing something about what a free-logic-style semantics for term logic is supposed to look like. Jan 8 at 3:02