To define new property terms, we combine already familiar ones by means of certain logical operations. Given suitable constraints, these operations may presumably include the resources of first-order logic: truth-functional sentence connectives and quantification over objects. What is far less clear is whether we can also use modal operators for this purpose. This paper clarifies what is involved in this question, and argues in favor of modal property definitions.

Many theories assimilate the idioms of modality to those of quantification; they hold that so-and-so is possible iff there is a "world" at which it is true that so-and-so. "Modal realism" identifies worlds with certain concrete particulars, and truth at a world with what is true of it. Rival "ersatz" theories identify worlds with certain abstract entities and identify what is true at them with what they represent. ;David Lewis argues that pre-theoretic modal intuitions are best explained by (...) modal realism. I try to make a case for ersatzism. ;First, I argue that modal realism is flawed on the grounds that it entails the impossibility of certain intuitively possible spatiotemporal structures; it fails to explain fully even those intuitions with which it is compatible; and it renders the origin of modal knowledge mysterious. ;Next, I argue that objections to ersatzism are not conclusive. ;Lewis objects that even a generic version of ersatzism requires an unnameable and maybe unintelligible primitive relation. I suggest that the problems with naming are perfectly general; they have nothing to do with metaphysical theories of modality in particular. And I suggest a solution taken from Lewis himself. I also argue that any purported unintelligibility is due to illegitimately assimilating the relation to spatiotemporal relations. ;Finally, I consider some difficulties with a version of ersatzism that aims to reduce modality to impure set-theory. One concerns the accommodation of intuitions about properties that are not, but might have been, instantiated. Another concerns accommodation of intuitions about relations of exclusion and entailment among properties. I suggest that these difficulties are due to faulty assumptions about the nature of properties rather than any fundamental flaws in this ersatz approach. So I propose an account of properties that when incorporated into ersatzism circumvents these difficulties and allows it to claim the advantages of modal realism without its drawbacks. Unlike traditional accounts, this takes the essence of a property to consist in its role in imposing a certain classificational structure on the particulars that instantiate it, rather than in any unique and irreducible "quiddity". (shrink)

Physicalists about the mind are committed to claims about property identities. Following Kripke's well-known discussion, modal arguments have emerged as major threats to such claims. This paper argues that modal arguments can be resisted by adopting a counterpart theoretic account of modal claims, and in particular modal claims involving properties. Thus physicalists have a powerful motive to adopt non-Kripkean accounts of the metaphysics of modality and the semantics of modal expressions.

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the (...) theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the (...) theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way (...) that kinds are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

We are concerned with modal logics in the class EM0 of extensions of M0 . G denotes re exive frames. MG the modal logic on G in the sense of Kripke. M is nite if M = MG for some nite G. Finite G's will be drawn as framed diagrams, e.g. G = ! ; G = ! ; the latter shorter denoted by . EM0 is a complete lattice with zero M0 and one M . If M (...) M0 M0 is a succ of M. An ip of M is an immediate predecessor of M. E.g. M ! and M are the only ip's of M in ES4. M[P] denotes the extension of M adding P as a \new axiom", e.g. S4 = M0 [p ! p]. M is nitely axiomatizable if M = M0 [P] for some formula P. One easily shows if M is f.a. then each predecessor is separated from M by an ip of M. It is known that each nite M is f.a. and has only nitely many succ's all of which are nite. (shrink)

I investigate the character of the definite properties defined by the Basic Rule in the Vermaas and Dieks' (1995) version of the modal interpretation of quantum mechanics, specifically for the case of the continuous model of decoherence by Joos and Zeh (1985). While this model suggests that the characteristic length that might be associated with the localisation of an individual system is the coherence length of the state (which converges rapidly to the thermal de Broglie wavelength), I show (...) in an exactly soluble case that the definite properties that are possessed with overwhelming probability in this modal interpretation are delocalized over the entire spread of the state. (shrink)

Orthodox quantum mechanics includes the principle that an observable of a system possesses a well-defined value if and only if the presence of that value in the system is certain to be confirmed on measurement. Modal interpretations reject the controversial ‘only if’ half of this principle to secure definite outcomes for quantum measurements that leave the apparatus entangled with the object it has measured. However, using a result that turns on the construction of a Kochen–Specker contradiction, I argue that (...) modal interpretations cannot deliver a metaphysically tenable conception of properties in quantum mechanics unless they also abandon the less controversial ‘if’ half of the orthodox principle. (shrink)

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

