This essay argues that propositions are made true by facts. A proposition is the sense expressed by a statement (sentence token used to make a truth claim). Facts are positive or negative constitutive properties of the domain of discourse (usually the actual world). The presence of horses is a positive constitutive property of the world; the absence of unicorns is a negative one. This notion of constitutive properties accords well with the Hume-Kant claim that existence is not a property of (...) any individual said to exist. While Frege held existence to be a property of concepts and Russell held it to be a property of propositional functions, our view sees existence as a property of a domain of discourse. To say that Native Dancer exists is simply to say that the world is characterized by the presence of Native Dancer; to say that Pegasus does not exist is to say the world is characterized by the absence of Pegasus. Such properties of presence and absence are facts. Facts make true propositions true; nothing makes false propositions false (they simply fail to be made true). Facts are not items in the world; they are (constitutive) properties of the world. (shrink)

Fred Sommers passed away in October of 2014 in his 92nd year. Having begun his teaching at Columbia University, he eventually became the Harry A. Wolfson Chair in Philosophy at Brandeis University, where he taught from 1963 to 1993. During his long and productive career, Sommers authored or co-authored over 50 books, articles, reviews, etc., presenting his ideas on numerous occasions throughout North America and Europe. His work was characterized by a commitment to the preservation and application of historical insights (...) and to the value of a well-articulated, coherent logical system. He was recognized for his independence and refusal to accept any view on the basis of authority alone. This made him a formidable critic but accounted in part for his many innovative and original ideas. In spite of his general contrariness in logic, Sommers earned the respect of the majority of his contemporaries, including Russell, Quine, van Benthem, Hacking, Suppes, and Strawson. In 2005, he was the subjec... (shrink)

W.V. Quine has led many logicians in thinking that mathematical logic can offer insights into the syntax of natural language. One example of such an insight is the use of quantifier scope difference to resolve the ambiguity of sentences like ' I don't know every poem'. Such differences also are claimed to be useful in analyzing phrases such as 'the lady I saw you with'. But an older, Aristotelian theory of logical syntax can equally well resolve the ambiguity problem in (...) terms of term distribution. And it provides a better analysis of 'the lady' phrase by treating quantifiers as subject formatives rather than pronoun binders. (shrink)

I argue here that recent discussions of f. sommers' "rule for enforcing ambiguity" have been mistaken on one of two grounds. either they misrepresent the sense of the rule or they misunderstand its intent. the rule is neither a sense rule nor a categorial rule, but a 'translation' rule relating senses of terms to categories of individuals. rather than a test for term ambiguity the rule is a test for theory coherence. finally, i show that there are many possible ways (...) of applying the rule. (shrink)

Peter Geach has charged Aristotle with the sin of corrupting logic by initiating a process which led to the view that a sentence consists logically of just two names. This charge can only result from a clearly mistaken view of Aristotle's theory of logical syntax. Aristotle, unlike Geach, was careful to distinguish subjects from subject-terms and predicates from predicate-terms. He took both subjects and predicates as syntactical complexes. Geach, following Frege, holds a very different theory of logical syntax which takes (...) predicates, but not subjects, as syntactically complex. (shrink)

In the late nineteenth century there were two very active lines of research in the field of formal logic. First, logicians (mostly in English-speaking countries) were engaged in formulating a generally traditional logic as an algebra, a part of mathematics; second, logicians (mostly on the continent) were busy building a non-traditional logic that could serve, not as a part of, but as the foundation of, mathematics. By the end of the First World War the former line had been pretty well (...) abandoned while the second continued to expand. However, that old abandoned line, stretching from Aristotle, through the Scholastics and then Leibniz to the nineteenth century algebraists, had not been completely forgotten. One of those logicians who has recently worked on the restoration (and, importantly, the extension) of that line is Fred Sommers. His Term Logic preserves a number of traditional insights (especially involving the theory of logical syntax), while also enjoying a power to account for formal inference at least comparable to that of the standard logic now in place. (shrink)

I argue here that r. Van straaten's four modifications of f. Sommers' 'rule for enforcing ambiguity' are based upon a misunderstanding of the basis of the rule and a failure to see the spanning/predicability distinction. The effect is that none of van straaten's several counterexamples are telling against the rule. In place of van straaten's modifications I offer the following simple but important changes in the rule: the restriction of things to individuals and the reading of 'makes sense to predicate' (...) and similar phrases in terms of the spanning relation. (shrink)