Hartry Field has suggested that we should adopt at least a methodological deflationism: [W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions ... are needed. I argue here that we do not need to be methodological deflationists. More pre-cisely, I argue that we have no need for a disquotational truth-predicate; (...) that the word true, in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. (shrink)

Edmund Husserl is the founder of phenomenology and the Logical Investigations is his most famous work. It had a decisive impact on twentieth century philosophy and is one of few works to have influenced both continental and analytic philosophy. This is the first time both volumes have been available in paperback. They include a new introduction by Dermot Moran, placing the Investigations in historical context and bringing out their contemporary philosophical importance. These editions include a new preface by Sir Michael (...) Dummett. (shrink)

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

My topic is the relation between nonsense and intelligibility, and the contrast between nonsense and falsehood which played a pivotal role in the rise of analytic philosophy . I shall pursue three lines of inquiry. First I shall briefly consider the positive case, namely linguistic understanding . Secondly, I shall consider the negative case—different breakdowns of understanding and connected forms of failure to make sense . Third, I shall criticize three important misconceptions of nonsense and unintelligibility: the austere conception of (...) nonsense propounded by the New Wittgensteinians ; the “no nonsense position” which roundly denies that there are cases of nonsense—Chomsky’s semantic anomalies or Ryle’s category mistakes–that are grammatically well-formed, without even having the potential for being used to make a truth-apt statement ; the individualistic conception of language and of semantic mistakes championed by Davidson . All three positions, I shall argue, ignore or deny combinatorial nonsense, the fact that perfectly meaningful sentence-components can be combined in a way that may be grammatical, yet without resulting in a sentence that is itself “meaningful”, i.e. endowed with linguistic sense. At a more strategic level, the first and the third position deny or ignore that natural languages are communal historical practices that go beyond idiolects and the employments of expressions in specific contexts and that are guided by semantic rules—standards for the meaningful use of words. (shrink)

This paper develops some respects in which the philosophy of mathematics can fruitfully be informed by mathematical practice, through examining Frege's Grundlagen in its historical setting. The first sections of the paper are devoted to elaborating some aspects of nineteenth century mathematics which informed Frege's early work. (These events are of considerable philosophical significance even apart from the connection with Frege.) In the middle sections, some minor themes of Grundlagen are developed: the relationship Frege envisions between arithmetic and geometry and (...) the way in which the study of reasoning is to illuminate this. In the final section, it is argued that the sorts of issues Frege attempted to address concerning the character of mathematical reasoning are still in need of a satisfying answer. (shrink)

This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...) and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

In a famous passage (A68/B93), Kant writes that “the understanding can make no other use of […] concepts than that of judging by means of them.” Kant's thought is often called the thesis of the priority of judgments over concepts. We find a similar sounding priority thesis in Frege: “it is one of the most important differences between my mode of interpretation and the Boolean mode […] that I do not proceed from concepts, but from judgments.” Many interpreters have thought (...) that Frege's priority principle is close to (or at least derivable from) Kant's. I argue that it is not. Nevertheless, there was a gradual historical development that began with Kant's priority thesis and culminated in Frege's new logic. (shrink)

This paper has three goals: (i) to show that the foundational program begun in the Begriffsschroft, and carried forward in the Grundlagen, represented Frege's attempt to establish the autonomy of arithmetic from geometry and kinematics; the cogency and coherence of 'intuitive' reasoning were not in question. (ii) To place Frege's logicism in the context of the nineteenth century tradition in mathematical analysis, and, in particular, to show how the modern concept of a function made it possible for Frege to pursue (...) the goal of autonomy within the framework of the system of second-order logic of the Begriffsschrift. (iii) To address certain criticisms of Frege by Parsons and Boolos, and thereby to clarify what was and was not achieved by the development, in Part III of the Begriffsschrift, of a fragment of the theory of relations. (shrink)

