Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

This paper develops a criterion for sameness of Fregean senses. I consider three criteria: logical equivalence, intensional isomorphism, and epistemic equipollence. I reject the first two and argue for a version of the third.

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

A common view is that natural language treats numbers as abstract objects, with expressions like the number of planets, eight, as well as the number eight acting as referential terms referring to numbers. In this paper I will argue that this view about reference to numbers in natural language is fundamentally mistaken. A more thorough look at natural language reveals a very different view of the ontological status of natural numbers. On this view, numbers are not primarily treated abstract objects, (...) but rather 'aspects' of pluralities of ordinary objects, namely number tropes, a view that in fact appears to have been the Aristotelian view of numbers. Natural language moreover provides support for another view of the ontological status of numbers, on which natural numbers do not act as entities, but rather have the status of plural properties, the meaning of numerals when acting like adjectives. This view matches contemporary approaches in the philosophy of mathematics of what Dummett called the Adjectival Strategy, the view on which number terms in arithmetical sentences are not terms referring to numbers, but rather make contributions to generalizations about ordinary (and possible) objects. It is only with complex expressions somewhat at the periphery of language such as the number eight that reference to pure numbers is permitted. (shrink)

Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.

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.

El holismo semántico es una teoría que está relacionada con los significados que se atribuyen a las palabras y sus relaciones con otras palabras en una lengua. En este trabajo se propone rehabilitar el holismo semántico como una posición filosófica razonable y presentar una versión del holismo semántico desarrollada por Henry Jackman – llamada “holismo semántico moderado”. Esta teoría es capaz de explicar algunos fenómenos lingüísticos, como la vaguedad, polisemia y ambigüedad, haciendo del holismo moderado una teoría útil no sólo (...) para la filosofía del lenguaje, sino también para los estudios de semántica lingüística. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

Speech acts are governed by a variety of illocutionary norms. Building on Sbisà’s (2019) work, this chapter attempts to develop a common framework to study them. Four families of illocutionary rules are identified: (i) Validity rules set conditions for (actual) performance; (ii) Cooperative rules set conditions for cooperative performance; (iii) Illocutionary goals set conditions for successful performance; (iv) Illocutionary obligations set conditions for compliance. Illocutionary rules are often taken to play a constitutive role: speech acts are said to be constituted (...) by the unique set of rules that regulates them. Against this view, it is argued that many illocutionary rules are instead best construed as rationally derivable expectations of cooperation. This alternative paradigm provides fertile ground to reconcile scholarly disagreement between speech act theorists, and yields a promising explanation of how illocutionary norms are learned and evolve through time. (shrink)

What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...) Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains. (shrink)

The recent discussions on the unity of virtue suffer from a lack of reference to the processes through which we interpret each other as moral agents. In the present paper it is argued that much light can be thrown on that crucial issue by appealing to a version of Donald Davidson’s Principle of Charity, which we call “Principle of Phronetic Charity”. The idea is that in order to treat somebody as a moral agent, one has first to attribute to them, (...) at least pro tempore, a significant degree of practical wisdom and, then, to assess and rationally adjust such attribution of competence via actual engagement with them – a process that may lead to different responses on the part of the interpreter. After expounding and defending the Principle of Phronetic Charity and the interpretive practices connected with it, we discuss the repercussions of our account on the issue of the epistemic access to virtue. We will show, in particular, that some important components of both disunitarianism and unitarianism have to be retained: in accordance with the former, we stress the role of concrete experience over pure speculation and, up to a point, the idea that virtues tend to form variegated ensembles; in accordance with the latter, we accept the claim that virtues are not attributed to moral agents in isolation. Ultimately, however, the account developed here rejects both the atomism of the disunitarian view and the holism of the “Unity of the Virtues”, since it is in fact a form of molecularism, according to which virtues come neither individually nor as a whole, but rather as clusters. (shrink)

The paper offers a survey of four key moments in which symbolisms for quantification were first introduced: §§11–2 of Frege’s Begriffsschrift ; Peirce’s ‘Algebra of Logic’ ; Peano’s ‘St...

Abstract Though it has been claimed that Frege's commitment to expressions in indirect contexts not having their customary senses commits him to an infinite number of semantic primitives, Terrence Parsons has argued that Frege's explicit commitments are compatible with a two-level theory of senses. In this paper, we argue Frege is committed to some principles Parsons has overlooked, and, from these and other principles to which Frege is committed, give a proof that he is indeed committed to an infinite number (...) of semantic primitives?an intolerable result. (shrink)

Las interpretaciones tradicionales de Frege tienden a explicar su antipsicologismo como indicando que ninguna consideración subjetivista debe interferir en la elaboración de un lenguaje lógico; dichas interpretaciones, sin embargo, tienen problemas para explicar el énfasis dado por el mismo Frege a conceptos como el de fuerza asertiva. Este artículo pretende solucionar esta extrañeza investigando, a partir de su concepto de ciencia, algunas de las ideas epistemológicas de Frege. Esto nos llevará a concluir que una concepción de la verdad como fenómeno (...) esencialmente público puede resolver este y otros problemas interpretativos. (shrink)

