The Search Jor Logically Alien Thought: Descartes, Kant, Frege, and the Tractatus1

Total Page:16

File Type:pdf, Size:1020Kb

The Search Jor Logically Alien Thought: Descartes, Kant, Frege, and the Tractatus1 PHILOSOPHICAL TOPICS VOL. 20 NO. 1, FALL 1991 The Search Jor Logically Alien Thought: Descartes, Kant, Frege, and the Tractatus1 James Conant University ofPittsburgh [I]n order to draw a limit to thought we should have to be able to think both sides ofthis limit (we should there­ fore have to be able to think what cannot be thought). The limit can, therefore, only be drawn in language and what lies on the other side ofthe limit will be sim­ ply nonsense. -Ludwig Wittgenstein2 The only proper way to break an egg is from the inside. -Parva Gallina Rubra3 This essay is about three things: Wittgenstein's ideas conceming the question of the possibility of illogical thought, the sources of those ideas (especially in Kant and Frege), and Putnam's recent interest in both of these matters. Along the way, this paper briefly sketches the broad outlines of two almost parallel traditions ofthought about the laws oflogic: one rather long and complicated tradition called the History of Modem Philosophy, and one rather short and complicated one called Hilary Putnam. Here is a thumb­ nail version ofhow these two traditions align: Descartes thought the laws of logic were only contingently necessary; not so recent Putnam agreed. 8t. Thomas Aquinas believed that they were necessarily necessary; relatively recent Putnam agreed (this is only confusing ifyou think Aquinas should not 115 be a step ahead of Descartes). Kant thought they were simply necessary. Frege wanted to agree-but his manner of doing so raised the worry that there was no way in which to express his agreement that made sense. Wittgenstein agreed with the worry. He concluded that sense had not (yet) been made ofthe question to which our two traditions sought an answer; very recent Putnam agreed. HISTORICAL PREAMBLE: A DIFFERENT KIND OF CARTESIANISM What is the status of the laws of logic, the most basic laws of thought? Wherein does their necessity lie? In what sense does the negation of a basic law of logic represent an impossibility? The Scholastics were forced to think hard about these questions since they believed in the existence of an omnipotent God for whom all things are possible. If God is omnipotent does that mean that He has the power to abrogate the laws oflogic? The Scholastics, on the whole, were quite reluc­ tant to draw this conclusion. But does that then mean that God is not all­ powerful, that there is a limit to his power, that there is something he can­ not do? That is a conclusion that the Scholastics were, on the whole, at least equally as reluctant to draw. Posed here in a theological guise is aversion of a question that has continued to haunt philosophy up until the present: do the laws of logic impose a limit which we ron up against in our thinking? If so, what kind of a limit is this? Do their negations represent something that we cannot do or that cannot be? If so, what sort of "cannot" is this? Here is Aquinas's attempt to reconcile the omnipotence of the Divine Being with the inexorability of the basic principles of Reason: All confess that God is omnipotent; but it seems difficult to explain in what His omnipotence precisely consists. For there may be a doubt as to the precise meaning ofthe word "all" when we say that God can do all things. If, however, we consider the matter aright, since power is said in reference to possible things, this phrase, God can do all things, is rightly understood to mean that God can do all things that are possible; and for this reason He is said to be omnipotent. Now ... a thing is said to be pos­ sible in two ways. First, in relation to some power ... If, how­ ever, we were to say that God is omnipotent because He can do all things that are possible to His power, there would be a vicious circle in explaining the nature of His power. For this would be saying nothing else but that God is omnipotent because He can do all that He is able to do. It remains, therefore, that God is called omnipotent because He can do all things that are possible absolutely; which is the 116 second way ofsaying a thing is possible. For a thing is said to be possible or impossible absolutely, according to the relation in which the very terms stand to one another: possible, if the pred­ icate is not incompatible with the subject, as that Socrates sits; and absolutely impossible when the predicate is altogether incompatible with the subject, as, for instance, that a man is an ass. ... Therefore, everything that does not imply a contradic­ tion in terms is numbered among those possibles in respect of which God is called omnipotent; whereas whatever implies con­ tradiction does not come within the scope of divine omnipo­ tence, because it cannot have the aspect of possibility. Hence it is more appropriate to say that such things cannot be done, than that God cannot do them. Nor is this contrary to the word ofthe angel, saying: No word shall be impossible with God (Luke i.37). For whatever implies a contradiction cannot be a word, because no intellect can possibly conceive such a thing.4 Aquinas is caught here between the Charybdis of asserting a mere tau­ tology (God can do everything within His power) and the Scylla of implic­ itly ascribing a substantive limit to God's power (by declaring God can do all those sorts ofthings which fall under a certain general description X, and hence apparently implicitly declaring: He cannot do those things which do not fall under X). One way out-a way out which, as we shall see, is grad­ ually refined in the course of these two traditions of thought about logic­ would be for this description (of those things which God cannot do) to turn out not to be a genuine description at all. Aquinas, indeed, tries to argue that those things which fall under the (apparent) description things which God cannot do are not, properly speaking, things which can be done at all. These are things which "cannot have the aspect of possibility." Of these, Aquinas says, "it is more appropriate to say that such things cannot be done, than that God cannot do them." But the worry arises: hasn't Aquinas just offered us a redescription of what kind of a thing a logically impossible sort of a thing is? It would seem that we still have here to deal with a certain (albeit remark­ able) kind 0/a thing. If so, the question remains: what sort of a thing is this and is it something not even God can do? Even ifwe concede to Aquinas that perhaps, strictly speaking, we should not speak of it as if it were a doable kind of a thing, nevertheless, there certainly still appears to be an "it" here that our words are straining after and which has formed the subject of our thought throughout the preceding paragraph. Aquinas appears to be on his strongest ground when he tries to make out that the "it" which falls under these descriptions-"that which is logically impossible," "that which even God cannot do"-is not a kind of a thing at all. What we have here instead is an attempt to conceive ofa kind ofa thing which "no intellect [i.e., not just a human intellect] can possibly conceive;" 117 it is an attempt to speak a word "which cannot be a word." In order to set up this way ofdissolving the appearance ofan "it" (which not even God can do), Aquinas invokes Aristotle's distinction between those things which are impossible in relation to some power and those things which are impossible absolutely. It is not clear, however, that this distinction really helps. It threat­ ens to recreate the appearance that we have to do here with two different kinds ofthings, belonging to two distinct orders ofimpossibility: the merely impossible and the absolutely impossible. Just as it is natural to picture that which is possible for a finite being (such as man) as contained within the space ofthat which is possible for God, it can seem natural to take Aristotle's distinction as marking an analogous boundary, only at a higher level. One pictures the distinction in terms of two degrees of impossibility: things belonging to the second degree (the absolutely impossible) are situated on the far side ofthe outer limit which encompasses things belonging to the first degree (the merely impossible). So now it seems that although God never chafes against anything which lies within the circumference of this exterior circle, nonetheless, Great as He is, that is as far as He can go--even He must remain within this circle. This picture of a circle (circumscribing the limits ofthat which is absolutely possible) lying within a wider space (the space of the absolutely impossible) inevitably leaves us with the feeling that we have, after all, succeeded in describing a genuine limit to His power. The existence of this outer space of absolute impossibility seems to settle the question in precisely the contrary direction from the one in which Aquinas had hoped to lead uso The apparently innocent step ofpicturing the space ofabsolute pos­ sibility as bounded by a limit seems to have led us to the opposite conclu­ sion about God's omnipotence.5 What sort ofa thing lies beyond the limit ofGod's power? Answer: the sort which is absolutely impossible.
Recommended publications
  • Pluralisms About Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected]
    University of Connecticut OpenCommons@UConn Doctoral Dissertations University of Connecticut Graduate School 8-9-2019 Pluralisms about Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected] Follow this and additional works at: https://opencommons.uconn.edu/dissertations Recommended Citation Kellen, Nathan, "Pluralisms about Truth and Logic" (2019). Doctoral Dissertations. 2263. https://opencommons.uconn.edu/dissertations/2263 Pluralisms about Truth and Logic Nathan Kellen, PhD University of Connecticut, 2019 Abstract: In this dissertation I analyze two theories, truth pluralism and logical pluralism, as well as the theoretical connections between them, including whether they can be combined into a single, coherent framework. I begin by arguing that truth pluralism is a combination of realist and anti-realist intuitions, and that we should recognize these motivations when categorizing and formulating truth pluralist views. I then introduce logical functionalism, which analyzes logical consequence as a functional concept. I show how one can both build theories from the ground up and analyze existing views within the functionalist framework. One upshot of logical functionalism is a unified account of logical monism, pluralism and nihilism. I conclude with two negative arguments. First, I argue that the most prominent form of logical pluralism faces a serious dilemma: it either must give up on one of the core principles of logical consequence, and thus fail to be a theory of logic at all, or it must give up on pluralism itself. I call this \The Normative Problem for Logical Pluralism", and argue that it is unsolvable for the most prominent form of logical pluralism. Second, I examine an argument given by multiple truth pluralists that purports to show that truth pluralists must also be logical pluralists.
    [Show full text]
  • Misconceived Relationships Between Logical Positivism and Quantitative Research: an Analysis in the Framework of Ian Hacking
    DOCUMENT RESUME ED 452 266 TM 032 553 AUTHOR Yu, Chong Ho TITLE Misconceived Relationships between Logical Positivism and Quantitative Research: An Analysis in the Framework of Ian Hacking. PUB DATE 2001-04-07 NOTE 26p. PUB TYPE Opinion Papers (120) ED 2S PRICE MF01/PCO2 Plus Postage. 'DESCRIPTORS *Educational Research; *Research Methodology IDENTIFIERS *Logical Positivism ABSTRACT Although quantitative research methodology is widely applied by psychological researchers, there is a common misconception that quantitative research is based on logical positivism. This paper examines the relationship between quantitative research and eight major notions of logical positivism:(1) verification;(2) pro-observation;(3) anti-cause; (4) downplaying explanation;(5) anti-theoretical entities;(6) anti-metaphysics; (7) logical analysis; and (8) frequentist probability. It is argued that the underlying philosophy of modern quantitative research in psychology is in sharp contrast to logical positivism. Putting the labor of an out-dated philosophy into quantitative research may discourage psychological researchers from applying this research approach and may also lead to misguided dispute between quantitative and qualitative researchers. What is needed is to encourage researchers and students to keep an open mind to different methodologies and apply skepticism to examine the philosophical assumptions instead of accepting them unquestioningly. (Contains 1 figure and 75 references.)(Author/SLD) Reproductions supplied by EDRS are the best that can be made from the original document. Misconceived relationships between logical positivism and quantitative research: An analysis in the framework of Ian Hacking Chong Ho Yu, Ph.D. Arizona State University April 7, 2001 N N In 4-1 PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIALHAS BEEN GRANTED BY Correspondence: TO THE EDUCATIONAL RESOURCES Chong Ho Yu, Ph.D.
    [Show full text]
  • 6 X 10.5 Long Title.P65
    Cambridge University Press 978-0-521-83843-6 - Seeing Wittgenstein Anew Edited by William Day and Victor J. Krebs Frontmatter More information Seeing Wittgenstein Anew Seeing Wittgenstein Anew is the first collection to examine Ludwig Wittgenstein’s remarks on the concept of aspect-seeing. These essays show that aspect-seeing was not simply one more topic of in- vestigation in Wittgenstein’s later writings, but, rather, that it was a pervasive and guiding concept in his efforts to turn philosophy’s attention to the actual conditions of our common life in language. Arranged in sections that highlight the pertinence of the aspect- seeing remarks to aesthetic and moral perception, self-knowledge, mind and consciousness, linguistic agreement, philosophical therapy, and “seeing connections,” the sixteen essays, which were specially commissioned for this volume, demonstrate the unity of not only Philosophical Investigations but also Wittgenstein’s later thought as a whole. They open up novel paths across familiar fields of thought: the objectivity of interpretation, the fixity of the past, the acquisition of language, and the nature of human conscious- ness. Significantly, they exemplify how continuing consideration of the interrelated phenomena and concepts surrounding aspect- seeing might produce a fruitful way of doing philosophy. William Day is Associate Professor of Philosophy at Le Moyne College. A recipient of fellowships from the National Endowment for the Humanities, he has written articles on aesthetics and moral per- fectionist thought, with particular focus on the work of Wittgenstein, Cavell, Emerson, and Confucian thinkers. Victor J. Krebs is Associate Professor of Philosophy at the Pontificia Universidad Católica del Perú.
    [Show full text]
  • The Meaning and Significance of Dispute on Objectless Presentations
    NeuroQuantology | December 2018 | Volume 16 | Issue 12 | Page 87-91| doi: 10.14704/nq.2018.16.12.1344 Seliverstov S., The Meaning and Significance of Dispute on Objectless Presentations The Meaning and Significance of Dispute on Objectless Presentations Vladimir Seliverstov* ABSTRACT This paper considers the evolution of understanding and the status of objectless presentations in the works of the three main authors of this tradition: “The Theory of Science” by B. Bolzano, “On Content and Object of Presentations” by K. Twardowski and “Intentional Objects” by E. Husserl. A critical analysis of these positions on objectless presentations is interesting, because here in one point, in one discussion, we have several very important philosophical theories that have had an impact on the philosophical debates in the twentieth century, particularly on the discussion Alexius Meinong and Bertrand Russell at the beginning of XX century. We want to show, how this Meinong’s conception has contemporary philosophy. Here author aims to show how theory of objects as such came into being and how its main ideasmade weresignificant discussed contribution and criticized into the in problemsubsequent of nonexistent philosophical objects thought. that Thisstill remainsdispute pushesone of theus tomost think debated that we in deal here with fundamental ideological differences between these conceptions. Therefore, it allowed to consider another important philosophical and methodological problem - the problem of incommunicability between logical and psychological conceptions. Key Words: Bolzano, Twardowski, Theory of Objects, Phenomenology, Objectless Presentations, Intentionality 87 DOI Number: 10.14704/nq.2018.16.12.1344 NeuroQuantology 2018; 16(12):87-91 The Problem he is often called a precursor of analytic philosophy.
    [Show full text]
  • Either in Plain Text Format As Am Attached PDF) at the End of the Term
    History of Analytic Philosophy410 — Syllabus Lecturer: SidneyFelder,e-mail: [email protected] Rutgers The State University of NewJersey, Spring 2021 “Office Hours” (i.e., individual discussions): By Appointment Formanyreasons, there is no uncontroversial general characterization of the range of work that tends to be classified under the heading “Analytic Philosophy”. For our purposes, an analytic philosopher is anyone whose work is conducted in awareness of the fundamental importance, for every variety of foundational and philosophical inquiry,ofobtaining a proper understanding of what properties of thought, perception, language, and the world, and what properties of their relationship, makepossible the meaningful ascription of truth, fal- sity,and referential significance of anykind to such things as thoughts, beliefs, sentences, propositions, and judgments. This course covers the early history of analytic philosophy, concentrating largely on writings of Gottlob Frege, Bertrand Russell, G.E. Moore, and Ludwig Wittgenstein, whose work secured recognition of the necessity as well as the great difficulty of this kind of inquiry. Weeks 1, 2, 3, 4 Transition from idealism, naturalism, and Kantianism Russell Our Knowledgeofthe External World (1914) Chapter I, Current Tendencies; Chapter II, Logic As the Essence of Philosophy Frege The Foundations of Arithmetic (1884) , Introduction and sections 1-28. Moore Principia Ethica (1903) , Chapters I, II, III (36-44) ,VI(110-121) Russell The Principles of Mathematics (1903) , Chapters I, III (Sections 37-38, 43-45) ,IV, V(56-60, 63-65) ,VI(66-74) , VIII (86-87, 93) ,IX, X, XVI, XXVI, XXVII (217-219) ,XLII, XLIII (337-341) ,LI Weeks 5, 6, 7, 8, 9, 10 Construction of a Language for Mathematics.
    [Show full text]
  • Tractatus Logico-Philosophicus</Em>
    University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School 8-6-2008 Three Wittgensteins: Interpreting the Tractatus Logico-Philosophicus Thomas J. Brommage Jr. University of South Florida Follow this and additional works at: https://scholarcommons.usf.edu/etd Part of the American Studies Commons Scholar Commons Citation Brommage, Thomas J. Jr., "Three Wittgensteins: Interpreting the Tractatus Logico-Philosophicus" (2008). Graduate Theses and Dissertations. https://scholarcommons.usf.edu/etd/149 This Dissertation is brought to you for free and open access by the Graduate School at Scholar Commons. It has been accepted for inclusion in Graduate Theses and Dissertations by an authorized administrator of Scholar Commons. For more information, please contact [email protected]. Three Wittgensteins: Interpreting the Tractatus Logico-Philosophicus by Thomas J. Brommage, Jr. A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Department of Philosophy College of Arts and Sciences University of South Florida Co-Major Professor: Kwasi Wiredu, B.Phil. Co-Major Professor: Stephen P. Turner, Ph.D. Charles B. Guignon, Ph.D. Richard N. Manning, J. D., Ph.D. Joanne B. Waugh, Ph.D. Date of Approval: August 6, 2008 Keywords: Wittgenstein, Tractatus Logico-Philosophicus, logical empiricism, resolute reading, metaphysics © Copyright 2008 , Thomas J. Brommage, Jr. Acknowledgments There are many people whom have helped me along the way. My most prominent debts include Ray Langely, Billy Joe Lucas, and Mary T. Clark, who trained me in philosophy at Manhattanville College; and also to Joanne Waugh, Stephen Turner, Kwasi Wiredu and Cahrles Guignon, all of whom have nurtured my love for the philosophy of language.
    [Show full text]
  • John P. Burgess Department of Philosophy Princeton University Princeton, NJ 08544-1006, USA [email protected]
    John P. Burgess Department of Philosophy Princeton University Princeton, NJ 08544-1006, USA [email protected] LOGIC & PHILOSOPHICAL METHODOLOGY Introduction For present purposes “logic” will be understood to mean the subject whose development is described in Kneale & Kneale [1961] and of which a concise history is given in Scholz [1961]. As the terminological discussion at the beginning of the latter reference makes clear, this subject has at different times been known by different names, “analytics” and “organon” and “dialectic”, while inversely the name “logic” has at different times been applied much more broadly and loosely than it will be here. At certain times and in certain places — perhaps especially in Germany from the days of Kant through the days of Hegel — the label has come to be used so very broadly and loosely as to threaten to take in nearly the whole of metaphysics and epistemology. Logic in our sense has often been distinguished from “logic” in other, sometimes unmanageably broad and loose, senses by adding the adjectives “formal” or “deductive”. The scope of the art and science of logic, once one gets beyond elementary logic of the kind covered in introductory textbooks, is indicated by two other standard references, the Handbooks of mathematical and philosophical logic, Barwise [1977] and Gabbay & Guenthner [1983-89], though the latter includes also parts that are identified as applications of logic rather than logic proper. The term “philosophical logic” as currently used, for instance, in the Journal of Philosophical Logic, is a near-synonym for “nonclassical logic”. There is an older use of the term as a near-synonym for “philosophy of language”.
    [Show full text]
  • Frege's Influence on Wittgenstein: Reversing Metaphysics Via the Context Principle*
    Frege's Influence on Wittgenstein: Reversing Metaphysics via the Context Principle* Erich H. Reck Gottlob Frege and Ludwig Wittgenstein (the later Wittgenstein) are often seen as polar opposites with respect to their fundamental philosophical outlooks: Frege as a paradig- matic "realist", Wittgenstein as a paradigmatic "anti-realist". This opposition is supposed to find its clearest expression with respect to mathematics: Frege is seen as the "arch-pla- tonist", Wittgenstein as some sort of "radical anti-platonist". Furthermore, seeing them as such fits nicely with a widely shared view about their relation: the later Wittgenstein is supposed to have developed his ideas in direct opposition to Frege. The purpose of this paper is to challenge these standard assumptions. I will argue that Frege's and Wittgen- stein's basic outlooks have something crucial in common; and I will argue that this is the result of the positive influence Frege had on Wittgenstein. It would be absurd to claim that there are no important differences between Frege and Wittgenstein. Likewise, it would be absurd to claim that the later Wittgenstein was not critical of some of Frege's ideas. What, then, is the common element I see? My sugges- tion is that the two thinkers agree on what I call a reversal of metaphysics (relative to a standard kind of metaphysics attacked by both). This is not an agreement on one particu- lar thesis or on one argument. Rather, it has to do with what is prior and what is posterior when it comes to certain fundamental explanations in metaphysics (also, relatedly, in semantics and epistemology).
    [Show full text]
  • Philosophy of Logic (Routledge Revivals)
    Routledge Revivals Philosophy of Logic First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general. This page intentionally left blank Philosophy of Logic Hilary Putnam First published in the UK in 1972 by George Allen & Unwin Ltd This edition first published in 2010 by Routledge 2 Park Square, Milton Park, Abingdon, Oxon, OX14 4RN Simultaneously published in the USA and Canada by Routledge 270 Madison Avenue, New York, NY 10016 Routledge is an imprint of the Taylor & Francis Group, an informa business © 1971 Hilary Putnam All rights reserved. No part of this book may be reprinted or reproduced or utilised in any form or by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying and recording, or in any information storage or retrieval system, without permission in writing from the publishers. Publisher’s Note The publisher has gone to great lengths to ensure the quality of this reprint but points out that some imperfections in the original copies may be apparent. Disclaimer The publisher has made every effort to trace copyright holders and welcomes correspondence from those they have been unable to contact. A Library of Congress record exists under ISBN: 0041600096 ISBN 13: 978-0-415-58092-2 (hbk) ISBN 10: 0-415-58092-7 (hbk) Philosophy of Logic This page intentionally left blank This page intentionally left blank This page intentionally left blank Philosophy of Logic ••••• Hilary Putnam PHILOSOPHY OF LOGIC.
    [Show full text]
  • Vasiliev and the Foundations of Logic
    Chapter 4 Vasiliev and the Foundations of Logic Otávio Bueno Abstract Nikolai Vasiliev offered a systematic approach to the development of a class of non-classical logics, which he called “Imaginary Logics”. In this paper, IexaminecriticallysomeofthecentralfeaturesofVasiliev’sapproachtological theory, suggesting its relevance to contemporary debates in the philosophy of logic. IarguethatthereismuchofsignificantvalueinVasiliev’swork,whichdeserves close philosophical engagement. Keywords Vasiliev • logical pluralism • Revisability • a priori • negation 4.1 Introduction: Six Central Features of Vasiliev’s Approach to Logical Theory Nikolai Vasiliev’s approach to logical theory has a number of features. Six of them, in particular, are worth highlighting: (a) logical pluralism (there is a plurality of logics, depending on the subject matter under consideration); (b) logical revisability (certain logical laws can be revised depending on the subject matter); (c) logical non-a priorism (certain logical laws are empirically based); (d) logical contingency (given the empirical nature of some logical laws, they are ultimately contingent; in this context, issues regarding the scope of logic are also examined, with the accompanying distinction between laws of objects and laws of thought); (e) the nature of negation (negation is characterized via incompatibility; it is not just difference, nor is it grounded on absence, and it is inferred rather than perceived); and (f) logical commitment (why Vasiliev is not a dialetheist, after all). In this paper, I will examine each of these features, and suggest the relevance of many of Vasiliev’s proposals to contemporary philosophical reflection about the foundations of logic. Although the terms I use to describe some of the views O. Bueno (!) Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA e-mail: [email protected] ©SpringerInternationalPublishingAG2017 43 V.
    [Show full text]
  • Abstract Consequence and Logics
    Abstract Consequence and Logics Essays in honor of Edelcio G. de Souza edited by Alexandre Costa-Leite Contents Introduction Alexandre Costa-Leite On Edelcio G. de Souza PART 1 Abstraction, unity and logic 3 Jean-Yves Beziau Logical structures from a model-theoretical viewpoint 17 Gerhard Schurz Universal translatability: optimality-based justification of (not necessarily) classical logic 37 Roderick Batchelor Abstract logic with vocables 67 Juliano Maranh~ao An abstract definition of normative system 79 Newton C. A. da Costa and Decio Krause Suppes predicate for classes of structures and the notion of transportability 99 Patr´ıciaDel Nero Velasco On a reconstruction of the valuation concept PART 2 Categories, logics and arithmetic 115 Vladimir L. Vasyukov Internal logic of the H − B topos 135 Marcelo E. Coniglio On categorial combination of logics 173 Walter Carnielli and David Fuenmayor Godel's¨ incompleteness theorems from a paraconsistent perspective 199 Edgar L. B. Almeida and Rodrigo A. Freire On existence in arithmetic PART 3 Non-classical inferences 221 Arnon Avron A note on semi-implication with negation 227 Diana Costa and Manuel A. Martins A roadmap of paraconsistent hybrid logics 243 H´erculesde Araujo Feitosa, Angela Pereira Rodrigues Moreira and Marcelo Reicher Soares A relational model for the logic of deduction 251 Andrew Schumann From pragmatic truths to emotional truths 263 Hilan Bensusan and Gregory Carneiro Paraconsistentization through antimonotonicity: towards a logic of supplement PART 4 Philosophy and history of logic 277 Diogo H. B. Dias Hans Hahn and the foundations of mathematics 289 Cassiano Terra Rodrigues A first survey of Charles S.
    [Show full text]
  • Redalyc.Logical Consequence for Nominalists
    THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia ISSN: 0495-4548 [email protected] Universidad del País Vasco/Euskal Herriko Unibertsitatea España ROSSBERG, Marcus; COHNITZ, Daniel Logical Consequence for Nominalists THEORIA. Revista de Teoría, Historia y Fundamentos de la Ciencia, vol. 24, núm. 2, 2009, pp. 147- 168 Universidad del País Vasco/Euskal Herriko Unibertsitatea Donostia-San Sebastián, España Available in: http://www.redalyc.org/articulo.oa?id=339730809003 How to cite Complete issue Scientific Information System More information about this article Network of Scientific Journals from Latin America, the Caribbean, Spain and Portugal Journal's homepage in redalyc.org Non-profit academic project, developed under the open access initiative Logical Consequence for Nominalists Marcus ROSSBERG and Daniel COHNITZ BIBLID [0495-4548 (2009) 24: 65; pp. 147-168] ABSTRACT: It has repeatedly been argued that nominalistic programmes in the philosophy of mathematics fail, since they will at some point or other involve the notion of logical consequence which is unavailable to the nominalist. In this paper we will argue that this is not the case. Using an idea of Nelson Goodman and W.V.Quine's which they developed in Goodman and Quine (1947) and supplementing it with means that should be nominalistically acceptable, we present a way to explicate logical consequence in a nominalistically acceptable way. Keywords: Philosophy of mathematics, nominalism, logical consequence, inferentialism, Nelson Goodman, W.V. Quine. 1. The Argument from Logical Consequence We do not have any strong convictions concerning the question of the existence or non- existence of abstract objects. We do, however, believe that ontological fastidiousness is prima facie a good attitude to adopt.
    [Show full text]