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

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)

InThe Education of the Human Race, G. E. Lessing helps his readers understand why the propositions of the Old Testament are pseudo-propositions, or why they do not resemble the significant propositions of natural science but thetautologicalpropositions of mathematics and of logic. That is, the so-called propositions of the Old Testament do not teach readers whether what actually happens is this or that; rather what they teach us is to imagine expressions by substitution in such a way as to throw their (...) structure into relief. One of Lessing's most attentive readers was Wittgenstein. Or perhaps only Wittgenstein would have been able to grasp so immediately Lessing's insight that the tautological or pseudo-propositions of the Old Testament invite thinkingonlywhen readers use them to understand ‘what is the case’ in the pictures the propositions have – logically – constructed. Thus in this essay I use Wittgenstein's reading of Lessing to throw light on his work in theTractatus. Rather than take up the new logician's interest in completely analyzing expressions, Wittgenstein insists in theTractatusthat the expressions we use, even those that seem to be propositions or that contain assertions, are in fact designed to be elucidatorywithoutsaying anything about the nature of the subjects that figure in them. Wittgenstein's great insight was to see that the propositional signs of our language are able to bring something to mindwithoutsaying what is a representation of what. (shrink)

The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) 2, I first analyze Frege's use of the term ?source of knowledge? (?Erkenntnisquelle?) with particular emphasis on the logical source of knowledge. The analysis includes a brief comparison between Frege and Kant's conceptions of logic and the logical source of knowledge. In a second step, I examine Frege's theory of quantity in Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Frege 1874). Section 3 contains a couple of critical observations on Frege's comments on Hankel's theory of real numbers in Die Grundlagen der Arithmetik (Frege 1884). In Section 4, I consider Frege's discussion of the concept of quantity in Frege 1903. Section 5 is devoted to Cantor's theory of irrational numbers and the critique deployed by Frege. In Section 6, I return to Frege's own constructive treatment of analysis in Frege 1903 and succinctly describe what I take to be the quintessence of his account. (shrink)

In this paper I will argue that Tait’s axiomatic conception of mathematics implies that it is in principle impossible to be justified in believing a mathematical statement without being justified in believing that statement to be provable. I will then show that there are possible courses of experience which would justify acceptance of a mathematical statement without justifying belief that this statement is provable.

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of standard predicate (...) logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

The paradox of the concept horse has often been taken to be devastating for Frege’s ontological distinction between objects and concepts. I argue that if we consider how the concept-object distinction is supposed to account for the unity of linguistic meaning, it transpires that the paradox is in fact not paradoxical.

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

The Frege-Russell view is that existence is a second-order property rather than a property of individuals. One of the most compelling arguments for this view is based on the premise that there is an especially close connection between existence and number. The most promising version of this argument is by C.J.F Williams (1981, 1992). In what follows, I argue that this argument fails. I then defend an account according to which both predications of number and existence attribute properties to individuals.

Richard Rorty holds that the novel is the characteristic genre of democracy, because it helps people to develop and to stabilize two crucial capabilities the ideal inhabitants of democratic societies should possess: a keen sense for anti-foundationalism and a disposition for solidarity. He believes that novels help develop these capabilities by educating our capacity for criticism and our capacity for attentive-empathetic perception. This article argues in favor of this Rortyan idea, showing how anti-foundationalism and solidarity can be seen as important (...) instances of what I will call 'dispositions for democratic citizenship' and that art (and not only novels) and its reception, are valuable tools for advancing these dispositions. However, as the Rortyan public-private dichotomy assigns art’s function of criticism only to the private sphere, Rorty ignores its potential for stimulating democratic public deliberation and he misses the fact that art’s functions of criticism and of attentive-empathetic perception partially depend on each other if they are effectively to lead to increased solidarity and change social realities. Thus this article argues—taking these objections into account—to slightly modify, but nevertheless value Rorty’s idea that art and its reception are crucial resources for democratic citizenship and for the process of democratic deliberation. (shrink)

