According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

This paper investigates the relation of the Calculus of Individuals presented by Henry S. Leonard and Nelson Goodman in their joint paper, and an earlier version of it, the so-called Calculus of Singular Terms, introduced by Leonard in his Ph.D. dissertation thesis Singular Terms. The latter calculus is shown to be a proper subsystem of the former. Further, Leonard’s projected extension of his system is described, and the definition of an intensional part-relation in his system is proposed. The final section (...) discusses to what extend Goodman might have contributed to the formulation of the Calculus of Individuals. (shrink)

This paper introduces and evaluates two contemporary approaches of neo-logicism. Our aim is to highlight the differences between these two neo-logicist programmes and clarify what each projects attempts to achieve. To this end, we first introduce the programme of the Scottish school – as defended by Bob Hale and Crispin Wright1 which we believe to be a..

Nelson Goodman's acceptance and critique of certain methods and tenets of positivism, his defence of nominalism and phenomenalism, his formulation of a new riddle of induction, his work on notational systems, and his analysis of the arts place him at the forefront of the history and development of American philosophy in the twentieth-century. However, outside of America, Goodman has been a rather neglected figure. In this first book-length introduction to his work Cohnitz and Rossberg assess Goodman's lasting contribution to (...) philosophy and show that although some of his views may be now considered unfashionable or unorthodox, there is much in Goodman's work that is of significance today. The book begins with the "grue"-paradox, which exemplifies Goodman's way of dealing with philosophical problems. After this, the unifying features of Goodman's philosophy are presented - his constructivism, conventionalism and relativism - followed by an discussion of his central work, The Structure of Appearance and its significance in the analytic tradition. The following chapters present the technical apparatus that underlies his philosophy, his mereology and semiotics, which provides the background for discussion of Goodman's aesthetics. The final chapter examines in greater depth the presuppositions underlying his philosophy. (shrink)

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik, with introduction and annotation. The importance of Frege's ideas within contemporary philosophy would be hard to exaggerate. He was, to all intents and purposes, the inventor of mathematical logic, and the influence exerted on modern philosophy of language and logic, and indeed on general epistemology, by the philosophical framework.