This article aims to disrupt received views about the significance of J. L. Austin's contribution to philosophy of language. Its focus is Austin's 1955 lectures How To Do Things With Words . Commentators on the lectures in both philosophical and literary-theoretical circles, despite conspicuous differences, tend to agree in attributing to Austin an assumption about the relation between literal meaning and truth, which is in fact his central critical target. The goal of the article is to correct this misunderstanding and (...) to show that Austin is deeply critical of a picture of correspondence between language and the world which nearly half a century after he delivered his lectures continues to structure philosophical discussions of language. (shrink)

The problem I address is: how are cogent inferences possible? In § 1 I distinguish three senses in which we say that one is “compelled” by an inference: automatic, seductive-rhetorical and epistemic compulsion. Cogency is epistemic compulsion: a cogent inference compels us to accept its conclusion, if we accept its premises and we aim at truth. In §§ 2–3 I argue that cogency is intelligible if we consider an inference as a compound linguistic act in which several component acts are (...) related to one another by a commitment that the premises support the conclusion. Non-automatic inferences are primarily public acts in an intersubjective context. But cogency arises in special contexts described in § 4, epistemic contexts, where the participants care for truth, i.e. are intellectually virtuous. An inference is cogent in an epistemic context if it stands up to all the objections raised in the context. In § 5 I consider three different kinds of cogent inferences. In § 6 I argue that in all three cases cogency is fallible and propose a fallibilist variety of inferentialism. In § 7 I distinguish context of utterance and contexts of evaluation. Cogency is relative to epistemic contexts of evaluation. However, validity, i.e. stable cogency, is transcontextual. (shrink)

The paper focuses on Gottlob Frege’s so called Context Principle (CP hereafter), which counts as one of the most controversial points of his philosophy. Due to its importance and centrality in Frege’s thought, a detailed discussion of the principle requires a detailed analysis of almost all aspects of his philosophy. Obviously, such a task cannot be successfully accomplished here. Thus I limit myself to address only two questions concerning the CP: what role does the principle play (in Grundlagen) and how (...) can we interpret it. Addressing the first problem is required in order to address the second. Most authors interpreted CP from the perspective of Frege’s later distinction between sense and reference, which I will call the ‘semantic interpretation’. Although I accept this perspective as valuable and important, I will initially inverse the action and I will try to approach CP, and generally Grundlagen, in a more natural way, contextually, namely setting them in the initial logicist plan of the Begriffschrift. Finally, I will try to provide an interpretation concerning the alleged conflict between CP and Frege’s compositionality thesis such that they could coherently stay together. (shrink)

RÉSUMÉ: L'objectif de cet article est essentiellement négatif. Suivant en cela Dummett, j'introduis deux manières attrayantes d'interpréter le Sinn original de Frege, que j'appelle respectivement la doctrine du sens privé et la doctrine du sens public. Je montre que ces conceptions ne peuvent être utilisées dans le traitement frégéen de l'oratio obliqua. Il faut donc abandonner soit l'interprétation du Sinn par Dummett, soit le traitement frégéen de l'oratio obliqua.

In this paper I challenge the common wisdom (see Dummett and Davidson) that sentences are the minimal units with which one can perform a speech act or make a move in the language game. I thus sit with Perry and Stainton in arguing that subsentences can be used to perform full-fledged speech acts. In my discussion I assume the traditional framework which distinguishes between the proposition expressed and the thought or mental state (possibly a sentence in Mentalese) one comes to (...) grasp when using/understanding an utterance (or sentence-in-a-context) expressing a proposition. Unlike Stainton, I will argue that the proposition expressed by a subsentential assertion and its corresponding thought are not the end product of a pragmatic process of free enrichment. I shall defend the view that a thought may concern something without the thinker having to represent that very thing. This should help us to resist the view that with the utterance of a subsentence enrichment is mandatory. I will further argue that subsentences and their corresponding thoughts are situated. Because of that we can successfully interact and engage in joint ventures using subsentences and be guided by thoughts without having to enrich them. The fact that the actors’ unenriched thoughts are co-situated may suffice to explain the positive outcome of their joint project. Last but not least, I will also show how the picture I propose gains further support by taking on board Perry’s distinction between reflexive truth conditions and incremental truth conditions (or official content). Since competent speakers can grasp an utterance’s reflexive truth conditions without having to grasp its official content (roughly, the proposition expressed) they can successfully interact without their thoughts having to undergo a process of free enrichment. Moreover, if I’m right in arguing that an utterance’s reflexive truth conditions are the best tool to classify the semantic features of one’s mental state (or sentence in Mentalese), we can further explain mental causation and linguistic communication without appealing to free enrichment. (shrink)