The syntax of Frege's scientific language is commonly taken to be characterized by two oddities: the representation of the intended illocutionary role of sentences by a special sign, the judgement-stroke, and the treatment of sentences as a species of singular terms. In this paper, an alternative view is defended. The main theses are: the syntax of Frege's scientific language aims at an explication of the logical form of judgements; the judgement-stroke is, therefore, a truth-operator, not a pragmatic operator; in Frege's (...) first system, '⊦ Δ' expresses that the circumstance Δ is a fact, and in his second system that the truth-value - Δ is the True; in both systems, the judgement-stroke is construed as a sign sui generis, not as a genuine predicate; its counterpart in natural language is the syntactic "form of assertoric sentences", not the truth-predicate; neither in Frege's first nor in his second system sentences are treated as singular terms. (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question of the (...) independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be (...) derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method. (shrink)

This article treats three aspects of Frege's discussions of definitions. First, I survey Frege's main criticisms of definitions in mathematics. Second, I consider Frege's apparent change of mind on the legitimacy of contextual definitions and its significance for recent neo-Fregean logicism. In the remainder of the article I discuss a critical question about the definitions on which Frege's proofs of the laws of arithmetic depend: do the logical structures of the definientia reflect the understanding of arithmetical terms prevailing prior to (...) Frege's analyses? Unless they do, it is unclear how Frege's proofs demonstrate the analyticity of the arithmetic in use before logicism. Yet, especially in late writings, Frege characterizes definitions as arbitrary stipulations of the senses or references of expressions unrelated to pre-definitional understanding. I conclude by examining some options for conceiving of the status of Frege's logicism in light of this apparent tension, and outline a suggestion for a philosophically fruitful way of resolving this tension. (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)

This two-part paper reviews a scholarly debate on an alleged tension in Frege ’s philosophy of logic. In Section 1 of Part I, I discuss Frege ’s view that logic is concerned with establishing norms for correct thinking and is therefore a normative science. In Section 2, I explore a different understanding of the role of logic that Frege seems to advance: logic is constitutive of the very possibility of thought, because it sets forth necessary conditions for thought. Hence, the (...) tension the view according to which logic is normative for thought seems to be incompatible with the idea that abiding by the laws of logic forms a precondition for thought. In Section 1 of Part II, I survey a number of interpretations of Frege ’s conception of logic that deal with this question. I show that they are for the most part either normative readings or constitutive readings. Finally, in Section 2, I adjudicate the debate and aim at reconciling the normative and the constitutive strands in Frege ’s conception of logic. (shrink)

The reflections recorded in this paper arise from three moments in the theory of definition and of conceptual analysis. The moments are: Frege’s review of Husserl’s Philosophy of Arithmetic, the discussion there of the paradox of analysis, and the division that Frege marks, ensuing upon his distinction of Sinn/sense from Bedeutung/reference, between two different conceptions of definition; Leibniz’s still serviceable account of a distinction between the clarity and the distinctness of ideas---a distinction that prompts the suggestion that the guiding purpose (...) of lexical definition is Leibnizian clarity whereas that of real definition is inseparable from the pursuit of Leibnizian distinctness; Leibniz’s speculations concerning the limit or terminus of analysis. The apparent failure of these speculations, casting doubt as it does upon the aspirations that give rise to them, points to the long-standing need to reconfigure the philosophical business of enquiry into concepts. (shrink)

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

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)

In his recent book, "The Metaphysicians of Meaning" (2000), Gideon Makin argues that in the so-called "Gray's Elegy" argument (the GEA) in "On Denoting", Russell provides decisive arguments against not only his own theory of denoting concepts but also Frege's theory of sense. I argue that by failing to recognize fundamental differences between the two theories, Makin fails to recognize that the GEA has less force against Frege's theory than against Russell's own earlier theory. While I agree with many aspects (...) of Makin's interpretation of the GEA, I differ with him regarding some significant details and present an interpretation according to which the GEA emerges as simpler, stronger, and more integrated. (shrink)

Peirce seems to maintain two incompatible theses: that a sentence is multiply analyzable into subject and predicate, and that a sentence is uniquely analyzable as a combination of rhemata of first intention and rhemata of second intention. In this paper it is argued that the incompatibility disappears as soon as we distinguish, following Dummett’s work on Frege, two distinct notions of analysis: ‘analysis’ proper, whose purpose is to display the manner in which the sense of a sentence is determined by (...) the senses of its constituent parts, and ‘decomposition’, which is the process of dividing a sentence into a predicate and a subject, and whose purpose is to both to explain how quantified sentences are constructed and to evidence a pattern within a sentence which it shares with other sentences. (shrink)

Gottlob Frege abandoned his logicist program after Bertrand Russell had discovered that some assumptions of Frege’s system lead to contradiction (so called Russell’s paradox). Nevertheless, he proposed a new attempt for the foundations of mathematics in two last years of his life. According to this new program, the whole of mathematics is based on the geometrical source of knowledge. By the geometrical source of cognition Frege meant intuition which is the source of an infinite number of objects in arithmetic. In (...) this article, I describe this final attempt of Frege to provide the foundations of mathematics. Furthermore, I compare Frege’s views of intuition from The Foundations of Arithmetic (and his later views) with the Kantian conception of pure intuition as the source of geometrical axioms. In the conclusion of the essay, I examine some implications for the debate between Hans Sluga and Michael Dummett concerning the realistic and idealistic interpretations of Frege’s philosophy. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

