This paper considers the nature of the changes that took place in logic teaching at the University of Oxford from the beginning of the sixteenth century, when students attended university lectures on Aristotle’s texts as well as studying short works dealing with specifically medieval developments, to the beginning of the eighteenth century when teaching was centred in the colleges, the medieval developments had largely disappeared, and manuals summarizing Aristotelian logic were used. The paper also considers the reasons (...) for these changes, including changes in English society, and the effect of humanism and the more scholarly Aristotelianism that it produced. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For (...) naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

The Oxford Handbook of Dewey, ed. Steven Fesmire Volume Abstract: John Dewey was the foremost figure and public intellectual in early to mid-twentieth century American philosophy. He is the most academically cited Anglophone philosopher of the past century, and he is among the most cited Americans of any century. In this comprehensive volume spanning thirty-five chapters, leading scholars help researchers access particular aspects of Dewey’s thought, navigate the enormous and rapidly developing literature, and participate in current scholarship in light (...) of prospects in key topical areas. Beginning with a framing essay by Philip Kitcher calling for a transformation of philosophical research, contributors interpret, appraise, and critique Dewey’s philosophy under the following headings: Metaphysics; Epistemology, Science, Language, and Mind; Ethics, Law, and the Starting Point; Social and Political Philosophy, Race, and Feminist Philosophy; Philosophy of Education; Aesthetics; Instrumental Logic, Philosophy of Technology, and the Unfinished Project of Modernity; Dewey in Cross-Cultural Dialogue; The American Philosophical Tradition, the Social Sciences, and Religion; and Public Philosophy and Practical Ethics. [The downloadable sample is Fesmire's Introduction to the volume.]. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient (...) class='Hi'>logic texts. A renaissance in ancient logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds (...) Lewis Carroll, a mathematical teacher who promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (shrink)

ABSTRACT: A very brief summary presentation of western ancient logic for the non-specialized reader, from the beginnings to Boethius. For a much more detailed presentation see my "Ancient Logic" in the Stanford Encyclopedia of Philosopy (also on PhilPapers).

An essay examining logical atomism as it arises in Russell and the early Wittgenstein.

In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide (...) an account of reasons. However, the implementations are complex enough, in both cases, to prevent anything more than this sketch. And we would not want to give the impression that we think that work on the logic of reasons must follow the path mapped out in either of these theories—indeed, we feel that the field is wide open. In the remainder of the chapter, therefore, will concentrate on a number of issues bearing on the logic of reasons that are either not treated in the work of Pollock and Horty, or whose treatment there is, we feel, either inadequate or incomplete. These are: first, the question of whether it is necessary to understand logical interactions among reasons themselves, rather than simply between reasons and the actions or conclusions they support, and if so, what principles might govern these interactions; second, priority relations among reasons and the notion of reason accrual; and third, some problems posed by undercutting defeat. (shrink)

Review of "The Construction of Logical Space", by Augustin Rayo. Oxford: OxfordUniversity Press, 2013. Pp. xix+220. H/b$35.00.

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it is (...) founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

The important impact of the French Franciscan Peter Auriol (ca. 1280-1322) upon contemporary philosophical theology at Oxford is well known and has been well documented and analyzed, at least for a narrow range of issues, particularly in epistemology. This article attempts a more systematic treatment of his effects upon Oxford debates across a broader range of subjects and over a more expansive duration of time than has been done previously. Topics discussed include grace and merit, future contingents and (...) divine foreknowledge, and the logic of the Trinity. (shrink)

Johann Eck (1486–1543) has been introduced to modern scholarship as a prominent figure of the pre-Tridentine Counter-Reformation. As part of the curricular transformations of the University of Ingolstadt, he wrote commentaries on logical and scientific works by Aristotle and Peter of Spain. Utilising a variety of sources, the two volumes dedicated to physics and natural philosophy published in 1518 and 1519 were self-contained textbooks including annotated translations of the texts and quaestio-commentaries. These developed the doctrines of the Oxford Calculators (...) mediated through Continental sources, reproducing their conceptual and mathematical apparatus, including the famous middle degree theorem and Bradwardine’s law. (shrink)

John Dewey was the foremost figure and public intellectual in early to mid-twentieth century American philosophy. He is the most academically cited Anglophone philosopher of the past century, and he is among the most cited Americans of any century. In this comprehensive volume spanning thirty-five chapters, leading scholars help researchers access particular aspects of Dewey’s thought, navigate the enormous and rapidly developing literature, and participate in current scholarship in light of prospects in key topical areas. Beginning with a framing essay (...) by Philip Kitcher calling for a transformation of philosophical research, contributors interpret, appraise, and critique Dewey’s philosophy under the following headings: Metaphysics; Epistemology, Science, Language, and Mind; Ethics, Law, and the Starting Point; Social and Political Philosophy, Race, and Feminist Philosophy; Philosophy of Education; Aesthetics; Instrumental Logic, Philosophy of Technology, and the Unfinished Project of Modernity; Dewey in Cross-Cultural Dialogue; The American Philosophical Tradition, the Social Sciences, and Religion; and Public Philosophy and Practical Ethics. (shrink)

Lockdowns, or modern quarantines, involve the use of novel restrictive non-pharmaceutical interventions (NPIs) to suppress the transmission of COVID-19. In this paper, I aim to critically analyze the emerging history and philosophy of lockdowns, with an emphasis on the communication of health evidence and risk for informing policy decisions. I draw a distinction between evidence-based and modeling-based decision-making. I argue that using the normative framework of evidence-based medicine would have recommended against the use of lockdowns. I first review the World (...) Health Organization’s evidence-based pandemic preparedness plans for respiratory viruses. I then provide a very brief history of COVID-19 modeling, which was cited as justification for the use of lockdowns in the U.K., the U.S., and much of the world. I focus on the so-called Imperial College model designed by Neil Ferguson et al. as well as the so-called Oxford model designed by José Lourenço et al. I analyze the evidence-based pandemic response known as ‘mitigation’, and I compare it with Ferguson et al.’s experimental strategy known as ‘suppression’. I summarize the strengths and weaknesses of these strategies based on their diametric aims and each model’s parametric assumptions. Based on my critical analysis of the suppression strategy, I attempt to expose what has been called the ‘logic of lockdowns’, which Sunetra Gupta of the Oxford model group has suggested is flawed. Finally, I consider Trisha Greenhalgh’s objection to evidence-based policy based on the precautionary principle, and I attempt to offer a response. I conclude with a brief narrative review of the emerging randomized evidence on restrictive NPIs, which seems to support my claim that mitigation was the strategy that would have been recommended by evidence-based medicine. If this is true, then COVID-19 modeling may serve as an important reminder of the enduring lesson of evidence-based medicine: that one should always ‘Trust the Evidence!’ for better health policy. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories (...) of the “syllogism” in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason (...) conferred a heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

Multiple generality has long been known to cause confusion. For example, “Everyone has a donkey that is running” has two readings: either (i) there is a donkey, owned by everyone, and it is running; or (ii) everyone owns some donkey or other, and all such donkeys run. Medieval logicians were acutely aware of such ambiguities, and the logical problems they pose, and sought to sort them out. One of the most ambitious undertakings in this regard is a pair of massive (...) diagrams (magnae figurae) which map out the logical interrelations of two sets of doubly-general forms. These appear in a fourteenth-century MS of John Buridan’s Summulae de Propositionibus. In this paper, I present these diagrams, and determine the truth conditions of their different forms. To that end, I have developed a bespoke system of diagrams to display their truth conditions. As we will see, such forms present significant difficulties for an all-encompassing account of the role form plays in logic. Accordingly, they can tell us important things about the role logical form plays in Buridan’s account of logical foundations. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...) sciences. If we wish to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic (...) 24(1):1–14, 1959). Gödel’s proof gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Gödel or the Gödel-Dummett Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definability of propositional connectives in this logic. (shrink)

