We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of (...) a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (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)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Les travaux de Fred Sommers dans le domaine de l'ontologie ont été l'objet, jusqu'à présent, de beaucoup moins d'attention critique qu'ils ne sont aptes à en susciter. C'est au cours des années soixante que Sommers a élaboré sa théorie et qu'il l'a rendue publique par le moyen d'une série d'articles et de conférences. Bien que ses travaux aient alors fait l'objet de quelques critiques ou commentaires, ils ont, depuis, généralement été passés sous silence. Récemment, la revue Monist a fait paraître (...) un numéro spécial entièrement consacré au thème des catégories. Considérant le thème, l'importance et la qualité des articles regroupés dans ce numéro, il est surprenant de constater que les idées hautement originales et suggestives de Sommers ne soient mentionnées par aucun des auteurs. Evidemment, une des raisons pour lesquelles les idées de Sommers suscitent présentement si peu d'intérêt est le fait que, depuis la fin des années soixante, il a lui-même laissé de côté l'ontologie pour se tourner vers la logique—un domaine où il a fait et fait toujours couler beaucoup d'encre. (shrink)

In recent papers Fred Sommers and Michael Lockwood have independently argued that the distinction between the ‘is’ of predication and the ‘is’ of identity is not well-founded. This claim is somewhat obscure since, on the theories they advocate, it is not only still possible to distinguish between the ‘is’ of predication and the ‘is’ of identity, but important to do so on pain of turning good arguments bad. Sommers' way of putting it, namely that we don't need identity, is no (...) better. Of course we don't need identity since, in second-order quantification logic, identity is definable in terms of predication. Perhaps the best way of putting their point is by means of Sommers' claim that identity statements can be formalized by monadic relations. We can therefore mark the IP-distinction by the essentially polyadic nature of identity. (shrink)