In a note appended to the translation of “On consistency and completeness” (), Gödel reexamined the problem of the unprovability of consistency. Gödel here focuses on an alternative means of expressing the consistency of a formal system, in terms of what would now be called a ‘reflection principle’, roughly, the assertion that a formula of a certain class is provable in the system only if it is true. Gödel suggests that it is this alternative means of expressing consistency that we (...) should be interested in from a foundational point of view, and he gives a result that shows certain reflection principles to be underivable in extensions of elementary number theory under conditions significantly weaker than the Hilbert-Bernays derivability conditions. In this paper I shall discuss the background to Gödel's result and the foundational significance he claims for it. Along the way, I shall present a new proof of the result which places it in an even more general context than the one considered by Gödel in the 1960s. (shrink)

It is a common thought that mathematics can be not only true but also beautiful, and many of the greatest mathematicians have attached central importance to the aesthetic merit of their theorems, proofs and theories. But how, exactly, should we conceive of the character of beauty in mathematics? In this paper I suggest that Kant's philosophy provides the resources for a compelling answer to this question. Focusing on §62 of the ‘Critique of Aesthetic Judgment’, I argue against the common view (...) that Kant's aesthetics leaves no room for beauty in mathematics. More specifically, I show that on the Kantian account beauty in mathematics is a non-conceptual response felt in light of our own creative activities involved in the process of mathematical reasoning. The Kantian proposal I thus develop provides a promising alternative to Platonist accounts of beauty widespread among mathematicians. While on the Platonist conception the experience of mathematical beauty consists in an intellectual insight into the fundamental structures of the universe, according to the Kantian proposal the experience of beauty in mathematics is grounded in our felt awareness of the imaginative processes that lead to mathematical knowledge. The Kantian account I develop thus offers to elucidate the connection between aesthetic reflection, creative imagination and mathematical cognition. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Tries to identify some strands in the birth of analytic philosophy and to identify in consequence some of its distinctive features.

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

Поняття «філософія науки» незаперечно увійшло до сучасного філософського дискурсу. У філо- софському та науковому середовищах є різні тлумачення філософії науки. Власне науку тради- ційно вважають суспільною інституцією, створеною з метою здобуття та застосування знань про природні та штучні реалії. Водночас введення поняття «філософія науки» було б три віальним, якби його обсяг зводився до перетину обсягів понять «наука» і «філософія». Пе ре- хід від тлумачення науки загалом до її розуміння як сукупності конкретних наук з особ ливими предметними галузями викликає виокремлення із (...) загальної філософії науки групоцентрованих філософій наук на кшталт філософії біології, філософії психології, філософії технічних наук, філософії медицини, філософії соціальних наук, філософії інформаційних наук, філософії фізи- ки, філософії математики, філософії філософії тощо. У статті виокремлено різновиди сучас- ної філософії математичних та природничих наук. Специфічні ознаки цих наук аналізовано за допомоги графових класифікацій відповідних філософій. Підкреслено важливість для всіх різ- новидів філософії науки використовуваних ними реконструкцій практичних теорій. У першій частині окреслено мету статті й розглянуто предметні та теоретичні класифікації філосо- фій науки, у другій — оцінні, називні, теоретико-реконструктивні та мовно-реконструктив ні, а також зроблено висновки щодо доцільності застосування цих класифікацій до філософій суспільних та гуманітарних наук. В підсумку автори висновують, що, незважаючи на попу- лярність у філософсько-науковому середовищі різкого протиставлення класичної та некласич- ної фізики, для цього немає ґрунтовних об’єктивних підстав. (shrink)

The Russell–Myhill theorem threatens a familiar structured conception of propositions according to which two sentences express the same proposition only if they share the same syntactic structure and their corresponding syntactic constituents share the same semantic value. Given the role of the principle of universal instantiation in the derivation of the theorem in simple type theory, one may hope to rehabilitate the core of the structured view of propositions in ramified type theory, where the principle is systematically restricted. We suggest (...) otherwise. The ramified core of the structured theory of propositions remains inconsistent in ramified type theory augmented with axioms of reducibility. This is significant because reducibility has been thought to be perfectly consistent with the ramified approach to the intensional antinomies. Nor is the addition of reducibility to ramified type theory sufficient to restore other intensional puzzles such as Prior’s paradox or Kripke’s puzzle about time and thought. (shrink)

