Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the preceding two (...) sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)

International Studies in the Philosophy of Science, Volume 27, Issue 3, Page 273-293, September 2013.

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

Review essay covering Godehard Link, ed. One Hundred Years of Russell’s Paradox (de Gruyter 2004).

Saunders' recent arguments in favour of the weak discernibility of (certain) quantum particles seem to be grounded in the 'generalist' view that science only provides general descriptions of the worlIn this paper, I introduce the ‘generalist’ perspective and consider its possible justification and philosophical basis; and then look at the notion of weak discernibility. I expand on the criticisms formulated by Hawley (2006) and Dieks and Veerstegh (2008) and explain what I take to be the basic problem: that the properties (...) invoked by Saunders cannot be pointed to as ‘individuators’ of otherwise indiscernible (and thus numerically identical) entities because their ontological status remains underdetermined by the evidence and the established interpretation of the theory. In addition to to this, I suggest that Saunders does not deal adequately with bosons, and cannot do so exactly because he subscribes to PII and the generalist picture. The last part of the paper contains a critical examination of the claim (or at least implicit assumption) that the generalist picture should be regarded as obviously compelling by the modern-day empiricist. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .

Ontic structural realism is the view that structures are what is real in the first place in the domain of fundamental physics. The structures are usually conceived as including a primitive modality. However, it has not been spelled out as yet what exactly that modality amounts to. This paper proposes to fill this lacuna by arguing that the fundamental physical structures possess a causal essence, being powers. Applying the debate about causal vs categorical properties in analytic metaphysics to ontic structural (...) realism, I show that the standard argument against categorical and for causal properties holds for structures as well. Structural realism, as a position in the metaphysics of science that is a form of scientific realism, is committed to causal structures. The metaphysics of causal structures is supported by physics, and it can provide for a complete and coherent view of the world that includes all domains of empirical science. (shrink)

Philosophers who hold that the correct ontological analysis of things includes both properties and particulars have often been pressed to "show" the particular. If we are not acquainted with them, it is argued, then we should not suppose that they exist. I argue that, while we do have good and sufficient reasons for supposing there to be particulars, we are not acquainted with them. To suppose that we are acquainted with them is to treat particulars as if they were properties (...) and to fail to realize how radically different particulars are from properties. The relevance of these matters to some considerations of "simplicity" and the principles of empiricism is explored. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond to (...) parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) “pure logic”; (ii) philosophical logic (...) investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

Bundle Theory is the view that every concrete particular object is solely constituted by its universals. This theory is often criticized for not accommodating the possibility of symmetrical universes, such as one that contains two indiscernible spheres two meters from each other in otherwise empty space. One bundle theoretic solution to this criticism holds that the fact that the spheres stand in a weakly discerning—i.e., irreflexive and symmetric—relation, such as being two meters from, is sufficient for the numerical diversity of (...) the spheres. For this solution to be effective, however, it should be established that weak discernibility not only necessitates but also explains numerical diversity. In this paper, I argue that the fact that two objects have a certain distance between them does explain why they are non-identical. I also argue that the worry that the weak discernibility approach has some circularity problems is not well-founded. (shrink)

Consider two similarity facts: a is similar to b with respect to G, and c is similar to d with respect to G. According to the Platonist approach to similarity, the analysis of such facts forces us to admit that similarity facts are to be analyzed into facts about universal similarities of the form: a is similar to b with respect to G, and c is similar to d with respect to G, where similarity is a universal. In this paper, (...) I defend Neutralism, a view according to which there are properties and similarities, but these are not universals, particulars, or of other categories. After presenting the Platonist analysis of similarity proposed by Russell and Grossmann, I examine the question of whether or not the Platonist analysis of similarity leads us inevitably to a conception of similarity as a universal. Then I offer a novel, alternative analysis of similarity free of commitment to universals. (shrink)

