Dispositions, Laws, and Categories

After a short sketch of Lowe’s account of his four basic categories, I discuss his theory of formal ontological relations and how Lowe wants to account for dispositional predications. I argue that on the ontic level Lowe is a pan-categoricalist, while he is a language dualist and an exemplification dualist with regard to the dispositional/categorical distinction. I argue that Lowe does not present an adequate account of disposition. From an Aristotelian point of view, Lowe conflates dispositional predication with hôs epi to poly statements about what is normally or mostly the case.     

Relational Order and Onto-Thematic Roles

States of affairs involving a non-symmetric relation such as loving are said to have a relational order, something that distinguishes, for instance, Romeo’s loving Juliet from Juliet’s loving Romeo. Relational order can be properly understood by appealing to o-roles, i.e., ontological counterparts of what linguists call thematic roles, e.g., agent, patient, instrument, and the like. This move allows us to meet the appropriate desiderata for a theory of relational order. In contrast, the main theories that try to do without o-roles, proposed by philosophers such as Russell, Hochberg, and Fine, are in trouble with one or another of these desiderata. After discussing some alternatives, it is proposed that o-roles are best viewed as very generic properties characterizable as ways in which objects jointly exemplify a relation. This makes for exemplification relations understood as complex entities having o-roles as building blocks.     

Ontology of Time and Hyperdynamism

The three alternative ontological theories of time are introduced as well as the three basic temporal phenomena. The different ontological analyses by the different theories are compared and examined. A relational theory of time is advocated as a result of the examination, and an influential misrepresentation and emendation of it by McTaggart is criticized and diagnosed as hyperdynamism. Finally, the problem of the direction of time is addressed. The physicist’s solutions are rejected, and an ontological solution is offered.     

What Makes a Thing What It Is? Aristotle and Hegel on Identity

The notion of identity is investigated through Aristotle and Hegel as supporters of two different ontological conceptions: pluralism of substances and relational holism. Through Aristotle, I examine both the thesis according to which the identity of an object is constituted by its properties and the difficulties which this thesis encounters (e.g., those raised by Max Black). Aristotle easily defines the identity in species, in genus, and in number; some problems arise regarding the identity of individuals: for these, it is not enough to indicate the definition and the proper qualities, but matter is needed. Matter cannot, however, be a criterion for identifying duplicate objects: in this case, it plays at most the role of a “weak individuator.” A weak individuator involves relations with other entities. The use of relations in determining the identity of an entity is extensively treated by Hegel, according to whom, in order to define the identity of an object a multiplicity of particular objects is required and, therefore, relations among entities. I conclude by proposing a notion of the object understood not as an independent, separate, and autonomous item, but as a portion of the world, which is given in a phenomenological context and identifies a dialectical context.     

Humean Supervenience in the Light of Contemporary Science

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level.     

Kant, Spinoza, and the Metaphysics of the Ontological Proof

This paper provides an interpretation and evaluation of Spinoza’s highly original version of the ontological proof in terms of the concept of substance instead of the concept of perfection in the first book of his Ethics. Taking the lead from Kant’s critique of ontological arguments in the Critique of Pure Reason, the paper explores the underlying ontological and epistemological presuppositions of Spinoza’s proof. The main topics of consideration are the nature of Spinoza’s definitions, the way he conceives of the relation between a substance and its essence, and his conception of existence. Once clarity is shed upon these fundamental issues, it becomes possible to address the proof in its own terms. It is then easy to see that Kant’s objections miss their target and that the same is true of those advanced by another of the ontological argument’s most famous critics, Bertrand Russell. Finally, several interpretations of Spinoza’s proof are proposed and critically evaluated; on all of them, the argument turns out to be either invalid or question-begging.     

Three Flawed Distinctions in the Philosophy of Time

