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)

This paper offers an interpretation of Russell's multiple-relation theory of judgment which characterizes it as direct application of the 1905 theory of definite descriptions. The paper maintains that it was by regarding propositional symbols (when occurring as subordinate clauses) as disguised descriptions of complexes, that Russell generated the philosophical explanation of the hierarchy of orders and the ramified theory of types of _Principia mathematica (1910). The interpretation provides a new understanding of Russell's abandoned book _Theory of Knowledge (1913), the 'direction (...) problems' and Wittgenstein's criticisms. (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.

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 .

This thesis analyses the ontological nature of quantum particles. In it I argue that quantum particles, despite their indistinguishability, are objects in much the same way as classical particles. This similarity provides an important point of continuity between classical and quantum physics. I consider two notions of indistinguishability, that of indiscernibility and permutation symmetry. I argue that neither sort of indistinguishability undermines the identity of quantum particles. I further argue that, when we understand in distinguishability in terms of permutation symmetry, (...) classical particles are just as indistinguishable as quantum particles; for classical physics also possesses permutation symmetry. (shrink)

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).

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)

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)

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)

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)

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)

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)

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)

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)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (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)

In his Problems of Philosophy, Bertrand Russell distinguished knowledge by acquaintance and knowledge of truths. This paper argues for a new interpretation of the relationship between these two species of knowledge. I argue that knowledge by acquaintance of an object neither suffices for knowledge that one is acquainted with the object, nor puts a subject in a position to know that she is acquainted with the object. These conclusions emerge from a thorough examination of the central role played by attention (...) in Russell's theory of knowledge. Attention bridges the gap between knowledge by acquaintance and our capacity to form judgements about the objects of acquaintance. (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)

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)

The paper examines the ramifications of naturalism with regard to the question of individuality in economics and biology. Economic theory has to deal with whether households, firms, and states are individuals or are mere entities such as clubs, networks, and coalitions. Biological theory has to deal with the same question with regard to cells, organisms, family packs, and colonies. To wit, the question of individuality in both disciplines involves three separate problems: the metaphysical, phenomenist, and ontological. The metaphysical problem is (...) concerned with purposeful action: Is the firm or organism exclusively the product of efficient causality (optimization) or is it motivated by final causality (purposefulness)? The phenomenist problem is interested in the substantiality of essences: Is the firm''s or organism''s scheme of institutions/traits deep or is it extraneous to identity? The ontological problem is related to the issue of reductionism: Is the behavior of lower-level organization governed by a pre-constituted entities or is it context-sensitive? The paper finds that theoretical differences run along the naturalist/anti-naturalist divide rather than along disciplinary specialization. Also, the paper finds that it is not inconsistent for the same theorist to be naturalist with regard to one problem and anti-naturalist with respect to the other two problems. (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)

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.

This paper discusses the problems of an ontological value of the variable in Russell’s philosophy. The variable is essential in Russell’s theory of denotation, which among other things, purports to prove Meinongian being outside of subsistence and existence to be logically unnecessary. I argue that neither Russell’s epistemology nor his ontology can account for the ontological value of the variable without running into qualities of Meinongian being that Russell disputed. The problem is that the variable cannot be logically grounded by (...) Russell’s theory of denotation. As such, in so far as being is concerned, Meinong and Russell’s theories are much closer than is typically thought. The arguments are supported with concerns raised by Russell, Frege, and Moore regarding the ontological value of the variable. The problem can be summarised as follows: the variable is the fundamental denoting-position of a formal theory that is meant to explain the structure of the ontological. If such a formal theory is meant to ground the ontological, then the formal must also represent the actual structure of the ontological. Yet the variable, the fundamental symbol of denotation in a theory that defines objects, is ontologically indefinable. (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)

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.

According to Johansson (2009: 22) an infinite regress is vicious just in case “what comes first [in the regress-order] is for its definition dependent on what comes afterwards.” Given a few qualifications (to be spelled out below (section 3)), I agree. Again according to Johansson (ibid.), one of the consequences of accepting this way of distinguishing vicious from benign regresses is that the so-called Russellian Resemblance Regress (RRR), if generated in a one-category trope-theoretical framework, is vicious and that, therefore, the (...) existence of tropes only makes sense if trope-theory is understood (minimally) as a two-category theory which accepts, besides the existence of tropes, also the existence of at least one universal: resemblance.1 I disagree. But how can that be? How can Johansson and I agree about what distinguishes a vicious from a benign regress, yet disagree about which regresses are vicious and which are benign? In this paper I attempt to answer that question by first setting out and defending the sense of viciousness which both Johansson and I accept, only to then argue that to be able to determine if a particular regress is vicious in this sense, more than features intrinsic to the regress itself must be taken into account. This is why, although the RRR as originally set out by Russell is vicious, the seemingly identical resemblance regress which ensues in a one-category (standard) trope-theoretical context is not (provided, that is, that we accept certain views about how the nature of tropes relates to the resemblance between tropes, and given that we set our theory in a truthmaker theoretical framework – all of which are standard assumptions for proponents of (the standard-version of) the trope-theory).2. (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)

This chapter contains section titled: The Issue Varieties of Nominalism Two Conceptions of Universals The Regress Charge and two Unsuccessful Attempts to Meet it An Alternative.

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)

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)

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)

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)

The paper presents a novel version of universalism—the thesis according to which there are only universals, no individuals—which is cashed out in terms of an adverbial analysis of predication. According to the theory, every spatiotemporal occurrence of a universal U can be expressed by a sentence which asserts the existence of U adverbially modified by the spatiotemporal region at which it exists. After some preliminary remarks on the interpretation of natural language, a formal semantics for the theory is first provided, (...) along with an intended interpretation of its key metaphysical imports. Follow some commentaries on the spatiotemporal manifold and determinable properties. (shrink)

The bundle theory is a theory about the internal constitution of individuals. It asserts that individuals are entirely composed of universals. Typically, bundle theorists augment their theory with a constitutional approach to individuation entailing the thesis ‘identity of constituents is a sufficient ground for numerical identity’ (CIT). But then the bundle theory runs afoul of Black’s duplication case—a world containing two indiscernible spheres. Here I propose and defend a new version of the bundle theory that denies ‘CIT’, and which instead (...) conjoins it with a structural diversity thesis , according to which being separated by distance is a sufficient ground for numerical diversity. This version accommodates Black’s world as well as the three-spheres world —a world containing three indiscernible spheres, arranged as the vertices of an equilateral triangle. In this paper, I also criticize Rodriguez-Pereyra’s alternative attempt to defend the bundle theory against Black’s case and the case of the three-spheres world. (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)