A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...) that the relevant statements commit us to numbers. The present paper argues that the correct linguistic analysis of the relevant number statements supports the anti-realist view that Identity is false. However, as will further be shown, pace the anti-realist, this analysis does not establish that such statements do not commit us to numbers after all. (shrink)

The paper distinguishes between two kinds of mathematics, natural mathematics which is a result of biological evolution and artificial mathematics which is a result of cultural evolution. On this basis, it outlines an approach to the philosophy of mathematics which involves a new treatment of the method of mathematics, the notion of demonstration, the questions of discovery and justification, the nature of mathematical objects, the character of mathematical definition, the role of intuition, the role of diagrams in mathematics, and the (...) effectiveness of mathematics in natural science. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I argue (...) that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

This paper explores the limitations of current empirical approaches to the philosophy of language in light of a recent criticism of Frege's context principle. According to this criticism, the context principle is in conflict with certain features of natural language use and this is held to undermine its application in Foundations of Arithmetic. I argue that this view is mistaken because the features with which the context principle is alleged to be in conflict are irrelevant to the principle's methodological significance (...) for our understanding of the role of analysis in analytic philosophy. (shrink)

According to the orthodox account of meaning and translation in the literature, meaning is a property of expressions of a language, and translation is a matching of synonymous expressions across languages. This linguistic account of translation gives rise to well-known skeptical conclusions about translation, objectivity, meaning and truth, but it does not conform to our best translational practices. In contrast, I argue for a textual account of meaning based on the concept of a TEXT-TYPE that does conform to our best (...) translational practices. With their semantic function in view, text-types are Archimedean points for their respective disciplines. The text-type of philosophy is no exception. Culture-transcendent conceptual analysis can proceed on firm footing without having to deny the reality of radical cultural and linguistic difference by treating components of text-types as the concepts to be analyzed. Analyses of central philosophical concepts are provided as a means of adjudicating philosophical controversy. (shrink)

In my paper I identify both the conceptual tools needed to establish claims for the existence of conceptual ties, as well as the principles governing the use of those tools, and present a model of conceptual analysis. I identify and justify those principles in light of the conditions for the meaningfulness of expressions in language, which I extract from an analysis of the concept of meaning. The conclusions of this analysis are organized into a schematic model of the workings of (...) a language. According to this model, the meaning of every word in any language is determined by its role in the systematic mapping of all possible states of affairs included in its conceptual scheme. (shrink)

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

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

I discuss the account of logical consequence advanced in Wittgenstein's Tractatus. I argue that the role that elementary propositions are meant to play in this account can be used to explain two remarkable features that Wittgenstein ascribes to them: that they are logically independent from one another and that their components refer to simple objects. I end with a proposal as to how to understand Wittgenstein's claim that all propositions can be analysed as truth functions of elementary propositions.

Abstract: This article considers the conceptual connections between self-consciousness, objectivity, and time. The model of conceptual analysis employed examines the necessary conditions of the meaningfulness of expressions in language. In the course of this analysis two distinct options for the explanation of self-consciousness are identified and examined. According to the first (Strawsonian) view, self-consciousness is based upon the distinction between the self and other subjects of consciousness; according to the second (Kantian) view, self-consciousness is based upon the distinction between the (...) self and the world. The first option is rejected, and a variation of the second option is adopted. According to it, in self-consciousness one is conscious of oneself as a temporally extended point of view (consciousness) over an objective and temporal realm of reality. (shrink)

The ' argument from queerness', made famous by J. L. Mackie, remains one of the most influential arguments in metaethics. However, many philosophers focus on just one or two of its strands, while others assume a particular but by no means universal reading of it. This essay attempts to disentangle and evaluate all strands of the argument. Surprisingly, when this is done, not much is left as a distinct argument from queerness. Much of the argument collapses into other types of (...) argument, and what is left, though intuitively appealing, is not viable as philosophical argument. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

There has emerged in recent years the recognition that the characteristically Buddhist doctrine of svasa vitti 2 (‘apperception’, as I will render it for reasons to become clear presently) was vari...

