In this paper I examine the role of dispositional properties in the most frequently discussed interpretations of non-relativistic quantum mechanics. After offering some motivation for this project, I briefly characterize the distinction between non-dispositional and dispositional properties in the context of quantum mechanics by suggesting a necessary condition for dispositionality – namely contextuality – and, consequently, a sufficient condition for non-dispositionality, namely non-contextuality. Having made sure that the distinction is conceptually sound, I then analyze the plausibility of the (...) widespread, monistic ontological thesis about the reducibility of dispositional properties to categorical properties in the context of the philosophy of quantum mechanics. I conclude that with the exception of Bohmian mechanics, the other “minimally realist” views of quantum mechanics require essential dispositions, i.e., dispositions of a non-reducible kind. Interestingly, seen behind the lenses of dispositionalism, Bohr’s and Bohm’s interpretations of quantum mechanics are much closer than it is usually recognized, a fact that could teach us something about the way the quantum world is. (shrink)

I demonstrate that the pre-Critical Kant is essentialist and intellectualist about the relational properties of substances. That is to say, God can choose whether or not to create a substance, and whether or not to connect this substance with other substances, so as to create a world: but God cannot choose what the nature of the relational properties is, once the substance is created and connected. The divine will is constrained by the essences of substances. Nonetheless, (...) Kant considers that essences depend upon God, in that they depend upon the divine intellect. I conclude by gesturing towards some possible implications of this interpretation, when considering the role that might be played by God – both historically and conceptually – in relation to the notion of ‘laws of nature’, and when understanding Kant's transcendental idealism and his Critical conception of freedom. (shrink)

This paper argues that Twin Earth twins belong to the same psychological natural kind, but that the reason for this is not that the causal powers of mental states supervene on local neural structure. Fodor’s argument for this latter thesis is criticized and found to rest on a confusion between it and the claim that Putnamian and Burgean type relational psychological properties do not affect the causal powers of the mental states that have them. While it is true (...) that Putnamian and Burgean type relational psychological properties do not affect causal powers, it is false that no relational psychological properties do. Examples of relational psychological properties that do affect causal powers are given and psychological laws are sketched that subsume twins in virtue of them instantiating these relational properties rather than them sharing the narrow contents of their thoughts. (shrink)

This paper reexamines the central thesis of Gadamer’s theory of interpretation that objectivity is not a suitable ideal for understanding a text, historical event or cultural phenomenon because there exists no one correct interpretation of such phenomena. Because Gadamer fails to make clear the grounds for this claim, I consider three possible arguments. The first, predominant in the secondary literature, is built on the premise that we cannot surpass our historically situated prejudgments. I reject this argument as insufficient. I also (...) reject a second argument concerning the heuristics of understanding. I then articulate a third argument that the object of understanding changes according to the conditions under which it is grasped. I appeal to the notion of relational properties to make sense of this claim and to defend it against two objections: that it conflates meaning and significance; and that it is saddled with an indefensible relativism. (shrink)

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate (...) ideas: that truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

In the Critique of Pure Reason, Kant often remarks that phenomena consist only in relations. This is a highly puzzling thesis that is not easily reconcilable with the explanation of natural processes. More specifically, it is not clear whether and how a network of mere relations (such as ‘being higher than’, ‘being next to’, etc.) can give rise to genuine changes in nature. I call this the problem of global relationality. In this paper, I suggest a solution to this problem (...) by showing that Kant’s specific sense of relationality is ultimately grounded in the spatiality of phenomena and differs from the one usually assumed in the contemporary debate. I argue that a subset of empirical properties can be regarded as ‘comparatively intrinsic’ since they preserve a genuine sense of intrinsicness while being fully relational in space. As a result, real changes can take place in the phenomenal realm if they concern comparatively intrinsic properties of empirical objects. (shrink)

This paper proves that the disjunction property, the numerical existence property, Church’s rule, and several other metamathematical properties hold true for Constructive Zermelo-Fraenkel Set Theory, CZF, and also for the theory CZF augmented by the Regular Extension Axiom.As regards the proof technique, it features a self-validating semantics for CZF that combines realizability for extensional set theory and truth.

In discussions on mental causation and externalism, it is often assumed that extrinsic, or relational, properties cannot have causal efficacy. In this paper I argue that this assumption is based on a category mistake, in that causal efficacy (dependence among events or states of affairs) is confused with causal influence (persistence of and interaction among objects). I then argue that relational properties are indeed causally efficacious, which I explain with the help of Dretske's notion of a (...) 'structuring cause'. (shrink)