J. Ladyman, Ladyman and Ross refine J. Worral's structural realism, by developing an ontic structural realism which they argue is a consistently naturalistic means of characterizing the ontology of fundamental physics. I argue that particular elements of M. Lange and M. Eklund strengthen and refine their project of characterizing fundamental physics via OSR and by extension, their presentation of information-theoretic structural realism. I demonstrate this point by situating M. Lange’s discussion of nomological modality and natural necessity within Ladyman and Ross’s (...) discussion of ITSR. The logical hierarchy evinced in Lange’s notion of ‘nomic stability’ further refines Ladyman and Ross’s claims through the addition of nuanced modal distinctions in a systematic framework. Moreover, I argue that what Lange considers are the ‘lawmakers’ serve as a de dicto rendition of some of Ladyman & Ross’s fundamental de re extensions and refinements of ‘real patterns’. (shrink)

Este ensaio consiste num exame crítico da estrutura e do valor de um conjunto diverso de argumentos por regressão ao infinito que têm sido objecto de discussão recorrente na metafísica contemporânea. O seminal livro de David Armstrong Nominalism and Realism (Armstrong 1978) contém uma das mais compreensivas discussões de argumentos regressivos em metafísica, os quais variam entre argumentos que foram de facto avançados ao longo da história da disciplina (como o Argumento do Terceiro Homem, de Platão) e argumentos construídos de (...) novo por Armstrong para fins de exame crítico. Os argumentos regressivos discutidos por Armstrong têm como alvo uma grande variedade de teorias metafísicas acerca da semelhança e da predicação, entre as quais se contam o nominalismo de predicados, o nominalismo de conceitos, o nominalismo de classes, o nominalismo de semelhança e o realismo metafísico. (shrink)

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

This paper has three interdependent aims. The first is to make Reichenbach’s views on induction and probabilities clearer, especially as they pertain to his pragmatic justification of induction. The second aim is to show how his view of pragmatic justification arises out of his commitment to extensional empiricism and moots the possibility of a non-pragmatic justification of induction. Finally, and most importantly, a formal decision-theoretic account of Reichenbach’s pragmatic justification is offered in terms both of the minimax principle and the (...) dominance principle. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object, property, and relation—are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical form: for example, (...) the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical (...) form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Essence and causation are fundamental in metaphysics, but little is said about their relations. Some essential properties are of course causal, as it is essential to footprints to have been caused by feet. But I am interested less in causation's role in essence than the reverse: the bearing a thing's essence has on its causal powers. That essencemight make a causal contribution is hinted already by the counterfactual element in causation; and the hint is confirmed by the explanation essence offers (...) of something otherwise mysterious, namely, how events exactly alike in every ordinary respect, like the bolt'ssuddenly snapping and its snapping per se, manage to disagree in what they cause. Some prior difference must exist between these events to make their causal powers unlike. Paradoxically, though, it can only be in point of a property, suddenness, which both events possess in common. Only by postulating a difference in themanner — essential or accidental — of the property's possession is the paradox resolved. Next we need an account of causation in which essence plays an explicit determinative role. That account, based on the idea that causes should becommensurate with their effects, is thatx causesy only if nothing essentially poorer would have done, and nothing essentially richer was needed. (shrink)

NRP is a family of views differing by how they understand “reduction” and “physicalism.” Following Kim I understand the non-reduction as holding that some events and properties are distinct from any physical events and properties. A necessary condition for physicalism is that mental properties, events, and laws supervene on physical ones. Kim allows various understandings of “supervenience” but I think that physicalism requires at least the claim that any minimal physical duplicate of the actual world is a duplicate simpliciter. Some (...) complications aside this means that true mental propositions, e.g. Jaegwon is thinking about sailing, are metaphysically entailed by true physical propositions. Kim says that supervenience is too weak to capture the root idea of physicalism that mental property instantiations depend on physical property instantiations so he adds that the mental depends on the physical. One way in which this dependance might be spelled out is that mental properties are higher order functional properties whose instantiations are realized by instantiations of physical properties. An event is an instantiation of a property by an individual and a time. A mental event is the instantiation of a mental property. Not every predicate expresses a genuine property. Kim further suggests that properties are individuated, at least partly, by nomological and causal relations. For physicalism to have content something must be said about the difficult issue of characterizing the physical. Kim’s view seems to be that the micro-physical properties of ideal physics are physical. He also counts as physical properties that are conjunctions and aggregates of micro-physical properties and higher level properties defined over lower-level physical properties.. Since these latter two classes of properties supervene on the micro-properties and laws there is no need to include them in the supervenience base. (shrink)