Extract from Hofstadter's revew in Bulletin of American Mathematical Society : http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf -/- "Aaron Sloman is a man who is convinced that most philosophers and many other students of mind are in dire need of being convinced that there has been a revolution in that field happening right under their noses, and that they had better quickly inform themselves. The revolution is called "Artificial Intelligence" (Al)-and Sloman attempts to impart to others the "enlighten- ment" which he clearly regrets not having (...) experienced earlier himself. Being somewhat of a convert, Sloman is a zealous campaigner for his point of view. Now a Reader in Cognitive Science at Sussex, he began his academic career in more orthodox philosophy and, by exposure to linguistics and AI, came to feel that all approaches to mind which ignore AI are missing the boat. I agree with him, and I am glad that he has written this provocative book. The tone of Sloman's book can be gotten across by this quotation (p. 5): "I am prepared to go so far as to say that within a few years, if there remain any philosophers who are not familiar with some of the main developments in artificial intelligence, it will be fair to accuse them of professional incom- petence, and that to teach courses in philosophy of mind, epistemology, aesthetics, philosophy of science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree course in physics which includes no quantum theory." -/- (The author now regrets the extreme polemical tone of the book.). (shrink)

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (shrink)

Gideon Rosen, Brian Leiter, and Catarina Dutilh Novaes raise deep questions about the arguments in Morality and Mathematics (M&M). Their objections bear on practical deliberation, the formulation of mathematical pluralism, the problem of universals, the argument from moral disagreement, moral ‘perception’, the contingency of our mathematical practices, and the purpose of proof. In this response, I address their objections, and the broader issues that they raise.

I aim to establish in this article why Aribiah Attoe, like other determinists before him, got it wrong in arguing for the possibility of predeterminism in a materially evolving universe. I will do this by proving two things: I will first establish the inconsistency of the idea of predeterminism in an evolving universe. Then, I argue that the adirectionality presupposed by an evolutionary universe gives room for free will and negates the argument for a predeterministic universe. I aim to achieve (...) the above by exposing why the view which upholds the universe and all existents within it as lacking free will – or the possibility of adirectionality – stems from a category error on the part of the determinists. Lastly, I defend the position that for predeterminism to stand a chance against the free will of animate things-in-the-world, it must deny the possibility of an evolving/expanding universe that is adirectional and suggestive of boundlessness, and the possibility that some events are not fundamentally necessary reactions to previous states of affairs. (shrink)

This paper aims to show that Frege’s and Hilbert’s mutual disagreement results from different notions of Anschauung and their relation to axioms. In the first section of the paper, evidence is provided to support that Frege and Hilbert were influenced by the same developments of 19th-century geometry, in particular the work of Gauss, Plücker, and von Staudt. The second section of the paper shows that Frege and Hilbert take different approaches to deal with the problems that the developments in 19th-century (...) geometry posed for the traditional Kantian philosophy of mathematics. Frege maintains that Anschauung is a source of knowledge by which we acknowledge geometrical axioms as true. For Hilbert, in contrast, axioms provide one of several correct “pictures” of reality. Hilbert’s position is thereby deeply influenced by epistemological ideas from Hertz and Helmholtz, and, in turn, influenced the neo-Kantian Cassirer. (shrink)

The motivating question of this paper is: ‘How are our beliefs in the theorems of mathematics justified?’ This is distinguished from the question ‘How are our mathematical beliefs reliably true?’ We examine an influential answer, outlined by Russell, championed by Gödel, and developed by those searching for new axioms to settle undecidables, that our mathematical beliefs are justified by ‘intuitions’, as our scientific beliefs are justified by observations. On this view, axioms are analogous to laws of nature. They are postulated (...) to best systematize the data to be explained. We argue that there is a decisive difference between the cases. There is agreement on the data to be systematized in the scientific case that has no analog in the mathematical one. There is virtual consensus over observations, but conspicuous dispute over intuitions. In this respect, mathematics more closely resembles stereotypical philosophy. We conclude by distinguishing two ideas that have long been associated -- realism (the idea that there is an independent reality) and objectivity (the idea that in a disagreement, only one of us can be right). We argue that, while realism is true of mathematics and philosophy, these domains fail to be objective. One upshot of the discussion is that even questions of fundamental physics may fail to be objective in roughly the sense that the question, ‘Is the Parallel Postulate is true?’, understood as one of pure mathematics, fails to be. Another is a kind of pragmatism. Factual questions in mathematics, modality, logic, and evaluative areas go proxy for non-factual practical ones. -/- . (shrink)