The distinctions between A-series and B-series, between synchronic and diachronic identity and between perdurance and endurance are basic in the philosophy of time; yet they are flawed. McTaggart’s claim that the B-series is static and that a series has to be changing to be really temporal arises from a misunderstanding of temporal relations and of the task of ontological analysis. The dynamic appearance of the A-series results from the incompleteness of the analysis. “Synchronic identity” is synonymous with “strict identity”, which has nothing to do with simultaneity. “Diachronic Identity” is another designation for persistence of an ordinary thing through time and change. Now, strict self-identity holds independently of whether a thing has a short or a long duration. Hence, diachronic identity is synchronic identity. Lewis’ distinguishes two kinds of ontological analyses of persistence, the perdurance and the endurance analysis. This dichotomy is in several respects not exhaustive. Above all, his definition of “persist” is inadequate being based on the notion of multiple temporal localisation which is apt with interrupted but misplaced with persistent, i.e., temporally continuous objects.     

Ontological Vagueness, Existence Monism and Metaphysical Realism

Recently, Terry Horgan and Matja? Potr? have defended the thesis of ‘existence monism’, according to which the whole cosmos is the only concrete object. Their arguments appeal largely to considerations concerning vagueness. Crucially, they claim that ontological vagueness is impossible, and one key assumption in their defence of this claim is that vagueness always involves ‘sorites-susceptibility’. I aim to challenge both the claim and this assumption. As a consequence, I seek to undermine their defence of existence monism and support a common-sense pluralist ontology of ‘ordinary objects’ as being fully consistent with a thoroughgoing metaphysical realism.     

More about empirical evaluation of formal theory†

The purpose of this discussion is to transform the implicit equilibrium assumption endemic to network analysis into an explicit instrument for such analysis. I propose a formal model that brings together Coleman's restriction of Walras’ general equilibrium model and recent developments in describing the “social topology” of a multiple network system of actors such that a class of relational equilibria is defined. The specific equilibrium expected in a system is a function of the previously existing stratification of actors in the system. Corresponding to multiple observed networks, the model generates multiple equilibrium networks. The structural analysis of the observed networks can therefore be repeated on the equilibrium networks so as to assess the extent to which the analysis would differ if the observed relations were actually in an equilibrium state. Numerical illustration is provided by an analysis of alternative relational equilibria in the system of elite experts in methodological and mathematical sociology as such a system existed in 1975.     

Are Bare Particulars Constituents?

In this article I examine an as yet unexplored aspect of J.P. Moreland’s defense of so-called bare particularism — the ontological theory according to which ordinary concrete particulars (e.g., Socrates) contain bare particulars as individuating constituents and property ‘hubs.’ I begin with the observation that if there is a constituency relation obtaining between Socrates and his bare particular, it must be an internal relation, in which case the natures of the relata will necessitate the relation. I then distinguish various ways in which a bare particular might be thought to have a nature and show that on none of these is it possible for a bare particular to be a constituent of a complex particular. Thus, Moreland’s attempt to resurrect bare particulars as ontologically indispensable entities is not wholly without difficulties.     

Unifying ontological similarity measures: A theoretical and empirical investigation

This paper theoretically and empirically investigates ontological similarity. Tversky’s parameterized ratio model of similarity [3] is shown as a unifying basis for many of the well-known ontological similarity measures. A new family of ontological similarity measures is proposed that allows parameterizing the characteristic set used to represent an ontological concept. The three subontologies of the prominent Gene Ontology (GO) are used in an empirical investigation of several ontological similarity measures. Another study using well known semantic similarity within two different anatomy ontologies, the NCIT anatomy and the mouse anatomy, is also presented for comparison to several of the GO results. A discussion of the correlation among the measures is presented as well as a comparison of the effects of two different methods of determining a concept’s information content, corpus-based and ontology-based.     

Justification,Justifying, and Leite’s Localism

In a series of papers, Adam Leite has developed a novel view of justification tied to being able to responsibly justify a belief. Leite touts his view as (i) faithful to our ordinary practice of justifying beliefs, (ii) providing a novel response to an epistemological problem of the infinite regress, and (iii) resolving the “persistent interlocutor” problem. Though I find elements of Leite’s view of being able to justify a belief promising, I hold that there are several problems afflicting the overall picture of justification. In this paper, I argue that despite its ambitions, Leite’s view fails to solve the persistent interlocutor problem and does not avoid a vicious regress.     

Proximity relations in the fuzzy relational database model