Esta es una excelente revisión de las interacciones gen/ambiente en el comportamiento y, a pesar de ser un poco anticuado, es una lectura fácil y valiosa. Empiezan con estudios gemelos que muestran el impacto abrumador de la genética en el comportamiento. Señalan los estudios cada vez más conocidos de Judith Harris, que amplían y resumen los hechos de que el ambiente doméstico compartido casi no tiene efecto sobre el comportamiento y que los niños adoptados crecen para ser tan diferentes de (...) sus hermanastros y hermanas como las personas elegidas al azar. Un punto básico que ellos (y casi todos los que discuten sobre la genética conductual) no se dan cuenta es que los cientos (miles dependiendo de su punto de vista) de los universales de comportamiento humano, incluyendo todos los fundamentos de nuestras personalidades, son 100% determinado por nuestros genes, con no hay variación en las normales. Todo el mundo ve un árbol como un árbol y no una piedra, busca y come comida, se enfada y celosa, etc. Por lo tanto, lo que están hablando sobre todo aquí es cuánto ambiente (cultura) puede afectar al grado en que se muestran varios rasgos, en lugar de su apariencia. Por último, discuten la eugenesia en la costumbre políticamente correcta, al no notar que nosotros y todos los organismos somos los productos de la eugenesia de la naturaleza y que los intentos de derrotar la selección natural con la medicina, la agricultura y la civilización en su conjunto, son desastroso para cualquier sociedad que persiste en hacer esto. Tanto como el 50% de todas las concepciones, o unos 100 millones/año, terminan en abortos espontáneos tempranos, casi todos sin que la madre sea consciente. Este sacrificio natural de genes defectuosos impulsa la evolución, nos mantiene relativamente genéticamente sólidas y hace posible la sociedad. La disgenesia es suficiente para destruir la civilización pero sobrepoblación se do primero. Aquellos que deseen un marco completo y actualizado para el comportamiento humano desde la vista moderna de dos sistemas pueden consultar mi libros Talking Monkeys 3ª ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2a ed (2019), Suicidio por Democracia 4ª ed (2019), La estructura Lógica del Comportamiento Humano (2019), La Estructura Lógica de la Conciencia (2019, Comprender las Conexiones entre la Ciencia, la Filosofía, Psicología, Religión, Política , Economía, Historia y Literatura (2019), Delirios Utópicos Suicidas en el Siglo XXI 5ª ed (2019) y otras. (shrink)

Il s’agit d’un excellent examen des interactions génétiques / environnement sur le comportement et, en dépit d’être un peu daté, est une lecture facile et utile. Ils commencent par des études jumelles qui montrent l’impact écrasant de la génétique sur le comportement. Ils notent les études de plus en plus connues de Judith Harris qui étendent et résument les faits que l’environnement familial partagé n’a presque aucun effet sur le comportement et que les enfants adoptés grandissent pour être aussi différents (...) de leurs demi-frères et soeurs que les personnes choisies au hasard. Un point fondamental qu’ils (et presque tous ceux qui discutent de la génétique comportementale) ne parviennent pas à noter est que les centaines (des milliers selon votre point de vue) des universels comportementaux humains, y compris toutes les bases de nos personnalités, sont 100% déterminés par nos gènes, sans aucune variation dans les normales. Tout le monde voit un arbre comme un arbre et non une pierre, cherche et mange de la nourriture, se met en colère et jaloux, etc. Donc, ce dont ils parlent surtout ici, c’est de la quantité d’environnement (culture) qui peut influer sur la mesure dans laquelle les divers traits sont montrés, plutôt que leur apparence. Enfin, ils discutent de l’eugénisme de la manière politiquement correcte habituelle, à défaut de noter que nous et tous les organismes sommes les produits de l’eugénisme de la nature et que les tentatives de vaincre la sélection naturelle avec la médecine, l’agriculture, et la civilisation dans son ensemble, sont désastreuses pour toute société qui persiste à le faire. Jusqu’à 50% de toutes les conceptions, soit environ 100 millions par an, se terminent par un avortement spontané précoce, presque tous sans que la mère soit au courant. Cet abattage naturel de gènes défectueux stimule l’évolution, nous maintient relativement génétiquement sains et rend la société possible. Dysgenics est suffisant pour détruire la civilisation, mais la surpopulation sera do ild’abord. Ceux qui souhaitent un cadre complet à jour pour le comportement humain de la vue moderne de deuxemssyst peuvent consulter mon livre 'The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein et John Searle' 2nd ed (2019). Ceux qui s’intéressent à plus de mes écrits peuvent voir «Talking Monkeys --Philosophie, Psychologie, Science, Religion et Politique sur une planète condamnée --Articles et revues 2006-2017' 3rd ed (2019) et autres. (shrink)

This is a review article of Herman Cappelen's monograph 'Fixing Language. An Essay on Conceptual Engineering' (OUP 2018). It summarizes the key elements of the book and objects to various of Cappelen's claims.

Bruce Langtry's ‘God, the Best and Evil’ is a fine contribution to the literature. Here, I review the contents of the book, and then provide some critical remarks that, as fas as I know, have not been made elsewhere. In particular, I argue that his criticism of my formulations of logical arguments from evil (in my Arguing about Gods) is unsuccessful.

Hume seems to contend that you can’t get an ought from an is. Searle professed to prove otherwise, deriving a conclusion about obligations from a premise about promises. Since (as Schurz and I have shown) you can’t derive a substantive ought from an is by logic alone, Searle is best construed as claiming that there are analytic bridge principles linking premises about promises to conclusions about obligations. But we can no more derive a moral obligation to pay up from (...) the fact that a promise has been made than we can derive a duty to fight a duel from the fact that a challenge has been issued – just conclusions about what we ought to do according to the rules of the relevant games. Hume suggests bridge principles that would take us from the rules of the games to conclusions about duties, but these principles are false. My argument features an obstreperous earl, an anarchist philosopher and a dueling Prime Minister. (shrink)

One of the most frequently asked question is whether Hegel’s idea of God is immanent or transcendent. In Transcending Subjects: Augustine, Hegel, and Theology, Geoffrey Holsclaw attempts to solve this puzzle by contrasting the political theologies of Hegel and Augustine. He argues that Hegel produces a political theology of ‘self-transcending immanence’ while Augustine produces a political theology of ‘self-immanentizing transcendence’. The primary problem with Holsclaw’s dialectical procedure results from its uncritical appeal to a transcendent source for the supersession of opposites. (...) Rather than critically annulling each opposed position, he often resorts to simply describing the inadequacy of positions in light of the privileged ideal of Augustinian transcendence. Holsclaw’s dialectic has not been directly derived from Augustine but from the more recent writings of William Desmond. He translates Desmond’s opposition between the second and third types of transcendence into his own opposition between Hegelian self-transcending immanence and Augustinian self-immanentizing transcendence. Hegel’s apparent ambiguity on transcendence seems to expose him to Holsclaw’s critique. Yet Hegel may, arguably, have never needed to answer this objection because the opposition between immanence and transcendence has already been resolved by Hegel’s dialectic of infinity: for if the opposition between the categories of immanence and transcendence that appears at the level of Spirit merely replicates the vanishing opposition between the finite and the infinite at the level of Logic, then the supersession of this negative opposition between the infinite and the finite into the true and speculative infinity can be virtually replicated for religious consciousness in the supersession of transcendence and immanence into an equally speculative transcendence. Where Holsclaw seeks to supersede immanence into transcendence, Hegel seeks to preserve both transcendence and immanence in the true ‘speculative transcendence’ that corresponds to the true ‘speculative infinity’. The decisive disagreement between Hegel and Holsclaw thus concerns, not merely any relation between transcendence and immanence, but – more fundamentally – the very possibility of superseding the spurious transcendence into a genuinely speculative notion of infinity and transcendence. (shrink)

We review Solomon Feferman's 1998 essay collection In The Light of Logic (Oxford University Press).

This paper provides a philosophical analysis and a new edition of an anonymous Epitome of John Dumbleton’s solution to the semantic paradoxes. The first part of this paper briefly presents Dumbleton’s cassationist solution to the semantic paradoxes, which the English philosopher proposes in his Summa Logicae, written in the 1330s–40s. The second part investigates the solution to various types of insolubles proposed by the anonymous author of the Epitome. The third part provides a new critical edition of the Latin text (...) – a first edition was edited by Bottin in 1978 – and an English translation. (shrink)

This paper focuses on the early sixteenth-century epistemic logic developed by John Mair’s circle and discusses iterated epistemic modalities, epistemic closure and Bradwardinian semantics related to the logic of epistemic statements. These topics are addressed as part of setting up and solving epistemic sophisms based on traditional scenarios which can be traced back to fourteenth-century British epistemic logic. While the ultimate source for the debate appears to be the second chapter of William Heytesbury’s Regule solvendi sophismata, the (...) immediate source is the Italian editorial, commentarial and philosophical tradition, notably Paul of Venice and Cajetan of Thiene. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

Verbal disputes are often seen as closely related to a lack of substantivity. However, a systematic and comprehensive investigation of how verbalness relates to substantivity is still missing. The present paper attempts to close this gap. In addition to offering different conceptions of verbalness, the paper further develops Sider’s (Writing the Book of the World, OUP, Oxford, 2011) notion of substantivity. Ultimately, I argue for a more careful choice of terminology when it comes to assessing a dispute as “(merely) (...) verbal” or “nonsubstantive”. While the paper shows that there is no strict logical relation between mere verbalness and nonsubstantivity construed along the lines set out by Sider, it also demonstrates that further notable notions of (mere) verbalness and substantivity are in fact closely intertwined. (shrink)

Analytic philosophy is a philosophical tradition dominating Anglo-American philosophy, which emerged with clear features at the beginning of the twentieth century, and had its roots in the nineteenth century and before, and is still strong until now. It in essence is an interest in analysis, language, science, logic, and a systematic rather than a historical approach to philosophical problems. This article aims to understand the concepts of analysis and the analytical method, explain the origins of analytic philosophy, and its (...) development into various movements, and reveal some of its contributions to the philosophy of language, logic, the philosophy of science, the philosophy of mind, and moral and political philosophy. I will rely on analytic method in some of its forms. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory (...) relations. We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

The Queen's College, Oxford, UK In his article `Facts and Principles', G.A. Cohen attempts to refute constructivist approaches to justification by showing that, contrary to what their proponents claim, fundamental normative principles are fact- in sensitive. We argue that Cohen's `fact-insensitivity thesis' does not provide a successful refutation of constructivism because it pertains to an area of meta-ethics which differs from the one tackled by constructivists. While Cohen's thesis concerns the logical structure of normative principles, constructivists ask how normative (...) principles should be justified . In particular, their claim that justified fundamental normative principles are fact-sensitive follows from a commitment to agnosticism about the existence of objective moral facts. We therefore conclude that, in order to refute constructivism, Cohen would have to address questions of justification, and take a stand on those long-standing meta-ethical debates about the ontological status of moral notions (for example, realism versus anti-realism) with respect to which he himself wants to remain agnostic. Key Words: John Rawls • normative justification • realism versus anti-realism • methodological versus substantive principles. (shrink)

Arthur Norman Prior was born on 4 December 1914 in Masterton, New Zealand. He studied philosophy in the 1930s and was a significant, and often provocative, voice in theological debates until well into the 1950s. He became a lecturer in philosophy at Canterbury University College in Christchurch in 1946 succeeding Karl Popper. He became a full professor in 1952. He left New Zealand permanently for England in 1959, first taking a chair in philosophy at Manchester University, and then becoming a (...) fellow of Balliol College, Oxford, in 1966. Prior died on 6 October 1969 in Trondheim, Norway. After Prior’s death, many logicians and philosophers have analysed and discussed his approach to formal and philosophical logic. In particular, his contributions to modal logic, tense-logic and deontic logic have been studied. -/- In 1957, A.N. Prior proposed the three-valued modal logic Q as a ‘correct’ modal logic from his philosophical motivations, see Prior (1957). Prior developed Q in order to offer a logic for contingent beings, in which one could intelligibly and rationally state that some beings are contingent and some are necessary, see Akama & Nagata (2005). According to Akama & Nagata (2005), Q has a natural semantics. In other words, from the philosophical point of view, Q can be regarded as an ‘actualist’ modal logic. -/- This review article is a developed description of, and discussion on, ‘The System Q’ that is the fifth chapter of Prior (1957). In addition, in his logical analysis of ‘Time & Existence’ (that is the eights chapter of Prior (1967)), Prior has worked on system Q. Thus, Prior (1967) has also been very useful for this article. This article analyses the logical structure of system Q in order to provide a more understandable description as well as logical analysis for today’s logicians, philosophers, and information-computer scientists. In the paper, the Polish notations are translated into modern notations in order to be more comprehensible and to support the developed formal descriptions as well as semantic analysis. (shrink)

Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a Reducibility-based (...) reply to two kinds of modal skepticism. I argue that its use is entirely dispensable, and that Reducibility makes available replies to modal skeptics which show certain propositions to be metaphysically necessary by deductive arguments from premises the modal skeptic accepts can be known. Content Type Journal Article Pages 1-19 DOI 10.1007/s11098-011-9784-4 Authors Juhani Yli-Vakkuri, Wolfson College, Oxford University, Oxford, OX2 6UD UK Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...) of its manuscripts, interpretations, commentaries, translations, and its influence on subsequent logic, philosophy, and mathematics. All this attention is warranted because Prior Analytics marks the origin of logic: the field that, among other things, asks of a given proposition whether it follows from a given set of propositions; and, if it follows, how we determine that it follows; and, if it does not follow, how we determine that it does not follow. This translation and commentary is not suitable for use in an undergraduate course. It has too many quirks that the teacher would want to warn against. A copy editor should have dealt with these things and with other matters such as incorrect punctuation and improper end-of-line divisions. The prose is heavily laden with glaring clichés. The one-page preface contains “longer than I care to remember”, “more than I can possibly list here”, “first and foremost”, and “last and by no means least”—a sentence later is devoted to thanking the “incredibly meticulous and helpful copy-editor”. A few pages later the translator reveals the need “to find a path between the Scylla … and the Charybdis …”. Moreover, the index is far from meeting the needs of undergraduate students. The attention to scholarly detail is not what one hoped for from Oxford University Press. At 26b10-15, this translation reads “let swan and white be chosen as white things” for what Smith correctly translates “let swan and snow be selected from among those white things”. At 41b16, “angles AB and CD” should read “angles AC and BD”. Despite this book’s flaws, it will be found useful if not indispensable for those currently engaged in Prior Analytics studies. The alternatives suggested to Robin Smith’s translation choices are often worth consideration. It is to be emphasized, however, that this book is unsuitable for those entering Prior Analytics studies. (shrink)