Some 55 years after the publication of Russell's seminal ‘On Denoting’, Quine adopted the theory of definite descriptions presented therein to formulate his perspicuous lingua franca for the sciences. This paper illustrates how, in so doing, Quine's lingua franca inherited an old antinomy at the core of Russell's theory of definite descriptions, specifically, the lack of congruency between notation and metaphysical commitments when the variable assumes the role of fundamental singular reference. In this context, the paper contends that the phrase (...) ‘to be is purely and simply to be the value of the variable’ is far from the straightforward solution Quine initially envisioned for his lingua franca. Additionally, it argues that it is unlikely that an attempt to account for a determinate object theory, such as those propounded by Russell and Quine, can prove successful when grounded in a referential theory of quantificational logic where the variable, seen as a simple range of values, holds fundamental singular referent-position. The paper concludes by suggesting that Meinong's object theory could resolve the problem of the variable, albeit at the cost of potentially undesirable ontological and logical commitments. Alternatively, Kit Fine's recent work on other antinomies in the variable may provide a promising approach to exploring how to salvage the variable as a formal foundation for ontology. (shrink)

Some 55 years after the publication of Russell's seminal ‘On Denoting’, Quine adopted the theory of definite descriptions presented therein to formulate his perspicuous lingua franca for the sciences. This paper illustrates how, in so doing, Quine's lingua franca inherited an old antinomy at the core of Russell's theory of definite descriptions, specifically, the lack of congruency between notation and metaphysical commitments when the variable assumes the role of fundamental singular reference. In this context, the paper contends that the phrase (...) ‘to be is purely and simply to be the value of the variable’ is far from the straightforward solution Quine initially envisioned for his lingua franca. Additionally, it argues that it is unlikely that an attempt to account for a determinate object theory, such as those propounded by Russell and Quine, can prove successful when grounded in a referential theory of quantificational logic where the variable, seen as a simple range of values, holds fundamental singular referent‐position. The paper concludes by suggesting that Meinong's object theory could resolve the problem of the variable, albeit at the cost of potentially undesirable ontological and logical commitments. Alternatively, Kit Fine's recent work on other antinomies in the variable may provide a promising approach to exploring how to salvage the variable as a formal foundation for ontology. (shrink)

Mr. Russell’s Problems of Philosophy is generally considered a classic text within the history of philosophy. This is, however, not the case: every ‘original’ idea therein had been presented by Mr. Russell previously; the book is replete with unoriginal ideas; and a great deal of everything that is considered ‘philosophy’ is ignored in the book. The problematics under discussion are, ultimately, only those of Mr. Russell’s own understanding of philosophy which, as Analytic Philosophy, is quite narrow. Furthermore, what Mr. Russell (...) says in the book is not without its opponents. (shrink)

According to what has long been the dominant school of thought in analytic meta-ontology––defended not only by W. V. O. Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. Meinong denies the identity of being (...) and existence. That is, he denies that ‘there is’ and ‘there exists’ are semantically equivalent, and espouses a theory according to which there are things that do not exist. Here I defend a revised version of this view, which I call “Noncontradictory Neo-Meinongianism.” Focusing primarily on van Inwagen’s arguments in “Meta-Ontology” (1998), I argue that Noncontradictory Neo-Meinongianism is, on commonsensical grounds, preferable to the meta-ontological theories of van Inwagen and Meinong. (shrink)

In the present essay we attempt to reconstruct Newtonian mechanics under the guidance of logical principles and of a constructive approach related to the genetic epistemology of Piaget and García. Instead of addressing Newton’s equations as a set of axioms, ultimately given by the revelation of a prodigious mind, we search for the fundamental knowledge, beliefs and provisional assumptions that can produce classical mechanics. We start by developing our main tool: the no arbitrariness principle, that we present in a form (...) that is apt for a mathematical theory as classical mechanics. Subsequently, we introduce the presence of the observer, analysing then the relation objective–subjective and seeking objectivity going across subjectivity. We take special care of establishing the precedence among all contributions to mechanics, something that can be better appreciated by considering the consequences of removing them: the consequence of renouncing logic and the laws of understanding is not being able to understand the world, renouncing the early elaborations of primary concepts such as time and space leads to a dissociation between everyday life and physics, the latter becoming entirely pragmatic and justified a-posteriori, changing our temporary beliefs has no real cost other than effort. Finally, we exemplify the present approach by reconsidering the constancy of the velocity of light. It is shown that it is a result of Newtonian mechanics, rather than being in contradiction with it. We also indicate the hidden assumption that leads to the contradiction. (shrink)