The fuzzy relational model of Buckles and Petry is a rigorous scheme for incorporating non-ideal or fuzzy information in a relational database. In addition to providing a consistent scheme for representing fuzzy information in the relational structure, the model possesses two critical properties that hold for classical relational databases. These properties are that no two tuples have identical interpretations and each relational operation has a unique result.The fuzzy relational model relies on similarity relations for each scalar domain in the fuzzy database. These relations are reflexive, symmetric, and max-min transitive. In addition to introducing fuzziness into the relational model, each similarity relation induces equivalence classes in its domain. It is the existence of these equivalence classes that provides the model with the important properties possessed by classical relational databases.In this paper, we extend the fuzzy relational database model of Buckles and Petry to deal with proximity relations for scalar domains. Since reflexivity and symmetry are the only constraints placed on proximity relations, they generalize the notion of similarity relations. We show that it is possible to induce equivalence classes from proximity relations; thus, the ‘nice’ properties of the fuzzy relational model of Buckles and Petry are preserved. Furthermore, the removal of the max-min transitivity restriction also provides database users with more freedom to express their value structures.     

Frege,Dedekind, and the Modern Epistemology of Arithmetic

In early analytic philosophy, one of the most central questions concerned the status of arithmetical objects. Frege argued against the popular conception that we arrive at natural numbers with a psychological process of abstraction. Instead, he wanted to show that arithmetical truths can be derived from the truths of logic, thus eliminating all psychological components. Meanwhile, Dedekind and Peano developed axiomatic systems of arithmetic. The differences between the logicist and axiomatic approaches turned out to be philosophical as well as mathematical. In this paper, I will argue that Dedekind’s approach can be seen as a precursor to modern structuralism and as such, it enjoys many advantages over Frege’s logicism. I also show that from a modern perspective, Frege’s criticism of abstraction and psychologism is one-sided and fails against the psychological processes that modern research suggests to be at the heart of numerical cognition. The approach here is twofold. First, through historical analysis, I will try to build a clear image of what Frege’s and Dedekind’s views on arithmetic were. Then, I will consider those views from the perspective of modern philosophy of mathematics, and in particular, the empirical study of arithmetical cognition. I aim to show that there is nothing to suggest that the axiomatic Dedekind approach could not provide a perfectly adequate basis for philosophy of arithmetic.     

The Problem of Emotional Significance

What does it mean to say that an emotional response fits the situation? This question cannot be answered simply by specifying the core relational theme (loss or risk, say) associated with each emotion: we must also explain what constitutes an emotionally significant loss or risk. It is sometimes suggested that emotionally significant situations are those that bear on the subject’s interests or concerns. I accept that this claim is plausible for some emotional responses, and I propose a particular way of interpreting it. I suggest that, for many emotions, emotional significance is determined by the subject’s likes and dislikes – that is, settled dispositions to find a certain situation pleasant or distressing. I contrast this account with other preference-based accounts and with an account that appeals to the subject’s interests. I argue that we should prefer the likes-based account to these rival views.     

Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers

A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes.     

Complex impure systems: Sheaves,freeways, and chains

Fundamental to the approach of Complex Impure Systems is the definition of the concept of an s‐impure set as a set of perceptual beliefs or denotative significances (relative beings) of material and/or energetic real objects (absolute beings). But any Subject not only the subject S perceives objects O as significances, and he perceives the existing relations between these significances or, alternatively, he infers them. The study of these relations, conceived not as a singular relation between singular objects, but as sheaves of relations in both directions and forming relational freeways, will be studied here. In this work, we approach the structure of the system, from a synchronous point of view, as a first approach to this class of systems. © 2016 Wiley Periodicals, Inc. Complexity 21: 387–400, 2016     

Transvaluationism, common sense and indirect correspondence

The problem of reconciling the philosophical denial of ontological vagueness with common-sense beliefs positing vague objects, properties and relations is addressed. This project arises for any view denying ontological vagueness but is especially pressing for transvaluationism, which claims that ontological vagueness is impossible. The idea that truth, for vague discourse and vague thought-content, is an indirect form of language-thought correspondence is invoked and applied. It is pointed out that supervaluationism provides one way, but not necessarily the only way, of implementing the idea of indirect correspondence.