We introduce a new simple first-order framework for theories whose objects are well-orderings (lists). A system ALT (axiomatic list theory) is presented and shown to be equiconsistent with ZFC (Zermelo Fraenkel Set Theory with the Axiom of Choice). The theory sheds new light on the power set axiom and on Gs axiom of constructibility. In list theory there are strong arguments favoring Gs axiom, while a bare analogon of the set theoretic power set axiom looks artificial. In fact, there is (...) a natural and attractive modification of ALT where every object is constructible and countable. In order to substantiate our foundational interest in lists, we also compare sets and lists from the perspective of finite objects, arguing that lists are, from a certain point of view, conceptually simpler than sets. (shrink)

This essay examines Frege's reaction to Russell's Paradox and his views about the grounding of existence claims in mathematics. It is argued that Frege's strict requirements on existential proofs would rule out the attempt to ground arithmetic in. It is hoped that this discussion will help to clarify the ways in which Frege's position is both coherent and significantly different from the neo-logicist position on the issues of: what's required for proofs of existence; the connection between models, consistency, and existence; (...) and the prospects for a logical grounding of arithmetic in the wake of the paradox. (shrink)

After the publication of Begriffsschrift, a conflict erupted between Frege and Schröder regarding their respective logical systems which emerged around the Leibnizian notions of lingua characterica and calculus ratiocinator. Both of them claimed their own logic to be a better realisation of Leibniz’s ideal language and considered the rival system a mere calculus ratiocinator. Inspired by this polemic, van Heijenoort (1967b) distinguished two conceptions of logic—logic as language and logic as calculus—and presented them as opposing views, but did not explain (...) Frege’s and Schröder’s conceptions of the fulfilment of Leibniz’s scientific ideal. -/- In this paper I explain the reasons for Frege’s and Schröder’s mutual accusations of having created a mere calculus ratiocinator. On the one hand, Schröder’s construction of the algebra of relatives fits with a project for the reduction of any mathematical concept to the notion of relative. From this stance I argue that he deemed the formal system of Begriffsschrift incapable of such a reduction. On the other hand, first I argue that Frege took Boolean logic to be an abstract logical theory inadequate for the rendering of specific content; then I claim that the language of Begriffsschrift did not constitute a complete lingua characterica by itself, more being seen by Frege as a tool that could be applied to scientific disciplines. Accordingly, I argue that Frege’s project of constructing a lingua characterica was not tied to his later logicist programme. (shrink)

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

Descartes afirma que el cogito se "experimenta en uno" (apud se experiatur)o se "siente en uno mismo" ("il sent in lui-même"), pero también ha señalado que uno no siente sino a través del cuerpo. El problema es que, en las Meditaciones, el cogito fue caracterizado cuando todavía no se había demostrado la existencia del cuerpo. Pese a esto, Descartes parece haberse dejado influir por ciertas sensaciones internas de duda y certeza. En el trabajo se sostiene que esto fue posible porque (...) esas sensaciones internas son efecto de una ratio implícita: la existencia de un Dios no engañador. (shrink)

A crucial part of the contemporary interest in logicism in the philosophy of mathematics resides in its idea that arithmetical knowledge may be based on logical knowledge. Here an implementation of this idea is considered that holds that knowledge of arithmetical principles may be based on two things: (i) knowledge of logical principles and (ii) knowledge that the arithmetical principles are representable in the logical principles. The notions of representation considered here are related to theory-based and structure-based notions of representation (...) from contemporary mathematical logic. It is argued that the theory-based versions of such logicism are either too liberal (the plethora problem) or are committed to intuitively incorrect closure conditions (the consistency problem). Structure-based versions must on the other hand respond to a charge of begging the question (the circularity problem) or explain how one may have a knowledge of structure in advance of a knowledge of axioms (the signature problem). This discussion is significant because it gives us a better idea of what a notion of representation must look like if it is to aid in realizing some of the traditional epistemic aims of logicism in the philosophy of mathematics. (shrink)

The topic of this paper is our knowledge of the natural numbers, and in particular, our knowledge of the basic axioms for the natural numbers, namely the Peano axioms. The thesis defended in this paper is that knowledge of these axioms may be gained by recourse to judgements of probability. While considerations of probability have come to the forefront in recent epistemology, it seems safe to say that the thesis defended here is heterodox from the vantage point of traditional philosophy (...) of mathematics. So this paper focuses on providing a preliminary defense of this thesis, in that it focuses on responding to several objections. Some of these objections are from the classical literature, such as Frege's concern about indiscernibility and circularity, while other are more recent, such as Baker's concern about the unreliability of small samplings in the setting of arithmetic. Another family of objections suggests that we simply do not have access to probability assignments in the setting of arithmetic, either due to issues related to the~$\omega$-rule or to the non-computability and non-continuity of probability assignments. Articulating these objections and the responses to them involves developing some non-trivial results on probability assignments, such as a forcing argument to establish the existence of continuous probability assignments that may be computably approximated. In the concluding section, two problems for future work are discussed: developing the source of arithmetical confirmation and responding to the probabilistic liar. (shrink)