The task of this paper is to reconstruct Bertrand Russell project for religion without God and dogma. Russell made two attempts in this direction, first in the essay “Free Man’s Worship” (1903), and then, in theoretical form, in the paper “The Essence of Religion” (1912). Russell’s explorations of religious impulses run in parallel with his work on technical philosophy. According to Russell from 1903–12, religion is an important part of human pursuits. However, whereas the ordinary man believes in God, the (...) freeman embraces a religion without fear and dogma. He strives for a union with the universe achieved in contemplation made from many perspectives through “impartiality of vision”. For this reason freemen renounce the Self and the Will. Russell abandoned his project for religion without God mainly because of Wittgenstein’s criticism. In his later writings he continued to criticize the religion of the ordinary man, without to further develop a positive philosophy of religion, though. (shrink)

If there is content that we reason on, cognitive content, it is in the head and accessible to reasoning mechanisms. This paper discusses the phenomenal theory of cognitive content, according to which cognitive contents are the contents of phenomenal consciousness. I begin by distinguishing cognitive content from the closely associated notion of narrow content. I then argue, drawing on prior work, that the phenomenal theory can plausibly account for the cognitive contents of many relatively simple mental states. My main focus (...) in this paper is the question whether the phenomenal theory can account for the apparently abstract and complex cognitive contents of "high-level" thoughts. It might seem dubious that the theory can account for such cognitive contents, because cognitive phenomenology is too scarce and too thin. However, I argue there are in fact few abstract or complex cognitive contents, so the phenomenal theory's predictions are correct. This position explains some apparently irrational behavior that is otherwise hard to explain, and it makes sense of the central role of inner speech and other forms of consciousness in reasoning. (shrink)

The identity and diversity of individual objects may be grounded or ungrounded, and intrinsic or contextual. Intrinsic individuation can be grounded in haecceities, or absolute discernibility. Contextual individuation can be grounded in relations, but this is compatible with absolute, relative or weak discernibility. Contextual individuation is compatible with the denial of haecceitism, and this is more harmonious with science. Structuralism implies contextual individuation. In mathematics contextual individuation is in general primitive. In physics contextual individuation may be grounded in relations via (...) weak discernibility. (shrink)

J. Ladyman, Ladyman and Ross refine J. Worral's structural realism, by developing an ontic structural realism which they argue is a consistently naturalistic means of characterizing the ontology of fundamental physics. I argue that elements of analytic metaphysics strengthen and refine their project of characterizing fundamental physics via OSR and by extension, their presentation of information-theoretic structural realism. I refine this point by situating M. Lange’s discussion of nomological modality qua natural necessity within Ladyman and Ross’s discussion of ITSR. The (...) logical hierarchy evinced in Lange’s ‘nomic stability’ further extends and refines Ladyman and Ross’s claims through the addition of nuanced modal distinctions in a systematic framework. (shrink)

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

In the literature, regress arguments often take one of two different forms: either they conclude that a given solution fails to solve any problem of a certain kind (the strong conclusion), or they conclude that a given solution fails to solve all problems of a certain kind (the weaker conclusion). This gives rise to a logical problem: do regresses entail the strong or the weaker conclusion, or none? In this paper I demonstrate that regress arguments can in fact take both (...) forms, and clearly set out the logical difference between them. Throughout the paper, I confine myself to metaphysical examples from the early Russell. Only now that we know they are valid can we start to discuss whether they are sound. (shrink)

After arguing that truth-making is properly construed as a partnership between truth bearers and truth-makers, I focus on two prominent arguments against the category of fact as one of the key relata in the truth-making relation. After rejecting those arguments, I go on to examine a more difficult issue, one that might force us to appreciate more fully the robust role that thought has in “creating” truth.

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