The paper pinpoints certain unrecognized difficulties that surface for recombination and duplication in modal realism when we ask whether the following inter-world fixity claims hold true: 1) A property is perfectly natural in a world iff it is perfectly natural in every world where it is instantiated; 2) Something is mereologically atomic in a world iff all of its duplicates in every world are atomic. In connection to 1), the hypothesis of idlers prompts four variants of Lewis’s doctrine of (...) perfectly natural properties, all deemed unsatisfactory for the purposes of duplication and recombination. By means of 2), instead, we show that the principle of recombination does not countenance the atomicity or non-atomicity of duplicates; but it should, because it is genuinely possible that: a) something, which is atomic, is non-atomic; and b) something, which is non-atomic, is atomic. In discussing 1) and 2), the paper substantiates a tension in Lewis’s metaphysics between modal intuitions and the reliance on the natural sciences. (shrink)

The first example of an intuitively meaningful propositional logic without the finite model property, and still the simplest one in the literature. The question of its decidability appears still to be open.

The principle of modal continuity has become an increasingly popular bit of modal epistemology, featuring prominently in debates about mereology, value, causation, and theism. It claims, roughly, that degreed properties are modally unified. So, if the property of being three inches tall is exemplifiable, so is the property of being four inches tall, and five inches tall, etc. Despite its plausibility, in this paper I show that there is a class of counterexamples to modal continuity: what (...) I call ‘powered properties.’ More surprisingly, I show that an instance of these powered properties is entailed by another widely popular family of modal principles: the Lewisian patchwork principles, also known as cut-and-paste, or recombination, principles. Thus, despite appearing to be similar, and motivated by plenitudinous intuitions about the nature of modality, it turns out that the continuity and recombination approaches to modality rely on crucially different pictures of plenitude. (shrink)

A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics (...) to actually test whether a given graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. (shrink)

The modal logic S4.2 is S4 with the additional axiom ◊□A ⊃ □◊A. In this article, the sequent calculus GS4.2 for this logic is presented, and by imposing an appropriate restriction on the application of the cut-rule, it is shown that, every GS4.2-provable sequent S has a GS4.2-proof such that every formula occurring in it is either a subformula of some formula in S, or the formula □¬□B or ¬□B, where □B occurs in the scope of some occurrence of (...) □ in some formula of S. These are just the K5-subformulas of some formula in S which were introduced by us to show the modied subformula property for the modal logics K5 and K5D : 115–122, 2001). Some corollaries including the interpolation property for S4.2 follow from this. By slightly modifying the proof, the finite model property also follows. (shrink)

Technical results about the time dependence of eigenvectors of reduced density operators are considered, and the relevance of these results is discussed for modal interpretations of quantum mechanics which take the corresponding eigenprojections to represent definite properties. Continuous eigenvectors can be found if degeneracies are avoided. We show that, in finite dimensions, the space of degenerate operators has co-dimension 3 in the space of all reduced operators, suggesting that continuous eigenvectors almost surely exist. In any dimension, even when (...) degeneracies are hit, we find conditions under which a theorem due to Rellich can provide continuous eigenvectors. We use this result to formulate an extended version of the modal interpretation. We also discuss eigenvector instability which we argue poses a serious problem for the modal interpretation, even in our extended version. Many examples are given to illustrate the mathematics. (shrink)

MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.

There seems to be a distinction between primary and secondary properties; some philosophers defend the view that properties like colours and values are secondary, while others criticize it. The distinction is usually introduced in terms of essence; roughly, secondary properties essentially involve mental states, while primary properties do not. In part because this does not seem very illuminating, philosophers have produced different reductive analyses in modal terms, metaphysic or epistemic. Here I will argue, firstly, that (...) some well-known examples fail, and also that there are deep reasons why such approaches should do so. Secondly, I will argue that it is acceptable to remain satisfied with the non-reductive account in terms of essence. To that end, I will indicate how such an explication could be put to use to support the claim that properties like colours and values are secondary. In a series of recent writings, Kit Fine has argued that essence cannot be reductively analysed in modal terms. Fine offers some examples to motivate his claim. I suggest that the primary/secondary distinction constitutes a philosophically interesting illustration. (shrink)