In the Foundations of Mathematics, Ramsey attempted to amend Principia Mathematica’s logicism to meet serious objections raised against it. While Ramsey’s paper is well known, some questions concerning Ramsey’s motivations to write it and its reception still remain. This paper considers these questions afresh. First, an account is provided for why Ramsey decided to work on his paper instead of simply accepting Wittgenstein’s account of mathematics as presented in the Tractatus. Secondly, evidence is given supporting that Wittgenstein was not moved (...) by Ramsey’s objection against the Tractarian account of arithmetic, and a suggestion is made to explain why Wittgenstein reconsidered Ramsey’s account in the early thirties on several occasions. Finally, a reading is formulated to understand the basis on which Wittgenstein argues against Ramsey’s definition of identity in his 1927 letter to Ramsey. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform infinite inferences. I (...) argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

This paper aims to shed light on an underexplored aspect of Gilbert Ryle’s interest in the notion of “knowing-how”. It is argued that in addition to his motive of discounting a certain theory of mind, his interest in the notion also stemmed (and perhaps stemmed more deeply) from two ethical interests: one concerning his own life as a philosopher and whether the philosopher has any meaningful task, and one concerning the ancient issue of whether virtue is a kind of knowledge. (...) It is argued that Ryle saw know-how as crucial in both respects and that he continued to be interested in these ethical issues throughout his career. (shrink)

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

In his treatise Die Grundlagen der Arithmetik, Gottlob Frege tries to find a definition of number. First he rejects the idea that number could be a property of external objects. Then he comes with a suggestion that a numerical statement expresses a property of a concept, namely it indicates how many objects fall under the concept. Subsequently Frege rejects, or at least essentially modifies, also this definition, because in his view that a number cannot be a property – it should (...) be an object. In this article, I try to show that Frege’s first definition of number seems to be, despite his own opinion, much more promising than he supposed. I also argue that Frege’s argumentation against the empirical character of number is by no means convincing. (shrink)

From 1905–1908 onward, Russell thought that his new ‘substitutional theory’ provided him with the right framework to resolve the set-theoretic paradoxes. Even if he did not finally retain this resolution, the substitutional strategy was instrumental in the development of his thought. The aim of this paper is not historical, however. It is to show that Russell's substitutional insight can shed new light on current issues in philosophy of mathematics. After having briefly expounded Russell's key notion of a ‘structured variable’, I (...) connect it to two ongoing discussions: the Caesar problem, and absolute generality. (shrink)

This paper will deal with three questions regarding Carnap's transition from the position he held at the time of writing Syntax to the doctrines he held during his semantic phase: (1) What was Carnap's attitude towards truth at the time of writing Syntax? (2) What was Carnap's position regarding questions of reference and ontology at the time of writing Syntax? (3) Was Carnap's acceptance of Tarski's analysis of truth and reference detrimental to his philosophical project? Section 1 of this paper (...) will deal with the first of these questions. Special attention will be paid to identifying what it was that prevented Carnap from defining a truth predicate for descriptive languages in Syntax. Section 2 of this paper will deal with the question of Carnap's attitude towards reference and ontology in Syntax. It will be shown that the attempt in Syntax to address ontological questions is seriously defective. Section 3 of this paper addresses the last of the questions posed above. It is argued that in the light of what is established in Sections 1 and 2, Carnap could not have retained the position of Syntax with respect to truth and reference. (shrink)

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

The article examines how Salomon Maimon’s concept of number as ratio can be used to demonstrate that arithmetical judgments are analytical. Based on his critique of Kant’s synthetic a priori judgments, I show how this notion of number fulfills Maimon’s requirements for apodictic knowledge. Moreover, I suggest that Maimon was influenced by mathematicians who previously defined number as a ratio, such as Wallis and Newton. Following an analysis of the real definition of this concept, I conclude that within the framework (...) of Maimon’s philosophy, arithmetical judgments cannot be analytical, nor is arithmetic an objectively necessary science, but rather only subjectively necessary. We should also cast doubt on his claim that we can create real objects from pure concepts of the understanding. (shrink)

According to the Dependency Theory, truth asymmetrically depends on the world, in the following sense: true propositions are true because the world makes them true. The Dependency Theory strikes many philosophers as incontrovertible, but in this paper I reject it. I begin by presenting a problem for the Dependency Theory. I then develop an alternative to the Dependency Theory which avoids that problem. This alternative is an immodest Identity Theory of Truth, and I end the paper by responding to Dodd’s (...) charge that immodest Identity Theories are incoherent. (shrink)