In Art as Performance , David Davies identifies certain properties relevant to artistic appreciation of artworks that, he suggests, are naturally construed as belonging to the artist’s creative performance rather than to any product of that performance (the “work-product”). He further argues, against an anticipated opponent, that such properties cannot be excluded as irrelevant to artistic appreciation in any principled way. I argue that the cited properties can be intelligibly construed as properties of the associated work-product, (...) whether or not they are relevant to artistic appreciation; but that some are not relevant to artistic appreciation. In doing so, I offer a principle determining when a property of an artwork is relevant to artistic appreciation. I conclude that, on its own, Davies’s argument offers no good grounds to abandon our practice of thinking of the artwork as the product of an artist’s activity, rather than the activity itself. (shrink)

The concept of innateness is used to make inferences between various better-understood properties, like developmental canalization, evolutionary adaptation, heritability, species-typicality, and so on (‘innateness-related properties’). This article uses a recently-developed account of the representational content carried by inheritance systems like the genome to explain why innateness-related properties cluster together, especially in non-human organisms. Although inferences between innateness-related properties are deductively invalid, and lead to false conclusions in many actual cases, where some aspect of a phenotypic trait (...) develops in reliance on a genetic representation it will tend, better than chance, to have many of the innateness-related properties. The account also shows why inferences between innateness-related properties sometimes fail and argues that such inferences are especially misleading when applied to human psychology and behaviour because human psychological development is especially reliant on non-genetic inherited representations. (shrink)

In the paper a generalised method for obtaining an adequate axiomatic system for any relating logic expressed in the language with Boolean connectives and relating implication, determined by the limited positive relational properties is studied. The method of defining axiomatic systems for logics of a given type is called an algorithm since the analysis allows for any logic determined by the limited positive relational properties to define the adequate axiomatic system automatically, step-by-step. We prove in the (...) paper that the algorithm really works and we show how it can be applied to BLRI. (shrink)

Kant’s claim that we are ignorant of things in themselves is a claim that we cannot know ‘the intrinsic nature of things’, or so at least I argued in Kantian Humility.2 I’m delighted to find that Lucy Allais is in broad agreement with this core idea, thinking it represents, at the very least, a part of Kant’s view. She sees some of the advantages of this interpretation. It has significant textual support. It does justice to Kant’s sense that we are (...) missing out on something, in our failure to know things as they are in themselves. And it makes tellable, after all, Kant’s at first sight untellable tale, about the knowable existence of unknowable things: for we can know that things exist, without knowing what their intrinsic properties are. However, Allais is critical of the way I fill out this core idea, and she has an alternative to offer. She thinks Kant’s distinction between things in themselves and phenomena is not a distinction between two kinds of properties, intrinsic and relational. She is critical of my interpretation of causal powers, which I take to be the relevant relational properties: my idea, first, that causal powers are in fact relational properties; second, that causal powers are only contingently associated with intrinsic properties, so that creating substances with intrinsic properties is insufficient for creating causal power; and, third, that intrinsic properties are causally inert. Her criticisms of these three ideas.. (shrink)

In this paper I interpret Newton’s speculative treatment of gravity as a relational, accidental property of matter that arises through what Newton calls “the shared action” of two bodies of matter. In doing so, I expand and extend on a hint by Howard Stein. However, in developing the details of my interpretation I end up disagreeing with Stein’s claim that for Newton a single body can generate a gravity/force field. I argue that when Newton drafted the first edition of (...) the Principia in the mid 1680s, he thought that (at least a part of) the cause of gravity is the disposition inherent in any individual body, but that the force of gravity is the actualization of that disposition; a necessary condition for the actualization of the disposition is the actual obtaining of a relation between two bodies having the disposition. The cause of gravity is not essential to matter because God could have created matter without that disposition. Nevertheless, at least a part of the cause of gravity inheres in individual bodies and were there one body in the universe it would inhere in that body. On the other hand, the force of gravity is neither essential to matter nor inherent in matter, because (to repeat) it is the actualization of a shared disposition. A lone part-less particle would, thus, not generate a gravity field. Seeing this allows us to helpfully distinguish among a) accepting gravity as causally real; b) the cause(s) (e.g. the qualities of matter) of the properties of gravity; c) making claims about the mechanism or medium by which gravity is transmitted. This will help clarify what Newton could have meant when he insisted that gravity is a real force. I present my argument in opposition to Andrew Janiak’s influential and fine 2007 paper. Along the way, I call attention to my disagreement with Janiak on a number of secondary issues (e.g. Janiak’s attribution to Newton of a distinction between ‘local’ and ‘distant’ action; Janiak’s reading of the “Letter to Bentley,” etc). (shrink)