In this article I discuss the main theses of the realist political philosophy developed in recent years by Raymond Geuss and embodied in his famous Philosophy and Real Politics. Once the motivations behind Geuss’ project identified and its similarities and differences with the other great realistic philosophical-political project of our days, that of Bernard Williams, pointed out, I critically expose Geuss’ theses and his objections to the Kantian and Rawlsian ways of doing political philosophy. In addition to discussing the central (...) points of his proposal, I present two general responses to it, one doctrinal and the other methodological. (shrink)

If I see, hear, or touch a sparrow, the sparrow seems real to me. Unlike Bigfoot or Santa Claus, it seems to exist; I will therefore judge that it does indeed exist. The “sense of existence” refers to the kind of awareness that typically grounds such ordinary judgments of existence or “reality.” The sense of existence has been invoked by Humeans, Kantians, Ideologists, and the phenomenological tradition to make substantial philosophical claims. However, it is extremely controversial; its very existence has (...) been called into question. This paper aims to clarify the nature and reality of the sense of existence by studying a psychiatric condition in which the sense appears to be disrupted: depersonalization disorder (DPD). (shrink)

This paper continues my discussion with Michael Dummett on Frege’s senses, published in The Philosophy of Michael Dummett and further developed in Diametros. In his reply to my original paper, Dummett came to agree with me that senses are neither objects nor functions, since they have a categorially different kind of linguistico-metaphysical function to perform. He then asks how we might quantify over senses, if they are neither objects nor functions. He discusses two main options, and finds one unviable and (...) the other “very un-Fregean.” I then offer a Fregean or neo-Fregean option in my rejoinder. And I still hold that this way out will do the job, or is at least plausible enough that the burden of persuasion is on those who disagree. But I hope to show in this paper that on a more complete examination of Frege, there are at least twenty Fregean or neo-Fregean ways out, with the one I proposed being option. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

Danielle Macbeth's purpose in Macbeth 2005 is threefold. Her monograph proposes "to provide a logical justification for all aspects of Frege's peculiar notation, to motivate and explain the developments in Frege's views over the course of his intellectual life, and to explicate his most developed, critically reflective conception of his Begriffschrift, his formula language of pure thought" (p. vii). I shall focus here on a few selected aspects of the first and third points and leave on the side the discussion (...) of the historical development of Frege's views on logic, semantics and mathematics. The book's underlying claim is that although Frege's logical language, "can of course be read as a language of quantificational logic, [it] can also be read very differently" (p. vii), so much so, as a matter of fact, that although Frege's logic is usually thought of as a "notational variant of standard quantificational logic", it is nevertheless "unknown to us" (p. 1). This naturally prompts three questions : "What is Frege's logic?", "What is quantificational logic?", and given the way we understand formal languages for first and higher order predicate logic, most notably the notions of argument 2 place (for a predicate symbol), of scope and of binding (of variables - either individual or predicate of first or higher order): "How come Frege's logic says nothing about such notions, or something so different from what we say?". (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