It is commonly accepted, after Frege, that identity statements like “Tully is Cicero” differ from statements like “Tully is Tully”. For the former, unlike the latter, are informative. One way to deal with the information problem is to postulate that the terms ‘Tully’ and ‘Cicero’ come equipped with different informative values. Another approach is to claim that statements like these are of the subject/predicate form. As such, they should be analyzed along the way we treat “Tully walks”. Since proper names (...) can appear in predicative position we could go as far as to dismiss the sign of identity altogether, some told us. I will try to discuss the advantages and/or disadvantages of this approach and investigate whether Frege’s view that the ‘is’ of identity must be distinguished from the ‘is’ of predication can be reconciled with the fact that names can appear in predicative position. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

It is argued that, contrary to appearances, description-names (e.g.: "The Roman Empire", "The Beatles", "The Holy Virgin",...) do conform to Millianism, i.e. the view that proper names are directly referential expressions, referring regardless of whether the relevant individual satisfies some associated description or not. However, description-names name and describe. Some arguments supporting this peculiarity and a logic to handle description-names are proposed. It will be shown that the best framework with which to accommodate description-names is a multiple-proposition theory, according to (...) which a given utterance may express several propositions. (shrink)

A co-authored article with Roy T. Cook forthcoming in a special edition on the Caesar Problem of the journal Dialectica. We argue against the appeal to equivalence classes in resolving the Caesar Problem.

This article deals with supervaluationism and the failure of truth-functionality. It draws some distinctions that may contribute to a better understanding of this semantic framework.

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

Drawing on the findings of neuroscience, this text proposes and defends the hypothesis that the various modalities of sensation share a generic form that the author, Austen Clark, calls feature-placing.

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

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)

This paper addresses the “creeping minimalism” challenge to quasi-realist forms of expressivism by arguing that the solution suggested by Dreier doesn’t work and proposing an alternative solution based on the different inferential roles of ethical and descriptive judgments.

In an attempt to improve upon Alexander Pruss’s work (The principle of sufficient reason: A reassessment, pp. 240–248, 2006), I (Weaver, Synthese 184(3):299–317, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per, Lewis’s, Causation as influence, reprinted in: Collins, Hall and paul. Causation and counterfactuals, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian (...) argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga’s, Actualism and possible worlds, reprinted in: Davidson (ed.) Essays in the metaphysics of modality, 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic B. Fitch’s work (J Symb Logic 28(2):135–142, 1963) [with credit to who we now know was Alonzo church’s, Referee Reports on Fitch’s Definition of value, in: (Salerno (ed.), New essays on the knowability paradox, 2009)] that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church–Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the Lewisian argument. (shrink)

The logic of assertive graphs is a modification of Peirce’s logic of existential graphs, which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare (...) advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs. (shrink)

The present paper is intended to analyse from a theoretical point of view the relationships between natural language and idiolects in the context of communication by means of the Davidson–Dummett controversy on the nature of language. I will explore from a pragmatic point of view the reliability of an alternative position inspired by the recent literalism/contextualism debate in philosophy of language in order to overcome some limitations of Dummett’s and Davidson’s perspectives on language, idiolects and communication.

I resolve the major challenge to an Expressivist theory of the meaning of normative discourse: the Frege–Geach Problem. Drawing on considerations from the semantics of directive language (e.g., imperatives), I argue that, although certain forms of Expressivism (like Gibbard’s) do run into at least one version of the Problem, it is reasonably clear that there is a version of Expressivism that does not.

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

One diagnosis of Fitch’s paradox of knowability is that it hinges on the factivity of knowledge: that which is known is true. Yet the apparent role of factivity and non-factive analogues in related paradoxes of justified belief can be shown to depend on familiar consistency and positive introspection principles. Rejecting arguments that the paradox hangs on an implausible consistency principle, this paper argues instead that the Fitch phenomenon is generated both in epistemic logic and logics of justification by the interaction (...) of analogues of the knowability principle and positive introspection theses that are characteristic of, even if not entailed by, epistemic internalism. (shrink)

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.

Can philosophy still be fruitful, and what kind of philosophy can be such? In particular, what kind of philosophy can be legitimized in the face of sciences? The aim of this paper is to answer these questions, listing the characteristics philosophy should have to be fruitful and legitimized in the face of sciences. Since the characteristics in question demand that philosophy search for new knowledge and new rules of discovery, a philosophy with such characteristics may be called the ‘heuristic view’. (...) According to the heuristic view, philosophy is an inquiry into the world which is continuous with the sciences. It differs from them only because it deals with questions which are beyond the present sciences, and in order to deal with them must try unexplored routes. By so doing, when successful, it may even give birth to new sciences. In listing the characteristics that philosophy should have, the paper systematically compares them with classical analytic philosophy, because the latter has been the dominant philosophical tradition in the last century. (shrink)

Given the large literature on Frege, one might believe that it would be impossible to say anything essentially new on the subject. This book contradicts this belief, calling attention to Frege's in...