Arthur Pap’s work played an important role in the development of the analytic tradition. This role goes beyond the merely historical fact that Pap’s views of dispositional and modal concepts were influential. As a sympathetic critic of logical empiricism, Pap, like Quine, saw a deep tension in logical empiricism at its very best in the work of Carnap. But Pap’s critique of Carnap is quite different from Quine’s, and represents the discovery of limits beyond which empiricism cannot go, where there (...) lies nothing other than intuitive knowledge of logic itself. Pap’s arguments for this intuitive knowledge anticipate Etchemendy’s recent critique of the model-theoretic account of logical consequence. Pap’s work also anticipates prominent developments in the contemporary neo-Fregean philosophy of mathematics championed by Wright and Hale. Finally, Pap’s major philosophical preoccupation, the concepts of necessity and possibility, provides distinctive solutions and perspectives on issues of contemporary concern in the metaphysics of modality. In particular, Pap’s account of modality allows us to see the significance of Kripke’s well-known arguments on necessity and apriority in a new light. (shrink)

Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture. The author is grateful to Michael Friedman for valuable comments. Part of the research (...) towards this paper was carried out while the author was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. The paper was presented to the Center's Fellowship Reunion Conference in Athens in 1992. It was committed for publication in the Proceedings of that conference, but those Proceedings never appeared. By the time it became evident that they would never appear, both the hard copy and the source file had been mislaid. The hard copy re-surfaced in 2007. The literature on this topic since 1992 appears to leave some space for the ideas and arguments presented here. Although the paper has been updated in light of the more recent literature, its basic thesis, presented in 1992, remains the same. Only 3 is new, questioning a basic presumption made by more recent commentators in their presentation of Gödel's criticism of Carnap in his Gibbs Lecture. For helpful comments on the current version, the author is indebted to Robert Kraut, Stewart Shapiro, and Adam Podlaskowski. CiteULike Connotea Del.icio.us What's this? (shrink)

This is the first part of the essay devoted to the story of logicism, in particular to its Fregean version. Reviewing the classical period of Fregean studies, we first point out some critical moments of Frege‘s argumentation in the Grundla­gen, in order to be able later to differentiate between its salvageable and defec­tive features. We work on the presumption that there are no easy, catego­rical an­swers to questions like “Is logicism dead?“: Wittgenstein’s cri­tique of the foundational program as well as (...) the remarkable neo-Fregean dis­cov­eries of Boolos and Wright have to be confronted with the effects which the logi­cistic idea actually had on logico­matemati­cal practice. But that is another story, a sequel to this es­say, the purpose of which is systematic rather than criti­cal. (shrink)

The paper presents an interpretation of the thinking behind the early Wittgenstein's "general form of the proposition." It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the "general form of the proposition" than Potter (...) and Sullivan suppose, including, in particular, its claim that the bases from which all other propositions are derived must be elementary propositions. (shrink)

Philosophers love a priori knowledge: we delight in truths that can be known from the comfort of our armchairs, without the need to venture out in the world for confirmation. This is due not to laziness, but to two different considerations. First, it seems that many philosophical issues aren’t settled by our experience of the world — the nature of morality; the way concepts pick out objects; the structure of our experience of the world in which we find ourselves — (...) these issues seem to be decided not on the basis of our experience, but in some manner by things prior to (or independently of) that experience. Second, even when we are deeply interested in how our experience lends credence to our claims about the world, the matter remains of the remainder: we learn more about how experience contributes to knowledge when we see what knowledge is available independent of that experience. (shrink)

Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. That is, unless objects can belong to more than one sort. (...) But if there are multi-sorted objects, there should be cross-sortal identity principles for identifying objects across sorts. The going cross-sortal identity principle, ECIA2 of Cook and Ebert (2005), solves the problem of too many numbers. But, I argue, it does so at a high cost. I therefore propose a novel cross-sortal identity principle, based on embeddings of the induced models of abstracts developed by Walsh (2012). The new criterion matches ECIA2’s success, but offers interestingly different answers to the more controversial identifications made by ECIA2. (shrink)

This is the first part of the essay devoted to the story of logicism, in particular to its Fregean version. Reviewing the classical period of Fregean studies, we first point out some critical moments of Frege‘s argumentation in the Grundla­gen, in order to be able later to differentiate between its salvageable and defec­tive features. We work on the presumption that there are no easy, catego­rical an­swers to questions like “Is logicism dead?“: Wittgenstein’s cri­tique of the foundational program as well as (...) the remarkable neo-Fregean dis­cov­eries of Boolos and Wright have to be confronted with the effects which the logi­cistic idea actually had on logico­matemati­cal practice. But that is another story, a sequel to this es­say, the purpose of which is systematic rather than criti­cal. (shrink)

