- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
|
|
|
Several scholars have argued that Wittgenstein held the view that the notion of number is presupposed by the notion of one-one correlation, and that therefore Hume's principle is not a sound basis for a definition of number. I offer a new interpretation of the relevant fragments on philosophy of mathematics from Wittgenstein's Nachlass, showing that if different uses of ‘presupposition’ are understood in terms of de re and de dicto knowledge, Wittgenstein's argument against the Frege-Russell definition of number turns out (...) |
|
|
Many philosophers employ an intellectual division of labour. Philosophy tells us what the truth conditions of various philosophically interesting sentences are. For example, atomic sentences containing numerals are sentences containing singular terms putatively referring to numbers; sentences about what could be are sentences quantifying over possible worlds and so on. Some discipline outside of philosophy tells us that certain of these sentences are true. The purported result is that such philosophically controversial entities as numbers and possible worlds have been shown (...) |
|
|
|
|
|
In this paper I examine the prospects for a successful neo–logicist reconstruction of the real numbers, focusing on Bob Hale's use of a cut-abstraction principle. There is a serious problem plaguing Hale's project. Natural generalizations of this principle imply that there are far more objects than one would expect from a position that stresses its epistemological conservativeness. In other words, the sort of abstraction needed to obtain a theory of the reals is rampantly inflationary. I also indicate briefly why this (...) |
|
|
|
|
|
MancosuPaolo.* *ion and Infinity. Oxford University Press, 2016. ISBN: 978-0-19-872462-9. Pp. viii + 222. |
|
|
Stewart Shapiro and Alan Weir have argued that a crucial part of the demonstration of Frege's Theorem (specifically, that Hume's Principle implies that there are infinitely many objects) fails if the Neo-logicist cannot assume the existence of the empty property, i.e., is restricted to so-called Aristotelian Logic. Nevertheless, even in the context of Aristotelian Logic, Hume's Principle implies much of the content of Peano Arithmetic. In addition, their results do not constitute an objection to Neo-logicism so much as a clarification (...) |
|
|
This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in (...) |
|
|
Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) |
|
|
Hourya Benis-Sinaceur, Marco Panza, and Gabriel Sandu. Functions and Generality of Logic: Reflections on Dedekind’s and Frege’s Logicisms. Logic, Epistemology, and the Unity of Science; 37. Springer, 2015. ISBN: 978-3-319-17108-1 ; 978-3-319-36782-8, 978-3-319-17109-8.. Pp. xxi + 125. |
|
|
|
|
|
I outline a neo-Fregean strategy in the debate on the existence of possible worlds. The criterion of identity and the criterion of application are formulated. Special attention is paid to the fact that speakers do not possess proper names for worlds. A broadly Quinean solution is proposed in response to this difficulty. |
|
|
John N. Williams (1994) and Matthew Weiner (2005) invoke predictions in order to undermine the normative relevance of knowledge for assertions; in particular, Weiner argues, predictions are important counterexamples to the Knowledge Account of Assertion (KAA). I argue here that they are not true counterexamples at all, a point that can be agreed upon even by those who reject KAA. |
|
|
ABSTRACT Is it possible to effect singular reference to mathematical objects in the abstractionist framework? I will argue that even if mathematical expressions pass the relevant syntactic and inferential tests to qualify as singular terms, that does not mean that their semantic function is to refer to a particular object. I will defend two arguments leading to this claim: the permutation argument for the referential indeterminacy of mathematical terms, and the argument from the semantic idleness of the terms introduced by (...) |
|
|
Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) |
|
|
|
|
|
This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom. |
|
|
|
|
|
This paper outlines a novel solution to the problem of the many and a conception of ordinary objects that implies it. The solution is that many collections of particles can simultaneously constitute a single object. The proposed conception of ordinary objects maintains that they are fundamentally subjects of change: the changes an object is able to survive explain its constitution. |
|
|
In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered. |
|
|
'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. (...) |
|
|
I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties. |
|
|
Neo-Fregeans need their stipulation of Hume's Principle — $NxFx=NxGx \leftrightarrow \exists R (Fx \,1\hbox {-}1_R\, Gx)$ — to do two things. First, it must implicitly define the term-forming operator ‘Nx…x…’, and second it must guarantee that Hume's Principle as a whole is true. I distinguish two senses in which the neo-Fregeans might ‘stipulate’ Hume's Principle, and argue that while one sort of stipulation fixes a meaning for ‘Nx…x…’ and the other guarantees the truth of Hume's Principle, neither does both. |
|
|
Crispin Wright and Bob Hale have defended the strategy of defining the natural numbers contextually against the objection which led Frege himself to reject it, namely the so-called ‘Julius Caesar problem’. To do this they have formulated principles (called sortal inclusion principles) designed to ensure that numbers are distinct from any objects, such as persons, a proper grasp of which could not be afforded by the contextual definition. We discuss whether either Hale or Wright has provided independent motivation for a (...) |
|
|
Neologicists have sought to ground mathematical knowledge in abstraction. One especially obstinate problem for this account is the bad company problem. The leading neologicist strategy for resolving this problem is to attempt to sift the good abstraction principles from the bad. This response faces a dilemma: the system of ‘good’ abstraction principles either falls foul of the Scylla of inconsistency or the Charybdis of being unable to recover a modest portion of Zermelo–Fraenkel set theory with its intended generality. This article (...) |
|
|
The main purpose of this article is to argue that Crispin Wright and Bob Hale have not succeeded in overcoming the well-known ‘Julius Caesar objection’ to their proposed definition of the phrase ‘the number of’. It is hoped that the article will also help to clarify what would actually be needed in order to overcome this objection. |
|
|
'Philosophy arises through misconceptions of grammar', said Wittgenstein. Few people have believed him, and probably none, therefore, working in the area of the philosophy of mathematics. Yet his assertion is most evidently the case in the philosophy of Set Theory, as this paper demonstrates (see also Rodych 2000). The motivation for twentieth century Set Theory has rested on the belief that everything in Mathematics can be defined in terms of sets [Maddy 1994: 4]. But not only are there notable items (...) |
|
|
Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...) |
|
|
This article concerns the ongoing neo-logicist program in the philosophy of mathematics. The enterprise began life, in something close to its present form, with Crispin Wright’s seminal [1983]. It was bolstered when Bob Hale [1987] joined the fray on Wright’s behalf and it continues through many extensions, objections, and replies to objections . The overall plan is to develop branches of established mathematics using abstraction principles in the form: Formula where a and b are variables of a given type , (...) |
|
|
Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) |
|
|
The neo-logicist argues tliat standard mathematics can be derived by purely logical means from abstraction principles—such as Hume's Principle— which are held to lie 'epistcmically innocent'. We show that the second-order axiom of comprehension applied to non-instantiated properties and the standard first-order existential instantiation and universal elimination principles are essential for the derivation of key results, specifically a theorem of infinity, but have not been shown to be epistemically innocent. We conclude that the epistemic innocence of mathematics has not been (...) |
|
|
The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over. |
|
|
Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) |
|
|
We examine George Boolos's proposed abstraction principle for extensions based on the limitation-of-size conception, New V, from several perspectives. Crispin Wright once suggested that New V could serve as part of a neo-logicist development of real analysis. We show that it fails both of the conservativeness criteria for abstraction principles that Wright proposes. Thus, we support Boolos against Wright. We also show that, when combined with the axioms for Boolos's iterative notion of set, New V yields a system equivalent to (...) |
|
|
I argue that Neo-Fregean accounts of arithmetical language and arithmetical knowledge tacitly rely on a thesis I call [Success by Default]—the thesis that, in the absence of reasons to the contrary, we are justified in thinking that certain stipulations are successful. Since Neo-Fregeans have yet to supply an adequate defense of [Success by Default], I conclude that there is an important gap in Neo-Fregean accounts of arithmetical language and knowledge. I end the paper by offering a naturalistic remedy. |
|
|
O objetivo do presente artigo é apresentar a correlação entre o programa logicista fregeano de fundamentação da aritmética, o neologicismo de Crispin Wright e os chamados princípios de abstração. Minha tese é que uma análise geral de princípios de abstração, do ponto de vista lógico e explanatório, é mais basilar que o projeto de fundamentação da aritmética na forma como ele foi proposto pelo logicismo. Isso fica evidente através do fato de que o fracasso do programa logicista esteve intimamente ligado (...) |
|
|
Neo-Fregeans such as Bob Hale and Crispin Wright seek a foundation of mathematics based on abstraction principles. These are sentences involving a relation called the abstraction relation. It is usually assumed that abstraction relations must be equivalence relations, so reflexive, symmetric and transitive. In this article I argue that abstraction relations need not be reflexive. I furthermore give an application of non-reflexive abstraction relations to restricted abstraction principles. |
|
|
|
|
|
Bertrand Russell's contributions to last century's philosophy and, in particular, to the philosophy of mathematics cannot be overestimated.Russell, besides being, with Frege and G.E. Moore, one of the founding fathers of analytical philosophy, played a major rôle in the development of logicism, one of the oldest and most resilient1 programmes in the foundations of mathematics.Among his many achievements, we need to mention the discovery of the paradox that bears his name and the identification of its logical nature; the generalization to (...) |
|
|
Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) |
|
|
|
|
|
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...) |
|
|
I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...) |
|
|
Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013). |
|
|
In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) |
|
|
I argue that logical understanding is not propositional knowledgebut is rather a species of practical knowledge. I further arguethat given the best explanation of logical understanding someversion or another of inferential role semantics must be the correct account of the determinants of logical content. |
|
|
|
|
|
FieldHartry. Science Without Numbers: A Defense of Nominalism 2nd ed.Oxford University Press, 2016. ISBN 978-0-19-877792-2. Pp. vi + 56 + vi + 111. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-55b469568f-bl6rh uwo