Michael Dummett has shown that the fragment ‘17 Kernsätze zur Logik’ is evidence that Frege knew Lotze's Logik Dummett’s dating of this fragment prior to 1879, however, must be rejected.The present paper shows that there are other articles of Frege’s which bear clear traces of Lotze's LogikFirst of all, the expressions Vorstellungsverlauf from ‘Über die wissenschaftliche Berechtigung einer Begriffsschrift’, and veranlassenden Ursachen, from ‘Logik’, certainly are borrowed from Lotze.Second, there are links between ‘Booles rechnende Logik und die Begriffsschrift’ and Lotze's (...) Logik. Furthermore, it is shown that Frege’s ‘Kernsätze’, the ‘Dialog mit Pünjer über Existenz’, and his ‘Logik’ are intimately connected.All of this indicates that these texts were written in roughly the same period, namely the early 1880s.Conclusive evidence for this is that the terms Vorstellung and Vorstellungsverbindung are used indiscriminately in both a psychological and a logical sense in the ‘Begriffsschrift’, a fact which contradicts the ‘Kernsätze’. (shrink)

Edouard Machery has argued that the notion of concept should be eliminated from scientific theorising about cognition on the grounds that what psychologists call concepts do not form a natural kind and that keeping this notion would encumber scientific progress. His view is that the class of concepts really divides into three distinct yet co-referential kinds of bodies of knowledge typically used in distinct cognitive processes. The main purpose of this paper is to challenge Machery’s eliminativist conclusion on the grounds (...) that his alternative to concepts fails to be combined with any prominent account of content determination. As a case of philosophical scrutiny of a psychological proposal, the paper also intends to show how philosophical and psychological interests in concepts can be brought together. (shrink)

This explorative article is organized around a set of questions concerning the concept of a function. First, a summary of certain general facts about functions that are a common coin in contemporary logic is given. Then Frege's attempt at clarifying the nature of functions in his famous paper Function and Concept and in his Grundgesetze is discussed along with some questions which Freges' approach gave rise to in the literature. Finally, some characteristic uses of functional notions to be found in (...) the work of Bernard Bolzano and in Edmund Husserl's early work are presented and elucidated. (shrink)

After describing the philosophical background of Kerry's work, an account is given of the way Kerry proposed to supplement Bolzano's conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege's work and Kerry's views were then attacked by Frege.The following two issues were central to this controversy: (a) the relation between the content of a concept and the object of a concept; (b) the logical roles of the definite article. Not only (...) did Frege in 1892 offer an unconvincing solution to Kerry's puzzle concerning 'the concept horse' but he also overlooked the many criticisms levelled by Kerry against the notion of an (indefinite) extension on which his own definition of number was based. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

The twelve original studies collected in this volume examine different aspects of Edmund Husserl's Logical Investigations. They are authored by scholars and specialists internationally recognized for their expertise in the fields of phenomenology, logic, history of philosophy and philosophy of mind. They approach Husserl's groundwork from different angles and perspectives and shed new light on a number of issues such as meaning, intentionality, ontology, logic, etc. They also explore questions such as the place of the Logical Investigations within the whole (...) of Husserl's work, its sources in 19th century philosophy and in particular in the philosophical work of Franz Brentano and Bernard Bolzano, its reception amongst the so-called members of the Munich Circle and its influence on contemporary philosophy. In short, this volume constitutes a "companion" to Husserl's Logical Investigations. (shrink)

In this paper, we will discuss what is called the “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John McDowell’s response to this anti-realistic challenge, which was put forward to show that the challenge cannot undermine realism. According to (...) McDowell, knowledge of undecidable sentences’ truth-conditions can be properly manifested in our ordinary practice of asserting such sentences under certain circumstances, and any further requirement will be redundant. Wright’s further objection to McDowell’s response will be also discussed and it will be argued that this objection fails to raise any serious problem for McDowell’s response and that it is an implausible objection in general. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

One of the most striking features of twentieth-century philosophy has been its obsession with language. For the most part, this phenomenon is greeted with hostile incredulity by external observers. Surely, they say, if philosophy is the profound and fundamental discipline which it has purported to be for more than two millennia, it must deal with something more serious than mere words, namely the things they stand for, and ultimately the essence of reality or of the human mind.

