Kevin C. Klement
Professor, Philosophy, UMass Amherst
Editor, Journal for the History of Analytical Philosophy (JHAP)
Board member, Bertrand Russell Society; editorial board member, Russell (Journal)
150 Hicks Way, E305 South College
University of Massachusetts
Amherst, MA 01003-9274 USA
Current courses (Spring 2019)
- Phil 100: Introduction to Philosophy
- Phil 105: Practical Reasoning
(Fall 2016, 2017, 2018)
- Phil 110: Introduction to Logic
(Fall 2007, 2013; Spring 2001, 2002, 2003, 2007, 2009, 2010, 2011, 2012, 2013, 2015, 2016, 2017, 2018, 2019)
- Phil 160: Introduction to Ethics
(Fall 2004; Spring 2006)
- Phil 321: History of Modern Philosophy
- Phil 335: 20th Century Analytic Philosophy
(Fall 2002, 2003, 2005, 2008, 2009, 2010, 2011, 2012, 2014, 2015; Spring 2008)
- Phil 398W: Junior Year Writing
- Phil 511: Modal Logic
- Phil 512: Philosophy and Logic (Non-Classical Logic)
- Phil 513: Mathematical Logic I
(Fall 2011, 2013; Spring 2003, 2005, 2010, 2017)
- Phil 514: Mathematical Logic II
(Spring 2006, 2012, 2015)
- Phil 584: Philosophy of Language
- Phil 586: Philosophy of Mathematics
- Phil 592W: Wittgenstein’s Tractatus
- Phil 593X: Frege, Russell, Wittgenstein
- Phil 700: Proseminar
- Phil 701C: Carnap Seminar
- Phil 701J: Logical Positivism Seminar
- Phil 701R/702: Russell Seminar
(Fall 2003, 2008, 2018; Spring 2013)
- Phil 702F/794F: Frege Seminar
(Fall 2000, 2005; Spring 2011, 2016)
- Phil 710: Logical Consequence Seminar
- Phil 791T: Tractatus Seminar
- Phil 794S: Speech Acts Seminar
- Phil 795L: Neo-Logicism Seminar
- Amherst College PHIL-36: Philosophy of Language
Research and publications
Most of my work has focused on the philosophies of Gottlob Frege and Bertrand Russell, especially their philosophical logics and their import for contemporary discussions in philosophy of language, intensional logic and the philosophy of mathematics. I am also interested in informal logic, ethics, and the history of logic and analytic philosophy generally.
You can also download my CV.
Most of my publications are available below. If not, email me and I’ll send you a copy. Questions and comments welcome.
Works in progress and forthcoming
- The Oxford Handbook of Bertrand Russell (Editor)Forthcoming circa 2020.The anthology will contain approximately 25 articles written by leading Bertrand Russell experts covering the main aspects of his philosophy. Covered topics will include his philosophical and mathematical logic, his criticisms of idealism, and the Leibnizian and Kantian schools of philosophy, his relationship with peers such as Peano, Frege and Moore, his metaphysics, epistemology and philosophy of mind, and his influence on figures such as Wittgenstein, Carnap and Quine. Lesser attention will also be paid to his ethics, social/political views and philosophy of religion.
- Russell’s Retreat from PythagorasForthcoming.This book argues that Russell’s mature mathematical logic and core logical atomist philosophy resulted from a systematic retreat from a position embracing a wide variety of abstract objects, and this retreat came mainly in response to the logical paradoxes plaguing his work on the foundations of mathematics. I argue that this retreat was nearly complete by 1912. This goes against the widespread position that Wittgenstein was responsible for Russell’s less realist position after the 19-teens. The work also aims to shed light on ways Russell’s views can continue to shed light on debates in the philosophy of language, metaphysics and philosophy of mathematics.
- New Logic and the Seeds of Analytic Philosophy: Boole and FregeForthcoming in The Blackwell Companion to 19th Century Philosophy, ed. J. A. Shand.This contribution surveys the revolution in logic that took place in the 19th Century and its influence on philosophy, with particular emphasis on the writings of George Boole and Gottlob Frege. Boole invented the algebraic treatment of logic, making a mathematical analysis of the Aristotelian syllogistic possible, and more. Frege invented modern quantificational logic and presented a fully axiomatized second-order function calculus. Frege’s logic was developed as part of his logicism, his aim to derive arithmetic from a logical basis, but unfortunately his precise method involved the use of an inconsistent theory of extensions of concepts. Frege’s very influential views on meaning and truth, including his distinction between sense and reference, and between objects and concepts of different levels, are also discussed. The influence of Frege, and the 19th Century revolution in logic generally, on later philosophy, especially analytic philosophy, is also outlined.
- Russell’s LogicismForthcoming in The Bloomsbury Companion to Russell, ed. Russell Wahl.Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical concepts. The logical system of PM sought improved on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth.
- Grundgesetze and the Sense/Reference DistinctionForthcoming in Essays on Frege’s Grundgesetze der Arithmetik, eds. M. Rossberg and P. Ebert.Frege developed the theory of sense and reference while composing his Grundgesetze and considering its philosophical implications. The Grundgesetze is thus the most important test case for the application of this theory of meaning. I argue that evidence internal and external to the Grundgesetze suggests that he thought of senses as having a structure isomorphic to the Grundgesetze expressions that would be used to express them, which entails a theory about the identity conditions of senses that is relatively fine-grained, though still coarser than some other commentators have suggested. While this interpretation does not make Frege’s ontological commitment to the denizens of a “third realm” as profligate as some have alleged, it is sufficiently bloated to lead to Cantorian paradoxes and diagonal contradictions independent of his Basic Law V.
- Universals as Individuals: Reply to LevineDraft. Comments welcome.In forthcoming work, James Levine has argued, contrary to past writings by myself, Gregory Landini and Graham Stevens, that even in the period of Principia Mathematica, Russell held a typed metaphysics according to which universals would not count as individuals, but are nonetheless genuine entities in Russell’s metaphysics. In this reply, I attempt to clarify what Russell’s conception of an individual was in his work prior to the influence of Wittgenstein, and argue that Russell only began to take seriously the possibility that universals might not be individuals in the 1913 Theory of Knowledge manuscript.
- Frege and the Logic of Sense and DenotationRoutledge 2002.This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded.
Published journal articles and book chapters (selected)
- Russell on Ontological Fundamentality and ExistenceIn The Philosophy of Logical Atomism: A Centenary Reappraisal, edited by L. Elkind and G. Landini. (Palgrave Macmillan 2018), pp. 155–179.Russell is often taken as a forerunner of the Quinean position that “to be is to be the value of a bound variable”, whereupon the ontological commitment of a theory is given by what it quantifies over. Among other reasons, Russell was among the first to suggest that all existence statements should be analyzed by means of existential quantification. That there was more to Russell’s metaphysics than what existential quantifications come out as true is obvious in the earlier period where Russell still made a distinction between existence and being/subsistence. But even the later Russell, including that of the Logical Atomism lectures period, would not have understood ontological questions to be first and foremost questions of quantification. He would take fundamentality to be important too, which explains in part his assertions to the effect the the values of individual variables have a reality not attributable to values of higher-order variables, even ineliminable higher-order variables.
- A Generic Russellian Elimination of Abstract ObjectsPhilosophia Mathematica 25/1 (2017): 91–115.In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as “incomplete symbols”, using Russell’s no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck’s charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system treating apparent terms for numbers using these definitions.
- Three Unpublished Manuscripts from 1903Russell n.s. 36 (2016): 5–44.I present and discuss three previously unpublished manuscripts written by Bertrand Russell in 1903, not included with similar manuscripts in Volume 4 of his Collected Papers. One is a one-page list of basic principles for his “functional theory” of May 1903, in which Russell partly anticipated the later Lambda Calculus. The next, catalogued under the title “Proof That No Function Takes All Values”, largely explores the status of Cantor's proof that there is no greatest cardinal number in the variation of the functional theory holding that only some but not all complexes can be analyzed into function and argument. The final manuscript, “Meaning and Denotation”, examines how his pre-1905 distinction between meaning and denotation is to be understood with respect to functions and their arguments. In them, Russell seems to endorse an extensional view of functions not endorsed in other works prior to the 1920s. All three manuscripts illustrate the close connection between his work on the logical paradoxes and his work on the theory of meaning.
- The Constituents of the Propositions of LogicIn Acquaintance, Knowledge, and Logic: New Essays on Bertrand Russell’s The Problems of Philosophy, edited by D. Wishon and B. Linsky. (CSLI Publications 2015), pp. 189–229.In The Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems.
- The Russell–Dummett Correspondence on Frege and his NachlaßThe Bertrand Russell Society Bulletin no. 150 (2014): 25–29.Russell corresponded with Sir Michael Dummett (1925–2011) between 1953 and 1963 while the latter was working on a book on Frege, eventually published as Frege: Philosophy of Language (1973). In their letters they discuss Russell’s correspondence with Frege, translating it into English, as well as Frege’s attempted solution to Russell’s paradox in the appendix to vol. 2 of his Grundgesetze der Arithmetik. After Dummett visited the University of Münster to view Frege’s Nachlaß, he sent reports back to Russell concerning both the philosophical materials Frege left behind, as well as information from Frege’s journal revealing his anti-semitic political opinions. Their interaction contains interpretive conjectures and insights on Dummett’s side, and some dark humor on Russell’s.
- The Paradoxes and Russell’s Theory of Incomplete SymbolsPhilosophical Studies 169/2 (2014): 183–207.Russell claims in his Autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research.
- Early Russell on Types and PluralsJournal for the History of Analytical Philosophy 2/6 (2014): 1–21.In 1903, in The Principles of Mathematics (PoM), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived—rejected before PoM even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about why he abandoned this view. In this paper, I attempt to clarify Russell’s early views about plurality, arguing that they did not involve countenancing special kinds of plural things distinct from individuals. I also clarify what his misgivings about these views were, making it clear that while the plural understanding of classes helped solve certain forms of Russell’s paradox, certain other Cantorian paradoxes remained. Finally, I aim to show that Russell’s abandonment of something like plural logic is understandable given his own conception of logic and philosophical aims when compared to the views and approaches taken by contemporary advocates of plural logic.
- PM’s Circumflex, Syntax and Philosophy of TypesIn The Palgrave Centenary Companion to Principia Mathematica, edited by N. Griffin and B. Linsky. (Palgrave Macmillian 2013), pp. 218–246.Along with offering an historically-oriented interpretive reconstruction of the syntax of Principia Mathematica (first ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circumflex on a variable. I argue that this notation is used in PM only when definitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary.
- Neo-logicism and Russell’s LogicismRussell n.s. 32 (2012–13): 218–246.Most advocates of the so-called “neologicist” movement in the philosophy of mathematics identify themselves as “Neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature, and when it is, often dismissed as not really logicism at all (in lights of its assumption of axioms of infinity, reducibiity and so on). In this paper I have three aims: firstly, to identify more clearly the primary metaontological and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that Neo-Russellian forms of neologicism remain viable positions for current philosophers of mathematics.
- Frege’s Changing Conception of NumberTheoria 78 (2012): 146–167.I trace changes to Frege’s understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning of Russell’s paradox, this position is natural position for him to have retreated to, when properly understood.
- The Functions of Russell’s No Class TheoryReview of Symbolic Logic 3/4 (2010): 633–664.Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language.
- The Senses of Functions in the Logic of Sense and DenotationBulletin of Symbolic Logic 16/2 (2010): 153–188.This paper discusses certain problems arising within the treatment of the senses of functions in Church’s Logic of Sense and Denotation. Church understands such senses themselves to be “sense-functions“, functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or “deviant” sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege’s original theory.
- Gottlob FregeIn The Routledge Companion to Nineteenth Century Philosophy, edited by Dean Moyar. (Routledge 2010), pp. 858–886.A summary of the philosophical career and intellectual contributions of Gottlob Frege (1848–1925), including his invention of first- and second-order quantified logic, his logicist understanding of arithmetic and numbers, the theory of sense (Sinn) and reference (Bedeutung) of language, the third-realm metaphysics of “thoughts”, his arguments against rival views, and other topics.
- Russell, His Paradoxes and Cantor’s Theorem [Parts I–II]Philosophy Compass 5/1 (2010): 16–28 and 29–41.In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture paradoxes, and several broad categories of strategies for offering solutions to these paradoxes. Part II discusses the origins in and impact of these paradoxes on Bertrand Russell’s philosophy in particular, as well as his own favored brand of solution whereupon those purported entities that, if reified, lead to these contradictions, must not be genuine entities, but “logical fictions” or “logical constructions” instead.
- A Cantorian Argument Against Frege’s and Early Russell’s Theories of DescriptionsIn Russell vs. Meinong: The Legacy of “On Denoting”, edited by N. Griffin and D. Jacquette. (Routledge 2008), pp. 65–77.This paper discusses an argument, inspired by Russell, against certain theories of definite descriptions, like Frege’s and those of the pre-“On Denoting” Russell, that posit a sense or meaning for a descriptive phrase of the form “the φ” distinct from its denotation. If one is committed to (1) a liberal ontology of properties, (2) the existence of at least one descriptive sense for each property, (3) certain plausible principles regarding the identity conditions of senses, and (4) an account of descriptive senses whereupon they can themselves be presented by other senses of the same type, a violation of Cantor’s theorem results leading to a Russell-style antinomy. Let something have property H if and only if it is a descriptive sense that does not have its corresponding property. Consider the sense of “the [thing that is] H”. Does it have H? Various strategies for avoiding the problem are discussed and evaluated.
- The Origins of the Propositional Functions Version of Russell’s ParadoxRussell n.s. 24 (2004–05): 101–32.Russell discovered the classes version of Russell’s paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in The Principles of Mathematics, finished in late 1902. I argue that Russell’s dating was accurate, and that the functions version does not appear in the Principles. I distinguish the functions and predicates versions, give a novel reading of the Principles, section 85, as a paradox dealing with what Russell calls assertions, and show that Russell’s logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell’s notation had changed in such a way as to make a formulation possible.
- Does Frege Have Too Many Thoughts? A Cantorian Problem RevisitedAnalysis 65/1 (2005): 44–49.This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since.
- Putting Form Before Function: Logical Grammar in Frege, Russell and WittgensteinPhilosopher’s Imprint 4/2 (2004): 1–47.The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the “judgment centered” aspects of the Tractatus to be inherited from Frege not Russell. Frege’s views on the priority of judgments are problematic, and unlike Wittgenstein’s. Russell’s views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and universals, are exposed. Wittgenstein’s and Russell’s views on logical grammar are shown to be very similar. Russell’s type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over “inexpressible truths” in the Tractatus. I lastly comment on the changes to Russell’s views brought about by Wittgenstein’s influence.
- Russell’s 1903–05 Anticipation of the Lambda CalculusHistory and Philosophy of Logic 24 (2003): 15–37.It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus.
- The Number of SensesErkenntnis 58 (2003): 302–323.Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic.
- Russell on ‘Disambiguating With the Grain’Russell n.s. 21 (2001–02): 101–127.Fregeans face the difficulty finding a notation for distinguishing statements about the sense or meaning of an expression as opposed to its reference or denotation. Famously, in “On Denoting”, Russell rejected methods that begin with an expression designating its denotation, and then alter it with a “the meaning of” operator to designate the meaning. Such methods attempt an impossible “backward road” from denotation to meaning. Contemporary neo-Fregeans (especially Pavel Tichý), however, have suggested that we can disambiguate with, rather than against, the grain, by using a notation that begins with expressions designating senses or meanings, and then alters them with a “the denotation of” operator to designate the denotation. I show that in his manuscripts of 1903–05 Russell both considered and rejected a similar notation along with the metaphysical suppositions underlying it. This discussion sheds light on the evolution of Russell’s thought, and may yet be instructive for ongoing debates.
- When is Genetic Reasoning not Fallacious?Argumentation 16 (2002): 383–400.Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the standard examples given of supposedly fallacious genetic reasoning.
- Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s Response Adequate?History and Philosophy of Logic 22 (2001): 13–28.In their correspondence in 1902 and 1903, after discussing Russell’s paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naïve class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein.
- Is Pacifism Irrational?Peace Review 11/1 (1999): 65–70.In this paper, I counter arguments to the effect that pacifism must be irrational which cite hypothetical situations in which violence is necessary to prevent a far greater evil. I argue that for persons similar to myself, for whom such scenarios are extremely unlikely, promoting in oneself the disposition to avoid violence in any circumstances is more likely to lead to better results than not cultivating such a disposition just for the sake of such unlikely eventualities.
Reviews and review essays
- Review of On the Genealogy of Universals: The Metaphysical Origins of Analytic Philosophy, by Fraser MacBride (Oxford 2018)Notre Dame Philosophical Reviews 2018.
- Review of Basic Laws of Arithmetic, ed. and trans. by P. Ebert and M. Rossberg (Oxford 2013)Studia Logica 104 (2016): 175–80.
- Review of Russell’s Philosophy of Logical Atomism 1897–1905, by Jolen Galaugher (Palgrave Macmillan 2013)Journal for the History of Analytical Philosophy 3/2 (2015): 1–7.
- Review of The Oxford Handbook of the History of Analytic Philosophy, ed. by Michael Beaney (Oxford 2013)Notre Dame Philosophical Reviews 2014.
- Review of Logic as Universal Science: Russell’s Early Logicism and Its Philosophical Context, by Anssi Korhonen (Palgrave Macmillan 2013)Russell n.s. 34/1 (2014): 79–84.
- Review of Russell’s Unknown Logicism, by Sébastien Gandon (Palgrave Macmillan 2012)Notre Dame Philosophical Reviews 2012.
- Review of Russell, by Gregory Landini (Routledge 2011)Journal for the History of Analytical Philosophy 1/2 (2012): 21–28.
- A New Century in the Life of a Paradox: Review of One Hundred Years of Russell’s Paradox, ed. by Godehard Link (de Gruyter 2004)Review of Modern Logic 11/1‒2 (2007–2008): 7–29.
- Review of “On Denoting” 1905–2005, ed. by G. Imaguire and B. Linsky (Philosophia 2005)Notre Dame Philosophical Reviews 2006.
- Review of The Cambridge Companion to Bertrand Russell, ed. by Nicholas Griffin (Cambridge 2003)Review of Modern Logic 10/1–2 (2005): 161–70.
- Review of The Philosophy of Gottlob Frege, by Richard Mendelsohn (Cambridge 2005)Notre Dame Philosophical Reviews 2005.
- A Faithful Companion: Review of The Cambridge Companion to Bertrand Russell, ed. by Nicholas Griffin (Cambridge 2003)The Bertrand Russell Society Quarterly no. 121 (2004): 25–41.
- Review of Logicism and the Philosophy of Language: Selections from Frege and Russell, ed. by A. Sullivan (Broadview 2003)The Bertrand Russell Society Quarterly no. 120 (2003): 39–43.
- Review of From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy, ed. by Erich Reck (Oxford 2002)The Review of Metaphysics 57 (2003): 177–178.
- Russell’s Logical Atomism (The Stanford Encyclopedia of Philosophy)A summary of Russell’s logical atomism, understood to include both a metaphysical view and a certain methodology for doing philosophy. The metaphysical view amounts to the claim that the world consists of a plurality of independently existing things exhibiting qualities and standing in relations. The methodological view recommends a process of analysis, whereby one attempts to define or reconstruct more complex notions or vocabularies in terms of simpler ones. The origins of this theory, and its influence and reception are also discussed.
- Frege, Gottlob (The Internet Encyclopedia of Philosophy)
- Propositional Logic (The Internet Encyclopedia of Philosophy)
- Paradox, Russell’s (The Internet Encyclopedia of Philosophy)
- Paradox, Russell-Myhill (The Internet Encyclopedia of Philosophy)
- Induction and Deduction (The Internet Encyclopedia of Philosophy)
- Validity and Soundness (The Internet Encyclopedia of Philosophy)
- Square of Opposition (The Internet Encyclopedia of Philosophy)
I think it is a good idea for academics to produce high-quality editions of important public-domain works, which are often available only in much lower quality than books not in the public domain. This is the only way to preserve the integrity of these texts in the centuries to come.
So far I have worked on three such projects, and hope to do more in the future.
- Bertrand Russell: The Principles of MathematicsFree online edition. First published in 1903.
- Bertrand Russell: Introduction to Mathematical PhilosophyOnline corrected edition. First published in 1919.
- Ludwig Wittgenstein: Tractatus Logico-PhilosophicusSide-by-side-by-side edition. First published 1922. This version contains the German alongside both major English translations.
I maintain the website for The 21st Century Monads; the rockingest of all Philosophical Rock Bands.
Journal Tools: Typesetting framework and web-based LaTeX editor
One of its main components is a live-updating web-based LaTeX editor, K(ev)E(dit), ke for short, built on codemirror, with a PHP backend for saving. This component can be installed and used on its own.
gappi: get a PhilPapers item
I wrote gappi, which is a simple bash script for fetching BibTeX records from the PhilPapers database.
Visit the gappi page on Bitbucket for installation and usage information.
Online logic exercises
I am working on creating open source, online logic exercises for various free or open textbooks. Those I created for Gary Hardegree’s Symbolic Logic: A First Course can be found here.
I wrote the first draft of a proof checker for the Forall x book; although I am still working on this project, it has been modified by others as well. A demo page up and running here.
With luck, these will one day be turned either in to Moodle plugins, or LTI tools, or both.
Previously, I wrote a vim plugin in and set of helper scripts to provide a live-updating PDF preview of LaTeX documents with MuPDF. I don’t use this anymore, but the code is still available: vim-live-latex-preview-0.9.tar.gz, and is available from ArchLinux’s AUR repository.
Other/Stuff I Like
Open source/free software
The internet was built on the back on free software, but is increasingly being taken over by commercial interests.
When you give yourself over to Apple, Microsoft, et al., you are making a vote for a more corporation-controlled internet. You are also using products that have been made defective deliberately so that corporations can make more money. Take back the web!
The free-license, open source alternatives may take awhile to learn, but they make up for it in power, efficiency, adaptability and freedom.
As Neal Stephenson has said: “Macs are hermetically-sealed sedans that look great and have a lot of advertising. Windows machines are big SUVs that break often, but they’re everywhere and everyone knows how to use them. Linux computers are free tanks that go 90 mph in swamps, get 100 mpg and never break down.”
- The operating system to use: Linux.
- Try a beginner’s distro like Ubuntu or Linux Mint.
- Graduate to my distro of choice: ArchLinux.
- Read Richard Heck on how he started using linux and why you should too.
- UNIX/Linux StackExchange.
Beautiful typography without the proprietary price tag.
- The Linux Libertine Project (can be installed for any OS)
- The STIX fonts
- ADF and SIL fonts and Sorts Mill
- Font Squirrel and Google fonts