What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...) the paper. The second part investigates the relation between metaphysical necessity and essence in the context of HLE. Reductive hypotheses are among the most natural hypotheses to be explored in the context of HLE. But they also have to be weighed against their non-reductive rivals. I investigate three different reductive hypotheses and argue that two of them fare better than their non-reductive rivals: they are simpler, more natural, and more systematic. Specifically, I argue that one candidate reduction, according to which metaphysical necessity is truth in virtue of the nature of all propositions, is superior to the others, including one proposed by Kit Fine, according to which metaphysical necessity is truth in virtue of the nature of all objects. The paper concludes by offering some reasons to think that the best joint theory of essence and metaphysical necessity is one in which the logic of metaphysical necessity includes S4, but not S5. (shrink)

In his 1903 Principles of Mathematics, Russell holds that “it is a characteristic of the terms of a proposition”—that is, its “logical subjects”—“that any one of them may be replaced by any other entity without our ceasing to have a proposition”. Hence, in PoM, Russell holds that from the proposition ‘Socrates is human’, we can obtain the propositions ‘Humanity is human’ and ‘The class of humans is human’, replacing Socrates by the property of humanity and the class of humans, respectively. (...) Hence also, in PoM, Russell accepts the doctrine of the unrestricted variable: if we replace a logical subject of a proposition by a variable to yield a propositional function, the range of that variable includes absolutely every entity. For absolutely any entity can be taken as a value of that variable to yield a proposition, true or false. The doctrine of the unrestricted variable is thus incompatible with any type-theoretic metaphysics, according to which only entities of a certain restricted type can replace a logical subject of a given proposition so as to yield another proposition. (shrink)

In his 1903 Principles of Mathematics, Russell holds that “it is a characteristic of the terms of a proposition”—that is, its “logical subjects”—“that any one of them may be replaced by any other entity without our ceasing to have a proposition”. Hence, in PoM, Russell holds that from the proposition ‘Socrates is human’, we can obtain the propositions ‘Humanity is human’ and ‘The class of humans is human’, replacing Socrates by the property of humanity and the class of humans, respectively. (...) Hence also, in PoM, Russell accepts the doctrine of the unrestricted variable: if we replace a logical subject of a proposition by a variable to yield a propositional function, the range of that variable includes absolutely every entity. For absolutely any entity can be taken as a value of that variable to yield a proposition, true or false. The doctrine of the unrestricted variable is thus incompatible with any type-theoretic metaphysics, according to which only entities of a certain restricted type can replace a logical subject of a given proposition so as to yield another proposition. (shrink)

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. (...) Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference. (shrink)

Mi objetivo es discutir las principales dificultades que Frank P. Ramsey encontró en Principia Mathematica y la solución que, vía el Tractatus Logico-Philosophicus, propuso al respecto. Sostengo que las principales dificultades que Ramsey encontró en Principia Mathematica están, todas, relacionadas con que Russell y Whitehead desatendieron la forma lógica de las proposiciones matemáticas, las cuales, según Ramsey, deben ser tautológicas.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4 (i.e. the KK principle). Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapter \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional intensions of epistemic two-dimensional semantics solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the interaction between epistemic two-dimensional truthmaker semantics, epistemic set theory, and absolute decidability. Chapter \textbf{11} avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. Chapter \textbf{12} provides a modal logic for rational intuition and provides four models of hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. The multi-hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, \textbf{11}, \textbf{12}, and \textbf{14}. (shrink)

Esfeld has proposed a minimalist ontology of nature called ‘super-Humeanism’ that purports to accommodate quantum phenomena and avoid standard objections to neo-Humean metaphysics. I argue that Esfeld’s sparse ontology has counterintuitive consequences and generates two self-undermining dilemmas concerning the nature of time and space. Contrary to Esfeld, I deny that super-Humeanism supports an ontology of microscopic particles that follow continuous trajectories through space.

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

This essay clarifies quantifier variance and uses it to provide a theory of indefinite extensibility that I call the variance theory of indefinite extensibility. The indefinite extensibility response to the set-theoretic paradoxes sees each argument for paradox as a demonstration that we have come to a different and more expansive understanding of ‘all sets’. But indefinite extensibility is philosophically puzzling: extant accounts are either metasemantically suspect in requiring mysterious mechanisms of domain expansion, or metaphysically suspect in requiring nonstandard assumptions about (...) mathematical objects. Happily, the view of quantifier meanings that underwrites quantifier variance can be used to provide an account of indefinite extensibility that is both metasemantically and metaphysically satisfying. Section 1 introduces the puzzle of indefinite extensibility; section 2 develops and clarifies the metasemantics of quantifier variance; section 3 solves section 1's puzzle of indefinite extensibility by applying section 2's account of quantifier meanings; and section 4 compares the theory developed in section 3 to several other theories in the literature. (shrink)