Recently, there is a renewed debate concerning the role of perspective in vision. Morales et al. (2020) present evidence that, in the case of viewing a rotated coin, the visual system is sensitive to what has often been called “perspectival shapes.” It has generated vigorous discussions, including an online symposium by Morales and Cohen, an exchange between Linton (2021) and Morales et al. (2021), and most recently, a fierce critique by Burge and Burge (2022), in which they launch various conceptual (...) and empirical objections. Although Morales and Firestone (2022) have responded to them recently, and we are in agreement with Morales and Firestone in general, there are further problems in Burge and Burge (2022) that are worth highlighting. The main point of this comment is that what the Burge–Burge team call “viewpoint-dependent relational properties” are simply instances of what the Morales–Firestone team call “perspectival shapes”; the confusion arises from Burge and Burge’s misconstrual of Morales et al.’s claims. This shows that conceptually, the two teams are in large agreement, as Morales and Firestone (2022) also point out, and the focus should be put on the empirical disagreements, which has been covered by Morales and Firestone (2022). Relatedly, we argue that Burge and Burge (2022) misinterpret Morales et al. (2020) as supporting a new entity in perception science, and that this misinterpretation is a primary source of their apparent disagreement. This is worth pointing out because such misunderstanding generates many unnecessary quarrels that hinder progress. (shrink)

We address recent interpretations of infant performance on spontaneous false belief tasks. According to most views, these experiments show that human infants attribute mental states from a very young age. Focusing on one of the most clearly worked out, minimalist versions of this idea, Butterfill and Apperly's "minimal theory of mind" framework, we defend an alternative characterization: the minimal theory of rational agency. On this view, rather than conceiving of social situations in terms of states of an enduring mental substance (...) animating agents, infant interpreters parse observed bouts of behavior and their contexts into goals, rational means to those goals, and available information. In other words, the social ontology of infant interpreters consists in goal-directed, informed bouts of behavior, by non-enduring agents, rather than agents animated by states of enduring, unobservable minds. We discuss a number of experiments that support this interpretation of infant socio-cognitive competence. (shrink)

Charles Taylor claims that ‘… human life is constituted by self-understanding,’ a self-understanding which is achieved in part by our capacity to use language. Because of this, the philosophy of language is important in Taylor’s philosophical views and central to these are his views on expression. I shall argue that one way to understand Taylor’s theory of expression is to place it within a theory of speech acts. And I shall try to show that this gives us a way to (...) interpret his contention that expression is a subject-related property and that there cannot be an objective science of it. Finally, I shall argue that Taylor’s grounds for the latter claim are defective and that this leaves open the possibility that there can be an objective science of expression. (shrink)

The papers by Ronald de Sousa and Steve Davis raise very interesting issues. I think that they have the issue almost right between us, but I want to make some small amendments, which will make a big difference.First, de Sousa: with all the talk about the ‘significance feature,’ I’m not trying to make an in principle argument against the reduction of purpose/action to physical movement/change. Perhaps such an argument is possible, perhaps not. For the moment, all we have is the (...) a posteriori. But that involves our making the most dear-headed possible judgments about our actual intellectual predicament, using this term as a shorthand for a whole set of issues to do with the nature of the phenomena we face, and how they relate or don't relate to the theories on offer. Philosophy can help in this, not because philosophers wheel in bright, shiny a priori possibility arguments, but rather by clarifying what is at stake, and what is going on. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it (...) does not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Slater’s method is an integral part of the undergraduate experience. In actuality, Slater’s method is part of an atomic model and not simply a set of rules. Slater’s rules are a simple means for computing the effective nuclear charge experienced by an orbital. These rules are based on the shell-like structure of the Slater atom in which outer shell electrons are incapable of shielding inner electrons. Slater’s model provides a qualitative description of the valence electrons in multi-electron atoms with tremendous (...) ease. The model is useful for explaining atomic properties such as ionisation energy, electron affinity and atomic radius qualitatively. Slater’s rules also correctly reproduce the Madelung rule of filling and the ionisation sequence (4s before 3d); however, these rules are not able to reproduce the anomalous configurations of atoms such as Cr and Cu. It is found that the atomic properties that Slater’s model reproduces are all related to the exponential decay factor of the Slater orbital. We find—from estimating the polarity of a diatomic molecule using a simple model—that molecular polarity is related to the difference in the exponential decay factors of the valence orbitals of the two atoms, implying that the decay factor acts as the electronegativity of the atom. (shrink)