Several have denied that there is, specifically, a criterion of identity for persons and some deny that there are, for any kind, diachronic criteria of identity. I argue, however, that there are no criteria of identity, either synchronic or diachronic, for any kind whatsoever. I begin by elaborating the notion of a criterion of identity in order to clarify what exactly is being denied when I maintain there are none. I examine the motivation of those who qualify in some way (...) the general claim that there are synchronic and diachronic criteria of identity for every kind, then present my direct and categorical argument against such criteria. I next evaluate the objections of those who argue that rejecting criteria of identity has untenable results. These objections are ineffective, each based on the incorrect assumption that if there is no criterion of identity for a kind, the identity of an instance of that kind is independent of its qualities. I conclude by considering some of the upshots of rejecting criteria of identity and the insight doing so provides into things in general and the limits of ontological inquiry. (shrink)

A collective understanding that traces a debate between 'what is science?’ and ‘what is a science about?’ has an extraction to the notion of scientific knowledge. The debate undertakes the pursuit of science that hardly extravagance the dogma of pseudo-science. Scientific conjectures invoke science as an intellectual activity poured by experiences and repetition of the objects that look independent of any idealist views (believes in the consensus of mind-dependence reality). The realistic machinery employs in an empiricist exposition of the objective (...) phenomenon by synchronizing the general method to make observational predictions that cover all the phenomena of the particular entity without any exception. The formation of science encloses several epistemological purviews and a succession of conjectures cum refutation that a newer theorem could reinstate. My attempt is to advocate a holistic plea of scientific conjectures that outruns the restricted regulation of experience or testable hypothesis to render the validity of a chain of logical reasoning (deductive or inductive) of basic scientific statements. The milieu of scientific intensification integrates speculation that loads efficiency towards a new experimental dimension where the reality is not itself objective or observers relative; in fact the observed phenomenon divulges in the constructive progression of preferred methods of falsifiability and uncertainty. (shrink)

Famously, Kant is a transcendental idealist. Yet he also endorses empirical realism, and even boasts that only the transcendental idealist can be an empirical realist. The difficulty of making sense of those commitments together leads many interpreters to begin by attributing to Kant some variant of conventional, subjective idealism. That in turn requires that Kant's empirical realism be at best a merely ersatz or quasi-realism. But that drains Kant's boast of its significance. For any idealist can be a realist if (...) the 'realism' in question is defined in terms of a prior commitment to idealism. Thus I argue, on the contrary, that we must begin the interpretation of Kant's Critical philosophy by taking his empirical realism to be a genuine, common-sense realism about empirical things. That approach yields a consistent, satisfying, and novel reading of the Critical enterprise, including transcendental idealism, as explaining how empirical realism is possible. Along the way I show, among other things, (1) how to make systematic sense of Kant's controversial theory of meaning, which is standardly either downplayed or regarded as grossly inconsistent with his other core commitments; (2) how to dispense with the centuries-old Neglected Alternative objection; and (3) how to account for the syntheticity of the moral law and its role in conferring experience-immanent meaning on the practical postulates (e.g., of the existence of God). (shrink)

Sets are often taken to be collections, or at least akin to them. In contrast, this paper argues that. although we cannot be sure what sets are, what we can be entirely sure of is that they are not collections of any kind. The central argument will be that being an element of a set and being a member in a collection are governed by quite different axioms. For this purpose, a brief logical investigation into how set theory and collection (...) theory are related is offered. The latter part of the paper concerns attempts to modify the `sets are collections' credo by use of idealization and abstraction, as well as the Fregean notion of sets as the extensions of concepts. These are all shown to be either unmotivated or unable to provide the desired support. We finish on a more positive note with some ideas on what can be said of sets. The main thesis here is that sets are points in a set structure, a set structure is a model of a set theory, and set theories constitute a family of formal and informal theories, loosely defined by their axioms. (shrink)

This note argues that, insofar as contemporary mathematics is concerned, there is overwhelming evidence that if mathematical objects are structures, then isomorphism should not be taken as their identity condition. This goes against a common version of structuralism in the philosophical literature. Four areas are presented in which identifying isomorphic structures or objects leads to contradiction or inadequacy. This is followed by a philosophical discussion on possible ways to approach the distinction, and a section on the possibility of proceeding intensionally, (...) as is done in e.g.\ the Univalent Foundations program. (shrink)