I discuss how virtual reality can be used to acquire self-knowledge. Lawlor (Philos Phenomenol Res 79(1):47–75, 2009) and Cassam (Vices of the mind: from the intellectual to the political. OUP, Oxford, 2014) develop inferential accounts of self-knowledge in which one can use imagination to acquire self-knowledge. This is done by actively prompting imaginary scenarios and observing one’s reactions to those scenarios. These reactions are then used as the inferential basis for acquiring self-knowledge. I suggest that the imaginary scenarios can (...) be in principle replaced with scenarios in virtual reality in a way that still provides an inferential basis for self-knowledge. Instead of internal prompting in imagination, I call this external prompting in virtual reality. I discuss the advantages and disadvantages of external prompting. On one hand, external prompting avoids some of the common biases that can intervene with internal prompting in imagination. On the other hand, external prompting comes with some challenges of its own. External prompting might be more time-consuming and might be open to a game-like approach of the agent leading to a different sort of distortion that gets in the way of self-knowledge. I suggest that these are practical challenges, but nevertheless, external prompting seems worthwhile for self-knowledge that is otherwise especially difficult to acquire. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, which appeals (...) to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

In their account of theory change in logic, Aberdein and Read distinguish 'glorious' from 'inglorious' revolutions--only the former preserves all 'the key components of a theory' [1]. A widespread view, expressed in these terms, is that empirical science characteristically exhibits inglorious revolutions but that revolutions in mathematics are at most glorious [2]. Here are three possible responses: 0. Accept that empirical science and mathematics are methodologically discontinuous; 1. Argue that mathematics can exhibit inglorious revolutions; 2. Deny that inglorious revolutions (...) are characteristic of science. Where Aberdein and Read take option 1, option 2 is preferred by Mizrahi [3]. This paper seeks to resolve this disagreement through consideration of some putative mathematical revolutions. [1] Andrew Aberdein and Stephen Read, The philosophy of alternative logics, The Development of Modern Logic (Leila Haaparanta, ed.), Oxford University Press, Oxford, 2009, pp. 613-723. [2] Donald Gillies (ed.), Revolutions in Mathematics, Oxford University Press, Oxford, 1992. [3] Moti Mizrahi, Kuhn's incommensurability thesis: What's the argument?, Social Epistemology 29 (2015), no. 4, 361-378. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, (...) “we can agree with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