Eli Hirsch recently suggested the metaontological doctrine of so-called "quantifier variance", according to which ontological disputes—e.g. concerning the question whether arbitrary, possibly scattered, mereological fusions exist, in the sense that these are recognised as objects proper in our ontology—can be defused as insubstantial. His proposal is that the meaning of the quanti er `there exists' varies in such debates: according to one opponent in this dispute, some existential statement claiming the existence of, e.g., a scattered object is true, according to (...) the other it is not. This paper argues that Hirsch's proposal leads into inconsistency. (shrink)

Paraconsistent and dialetheist approaches to a theory of truth are faced with a problem: the expressive resources of the logic do not suffice to express that a sentence is just true—i.e., true and not also false—or to express that a sentence is consistent. In his recent book, Spandrels of Truth, Jc Beall proposes a ‘just true’-operator to identify sentences that are true and not also false. Beall suggests seven principles that a ‘just true’-operator must fulfill, and proves that his operator (...) indeed fulfills all of them. He concludes that just true has been expressed in the language. I argue that, while the seven conditions may be necessary for an operator to express just true, they are not jointly sufficient. Specifically, first, I prove that a further plausible desideratum for necessary conditions on ‘just true’ is not fulfilled by Beall's proposal, namely that ‘just true’ ascriptions should themselves be just true, and not also false (or equivalently, that the ‘just true’-operator iterates). Second, I show that Beall's operator does not adequately express just true, but that it merely captures an arbitrary proper subset of the just true sentences. Further, there is no prospect of extending the proposal in order to encompass a more reasonable subset of the just true sentences without presupposing that we have antecedent means to characterize the class of just true sentences. (shrink)

This paper investigates feasible ways of destroying artworks, assuming they are abstract objects, or works of a particular art-form, where the works of at least this art-form are assumed to be abstracta. If artworks are eternal, mind-independent abstracta, and hence discovered, rather than created, then they cannot be destroyed, but merely forgotten. For more moderate conceptions of artworks as abstract objects, however, there might be logical space for artwork destruction. Artworks as abstracta have been likened to impure sets (i.e., sets (...) of concrete things, as opposed to pure sets, i.e., sets of nothing but other sets) that have a beginning in time, namely when their members come into being, and an end in time, namely when their members cease to exist. Alternatively, artworks as abstracta have been thought of as types that are created with their first token. Artwork destruction is harder on this account: merely destroying every token might not yet destroy the type. To what extent such similes can be spelt out and made plausible as an ontology of artworks, and what options there are on the different accounts for artwork destruction, is explored in this paper. (shrink)

In 1885, Georg Cantor published his review of Gottlob Frege's Grundlagen der Arithmetik . In this essay, we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor's review, and a new translation of Frege's brief response to Cantor. In recent years, it has become philosophical folklore that Cantor's 1885 review of Frege's Grundlagen already contained a warning to Frege. This warning is said to concern the defectiveness (...) of Frege's notion of extension. The exact scope of such speculations varies and sometimes extends as far as crediting Cantor with an early hunch of the paradoxical nature of Frege's notion of extension. William Tait goes even further and deems Frege 'reckless' for having missed Cantor's explicit warning regarding the notion of extension. As such, Cantor's purported inkling would have predated the discovery of the Russell-Zermelo paradox by almost two decades. In our introductory essay, we discuss this alleged implicit (or even explicit) warning, separating two issues: first, whether the most natural reading of Cantor's criticism provides an indication that the notion of extension is defective; second, whether there are other ways of understanding Cantor that support such an interpretation and can serve as a precisification of Cantor's presumed warning. (shrink)

Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics. This volume contains 16 original papers by leading scholars on the philosophical and mathematical aspects of Abstractionism. After an extensive editors' introduction to the topic of abstractionism, the volume is split into 4 sections. The contributions within these sections explore the semantics and meta-ontology of Abstractionism, abstractionist epistemology, the mathematics of Abstractionis, and finally, Frege's application constraint within an abstractionist (...) setting. (shrink)

This paper investigates the claim that the second-order consequence relation is intractable because of the incompleteness result for SOL. The opponents’ claim is that SOL cannot be proper logic since it does not have a complete deductive system. I argue that the lack of a completeness theorem, despite being an interesting result, cannot be held against the status of SOL as a proper logic.

Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...) goal. (shrink)

In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether second-order logic can count as logic in some proper sense of logic, and what epistemic status it occupies. More specifically, second-order logic is sometimes taken to be mathematical, a mere notational variant of some fragment of set theory. If this is the case, it might be argued that it does not have the (...) "epistemic innocence" which would be needed for, e.g., foundational programmes in mathematics for which second-order logic is sometimes used. I suggest a Deductivist conception of logic, that characterises logical consequence by means of inference rules, and argue that on this conception second-order logic should count as logic in the proper sense. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

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

Nelson Goodman's acceptance and critique of certain methods and tenets of positivism, his defence of nominalism and phenomenalism, his formulation of a new riddle of induction, his work on notational systems, and his analysis of the arts place him at the forefront of the history and development of American philosophy in the twentieth-century. However, outside of America, Goodman has been a rather neglected figure. In this first book-length introduction to his work Cohnitz and Rossberg assess Goodman's lasting contribution to (...) philosophy and show that although some of his views may be now considered unfashionable or unorthodox, there is much in Goodman's work that is of significance today. The book begins with the "grue"-paradox, which exemplifies Goodman's way of dealing with philosophical problems. After this, the unifying features of Goodman's philosophy are presented - his constructivism, conventionalism and relativism - followed by an discussion of his central work, The Structure of Appearance and its significance in the analytic tradition. The following chapters present the technical apparatus that underlies his philosophy, his mereology and semiotics, which provides the background for discussion of Goodman's aesthetics. (shrink)

We discuss the typography of the notation used by Gottlob Frege in his Grundgesetze der Arithmetik.

This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with introduction and annotation. As the culmination of his ground-breaking work in the philosophy of logic and mathematics, Frege here tried to show how the fundamental laws of arithmetic could be derived from purely logical principles.

In this short letter to Ed Zalta we raise a number of issues with regards to his version of Neo-Logicism. The letter is, in parts, based on a longer manuscript entitled “What Neo-Logicism could not be” which is in preparation. A response by Ed Zalta to our letter can be found on his website: http://mally.stanford.edu/publications.html (entry C3).

The volume is the first collection of essays that focuses on Gottlob Frege's Basic Laws of Arithmetic (1893/1903), highlighting both the technical and the philosophical richness of Frege's magnum opus. It brings together twenty-two renowned Frege scholars whose contributions discuss a wide range of topics arising from both volumes of Basic Laws of Arithmetic. The original chapters in this volume make vivid the importance and originality of Frege's masterpiece, not just for Frege scholars but for the study of the history (...) of logic, mathematics, and philosophy. (shrink)

Second-order axiomatizations of certain important mathematical theories—such as arithmetic and real analysis—can be shown to be categorical. Categoricity implies semantic completeness, and semantic completeness in turn implies determinacy of truth-value. Second-order axiomatizations are thus appealing to realists as they sometimes seem to offer support for the realist thesis that mathematical statements have determinate truth-values. The status of second-order logic is a controversial issue, however. Worries about ontological commitment have been influential in the debate. Recently, Vann McGee has argued that one (...) can get some of the technical advantages of second-order axiomatizations—categoricity, in particular—while walking free of worries about ontological commitment. In so arguing he appeals to the notion of an open-ended schema—a schema that holds no matter how the language of the relevant theory is extended. Contra McGee, we argue that second-order quantification and open-ended schemas are on a par when it comes to ontological commitment. (shrink)

Vann McGee claims that open-ended schemas are more innocuous than ordinary second-order quantification, particularly in terms of ontological commitment. We argue that this is not the case.

EbertPhilip A and RossbergMarcus, eds.* * _ Essays on Frege’s Basic Laws of Arithmetic_. Oxford: Oxford University Press, 2019. Pp. xii + 673. ISBN: 978-0-19-871208-4 ; 978-0-19-102005-6, 978-0-19-178024-0. doi: 10.1093/oso/9780198712084.001.0001.

One longstanding problem for glut theorists is the problem of ‘just true.’ On Beall's conservative version of glut theory advanced in Spandrels of Truth , he addresses the problem in two steps. The first is a rejection of the problem: he claims that the only general notion of ‘just true’ is just truth itself. On that view, the alleged problem of ‘just true’ is reduced to the problem of truth itself, which has a solution—glut theory. The second step is to (...) acknowledge that there is a notion of ‘just true’ which is more limited but nonetheless meets all reasonable criteria demanded by those who advance the longstanding just-true objection. Marcus Rossberg disagrees. According to Rossberg, a just-true operator ought to iterate and be non-arbitrary in ways that Beall's proposed just-true operator is not. My aim in this paper is to construct a new conditional in terms of which a new just-true operator may be defined, a necessity operator, and to show that it meets all of the target desiderata of the debate. I then use that new operator to address the arbitrariness worries raised by Rossberg. (shrink)

This is a letter written in reply to some criticisms of object theory's analysis of mathematics. The criticisms were offered by Philip Ebert and Marcus Rossberg, in connection with my talk at the 31st International Wittgenstein Symposium, in Kirchberg, 2008. The exchange was published in the volume of proceedings.

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

The dominant theory of the evolution of moral cognition across a variety of fields is that moral cognition is a biological adaptation to foster social cooperation. This chapter argues, to the contrary, that moral cognition is likely an evolutionary exaptation: a form of cognition where neurobiological capacities selected for in our evolutionary history for a variety of different reasons—many unrelated to social cooperation—were put to a new, prosocial use after the fact through individual rationality, learning, and the development and transmission (...) of social norms. This chapter begins with a brief overview of the emerging behavioral neuroscience of moral cognition. It then outlines a novel theory of moral cognition that I have previously argued explains these findings better than alternatives. Finally, it shows how the evidence for this theory of moral cognition and human evolutionary history together suggest that moral cognition is likely not a biological adaptation. Instead, like reading sheet music or riding a bicycle, moral cognition is something that individuals learn to do—in this case, in response to sociocultural norms created in our ancestral history and passed down through the ages to enable cooperative living. (shrink)

Kant’s revolutionary new approach to philosophy was accompanied by the introduction of a largely novel terminology. With the Kant-Lexikon, a lexical reference gives the modern reader access to his work on the basis of present-day editions and takes into account 20th century and contemporary research and advances in lexicology. The Kant-Lexikon includes 2395 entries authored by 221 scholars.

The foundation of historical materialism.--A study on authority.--Sartre's existentialism.--Karl Popper and the problem of historical laws.--Freedom and the historical imperative.

The paper offers an account of luck, fate, and fortune. It begins by showing that extant accounts of luck are deficient because they do not identify the genus of which luck is a species. That genus of properties, the tychic, alert an agent to occasions on which the external world cooperates with or frustrates their goal-achievement. An agent’s sphere of competence is the set of goals that it is possible for them to reliably achieve. Luck concerns occasions on which there (...) is a mismatch between attempt and result; in bad luck the external world thwarts goal-achievement within the agent’s sphere of competence, in good luck the external world assists goal-achievement beyond the agent’s sphere of competence. Fateful events are those where, more passively, the agent finds the external world achieving or frustrating their goals. Fortune concerns the contraction and expansion of the agent’s sphere of competence. Eight reasons are given for accepting the account; its theoretical virtues and various things it explains. Lastly, three objections are answered; that the tychic properties relate to well-being rather than agency, that there are alternative theories of fortune available in the contemporary literature, that the account draws arbitrary distinctions between synonyms. (shrink)

This classic collection, newly revised and with a foreword by classicist Spencer Klavan, includes the famed original introduction by Russell Kirk, the full text of the Meditations of Marcus Aurelius, the complete Enchiridion of Epictetus, and key selections from Seneca and Hierocles of Alexandria in one compact volume.

Meditations offers timeless guidance for troubled times. Renowned for his principled leadership, Aurelius kept private notes detailing his philosophy on life and leadership. Meditations is a collection of those private notes, filled with insights on responding well to hardship both in thought and in action. His writings are a cornerstone of the Stoic philosophy, embraced by leaders throughout history and across the world for its emphasis on collaboration, rationality, and striving for the good of all people. George Long's elegant 1862 (...) translation balances accessibility with preserving the classic tone of the text. With archival printing, this pocket-sized new hardcover edition is designed for both portability and longevity. "Motions and changes are continually renewing the world, just as the uninterrupted course of time is always renewing the infinite duration of ages." -Marcus Aurelius. (shrink)

Marcus Aurelius was Emperor of Rome from 121 to 180. Thoughts of Marcus Aurelius was written for school age children. The author believed that children should be given the wisdom of great leaders from all eras. Marcus Aurelius believed that human happiness arises in part from man's acceptance of his duties and responsibilities. He believed that one should accept calmly what cannot be avoided and perform one's duties as well as possible. "It was the doctrine of (...) class='Hi'>Marcus Aurelius that most of the ills of life come to us from our own imagination, that it was not in the power of others seriously to interfere with the calm, temperate life of an individual, and that when a fellow being did anything to us that seemed unjust he was acting in ignorance, and that instead of stirring up anger within us it should stir our pity for him. Oftentimes by careful self-examination we should find that the fault was more our own than that of our fellow, and our sufferings were rather from our own opinions than from anything real.". (shrink)

Presenting the first step-by-step commentary on Husserl’s Ideas I, Marcus Brainard’s Belief and Its Neutralization provides an introduction not only to this central work, but also to the whole of transcendental phenomenology. Brainard offers a clear and lively account of each key element in Ideas I, along with a novel reading of Husserl, one which may well cause scholars to reconsider many long-standing views on his thought, especially on the role of belief, the effect and scope of the epoché, (...) and the significance of the universal neutrality modification. (shrink)