According to one of the most powerful paradigms explaining the meaning of the concept of natural number, natural numbers get a large part of their conceptual content from core cognitive abilities. Carey’s bootstrapping provides a model of the role of core cognition in the creation of mature mathematical concepts. In this paper, I conduct conceptual analyses of various theories within this paradigm, concluding that the theories based on the ability to subitize (i.e., to assess anexactquantity of the elements in a (...) collection without counting them), or on the ability to approximate quantities (i.e., to assess anapproximatequantity of the elements in a collection without counting them), or both, fail to provide a conceptual basis for bootstrapping the concept of an exact natural number. In particular, I argue that none of the existing theories explains one of the key characteristics of the natural number structure: the equidistances between successive elements of the natural numbers progression. I suggest that this regularity could be based on another innate cognitive ability, namely sensitivity to the regularity of rhythm. In the final section, I propose a new position within the core cognition paradigm, inspired by structuralist positions in philosophy of mathematics. (shrink)

Wittgenstein's conception of the general form of a truth function given in thesis 6 can be presented as a sort of a trade-off: the author of the Tractatus is unable to reconcile the simplicity of his original idea of a series of forms with the simplicity of his generalisation of Sheffer's stroke; therefore, he is forced to sacrifice one of them. As we argue in this paper, the choice he makes – to weaken the logical constraints put on the concept (...) of a series of forms, thus effectively metaphorising that concept for the sake of upholding the N-operation's role of generating the series – is unfortunate. An actual expansion of a series of truth functions as defined in 6 would require either making decisions at each step (Anscombe) or outwardly rejecting the concept of a series (Sundholm). However, neither is faithful to Wittgenstein's own fundamental intuitions regarding the nature of logic. For this reason, a different trade-off that prioritises upholding the basic features of a series of forms over the simplicity of the operation that generates that series seems to be much more reasonable. We offer such a trade-off by developing the schema already present in the Tractatus (5.101). The key element of our alternative solution is the construction of an operation that can perform the task of producing all consecutive truth functions of a given collection of atomic propositions as an invariant difference between any base and its successor throughout the series. We define it as a composition of three functions (in an algebraic sense): the first turns a symbol of a given truth function into a binary number, the second increments that number, the third turns the result back into a symbol of another truth function. We also show how the operation can be defined by means of a different notation without invoking binary arithmetic. (shrink)

In his “The Foundations of Mathematics”, Ramsey attempted to marry the Tractarian idea that all logical truths are tautologies and vice versa, and the logicism of the Principia. In order to complete his project, Ramsey was forced to introduce propositional functions in extension (PFEs): given Ramsey's definitions of 1 and 2, without PFEs even the quantifier-free arithmetical truth that 1 ≠ 2 is not a tautology. However, a number of commentators have argued that the notion of PFEs is incoherent. This (...) response was first given by Wittgenstein but has been best developed by Sullivan. While I agree with Wittgenstein and Sullivan's common conclusion, I believe that even the most compelling of Sullivan's arguments is importantly mistaken and that Wittgenstein's remarks are too opaque to be left as the end of the matter. In this article I uncover the fault in Sullivan's argument and present an alternative criticism of PFEs which is Wittgensteinian in spirit without being too mystifying. (shrink)

We are told that there are standards of rigour in proof, and we are told that the standards have increased over the centuries. This is fairly clear. But rigour has also changed its nature. In this paper we as-sess where these changes leave us today.1 To motivate making the new assessment, we give two illustra-tions of changes in our conception of rigour. One, concerns the shift from geometry to arithmetic as setting the standard for rig-our. The other, concerns the notion (...) of effective proof or compu-tations. To make the assessment, we look at one motivation for increasing the rigour of a mathematical argument: explicitness and honesty. We then present a standard of rigour by means of a characterisation developed with reference to what we call ‘an account-proof’. We evaluate the standard with reference to the motivation. With the analysis we discover that, regardless of the motivations for rigour, the standard is almost never met, and that the motivations are not all satisfied. It follows that, in some sense, the motivations have misfired. The misfiring suggests to us that we re-assess our notion of rigour. We think of rigour as a relative term. Moreover, the standard for rigour depends on philosophical underpinnings. The strength of the argument of this paper rests on the plausibility of our selection of motivations and on the plausibility of our standard. (shrink)