The tangle modality is a propositional connective that extends basic modal logic to a language that is expressively equivalent over certain classes of finite frames to the bisimulation-invariant fragments of both first-order and monadic second-order logic. This paper axiomatises several logics with tangle, including some that have the universal modality, and shows that they have the finite model property for Kripke frame semantics. The logics are specified by a variety of conditions on their validating frames, including local and global (...) connectedness properties. Some of the results have been used to obtain completeness theorems for interpretations of tangled modal logics in topological spaces. (shrink)

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm {B}$, $\Delta (\mathrm {B})$, and $\Sigma (\mathrm {B})$ of formulas of modal arithmetic and study basic properties of them. Then, we prove several implications between the properties. In particular, among other things, we prove that for any consistent recursively enumerable extension T of $\mathbf {PA}(\mathbf {K})$ with $T \nvdash \Box \bot $, the $\Sigma (...) (\mathrm {B})$ -disjunction property, the $\Sigma (\mathrm {B})$ -existence property, and the $\mathrm {B}$ -existence property are pairwise equivalent. Moreover, we introduce the notion of the $\Sigma (\mathrm {B})$ -soundness of theories and prove that for any consistent recursively enumerable extension of $\mathbf {PA}(\mathbf {K4})$, the modal disjunction property is equivalent to the $\Sigma (\mathrm {B})$ -soundness. (shrink)

This paper proposes a semantic description of the linear step-like temporal multi-agent logic with the universal modality \(\mathcal{LTK}.sl_U\) based on the idea of non-reflexive non-transitive nature of time. We proved a finite model property and projective unification for this logic.

Spinoza studies have seen a renaissance of interest in his views on modality, from which considerable disagreement has emerged about Spinoza's modal commitments. Much of this disagreement stems from larger interpretive disagreements about Spinoza's metaphysics. After a brief introduction, this SEP article begins with Spinoza's views on the distribution of modal properties, which quickly leads the heart of Spinoza's metaphysics, intersecting his views on causation, inherence, God, ontological plenitude and the principle of sufficient reason. Although the question (...) of whether Spinoza was a necessitarian is the predominant topic of discussion in the recent secondary literature on Spinoza's modal views, Spinoza also sketches interesting accounts of the nature of modality and the ground of modality that shed fresh light on his modal commitments. Though understudied by recent interpreters, these latter topics were of interest to Spinoza's peers and remain vibrant research questions in contemporary metaphysics of modality. (shrink)

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the (...) modal logic used for the fix point construction then we come to the Marek Schwarz and Truszczyński framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. (shrink)

Let L be one of the intuitionistic modal logics considered in [4]. As in the classical modal case (see [7]), we define two different forms of the Beth property for L, which are denoted by B 1 and B 2 ; in this paper we study the relation among B 1 ,B 2 and the interpolation properties C 1 and C 2 , introduced in [4]. It turns out that C 1 implies B 1 , but contrary (...) to the boolean case, is not equivalent to B 1 . It is shown that B 2 and C 2 are independent, and moreover it comes out that, in contrast to classical case, there exists an extension of the intuitionistic modal logic of S 4 -type, that has not the property B 2 . Finally we give two algebraic properties, that characterize respectively B 1 and B 2. (shrink)

LetL be one of the intuitionistic modal logics considered in [7] (or one of its extensions) and letM L be the “algebraic semantics” ofL. In this paper we will extend toL the equivalence, proved in the classical case (see [6]), among he weak Craig interpolation theorem, the Robinson theorem and the amalgamation property of varietyM L. We will also prove the equivalence between the Craig interpolation theorem and the super-amalgamation property of varietyM L. Then we obtain the Craig interpolation (...) theorem and Robinson theorem for two intuitionistic modal logics, one ofS 4-type and the other one ofS 5-type, showing the super-amalgamation property of the corresponding algebraic semantics. (shrink)