ABSTRACTA short piece by Frege, heretofore overlooked, containing a précis of his views on the concept of number, is presented, after some very brief questions about Frege's possible involvement in the wider intellectual milieu.

In this article, I try to shed some new light onGrundgesetze§10, §29–§31 with special emphasis on Frege’s criteria and proof of referentiality and his treatment of the semantics of canonical value-range names. I begin by arguing against the claim, recently defended by several Frege scholars, that the first-order domain inGrundgesetzeis restricted to value-ranges, but conclude that there is an irresolvable tension in Frege’s view. The tension has a direct impact on the semantics of the concept-script, not least on the semantics (...) of value-range names. I further argue that despite first appearances truth-value names play a distinguished role as semantic “target names” for “test names” in the criteria of referentiality and do not figure themselves as “test names” regarding referentiality. Accordingly, I show in detail that Frege’s attempt to demonstrate that by virtue of his stipulations “regular” value-range names have indeed been endowed with a unique reference, can plausibly be regarded as a direct application of the context principle. In a subsequent section, I turn to some special issues involved in §10. §10 is closely intertwined with §31 and in my and Richard Heck’s view would have been better positioned between §30 and §31. In a first step, I discuss the piecemeal strategy which Frege applies when he attempts to bestow a unique reference on value-range names in §3, §10–§12. In a second step, I critically analyze his tentative, but predictably unsuccessful proposal to identify all objects whatsoever, including those already clad in the garb of value-ranges, with their unit classes. In conclusion, I present two arguments for my claim that Frege’s identification of the True and the False with their unit classes in §10 is illicit even if both the permutation argument and the identifiability thesis that he states in §10 are regarded as formally sound. The first argument is set out from the point of view of the syntax of his formal language. It suggests though that a reorganization of the exposition of the concept-script would have solved at least one of the problems to which the twin stipulations in §10 give rise. The second argument rests on semantic considerations. If it is sound, it may call into question, if not undermine the legitimacy of the twin stipulations. (shrink)

