Online research in philosophy

It is argued that van der Velde and de Kamps employ binding circuitry that effectively constitutes a form of conjunctive binding. Analogies with prior systems are discussed and hypothetical origins of binding circuitry are examined for credibility.

Those who hold that all fundamental sparse properties have dispositional essences face a problem with structural (e.g. geometrical) properties. In this paper I consider a further route for the dispositional monist that is enabled by the requirement that physical theories should be background-free. If this requirement is respected then we can see how spatial displacement can be a causally active relation and hence may be understood dispositionally.

Several prominent attacks on the objects of 'folk ontology' argue that these would be omitted from a scientific ontology, or would be 'rivals' of scientific objects for their claims to be efficacious, occupy space, be composed of parts, or possess a range of other properties. I examine causal redundancy and overdetermination arguments, 'nothing over and above' appeals, and arguments based on problems with collocation and with property additivity. I argue that these share a common problem: applying conjunctive principles to cases in which the claims conjoined are not analytically independent. This unified diagnosis provides a way of defending ordinary objects against these common objections, while also yielding warnings about certain uses of general conjunctive principles.

Several prominent attacks on the objects of 'folk ontology' argue that these would be omitted from a scientific ontology, or would be 'rivals' of scientific objects for their claims to be efficacious, occupy space, be composed of parts, or possess a range of other properties. I examine causal redundancy and overdetermination arguments, 'nothing over and above' appeals, and arguments based on problems with collocation and with property additivity. I argue that these share a common problem: applying conjunctive principles to cases in which the claims conjoined are not analytically independent. This unified diagnosis provides a way of defending ordinary objects against these common objections, while also yielding warnings about certain uses of general conjunctive principles.

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak.

According to the “knowability thesis,” every truth is knowable. Fitch’s paradox refutes the knowability thesis by showing that if we are not omniscient, then not only are some truths not known, but there are some truths that are not knowable. In this paper, I propose a weakening of the knowability thesis (which I call the “conjunctive knowability thesis”) to the e:ect that for every truth p there is a collection of truths such that (i) each of them is knowable and (ii) their conjunction is equivalent to p. I show that the conjunctive knowability thesis avoids triviality arguments against it, and that it fares very di:erently depending on another thesis connecting knowledge and possibility. If there are two propositions, inconsistent with one another, but both knowable, then the conjunctive knowability thesis is trivially true. On the other hand, if knowability entails truth, the conjunctive knowability thesis is coherent, but only if the logic of possibility is weak.

1 See for example, E. J. Lowe, The Possibility of Metaphysics, pp. 51-3, 210-220, and David Lewis, The Plurality of Worlds on the notion of concrete object. 2 The properties that are constituents of a particular should be intrinsic properties, though it need not be assumed that all its intrinsic properties are constituents. The notion of intrinsic property is easier if a sparse view (as opposed to an abundant view) of properties is assumed. A sparse view requires a criterion for being a property, such as a causal principle (Shoemaker) or the related Eleatic principle (Armstrong). Intrinsic properties should be real properties. Such a criterion should rule out conjunctive properties, disjunctive properties, and negated properties. On the hand, it could be stipulated that these are not intrinsic properties. Those that believe in abundant properties should use the criterion to divide properties into two classes (natural and non-natural); intrinsic properties would then be located in the first class. Extrinsic properties are properties that an object possesses in virtue of other objects, their properties, and relations that involve them. If these other objects were to disappear all intrinsic properties would be unaffected. Intrinsic properties are non-relational in the sense that an object does not possesses them in virtue of other objects, their properties, and relations between them. However, intrinsic properties can be relational when an object possesses a (monadic) property in virtue of relations between its parts. Paradigmatic intrinsic properties are the mass, charge, magnetic moment, and spin of the electron as normally understood.

I argue that the conjunctive distribution of permissibility over or, which is a puzzling feature of free-choice permission is just one instance of a more general class of conjunctive occurrences of the word, and that these conjunctive uses are more directly explicable by the consideration that or is a descendant of oper than by reference to the disjunctive occurrences which logicalist prejudices may tempt us to regard as semantically more fundamental. I offer an account of how the disjunctive uses of or may have come about through an intermediate discourse-adverbial use of or, drawing a parallel with but, which, etymologically, is disjunctive rather than conjunctive and whose conjunctive uses seem to represent just such a discourse-adverbial application.

This paper is closely related to investigations of abstract properties of basic logical notions expressible in terms of closure spaces as they were begun by A. Tarski (see [6]). We shall prove many properties of -conjunctive closure spaces (X is -conjunctive provided that for every two elements of X their conjunction in X exists). For example we prove the following theorems:1. For every closed and proper subset of an -conjunctive closure space its interior is empty (i.e. it is a boundary set). 2. If X is an -conjunctive closure space which satisfies the -compactness theorem and [X] is a meet-distributive semilattice (see [3]), then the lattice of all closed subsets in X is a Heyting lattice. 3. A closure space is linear iff it is an -conjunctive and topological space. 4. Every continuous function preserves all conjunctions.