According to the broadly Aristotelian distinction between universals and particulars, all and only the former are capable of whole multiple location. The present essay defends this distinction against four putative counterexamples. The first two, extended simple material objects and enduring time-traveling self-meeters, putatively are wholly multiply locatable, but not universals. The second two, unique properties of point-sized entities and Platonic (i.e., not spatiotemporally located) universals, putatively are universals, but not wholly multiply locatable. The defensive strategy is to resist certain presuppositions (...) underlying the examples. (shrink)

Ruth Garrett Millikan’s new book, Beyond Concepts,1 is a tour de force that integrates and refines the distinctive naturalistic accounts of mental representatio.

Trope theory is the view that the world is a world of abstract particular qualities. But if all there is are tropes, how do we account for the truth of propositions ostensibly made true by some concrete particular? A common answer is that concrete particulars are nothing but tropes in compresence. This answer seems vulnerable to an argument (first presented by F. H. Bradley) according to which any attempt to account for the nature of relations will end up either in (...) contradiction, nonsense, or will lead to a vicious infinite regress. I investigate Bradley’s argument and claim that it fails to prove what it sets out to. It fails, I argue, because it does not take all the different ways in which relation and relata may depend on one another into account. If relations are entities that are distinct from yet essentially dependent upon their relata, the Bradleyan problem is solved. We are then free to say that tropes in compresence are what make true propositions ostensibly made true by concrete particulars. (shrink)

There are two fundamental questions concerning the choice and presence of objects in various formal systems: Where do these objects come from? What do we know about them? To answer these questions I introduce the notion of a proto-ontology as the pre-theoretic realm of entities from which the basic objects – individuals – of the formal system S are postulated. The pragmatic aspects of such choices are investigated with regard to first-order logic, both pure and applied, set theory and mereology. (...) It is claimed that the postulated objects enter the formal system S with a package of properties and relationships, the recognition of which depends on the interpretation and application of the available predicates of S. If these properties and relationships are not made explicit, a possible clash may arise between them and the properties and relationships “assigned” to the individuals of S by the interpreted predicates of S. As regards the relationship between logic and metaphysics, I contend that logic can perhaps be viewed as the articulation of the fundamental features of proto-ontological objects without which no discourse or theory would be possible. In this sense logic could also be viewed as a theory and method of the construction of a well-articulated metaphysical theory. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Neutral monism is the view that ‘mind’ and ‘matter’ are composed of, or grounded in, more basic elements of reality that are intrinsically neither mental nor material. Before adopting this view in 1918, Russell was a mind–matter dualist and a pointed critic of it. His most ‘decisive’ objection concerns whether it can provide an adequate analysis of egocentricity and our use of indexical expressions such as ‘I’, ‘this’, ‘now’, and so on. I argue that M. G. F. Martin (2024) and (...) other recent interpreters cannot make proper sense of Russell’s shifting views about egocentricity because they misascribe to his early dualism the thesis that experience is in some sense ‘diaphanous’ or ‘transparent’. Against this, I make the case that (1) Russell rejected the diaphaneity of experience as a dualist, (2) this rejection played a key role in his early objections to neutral monism, and (3) several decades later Russell takes his neutral monism to have key resources for answering his prior objections. (shrink)

A number of philosophers have argued that causation is not an objective feature of the microphysical world but rather is a perspectival phenomenon that holds only between “coarse-grained” entities such as those that figure in the special sciences. This view seems to pose a problem for arguments for physicalism that rely on the alleged causal completeness of physics. In this paper, I address this problem by arguing that the completeness of physics has two components, only one of which is causal. (...) These two components of completeness can be used in an argument for physicalism that is supported by strong inductive evidence even in the absence of microphysical causation. (shrink)

Physicalism is sometimes portrayed by its critics as a dogma, but there is an empirical argument for the position, one based on the accumulation of diverse microphysical causal explanations in physics, chemistry, and physiology. The canonical statement of this argument was presented in 2001 by David Papineau. The goal of this paper is to demonstrate a tension that arises between this way of understanding the empirical case for physicalism and a view that is becoming practically a received position in philosophy (...) of physics: that microphysics does not support the existence of causal facts (and so does not support causal explanations). Indeed this is a conclusion embraced in recent work by Papineau himself. This paper examines a range of natural ways of avoiding this tension and reconciling the empirical case for physicalism with the rejection of microphysical causation. (shrink)