The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

The difficulties facing Humean regularity accounts of laws have led some philosophers to a theory that takes laws to be necessitation relations between universals. In this paper I evaluate David Armstrong's version of this theory by considering two of its key elements: its solution to the so-called “Inference Problem” and its denial of uninstantiated universals. After considering some potential problems with each of these elements on their own, I argue that Armstrong's solution to the Inference Problem and his denial of (...) uninstantiated universals are not two independent aspects of his view. His solution to the Inference Problem depends upon his denial of uninstantiated universals. (shrink)

Le nominalisme est « le refus d'admettre toute entité autre qu'indivi-duelle ». II doit, pour justifier la simplicité de son ontologie, proposer une théorie de laconnaissance et une théorie sémantique qui ne présupposent ni l'une ni l'autre l'existence réelle des univer-saux. Certaines des voies qui s'ouvrent à cette entreprise délicate ont été systématiquement explorées vers la fin du Moyen Age et il y a tout à parier que, malgré les ruptures épistémologiques, les révolutions scientifiques et autres changements d'epistémè, les nominalistes (...) contemporains pourraient encore profiter de quelque façon de l'immense travail théorique accompli par leurs prédécesseurs médiévaux. C'est dans cet esprit que je voudrais procéder à une reconstruction sommaire de la théorie sémantique avancée au début du quatorzième siècle par le Fran-ciscain Guillaume d'Occam. Je ne m'engagerai pas dans une comparaison détaillée entre Occam et les auteurs contemporains, mais j'essaierai de présenter sans en trahir l'esprit la sémantique occa-miste de manière à en faire apparaître la pertinence pour les débats actuels. II serait possible, me semble-t-il, d'aller encore plus loin dans cette voie en mettant à profit les techniques formelles récentes pour axiomatiser la théorie d'Occam. Pour l'instant cependant, je me limiterai à une présentation plutôt informelle. (shrink)

Brian Ellis advances a robust species of realism he calls Physical Realism. Physical Realism includes an ontology comprising three kinds of universal and three kinds of particular: a six‐category ontology. After comparing Physical Realism to a modest two‐category ontology inspired by Locke, I mention two apparent difficulties a proponent of a six‐category ontology might address.1.

According to traditional universalism, properties are instantiated by objects, where instantiation is a ‘tie’ that binds objects and properties into facts. I offer two arguments against this view. I then develop an alternative higher-order account which holds that properties are primitively predicated of objects yet, unlike traditional nominalism, are nevertheless genuinely real. When it’s a fact that Fo, it’s not because object o instantiates F-ness, but just that Fo – where F still exists. Against orthodox higher-order approaches, however, my arguments (...) against instantiation also serve to support a sparse conception of properties. In developing the view, I introduce an extension of ontological and ideological commitment in the form of syntactic commitment. (shrink)