In her Introduction to Wittgenstein’s Tractatus , Elizabeth Anscombe took it to be a fault of the Tractatus that it excluded the statement “‘Someone’ is not the name of someone”, which she took to be obviously true. It is not a bipolar proposition, and its negation, she said, peters out into nothingness. I examine the question whether she is right that the Tractatus excludes such propositions, and I consider her example in relation to other propositions which, arguably at least, have (...) no intelligible negation. In considering the particular case of Frege’s response to Benno Kerry about the concept ‘horse’, I try to develop an account of the place in Wittgenstein’s philosophy for certain sorts of proposition which do not have an intelligible negation. (shrink)

David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of pure mathematics. This insight makes it possible to throw new light on the evolution of Hilbert’s foundational ideas, including his early contributions to the foundations of geometry and the real number system. The context of Dedekind-style logicism makes it possible to offer a new (...) analysis of the emergence of Hilbert’s famous ideas on mathematical existence, now seen as a revision of basic principles of the “naive logic” of sets. At the same time, careful scrutiny of his published and unpublished work around the turn of the century uncovers deep differences between his ideas about consistency proofs before and after 1904. Along the way, we cover topics such as the role of sets and of the dichotomic conception of set theory in Hilbert’s early axiomatics, and offer detailed analyses of Hilbert’s paradox and of his completeness axiom (Vollständigkeitsaxiom). (shrink)

Przedmiotem artykułu jest status ontologiczny światów możliwych oraz niemożliwych. Zgodnie z jedną ze współczesnych wersji meinongianizmu, o ile świat aktualny jest przedmiotem istniejącym, o tyle światy czysto możliwe oraz niemożliwe uznawane są za przedmioty nieistniejące. Zwolennicy tego podejścia twierdzą ponadto, że światom nieaktualnym nie przysługuje żaden inny rodzaj istnienia.Celem artykułu jest wskazanie na problematyczne konsekwencje wspomnianego stanowiska oraz zarysowanie poglądu alternatywnego, który oparty jest na pluralizmie ontologicznym, tj. na poglądzie uznającym wielość rodzajów istnienia.

If something changes from being in one state to being in another state, when exactly does it change? And what’s going on at that time? These questions are often discussed under the heading of the ‘moment’ or ‘instant’ of change. In this paper, I will investigate a view on which there is an intrinsically distinguished, atomic time at which something changes, and at that time it is metaphysically indeterminate what is the case. The background metaphysical picture is situationalism, a theory (...) on which reality is composed of irreducibly conflicting parts. These conflicting parts give rise to unsettledness in reality as a whole, and also at the point of change. I propose this view as a competitor for existing accounts of the time of change, and spell out a few reasons in its favour. (shrink)

To be an Aristotelian about universals is to hold that universals depend for their existence on their exemplifiers. An argument against Aristotelianism about universals has recently been put forward by Costa to the effect that a contradiction follows from assuming a certain formulation of Aristotelianism together with some highly plausible principles governing the notions employed in that formulation. In this paper, we provide different ways of articulating the Aristotelian position which, while being related with some of the main contributions in (...) the current Aristotelian tradition, do not fall prey to the argument. (shrink)

I give shape to a neglected debate in metaphysics, the debate over the ontological priority between individuality and collectivity. I distinguish the debate from more familiar ones in the recent literature and articulate what I call ontological collectivism, the view that collectivity is prior to individuality. I defend the in-principle intelligibility of the view from forceful general objections and argue that not only is it coherent but also of significant interest to the literature: it allows for overlooked alternatives on a (...) variety of central discussions. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

This paper examines causal theories of reference with respect to how plausible an account they give of non-physical natural kind terms such as ‘gene’ as well as of the truth of the associated theoretical claims. I first show that reference fixism for ‘gene’ fails. By this, I mean the claim that the reference of ‘gene’ was stable over longer historical periods, for example, since the classical period of transmission genetics. Second, I show that the theory of partial reference does not (...) do justice to some widely held realist intuitions about classical genetics. This result is at loggerheads with the explicit goals usually associated with partial theories of reference, which is to defend a realist semantics for scientific terms. Thirdly, I show that, contrary to received wisdom and perhaps contrary to physics and chemistry, neither reference fixism nor partial reference are necessary in order to hold on to scientific realism about biology. I pinpoint the reasons for this in the nature of biological kinds, which do not even remotely resemble natural kinds (i.e., Lockean real essences) as traditionally conceived. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

Thought: A Journal of Philosophy, EarlyView.