Review of Bob Hale's "Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them". Oxford: Oxford University Press 2013, ISBN 9780199669578.

I set up a dilemma, concerning metaphysical modality de re, for the essentialist opponent of a ‘two senses’ view of necessity. I focus specifically on Frank Jackson's two-dimensional account in his From Metaphysics to Ethics (Oxford: Oxford University Press, 1998). I set out the background to Jackson's conception of conceptual analysis and his rejection of a two senses view. I proceed to outline two purportedly objective (as opposed to epistemic) differences between metaphysical and logical necessity. I conclude that (...) since one of these differences must hold and since each requires the adoption of a two senses view of necessity, essentialism is not consistent with the rejection of a two senses view. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal (...) class='Hi'>logic as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

H´ector-Neri Casta˜neda-Calder´on (December 13, 1924–September 7, 1991) was born in San Vicente Zacapa, Guatemala. He attended the Normal School for Boys in Guatemala City, later called the Military Normal School for Boys, from which he was expelled for refusing to fight a bully; the dramatic story, worthy of being filmed, is told in the “De Re” section of his autobiography, “Self-Profile” (1986). He then attended a normal school in Costa Rica, followed by studies in philosophy at the University of San (...) Carlos, Guatemala. He won a scholarship to the University of Minnesota, where he received his B.A. (1950), M.A. (1952), and Ph.D. (1954), all in philosophy. His dissertation, “The Logical Structure of Moral Reasoning”, was written under the direction of Wilfrid Sellars. He returned to teach in Guatemala, and then received a scholarship to study at Oxford University (1955–1956), after which he took a sabbatical-replacement position in philosophy at Duke University (1956). His first full-time academic appointment was at Wayne State University (1957– 1969), where he founded the philosophy journal Noˆus (1967, a counter-offer made to him by Wayne State to encourage him to stay there rather than to take the chairmanship of philosophy at the University of Pennsylvania). In 1969, he moved (along with several of his Wayne colleagues) to Indiana University, where he eventually became the Mahlon Powell Professor of Philosophy and, later, its first Dean of Latino Affairs (1978–1981). He remained at Indiana until his death. He was also a visiting professor of philosophy at the University of Texas at Austin (1962–1963) and a fellow at the Center for Advanced Study in the Behavioral Sciences (1981–1982). He received grants and fellowships from the Guggenheim Foundation (1967–1968), the T. Andrew Mellon Foundation, the National Endowment for the Humanities, and the National Science Foundation. He was elected President of the American Philosophical Association Central Division (1979– 1980), named to the American Academy of Arts and Sciences (1990), and received the Presidential Medal of Honor from the Government of Guatemala (1991). Casta˜neda’s philosophical interests spanned virtually the entire spectrum of philosophy, and his theories form a highly interconnected whole.. (shrink)