This article analyzes whether Brandom’s ISA (inferential-substitutional-anaphoric) semantics as presented in Making It Explicit (MIE) and Articulating Reasons (AR) can cope with problems resulting from inferentialism’s near-implied meaning holism. Inferentialism and meaning holism entail a radically perspectival conception of content as significance for an individual speaker. Since thereby its basis is fixed as idiolects, holistic inferentialism engenders a communication-problem. Brandom considers the systematic difference in information among individuals as the „point“ of communication and thus doesn’t want to diminish these effects (...) of inferentialism. Instead, explains communication with a model of “navigating among perspectives without sharing contents”. The crucial element in this navigation-model is the functioning of anaphoric connections between tokens uttered in discourse that can be used by every individual speaker in their own perspectival semantic substitution-economies. The heart of Brandom’s semantics is the thesis of the purely inferential, hence non-referential nature of anaphora, coupled with the claim that anaphoric-inferential semantic mechanisms yield sufficient conditions for mutually successful “information-extraction” or interpretation. This article disputes the thesis and denies the claim. Regarding the former it is observed that all of Brandom’s plausible reconstructions of anaphoric discourse-structures rely on covert “reference-infiltrations” that can’t be eliminated. Regarding the latter, a new argument based on context-sensitive semantic phenomena in anaphoric settings shows that the crucial distinction between initiator or anaphoric antecedent and anaphoric dependent cannot be drawn according to Brandom’s own premises without overt and irreducible referential premises. The article concludes that either Brandom’s semantics can offer determinate contents, but then must accept genuinely referential semantic primitives, or else it leaves utterance-contents undeterminable and hence cannot explain communication. (shrink)

I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude that (...) Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

Over the past decades, Patricia Blanchette has developed a sophisticated account of Frege's conception of logic and his views on logical consequence. One of the central components of her interpretation is the idea that Frege's conception of logical consequence is ‘semantically laden’ and not purely formal. The aim of the present paper is to provide precise explications of this as well as related ideas that inform her account, and to discuss their significance for the philosophy of logic in general and (...) Frege's philosophy in particular. (shrink)

The article addresses the works of three 19th-century philosophers: Herbart, Bolzano and Lotze. Despite their differences, i will analyze two essential features they share: their refusal to psychologism as the radicalization of psychology as the ultimate source of philosophy , and the positing of an ideal ‘reality’, independent from both sensibility and the mental and linguistic dimensions, upon which the refusal to psychologism is founded . As a conclusion, i will show how, according to these authors, this platonic, ideal background (...) constitutes the very foundation of every meaningful thought. (shrink)

The book presents the various theories of intentionality from Brentano and Husserl to present day (1997) theories on mental content, narrow and broad.

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

Response‐dispositional (RD) properties are standardly defined as those that involve an object's appearing thus or thus to some perceptually well‐equipped observer under specified epistemic conditions. The paradigm instance is that of colour or other such Lockean “secondary qualities”, as distinct from those—like shape and size—that pertain to the object itself, quite apart from anyone's perception. This idea has lately been thought to offer a promising alternative to the deadlocked dispute between hard‐line ‘metaphysical’ realists and subjectivists, projectivists, social constructivists, or hard‐line (...) anti‐realists. A chief source text is Plato's Euthyphro, where the issue is posed in ethical terms: do the gods infallibly approve virtuous acts on account of their divine moral omniscience or are virtuous acts just those the gods approve? Among the areas proposed as amenable to an RD approach are epistemology, ethics, political theory, and philosophy of mathematics. It is claimed that by making due allowance for the involvement of normalised or optimised human responses one can steer a course between the twin poles of an objectivist realism that places truth beyond our cognitive grasp and an epistemic conception that confines truth within the limits of humanly attainable proof, knowledge, or verification. Here I argue—on the contrary—that RD approaches can be shown to offer nothing more than a variant of the same old realist versus anti‐realist dilemma. That is, they work out either as a trivial (tautologous) claim that ‘truth’ simply equates with ‘best judgement’ in the ideal (quasi‐objective) limit or as the claim—advanced by anti‐realists like Michael Dummett—that we cannot form any adequate conception of objective (recognition‐transcendent) truths. After looking at this issue in various contexts of debate, I conclude that one useful (if pyrrhic) outcome is to demonstrate the non‐availability of any middle‐ground stance. We are left with the strictly unavoidable choice between a realist or objectivist approach and one that assimilates truth to the consensus of accredited best opinion. This latter amounts to a roundabout, elaborately qualified version of the anti‐realist case. (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)

Although at present analytic philosophy is practiced mainly in the English-speaking world, it is to a considerable part the invention of German speakers. Its emergence owes much to Russell, Moore, and American Pragmatism, but even more to Frege, Wittgenstein, and the logical positivists of the Vienna Circle. No one would think of analytic philosophy as a specifically Anglophone phenomenon, if the Nazis had not driven many of its pioneers out of central Europe.