Neo-logicism is, not least in the light of Frege’s logicist programme, an important topic in the current philosophy of mathematics. In this essay, I critically discuss a number of issues that I consider to be relevant for both Frege’s logicism and neo-logicism. I begin with a brief introduction into Wright’s neo-Fregean project and mention the main objections that he faces. In Sect. 2, I discuss the Julius Caesar problem and its possible Fregean and neo-Fregean solution. In Sect. 3, I raise (...) what I take to be a central objection to the position of neo-logicism. In Sect. 4, I attempt to clarify how we should understand Frege’s stipulation that the two sides of an abstraction principle qua contextual definition of a term-forming operator shall be “gleichbedeutend”. In Sect. 5, I consider the options that Frege might have had to establish the analyticity of Hume’s Principle: The number that belongs to the concept F is equal to the number that belongs to the concept G if and only if F and G are equinumerous. Section 6 is devoted to Frege’s two criteria of thought identity. In Sects. 7 and 8, I defend the position of the neo-logicist against an alleged “knock-down argument”. In Sect. 9, I comment on Frege’s description of abstraction in Grundlagen, §64 and the use of the terms “recarving” and “reconceptualization” in the relevant literature on Fregean abstraction and neo-logicism. I argue that Fregean abstraction has nothing to do with the recarving of a sentence content or its decomposition in different ways. I conclude with remarks on global logicism versus local logicisms. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} If the open society is a society that ‘sets free the critical powers of man’ (Popper, 1945, Introduction), then the subject of critical thinking, now widely taught in universities in North America and at the level of (...) further education in the UK, might seem to be a welcome innovation. Caution is advised. By mistakenly supposing that thinking intelligently is identical with thinking logically, critical thinking textbooks almost invariably regard the purpose of argument to be a combination of justification and persuasion, authoritarian goals that critical rationalists, and other supporters of the open society, must shun. If students do not learn the proper place of reason, and its limitations, they will be disappointed when it fails, and like many irrationalists in the past, may be induced to reason their way out of reason altogether. (shrink)

The paper addresses the topic of the unavoidability of contradiction in dealing with issues of scepticism – and how coherence can be restored to sceptical arguments and texts. It considers six classic paradoxes in the history of Western thought – of how language works to undermine and derail the coherence of thought. It also theorizes a philosophy of language approach to restore coherence in the classic instances discussed. As its major example, the paper explores how and why the image of (...) successful, long-standing constitutions is a minimalist image through a discussion of the relationship between epistemological scepticism generally and textual scepticism specifically. (shrink)

Many historians of the calculus deny significant continuity between infinitesimal calculus of the seventeenth century and twentieth century developments such as Robinson’s theory. Robinson’s hyperreals, while providing a consistent theory of infinitesimals, require the resources of modern logic; thus many commentators are comfortable denying a historical continuity. A notable exception is Robinson himself, whose identification with the Leibnizian tradition inspired Lakatos, Laugwitz, and others to consider the history of the infinitesimal in a more favorable light. Inspite of his Leibnizian sympathies, (...) Robinson regards Berkeley’s criticisms of the infinitesimal calculus as aptly demonstrating the inconsistency of reasoning with historical infinitesimal magnitudes. We argue that Robinson, among others, overestimates the force of Berkeley’s criticisms, by underestimating the mathematical and philosophical resources available to Leibniz. Leibniz’s infinitesimals are fictions, not logical fictions, as Ishiguro proposed, but rather pure fictions, like imaginaries, which are not eliminable by some syncategorematic paraphrase. We argue that Leibniz’s defense of infinitesimals is more firmly grounded than Berkeley’s criticism thereof. We show, moreover, that Leibniz’s system for differential calculus was free of logical fallacies. Our argument strengthens the conception of modern infinitesimals as a development of Leibniz’s strategy of relating inassignable to assignable quantities by means of his transcendental law of homogeneity. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

In this paper we provide a psychological explanation for ‘grounding observations’—observations that are thought to provide evidence that there exists a relation of ground. Our explanation does not appeal to the presence of any such relation. Instead, it appeals to certain evolved cognitive mechanisms, along with the traditional modal relations of supervenience, necessitation and entailment. We then consider what, if any, metaphysical conclusions we can draw from the obtaining of such an explanation, and, in particular, if it tells us anything (...) about whether we ought to posit a relation of ground. (shrink)