The question whether qualities are metaphysically more fundamental than or mere limiting cases of relations can be addressed in an applied symbolic logic. There exists a logical equivalence between qualitative and relational predications, in which qualities are represented as one-argument-place property predicates, and relations as more-than-one-argument-place predicates. An interpretation is first considered, according to which the logical equivalence of qualitative and relational predications logically permits us ontically to eliminate qualities in favor of relations, or relations in favor of (...) qualities. If metaphysics is understood at least in part as an exercise in ontic economy, then we may be encouraged to adopt a property ontology of qualities without quality-irreducible relations, or relations without relation-irreducible qualities. If either strategy is followed, the choice of reducing qualities to relations or relations to qualities will need to be justified on extra-logical grounds. These might include a perceived greater intuitiveness, explanatory fecundity, compatibility with cognitive ontogeny or developmental psychology, expressive or explanatory elegance or cumbersomeness, and an open-ended list of philosophical motivations that could reasonably favor the ontic prioritization of qualities over relations or relations over qualities. Despite its intuitive appeal, the thesis that logical equivalence together with extra-logical preferences justifies unidirectional ontic reduction of relations to qualities or qualities to relations is rejected in light of the more defensible proposition that the logical equivalence of qualitative and relational predications actually supports the opposite conclusion, that both qualities and relations are logically indispensable to a complete ontology of properties. The logical equivalence of qualitative and relational predications, insofar as we continue to observe the distinction, makes it logically necessary ontically for both qualities and relations to exist whenever either one exists. That logically equivalent qualitative and relational predications have as their truth-makers the exemplification by objects of both qualities and relations as equi-foundational properties further suggests that there is no deeper logical distinction between qualities and relations, but only two convenient lexical-grammatical designations for property predications involving one- versus more-than-one-argument-place. (shrink)

This paper is a contribution to the study of the rôle of disjunction inAlgebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), (...) and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic. (shrink)

I think it would be fair to say that, until about 1900, philosophers were generally reluctant to admit the existence of what are nowadays called polyadic properties.1 It is important to recognize, however, that this reluctance on the part of pre-twentieth-century philosophers did not prevent them from theorizing about relations. On the contrary, philosophers from the ancient through the modern period have had much to say about both the nature and the ontological status of relations. In this paper I (...) examine the views of one such philosopher, namely, Albert the Great. (shrink)

Hird, G.R., Recursive properties of relations on models, Annals of Pure and Applied Logic 63 241–269. We prove general existence theorems for recursive models on which various relations have specified recursive properties. These capture common features of results in the literature for particular algebraic structures. For a useful class of models with new relations R, S, where S is r.e., we characterize those for which there is a recursive model isomorphic to on which the relation corresponding to S (...) remains r.e., while that corresponding to R is not r.e.; immune; hyperimmune. The results are applied to vector spaces, Boolean algebras and abelian groups. In the case of vector spaces, this leads to a new kind supermaximal subspace of V∞. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Assuming that we find the concept of naturalness coherent, we shall no doubt wish to allow that certain relations count as highly natural. Many of us will think that various spatio-temporal and causal relations—is the cause of, is spatially separated from, is later than—are highly natural. Some of us will think that various basic semantic and mentalistic relations—refers to, attends to, believes.…--- are highly natural. Some will think that various logico-mathematical relations—being the successor of, being identical to…—are highly natural.

Assuming that we find the concept of naturalness coherent, we shall no doubt wish to allow that certain relations count as highly natural. Many of us will think that various spatio-temporal and causal relations—is the cause of, is spatially separated from, is later than—are highly natural. Some of us will think that various basic semantic and mentalistic relations—refers to, attends to, believes.…--- are highly natural. Some will think that various logico-mathematical relations—being the successor of, being identical to…—are highly natural.