The representations of deep convolutional neural networks (CNNs) are formed from generalizing similarities and abstracting from differences in the manner of the empiricist theory of abstraction (Buckner, Synthese 195:5339–5372, 2018). The empiricist theory of abstraction is well understood to entail infinite regress and circularity in content constitution (Husserl, Logical Investigations. Routledge, 2001). This paper argues these entailments hold a fortiori for deep CNNs. Two theses result: deep CNNs require supplementation by Quine’s “apparatus of identity and quantification” in order to (1) (...) achieve concepts, and (2) represent objects, as opposed to “half-entities” corresponding to similarity amalgams (Quine, Quintessence, Cambridge, 2004, p. 107). Similarity amalgams are also called “approximate meaning[s]” (Marcus & Davis, Rebooting AI, Pantheon, 2019, p. 132). Although Husserl inferred the “complete abandonment of the empiricist theory of abstraction” (a fortiori deep CNNs) due to the infinite regress and circularity arguments examined in this paper, I argue that the statistical learning of deep CNNs may be incorporated into a Fodorian hybrid account that supports Quine’s “sortal predicates, negation, plurals, identity, pronouns, and quantifiers” which are representationally necessary to overcome the regress/circularity in content constitution and achieve objective (as opposed to similarity-subjective) representation (Burge, Origins of Objectivity. Oxford, 2010, p. 238). I base myself initially on Yoshimi’s (New Frontiers in Psychology, 2011) attempt to explain Husserlian phenomenology with neural networks but depart from him due to the arguments and consequently propose a two-system view which converges with Weiskopf’s proposal (“Observational Concepts.” The Conceptual Mind. MIT, 2015. 223–248). (shrink)