This dissertation is a defense of a particular theory of the metaphysics of time which I call "accretivism", but which is popularly known in a form usually called the "Growing Block Theory". The goal of a metaphysics of time is to incorporate the various aspects of our temporal experience into a single, comprehensive whole. To this end I delineate five aspects of our ordinary experience of time: 1) The Tensed Aspect, in virtue of which objects are presented to us as (...) past, present, or future; 2) The Transitory Aspect, in virtue of which time passes or "flows"; 3) The Durational Aspect, in virtue of which entities have a certain temporal extent; 4) The Structural Aspect, in virtue of which entities are given as being in temporal relations to one another, and 5) The Differential-Repetitive Aspect, in virtue of which things are different from one time to another, and yet there is a certain recurrence of aspects of our experience form one time to another. I contrast the accretivist picture of time, according to which that which is past and that which is present both have ontological status, but nothing which is future has ontological status, and in which temporal passage consists in the coming-into-being of new entities at the temporal edge of reality marked by the present, with the two dominant theories of time in the contemporary literature: 1) presentism, according to which only that which is present has ontological status, and 2) four-dimensionalism, according to which time is to be understood on analogy with spatial dimensions. Accretivism, I argue, is superior to the other two views in virtue of the fact that it gives full status to both the Structural Aspect of Time, for which the presentist has difficulty accounting, and the Transitory Aspect of Time, for which the four-dimensionalist has difficulty accounting. I then defend the accretivist picture against a variety of objections that might be raised to it. (shrink)

Newton’s First Law of Motion is typically understood to govern only the motion of force-free bodies. This paper argues on textual and conceptual grounds that it is in fact a stronger, more general principle. The First Law limits the extent to which any body can change its state of motion –– even if that body is subject to impressed forces. The misunderstanding can be traced back to an error in the first English translation of Newton’s Principia, which was published a (...) few years after Newton’s death. (shrink)

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue (...) that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism). (shrink)

The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

I examine and discuss in this paper Orilia’s theory of external, non-symmetrical relations, that is based on ontological roles (O-Roles). I explore several attempts to interpret O-Roles from an ontological viewpoint and I reject them because of two problems concerning the status of asymmetrical relations (to be distinguished from non-symmetrical relations simpliciter) and of exemplification as an external, non-symmetrical relation. Finally, following Heil’s and Lowe’s characterization of modes as particular properties that ontologically depend on their “bearers”, I introduce relational modes (...) in order to define a new solution to the problems of the ontological status of both external, non-symmetrical relations and O-Roles. I also deal with five objections raised by Fraser MacBride against relational modes and O-Roles and I elaborate an analysis of the relations of being to the left of and being to the right of. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

In The Uses of Argument, Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains of philosophy. There are infinite regresses of reasons, obligations, rules, and disputes, and all are supposed to have their own moral. Yet most of them are involved in controversy. Hence the question is: what (...) exactly is an infinite regress argument, and when is such an argument a good one? (shrink)

This book shows that Stout's ideas have played a role in Moore and Russell's development from their early idealism towards analytic realism, where Stout's ideas often find their origin in early phenomenology.

Both through his own work and that of his students, Franz Clemens Brentano had an often underappreciated influence on the course of 20 th - and 21 st -century philosophy. _The Routledge Handbook of Franz Brentano and the Brentano School_ offers full coverage of Brentano’s philosophy and his influence. It contains 38 brand-new essays from an international team of experts that offer a comprehensive view of Brentano’s central research areas—philosophy of mind, metaphysics, and value theory—as well as of the principal (...) figures shaped by Brentano’s school of thought. A General Introduction serves as an overview of Brentano and the contents of the volume and three separate bibliographies point students and researchers on to further avenues of inquiry. Systematic and detailed, _The Routledge Handbook of Franz Brentano and the Brentano School_ provides readers with a valuable reference to Brentano’s work, and to his lasting importance in the history of philosophy and in contemporary debates. (shrink)

Part 1 sets out the logical/semantical background to ‘On Denoting’, including an exposition of Russell's views in Principles of Mathematics, the role and justification of Frege's notorious Axiom V, and speculation about how the search for a solution to the Contradiction might have motivated a new treatment of denoting. Part 2 consists primarily of an extended analysis of Russell's views on knowledge by acquaintance and knowledge by description, in which I try to show that the discomfiture between Russell's semantical and (...) epistemological commitments begins as far back as 1903. I close with a non-Russellian critique of Russell's views on how we are able to make use of linguistic representations in thought and with the suggestion that a theory of comprehension is needed to supplement semantic theory. (shrink)

Dieser Band versammelt Beiträge zu den drei klassischen Disziplinen der Philosophie – dem Wahren, dem Guten, dem Schönen. Ihre Autoren zeichnet aus, dass sie aus dem akademischen Umfeld Michael Sukales zu seiner Zeit am Institut für Philosophie an der Carl-von-Ossietzky-Universität Oldenburg stammen. Ihm ist dieses Buch zum Abschied von seiner aktiven Lehrtätigkeit in Oldenburg gewidmet. Die thematische Vielfalt der enthaltenen Texte spiegelt die Bandbreite seines philosophischen Schaffens wider.