In this essay, I critically discuss Dale Jacquette's new English translation of Frege's work Die Grundlagen der Arithmetik as well as his Introduction and Critical Commentary (Frege, G. 2007. The Foundations of Arithmetic. A Logical-Mathematical Investigation into the Concept of Number . Translated with an Introduction and Critical Commentary by Dale Jacquette. New York: Longman. xxxii + 112 pp.). I begin with a short assessment of Frege's book. In sections 2 and 3, I examine several claims that Jacquette makes in (...) his Introduction and Critical Commentary and put matters in the right perspective. In sections 4-7, I analyse errors and shortcomings in Jacquette's (and Austin's) translation(s) and show how they can be avoided. In this context, I consider several issues of interest for Frege's logic and philosophy of arithmetic. I conclude with general remarks. (shrink)

Well over a century after its introduction, Frege's two-dimensional Begriffsschrift notation is still considered mainly a curiosity that stands out more for its clumsiness than anything else. This paper focuses mainly on the propositional fragment of the Begriffsschrift, because it embodies the characteristic features that distinguish it from other expressively equivalent notations. In the first part, I argue for the perspicuity and readability of the Begriffsschrift by discussing several idiosyncrasies of the notation, which allow an easy conversion of logically equivalent (...) formulas, and presenting the notation's close connection to syntax trees. In the second part, Frege's considerations regarding the design principles underlying the Begriffsschrift are presented. Frege was quite explicit about these in his replies to early criticisms and unfavorable comparisons with Boole's notation for propositional logic. This discussion reveals that the Begriffsschrift is in fact a well thought-out and carefully crafted notation that intentionally exploits the possibilities afforded by the two-dimensional medium of writing like none other. (shrink)

In this paper, I critically discuss Frege’s philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2, I argue that that what Frege calls faculty of intuition in his dissertation is probably meant to refer to a capacity of visualizing geometrical configurations structurally in a way which is essentially the same for most Western educated human beings. I further suggest that according to his Habilitationsschrift it is through spatial intuition that we (...) come to know the axioms of Euclidean geometry. In Sect. 3, I argue that Frege seems right in claiming in The Foundations, §14 that the synthetic nature of the Euclidean axioms follows from the fact that they are independent of one another and of the primitive laws of logic. If the former were dependent on the latter, they would be analytic in Frege’s sense of analyticity. But then they would not be independent of one another and due to their mutual provability would lose their status as axioms of Euclidean geometry, since according to Frege an axiom of a theory T is per definitionen unprovable in T. I further argue that only by invoking pure spatial intuition can Frege “explain” the epistemological status of the axioms of Euclidean geometry completely: their synthetic a priori nature. Finally, I argue that his view about independence in The Foundations, §14 seems to clash with his conception of independence in his mature period. In Sect. 4, I scrutinize Frege’s somewhat vague, but unduly neglected remarks in The Foundations, §26 on space, spatial intuition and the axioms of Euclidean geometry. I argue that for the sake of coherence Frege should have said unambiguously that space is objective, that it is independedent not only of our spatial intuition, but of our mental life altogether including our judgements about space, instead of encouraging the possible conjecture that in his view it contains an objective and a subjective component. I further argue that for Frege the objectivity of both space and the axioms of Euclidean geometry manifests itself in our universal and compulsory acknowledgement of the Euclidean axioms as true. I conclude Sect. 4 by arguing that there is a conflict between the subjectivity of our spatial intuitions as stressed in The Foundations, §26 and Frege’s thesis in his dissertation that the axioms of Euclidean geometry derive their validity from the nature of our faculty of intuition. To resolve this conflict, I propose that in the light of his avowed realism in The Foundations Frege could have replaced his early thesis by saying that although we come to know the axioms of Euclidean geometry through spatial intuition and are justified in acknowledging them as true on the basis of geometrical intuition, their truth is independent not only of the nature of our faculty of intuition and singular acts of intuition, but of our mental processes and activities in general, including the inner mental act of judging. In Sect. 5, I argue that Frege most likely did not adopt Kant’s method of acquiring geometrical knowledge via the ostensive construction of concepts in spatial intuition. In contrast to Kant, Frege holds that the axioms of three-dimensional Euclidean geometry express state of affairs about space obtaining independently of our spatial intuition. In Sect. 6, I conclude with a summarized assessment of Frege’s philosophy of geometry. (shrink)

ABSTRACT Natural language semantics is heir to two formalisms. There is the extensional machinery of explicit variables traditionally used to model reference to individuals, and the intensional machinery of implicit index parameters traditionally used to model reference to worlds and times. I propose instead a simple and unified extensional formalism – explicit semantics – on which all sentences include explicit individual, world and time variables. No implicit index parameters are needed.

There is a lot of misunderstanding and ignorance about Husserl’s philosophy among analytic philosophers. The present paper attempts to help correct that situation. It begins with some quotations of Husserl written around 1890, which clearly establish that he arrived at the distinction between sense and reference with independence from Frege. Then follows a brief survey of the most important themes of Husserl’s Logical Investigations, emphazising those that are of special interest to analytic philosophers. The paper concludes by mentioning other interesting (...) issues treated in later Husserlian writings, including his valuable conferences on ancient and modern logic from 1908-1909.Existen muchos malentendidos y mucha ignorancia acerca de la filosofía de Husserl entre los filósofos analíticos. El presente artículo intenta contribuir a corregir esa situacion. Él comienza con algunas citas de Husserl de aproximadamente 1890, que claramente establecen que Husserl obtuvo la distinción entre sentido y referente con independenica de Frege. Luego sigue un breve recuento de los más importantes temas de las Investigaciones Lógicas de Husserl, destacando aquéllos que son de particular interés para los filósofos analíticos. El artículo concluye haciendo référencia a otros temas tratados en escritos posteriores de Husserl, incluyendo sus valiosas conferencias acerca de lógica antigua y moderna de 1908-1909. (shrink)

All contributions included in the present issue were originally presented at an ‘Author Meets Critics’ session organised by Richard Zach at the Pacific Meeting of the American Philosophical Association in San Diego in the Spring of 2014.

It is shown that the coherence of de re belief ascriptions is doubtful in view of certain plausible principles. Subsequently, it is argued, the standard argument against substitutivity in de dicto ascriptions loses some of its power. Also, some possible reactions to these results are considered.

Hegel draws a distinction between ‘judgements’ and ‘posits’. Judgements serve to explicate a unified subject matter, while posits do not. Because different forms of judgement are marked by specific combinations of logical constants with certain types of predicates, statements combining logical constants with predicates not ‘suited’ for each other cannot express judgements, but only posits. Current accounts of Hegel’s concept of judgement tend either to ignore or reject his conception of posits. This article shows that Hegel’s exclusion of a vast (...) variety of well-formed statements from the realm of judgements contains a valuable insight rather than a flaw. It demonstrates that certain statements, even if correct, cannot contribute to the explication of a non-arbitrarily unified subject matter. Doing justice to Hegel’s notion of posit thus serves to motivate his general conception of judgement as well as his classification of particular types of judgement. (shrink)

I attempt to explain Frege's handling of the Julius Caesar issue in terms of his more general philosophical commitments. These only became fully explicit in his middle-period writings, but his earlier moves are best explained, I suggest, if we suppose them to be implicit in his earlier thinking. These commitments conditionally justify Frege in rejecting Hume's Principle as either a definition or axiom but in accepting Axiom V. However, the general epistemological picture they constitute has serious problems in accounting for (...) how knowledge is possible at all of such propositions as that Julius Caesar is not a number. (shrink)

Frege's philosophical writings, including the “logistic project,” acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing their (...) own intelligibility. This article is based on more technical analyses of Frege which Claude Imbert has previously offered in other writings. (shrink)

Husserl’s transcendental reduction admits of two motivations: the general methodological ban on begging the question, and the principle that a typology of objects ought to be based on a typology of my ways of cognizing them. As Husserl’s ‘transcendental phenomenology’ agrees with the ‘linguistic phenomenology’ of many analytic philosophers in being at bottom an effort to understand what precisely we mean to say by asserting that there ‘exists’ a ‘consciousness-independent’ or ‘transcendent’ world, the ‘residue’ of transcendental reduction is my subjective (...) consciousness. My cognitive approaches to the latter and to that of somebody else are not only entirely different but ‘complementary’ in the sense of Bohr’s. In the course of searching for an identity criterion for temporal entities lacking a spatial localisation in the world, we can show that the allegedly noetic phenomenon of, say, my now seeing a cat is a noema, to wit, the cat-as-now-beingseen-by-me-in-such-and-such-a-manner. There is no sound base for postulating, over and above the noematic nature of my consciousness, a second, noetic, aspect thereof. (shrink)

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

This paper aims to determine what kind of problem Frege's famous “Julius Caesar problem” is. whether it is to be understood as the metaphysical problem of determining what kind of things abstract objects like numbers or value‐courses are, or as the epistemological problem of providing a means of recognizing these objects as the same again, or as the logical problem of providing abstract sortal concepts with a sharp delimitation in order to fulfill the law of excluded middle, or as the (...) semantic problem of fixing the referents of the corresponding abstract singular terms. It is argued that, for Frege, the Caesar problem is a bundle of related problems of which the semantic problem is the most basic one. (shrink)

The translation of both ‘bedeuten’ and ‘Bedeutung’ in Frege's works remains sufficiently problematic that some contemporary authors prefer to leave these words untranslated. Here a case is made for returning to Russell's initial choice of ‘to indicate’ and ‘indication’ as better alternatives than the more usual ‘meaning’, ‘reference’, or ‘denotation’. It is argued that this choice has the philosophical payoff that Frege's controversial doctrines concerning the semantic values of sentences and predicative expressions are rendered far more comprehensible by it, and (...) that this translational strategy fulfills the desiderata of offering a translation which is acceptable both before and after Frege introduced the distinction between sense and reference or, as this paper would have it, between the sense of an expression and what it indicates. (shrink)

The purpose of this paper is to reconstruct Frege’s argument against the relativity of truth contained in his posthumous writing Logic from 1897. Two points are made. The first is that the argument is a performative version of the common objection that truth relativism is incoherent: it is designed to show that the assertion of the relativity of truth involves a performative incoherence, because the absoluteness of truth is a success condition for making assertions. From a modern point of view, (...) the central premise of the argument, that the successful making of assertions depends on the absoluteness of truth, is highly doubtful. The second point is that this premise can be made plausible within the framework of Frege’s conception of truth and assertion: it can be derived from his thesis that, in order to put something forward as true, we do not need the word ‘true’, but only the assertoric force. (shrink)

The aim of this paper is to give a detailed reconstruction of Frege's solution to his puzzle about the cognitive function of truth, which is this: On the one hand, the concept of truth seems to play an essential role in acquiring knowledge because the transition from the mere hypothetical assumption that p to the acknowledgement of its truth is a crucial step in acquiring the knowledge that p, while, on the other hand, this concept seems to be completely redundant (...) because the sense of the word 'true' does not make any essential contribution to the senses of the sentences in which it occurs. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

The paper challenges a widely held interpretation of Frege's conception of logic on which the constituent clauses of basic law V have the same sense. I argue against this interpretation by first carefully looking at the development of Frege's thoughts in Grundlagen with respect to the status of abstraction principles. In doing so, I put forth a new interpretation of Grundlagen §64 and Frege's idea of ‘recarving of content’. I then argue that there is strong evidence in Grundgesetze that Frege (...) did not hold the relevant sense-identity claim regarding basic law V. (shrink)

RÉSUMÉ: Dans cet article, j’entreprends de clarifier le projet (frégéen) d’une logique de l’arithmétique -- tel qu’il a été discuté par Natorp et Rickert -- en distinguant trois questions directrices. Le nombre est-il un objet logique? L’arithmétique est-elle réductible à la logique? Est-il possible de déduire les opérations arithmétiques de lois purement logiques? Ma thèse est que la distinction rigoureuse de ces trois questions permet de lever une grande partie des obscurités qui affectent en généralle programme d’une logique de l’arithmétique. (...) La contribution néo-kantienne à ce programme se trouve du même coup éclairée d’une lumière nouvelle.ABSTRACT: In this article, I try to shed light on the (Fregean) project of a logic of arithmelic-as discussed by Natorp and Rickert-by outlining three main questions. Is the number a logical object? Is arithmetic reducible to logic? Is it possible to deduce the arithmetical operations from purely logical laws? I argue that rigorous distinction between these three questions makes it possible to elucidate many problems affecting the program of a logic of arithmetic. The Neo-Kantian contribution to this program is at the same time considered in a new light. (shrink)

Un trait du langage qui menace de saper la sûreté de la pensée est sa tendance à former des noms propres auxquels aucun objet ne correspond. [...] Un exemple particulièrement remarquable de cela est la formation d’un nom propre selon le schéma «l’extension du concept a», par exemple «l’extension du concept étoile». À cause de l’article défini, cette expression semble désigner un objet; mais il n’y a aucun objet pour lequel cette expression pour-rait être une désignation appropriée. De là les (...) paradoxes de la théorie des ensembles, qui ont porté un coup mortel à la théorie des ensembles elle-même. J’étais moi-même sous cette illusion quand afin de fournir une fondation logique aux nombres, j’ai tenté de construire les nombres comme des ensembles. (shrink)

Joan Weiner has argued that Frege’s definitions of numbers constitute linguistic stipulations that carry no ontological commitment: they don’t present numbers as pre-existing objects. This paper offers a critical discussion of this view, showing that it is vitiated by serious exegetical errors and that it saddles Frege’s project with insuperable substantive difficulties. It is first demonstrated that Weiner misrepresents the Fregean notions of so-called Foundations-content, and of sense, reference, and truth. The discussion then focuses on the role of definitions in (...) Frege’s work, demonstrating that they cannot be understood as mere linguistic stipulations, since they have an ontological aim. The paper concludes with stressing both the epistemological and the ontological aspects of Frege’s project, and their crucial interdependence. (shrink)

The paper reconstructs three main stages in the development of Carnap’s approach to language in the years 1931 – 1947. It starts with Carnap’s approach to metalogic in his Viennese Zirkelprotokolle and his Logische Syntax der Sprache from the point of view of one-level approach to the relation between metalanguage and its object-language. It then analyzes Tarski’s turn to semantics in his paper presented at the Paris conference in September 1935, as well as the implications of his view for Carnap’s (...) approach to semantics from 1935 until 1943. Finally, it analyzes Church’s rediscovery of Frege and its impact on Carnap’s shift to the extension/intension distinction in his semantics in the years 1943 – 1947. (shrink)

In modal logic, propositions are evaluated relative to possible worlds. A proposition may be true relative to a world w, and false relative to another world w'. Relativism is the view that the relativization idea extends beyond possible worlds and modalities. Thus, in tense logic, propositions are evaluated relative to times. A proposition (e.g. the proposition that Socrates is sitting) may be true relative to a time t, and false relative to another time t'. In this paper I discuss, and (...) attempt to rebut, two classical objections to Relativism. The first objection, due to Frege, is the objection from incompleteness. I distinguish two possible relativist responses to that objection, one of which corresponds to the view I actually defend : Moderate Relativism. The second objection is due to Mark Richard, who argued that the objects of belief cannot be relativistic. I show that that objection can be met within the Moderate Relativist framework. In the last section, I deal with special forms of disagreement that have loomed large in recent discussions of Relativism. (shrink)