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)

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

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)

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)

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)

It is widely known that Kasimir Twardowski was a student of Franz Brentano. In view of the fact that Brentano generally had great impact through his lectures, especially during his Vienna period (1874-1895), and consequently became one of the towering figures of Austrian philosophy, it is a matter of no small interest to determine how he influenced Twardowski. I’ll first consider presentations as they are described in Brentano’s psychology and then proceed to discuss Brentano’s account of the latter in his (...) logic. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (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)

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)

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)

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)

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 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)

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)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (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)

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)

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)

Husserl and Frege reject logical psychologism, the view that logical laws are psychological 'laws of thought'. This paper offers an account of these famous objections and argues that their crucial premise, the necessity of logical laws, is justified with reference to a problematic metaphysics. However, this premise can be established in a more plausible way, namely via a transcendental argument which starts from the practice of rational criticism. This argument is developed through a discussion of Quine's holism, which at first (...) appears to make the idea of the necessity of logical laws even less plausible, but eventually turns out to speak in favor of this view. (shrink)

ABSTRACT In ‘The philosophical basis of intuitionistic logic’, Michael Dummett discusses two routes towards accepting intuitionistic rather than classical logic in number theory, one meaning-theoretical and the other ontological. He concludes that the former route is open, but the latter is closed. I reconstruct Dummett's argument against the ontological route and argue that it fails. Call a procedure ‘investigative’ if that in virtue of which a true proposition stating its outcome is true exists prior to the execution of that procedure; (...) and ‘generative’ if the existence of that in virtue of which a true proposition stating its outcome is true is brought about by the execution of that procedure. The problem with Dummett's argument then is that a particular step in it, while correct for investigative procedures, is not correct for generative ones. But it is the latter that the ontological route is concerned with. (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)

Social choice and welfare economics are subjects at the frontier of many disciplines. Even if economics played the major role in their development, sociology, psychology and, principally, political science, mathematics and philosophy have been central for the manifold inventiveness of the employed methods and for the diversity of the studied topics. This phenomenon can be compared with game theory, a subject which has, of course, many connections with social choice and welfare. This fact is reflected by the disciplinary origins of (...) the contributors to the subject and, as an anecdote, by the disciplinary origins of the board of editors of this journal. Philosophers are expected to contribute mainly to the study of social justice and related ethical questions. But there is a tradition among logicians for studying voting theory. A famous example is C. L. Dodgson (Lewis Carroll), even though the complete works of Dodgson on voting occupy only a few pages. A major recent example is Michael Dummett. Michael Dummett is famous among social choice theorists for his joint paper with Robin Farquharson published in Econometrica in 1961. Later he wrote two important books on voting (Dummett (1984, 1997); for an overview see Salles (2006)). But it must be outlined that Michael Dummett is also, and above all, one of the greatest contemporary philosophers whose work on the German logician Frege, on intuitionism, realism, anti-realism, justificationism has been central for the development of analytical philosophy in the second part of the last century and in this century (an example is the Symposium in a recent issue of Mind (see Peacocke (2005) and Dummett (2005)). Sir Michael Dummett is Wykeham Professor of Logic emeritus at Oxford University. His interview was conducted at New College, Oxford in September 2004. (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)

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)

Part 1 of the thesis questions the traditional relation model of intentionality. After fixing reference on the target phenomenon, intentionality, and explaining my interest in it, I ask what sorts of things intentionality might be a relation to. I consider ordinary objects, properties, propositions and hybrid views, and conclude all make the intentional relation appear rather mysterious. From there, I move on to examine the relation view’s most prominent proponents, the tracking theorists—pointing out some challenges such views face, and concluding (...) that it might be worthwhile looking into alternatives to the relation view. Part 2 asks whether the newly emerging phenomenal intentionality movement can provide a viable alternative to the relation model of intentionality. After focusing on a specific kind of phenomenal intentionality theory—something I call modificationism—I examine three such accounts. From there I go on to discuss some common complaints/challenges these kinds of views face, and consider how they might be addressed within the modificationist framework. In Part 3, I address what I call the problem of cognitive contact: how do our contentful mental states manage to make cognitive contact with the ordinary objects (e.g. tables and chairs) that they appear to. The problem is particularly acute for any version of phenomenal intentionality that denies the relation view, and has been given very little attention in the literature. I consider how a modificationist might address this problem, and conclude that though some avenues appear promising, there is nevertheless a great deal of work to be done if modificationism, and phenomenal intentionality theory, is to overcome this problem. (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 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)

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)

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)

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)

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)

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)

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)

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)