Barsalou has recently argued against the strategy of identifying amodal neural representations by using their cross-modal responses (i.e., their responses to stimuli from different modalities). I agree that there are indeed modal structures that satisfy this “cross-modal response” criterion (CM), such as distributed and conjunctive modal representations. However, I argue that we can distinguish between modal and amodal structures by looking into differences in their cross-modal responses. A component of a distributed cell assembly can (...) be considered unimodal because its responses to stimuli from a given modality are stable, whereas its responses to stimuli from any other modality are not (i.e., these are lost within a short time, plausibly as a result of cell assembly dynamics). In turn, conjunctive modal representations, such as superior colliculus cells in charge of sensory integration, are multimodal because they have a stable response to stimuli from different modalities. Finally, some prefrontal cells constitute amodal representations because they exhibit what has been called ‘adaptive coding’. This implies that their responses to stimuli from any given modality can be lost when the context and task conditions are modified. We cannot assign them a modality because they have no stable relation with any input type. (shrink)

According to the modal interpretation, the standard mathematical framework of quantum mechanics specifies the physical magnitudes of a system, which have definite values. Probabilities are assigned to the possible values that these magnitudes may adopt. The interpretation is thus concerned with physical properties rather than with measurement results: it is a realistic interpretation. One of the notable achievements of this interpretation is that it dissolves the notorious measurement problem. The papers collected here, together with the introduction and concluding (...) critical appraisal, explain the various forms of the modal interpretation, survey its achievements, and discuss those problems that have yet to be solved. Audience: Philosophers of science, theoretical physicists, and graduate students in these disciplines. (shrink)

This volume contains eighteen papers, three with new postscripts, that were written over the past 35 years. Five of the papers have not been previously published. Together they provide a comprehensive account of modal reality—the realm of possible worlds—from a Humean perspective, with excursions into neighboring topics in metaphysics. Part 1 sketches an account of reality as a whole, both the mathematical and the modal, defending a form of plenitudinous realism: every consistent proposition is true of some portion (...) of reality. Part 2 presents and defends a realist theory of concrete possible worlds with an absolute ontological distinction between the actual and the merely possible. Part 3 presents and defends a Humean account of modal plenitude, formulating and endorsing principles of recombination, of plenitude of possible structures, and of plenitude of alien contents. Part 4 applies the Humean account to truthmaking, mereology, spacetime, and quantities. I argue that holding fast to Humean strictures leads to views that differ in radical ways from those put forth by contemporary metaphysicians. (shrink)

Minimalists about truth think they've hit on something like a job description for a truth predicate: A truth predicate facilitates the expression of certain generalizations, such as "Whatever N. said is true" that would otherwise require a substitutional quantifier, or an infinite conjunction or disjunction. In the first chapter I argue that even if truth predicates have that function, it would be a mistake to suppose that this is their only role. There is an internal relation between truth and assertion (...) that a minimalist fails to capture. In order to demonstrate this, I show how on a minimalist view commands would end up being among the sorts of things which are apt for truth. In the second chapter, I consider Lewis' well-known "argument from paraphrase" for the existence of possible worlds. I claim that the argument is only compelling on a certain reading of the presumption in favor of a face value semantics, but that on this reading the conclusion of the argument is incompatible with any standard possible worlds analysis of modal discourse. I go on to consider both whether the presumption in favor of a face value analysis of "way" talk might be defeated, and if not, how an ontic analysis of modal discourse might be recast in a form consistent with this result. ;In the third chapter, I consider a paradox involving our first-order modal judgements: It seems consistent to suppose that some things which are not possible still could have been possible if only the world had been different. But this is a view that's hard to square with a plausible semantics for modality. I argue that the problem here is a genuine puzzle about modality and that it requires the introduction of a perspectival semantics for attributions of de re modal properties. (shrink)

What is required for you to know what a certain property is? And what is required for you to have the concept of that property? Hume held that a person who has never tasted a pineapple cannot know what the property tasting like a pineapple is. He also thought that this person cannot have the corresponding concept. A subsequent tradition in empiricism generalises these claims at least to all the so-called "secondary qualities." I will argue that this tradition is mistaken. (...) I will argue that there is no more of a philosophically significant connection between the property tasting like a pineapple and your taste experiences of pineapples than there is between the property having a mass and your tactile experiences when lifting objects. Likewise with respect to the corresponding concepts. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as (...) a framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)