The author- following his own research on the subject- argues that Wittgenstein ignores argumentation theory and in general, the problems of rhetoric and argumentation. From this point of view, he frames Stephen Toulmin’s reading of Wittgenstein, arguing that the British philosopher- who was a student of the Austrian- advocates precisely the same thesis. He explains that this happens in a very peculiar (rhetorical) context on Toulmin’s part; a context in which, in essence, Wittgenstein’s philosophy is being rehabilitated.

This monograph discusses the question of what it is to be a reason – mainly in practical ethics – and proposes an original contribution to metaethics.It critically examines theories of metaethical realism, constructivism and error theory and identifies several misunderstandings or unclarities in contemporary debates. Based on this examination, the book suggests a distinction between a conceptual question, that can be answered by pure first-personal thinking, and a material question, that targets responses to reasons as a natural phenomenon in space (...) and time and that can be answered by help of the sciences. While this book defends a sharp distinction between these approaches, it also argues that the insights gained by the distinct approaches can be fruitfully integrated into a comprehensive picture.The comprehensive picture promoted in this book, based on both philosophical analysis and resources from psychology and cognitive science, is a picture of reasons as items in a collective archive of mind – reconfiguring the “domain of reasons” as a collectively established and socially cultivated fund of considerations with normative weight. The developed Collective Archive View combines Reasons Fundamentalism as an answer to the conceptual question, with a social ontological proposal, similar to Haslanger’s critical realism, as an answer to the material question.Thereby, it introduces central ideas from the field of social metaphysics into metaethics. At the same time, it offers a way of settling some controversies within metaethics, going on between proponents of Reasons Fundamentalism and Constitutivism, realism and constructivism, as well as proponents of mind-dependence and mind-independence of normative facts. Finally, the proposal enables us to envision and conceptualize genuine normative change within a metaethical theory. (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)

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)

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.

Quine made it conventional to portray the contradiction that destroyed Frege’s logicism as some kind of act of God, a thunderbolt that descended from a clear blue sky. This portrayal suited the moral Quine was antecedently inclined to draw, that intuition is bankrupt, and that reliance on it must therefore be replaced by a pragmatic methodology. But the portrayal is grossly misleading, and Quine’s moral simply false. In the person of others – Cantor, Dedekind, and Zermelo – intuition was working (...) pretty well. It was in Frege that it suffered a local and temporary blindness. The question to ask, then, is not how Frege was overtaken by the contradiction, but how it is that he didn’t see it coming. The paper offers one kind of answer to that question. Starting from the very close similarity between Frege’s proof of infinity and the reasoning that leads to the contradiction, it asks: given his understanding of the first, why did Frege did not notice the second? The reason is traced, first, to a faulty generalization Frege made from the case of directions and parallel lines; and, through that, to Frege’s having retained, and attempted incoherently to combine with his own, aspects of a pre-Fregean understanding of the generality of logical principles. (shrink)

El artículo tiene por objetivo analizar ciertos pasajes fundamentales de la Wissenschaftslehre y de las Paradoxien des Unendlichen de Bernard Bolzano en cuanto al análisis conjuntista se refiere. En dichos pasajes, Bolzano desarrolla conceptos fundamentales tales como multitud, colección e infinito que anticipan el carácter conjuntista y del análisis matemático moderno. Asimismo, se presentará un breve estudio de las Contribuciones a una más fundada exposición de la matemática y el apéndice, Sobre la teoría kantiana de la construcción de conceptos a (...) través de intuiciones, textos donde Bolzano muestra su rechazo por Kant.The article addresses the treatment of certain fundamental passages from Bolzano’s Wissenschaftslehre and Paradoxien des Unendlichen. In these passages, Bolzano describes some of his key concepts such “Multitude”, “Collections” and “Infinite” in the context of mathematical analysis and Set theory. Therefore, I discuss at length the unknown Contributions to a Better-Grounded Presentation of Mathematics and the appendix On the Kantian Theory of the Construction of Concepts through Intuitions, texts where Bolzano shows his rejection of Kant. (shrink)