1 Truth and Falsehood

Total Page：16

File Type：pdf, Size：1020Kb

Trends in Logic 36 Wansing Shramko · Trends in Logic 36 Yaroslav Shramko · Heinrich Wansing Truth and Falsehood An Inquiry into Generalized Logical Values The book presents a thoroughly elaborated logical theory of generalized truth values understood as subsets of some established set of (basic) entities. After elucidating the importance of the very notion of a truth value in logic and philosophy, the authors ex- amine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and Michael Dunn and the notion of a bilattice Yaroslav Shramko (a lattice of truth values with two ordering relations) constitute the basis for further generalizations. By doing so, the authors elaborate the idea of a multilattice and, most Heinrich Wansing notably, a trilattice of truth values – a specific algebraic structure with an information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but also determines its own entailment relation. Both semantic and syntactic ways of formalizing these relations by constructing various logical calculi are considered Truth This book is an exceptional contribution to philosophical logic; no one who thinks about truth values should miss it. Taking Truth and Falsehood as objects in Frege's way, the 1 authors serve up a compelling combination of (1) authoritative, encyclopedic, and philo- and Falsehood Truth sophically sensitive history, (2) a careful and persuasive presentation of their beautiful and superuseful theory of sixteen (not just algebraic but really logical) truth values structured and Falsehood as a trilattice, and (3) a dazzling array of related conceptually motivated formal develop- ments that bring the reader to the forefront of current research. Prof. Nuel D. Belnap An Inquiry into Truth and Falsehood, two values. What could be simpler? We can all count to 2. Profes- sors Shramko and Wansing in this book build on earlier work of themselves and others Generalized Logical Values (including Nuel Belnap’s and my “four valued logic”) to show that 2 truth values is barely enough to get started. They consider 4 and especially 16 element truth values, and do not even stop there. Paraphrasing George Gamow, 'Two Four Sixteen Infinity.” This book is thoughtful and bold, philosophical and mathematical, and very well-written. Prof. J. Michael Dunn Could something be both true and false, and neither true nor false? ‘That way,’ claimed Bob Meyer, ‘lies madness’. But if this be madness, yet there is method in’t, as Shramko and Wansing show, unearthing a rich and beautiful family of logical structures. Prof. Graham Priest isbn 978-94-007-0906-5 9 7 8 9 4 0 0 7 0 9 0 6 5.

Copy Link

Recommended publications

Before Refraining: Concepts for Agency Author(S): Nuel Belnap Source: Erkenntnis (1975-), Vol
Before Refraining: Concepts for Agency Author(s): Nuel Belnap Source: Erkenntnis (1975-), Vol. 34, No. 2 (Mar., 1991), pp. 137-169 Published by: Springer Stable URL: http://www.jstor.org/stable/20012334 Accessed: 28/05/2009 14:40 Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=springer. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that promotes the discovery and use of these resources. For more information about JSTOR, please contact [email protected]. Springer is collaborating with JSTOR to digitize, preserve and extend access to Erkenntnis (1975-). http://www.jstor.org NUEL BELNAP BEFORE REFRAINING: CONCEPTS FOR AGENCY ABSTRACT. A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as "a sees to it that Q" ([a sur.Q]).
[Show full text]
The Oberlin Colloquium in Philosophy: Program History
The Oberlin Colloquium in Philosophy: Program History 1960 FIRST COLLOQUIUM Wilfrid Sellars, "On Looking at Something and Seeing it" Ronald Hepburn, "God and Ambiguity" Comments: Dennis O'Brien Kurt Baier, "Itching and Scratching" Comments: David Falk/Bruce Aune Annette Baier, "Motives" Comments: Jerome Schneewind 1961 SECOND COLLOQUIUM W.D. Falk, "Hegel, Hare and the Existential Malady" Richard Cartwright, "Propositions" Comments: Ruth Barcan Marcus D.A.T. Casking, "Avowals" Comments: Martin Lean Zeno Vendler, "Consequences, Effects and Results" Comments: William Dray/Sylvan Bromberger PUBLISHED: Analytical Philosophy, First Series, R.J. Butler (ed.), Oxford, Blackwell's, 1962. 1962 THIRD COLLOQUIUM C.J. Warnock, "Truth" Arthur Prior, "Some Exercises in Epistemic Logic" Newton Garver, "Criteria" Comments: Carl Ginet/Paul Ziff Hector-Neri Castenada, "The Private Language Argument" Comments: Vere Chappell/James Thomson John Searle, "Meaning and Speech Acts" Comments: Paul Benacerraf/Zeno Vendler PUBLISHED: Knowledge and Experience, C.D. Rollins (ed.), University of Pittsburgh Press, 1964. 1963 FOURTH COLLOQUIUM Michael Scriven, "Insanity" Frederick Will, "The Preferability of Probable Beliefs" Norman Malcolm, "Criteria" Comments: Peter Geach/George Pitcher Terrence Penelhum, "Pleasure and Falsity" Comments: William Kennick/Arnold Isenberg 1964 FIFTH COLLOQUIUM Stephen Korner, "Some Remarks on Deductivism" J.J.C. Smart, "Nonsense" Joel Feinberg, "Causing Voluntary Actions" Comments: Keith Donnellan/Keith Lehrer Nicholas Rescher, "Evaluative Metaphysics" Comments: Lewis W. Beck/Thomas E. Patton Herbert Hochberg, "Qualities" Comments: Richard Severens/J.M. Shorter PUBLISHED: Metaphysics and Explanation, W.H. Capitan and D.D. Merrill (eds.), University of Pittsburgh Press, 1966. 1965 SIXTH COLLOQUIUM Patrick Nowell-Smith, "Acts and Locutions" George Nakhnikian, "St. Anselm's Four Ontological Arguments" Hilary Putnam, "Psychological Predicates" Comments: Bruce Aune/U.T.
[Show full text]
Carnap's Pragmatism
CARNAP’S PRAGMATISM by Jonathan Surovell B.A. in Philosophy, McGill University, 2005 Submitted to the Graduate Faculty of the Kenneth P. Dietrich School of Arts and Sciences in partial fulfillment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2013 UNIVERSITY OF PITTSBURGH KENNETH P. DIETRICH SCHOOL OF ARTS AND SCIENCES This dissertation was presented by Jonathan Surovell It was defended on June 13, 2013 and approved by Thomas Ricketts Mark Wilson Nuel Belnap James Shaw Steve Awodey Dissertation Director: Thomas Ricketts ii CARNAP’S PRAGMATISM Jonathan Surovell, PhD University of Pittsburgh, 2013 The dissertation aims to vindicate central elements of the logical empiricist ideal of a scientific philosophy through an interpretation and defense of what I call ‘Carnap’s pragmatism’. The latter is the practical decision to regard scientific language as an instrument for the derivation of accurate, intersubjective, observational knowledge. My account adds to the current state of Carnapian philosophy in two respects. First, Carnap’s pragmatism is fundamental in a sense that is not generally appreci- ated: while many commentators have noted that Carnap views verificationism as a pragmatic proposal, such discussions lack sharp formulations of the underlying prag- matist values or of their connection to verificationism. Second, the lack of attention to pragmatism has led to a truncated picture of the Principle of Tolerance. Toler- ance holds that the scientifically oriented philosopher can choose whichever linguistic tools are useful, regardless of whether they “correctly represent reality”. This aspect of tolerance is typically understood in terms of a “relativity to language”: since lan- guage provides the semantic or evidential rules for inquiry language cannot itself be subject to such rules.
[Show full text]
Anil Gupta, Fellow of the American Academy of Arts and Sciences: Biographical Bibliometric Fact Sheets
Anil Gupta, Fellow of the American Academy of Arts and Sciences: Biographical Bibliometric Fact Sheets E. R. Prakasan and V. L. Kalyane Scientific Information Resource Division, Knowledge Management Group, Bhabha Atomic Research Centre, Trombay, Mumbai, India – 400 085 *e-mail: [email protected] Anil Gupta, Distinguished Professor Logic, Philosophy of Language, Metaphysics, Epistemology PhD, Pittsburgh, 1977 [email protected] Anil Gupta is Distinguished Professor of Philosophy, professor of History and Philosophy of Science, and a fellow of the Center for Philosophy of Science. He is also a fellow of the American Academy of Arts and Sciences. Before joining the department in 2001, he taught at Indiana, Illinois at Chicago, and McGill [1]. Materials and Methods Standard bibliometric methods were used [2-70] for the analysis of the Bibliography (see Appendix) of Anil Gupta [71-117]. Results He is the author of The Logic of Common Nouns (Yale, 1980) and Empiricism and Experience (Oxford, 2006), and a co-author (with Nuel Belnap) of The Revision Theory of Truth (MIT, 1993). Gupta has received fellowships from the NEH and the ACLS, and he was a fellow at the Center for Advanced Study in the Behavioral Sciences, Stanford, in 1998-99. Gupta’s main research interests lie in logic, philosophy of language, metaphysics, and epistemology. Topics that are of special interest to him include definitions, truth, meaning, and perception. 50 7 Number of publications 45 Cumulative Number of Publications 6 40 ations c i 35 ons ubl 5 P cati 30 of 4 25 publi
[Show full text]
What Does It Mean to Say That Logic Is Formal?
WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? by John Gordon MacFarlane A.B., Philosophy, Harvard College, 1991 M.A., Philosophy, University of Pittsburgh, 1994 M.A., Classics, University of Pittsburgh, 1997 Submitted to the Graduate Faculty of Arts and Sciences in partial fulﬁllment of the requirements for the degree of Doctor of Philosophy University of Pittsburgh 2000 i Robert Brandom, Distinguished Service Professor of Philosophy (Director) Nuel Belnap, Alan Ross Anderson Distinguished Professor of Philosophy (Second Reader) Joseph Camp, Professor of Philosophy Danielle Macbeth, Associate Professor of Philosophy, Haverford College (Outside Reader) Kenneth Manders, Associate Professor of Philosophy Gerald Massey, Distinguished Service Professor of Philosophy ii WHAT DOES IT MEAN TO SAY THAT LOGIC IS FORMAL? John Gordon MacFarlane, PhD University of Pittsburgh, 2000 Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a pri- ori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal? Three things: logic is said to be formal (or “topic-neutral”) (1) in the sense that it provides constitutive norms for thought as such, (2) in the sense that it is indiﬀerent to the particular identities of objects, and (3) in the sense that it abstracts entirely from the semantic content of thought.
[Show full text]
What Shifts? Thresholds, Standards, Or Alternatives? Jonathan Schaffer
5 What Shifts? Thresholds, Standards, or Alternatives? Jonathan Schaffer 1. What Shifts? Much of the extant discussion of epistemic contextualism focuses on the 1 question of whether contextualism resolves skeptical paradoxes. Understand- ably. Yet there has been less discussion as to the internal structure of context- ualist theories. Regrettably. Here, for instance, are two questions that could stand further discussion: (i) what is the linguistic basis for contextualism, and (ii) what is the parameter that shifts with context? The question of linguistic basis can be understood as a request for an explanation of how the truth conditions for knowledge ascriptions are sup- posed to shift with context. Is there some extra variable hidden in the syntax? Is ‘knows’ to be treated as a semantic indexical? Are there general indices of semantic evaluation that impact knowledge ascriptions? Or. ? (Here the range of options will depend on one’s overall view of the levels of linguistic structure—further discussion of this issue is under way in this volume.) The question of what parameter shifts can be understood as a request for an explanation of which epistemic gear the wheels of context turn. Is there some shifting threshold for justiWcation? Is there a shifting standard of epistemic 1 Including such foundational presentations of contextualism as Stewart Cohen 1988 and 1999, Keith DeRose 1995, David Lewis 1996, and Mark Heller 1999. 116 Contextualism in Epistemology position? Or is there a shifting set of epistemic alternatives? Or. ? (Here it is not even prima facie clear how or whether these options diVer, though I will clarify the diVerences below.) In what follows, I will focus on the question of what parameter shifts with context.
[Show full text]
Outstanding Contributions to Logic
Outstanding Contributions to Logic Volume 8 Editor-in-chief Sven Ove Hansson, Royal Institute of Technology, Stockholm, Sweden Editorial Board Marcus Kracht, Universität Bielefeld Lawrence Moss, Indiana University Sonja Smets, Universiteit van Amsterdam Heinrich Wansing, Ruhr-Universität Bochum More information about this series at http://www.springer.com/series/10033 Katalin Bimbó Editor J. Michael Dunn on Information Based Logics 123 Editor Katalin Bimbó Department of Philosophy University of Alberta Edmonton, AB Canada ISSN 2211-2758 ISSN 2211-2766 (electronic) Outstanding Contributions to Logic ISBN 978-3-319-29298-4 ISBN 978-3-319-29300-4 (eBook) DOI 10.1007/978-3-319-29300-4 Library of Congress Control Number: 2016930054 © Springer International Publishing Switzerland 2016 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made.
[Show full text]
Curriculum Vitae of Michael Joseph Kremer
Curriculum Vitae of Michael Joseph Kremer Department of Philosophy, University of Chicago, 1115 E. 58th St., Chicago, IL 60637 [email protected] (773) 834-9884 EDUCATION: University of Pittsburgh: M.A., 1983; Ph.D., 1986. (Dissertation: Logic and Truth) University of Toronto: B.A.,1980. ACADEMIC POSITIONS: University of Chicago: Mary R. Morton Professor in the College and the Philosophy Department, 2011- present. Professor, 2002-2010. University of Notre Dame: Professor, 2001-2002. Associate Professor, 1993-2001. Assistant Professor, 1987-1993. Instructor, 1986-87. PUBLICATIONS: (a) Major articles: “Gilbert Ryle on Skill as Knowledge-How,” in The Routledge Handbook of the Philosophy of Skill and Expertise, C. Pavese and E. Fridland, eds. (London: Routledge, 2020). “Definitions in the Begriffsschrift and the Grundgesetze,” in Essays on Frege’s Basis Laws of Arithmetic, M. Rossberg and P. Ebert, eds. (Oxford: Oxford University Press, 2019). “Ryle’s ‘Intellectualist Legend’ in Historical Context,” The Journal of the History of Analytical Philosophy 5(5) (2017): 16-37. DOI 10.15173/jhap.v5i5.3204 “‘One of my feet was still pretty firmly encased in this boot’: Behaviorism and The Concept of Mind,” in Analytic Philosophy: An Interpretive History, Aaron Preston, ed. (London: Routledge, 2017). “A Capacity to Get Things Right: Gilbert Ryle on Knowledge,” European Journal of Philosophy 25 (2017): 25-46. DOI 10.1111/ejop.12150. “Ideology and Knowledge-How: A Rylean Perspective,” Theoria (Spain) 31 (2016): 295-311, 1 DOI 10.1387/theoria.16292. “Acquaintance, Analysis, and Knowledge of Persons in Russell,” in Acquaintance, Knowledge, and Logic: New Essays on Bertrand Russell’s The Problems of Philosophy, B.
[Show full text]
The Many Branches of Belnap's Logic
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Springer - Publisher Connector Introduction: The Many Branches of Belnap’s Logic Thomas Müller Abstract In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a brief overview of some of the formal frameworks and methods involved in Bel- nap’s work on these topics: theories of branching histories, speciﬁcally “branching time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and case-intensional ﬁrst order logic. We also draw some connections to the contribu- tions included in this volume. Abstracts of these contributions are included as an appendix. Nuel Belnap’s work in logic and in philosophy spans a period of over half a century. During this time, he has followed a number of different research lines, most of them over a period of many years or decades, and often in close collaboration with other researchers:1 relevance logic, a long term project starting from a collaboration with Alan Anderson dating back to the late 1950s and continued with Robert Meyer and Michael Dunn into the 1990s; the logic of questions, developed with Thomas Steel in the 1960s and 1970s; display logic in the 1980s and 1990s; the revision theory of truth, with Anil Gupta, in the 1990s; and a long-term, continuing interest in indeterminism and free action. This book is devoted to Belnap’s work on the latter two topics. In this introduction, we provide a brief overview of some of the formal frameworks and methods involved in that work, and we draw some connections to the contributions included in this volume.
[Show full text]
On What We Know We Don't Know
On What We Know We Don't Know Explanation, Theory, Linguistics, and How Questions Shape Them On What We Know We Don't Know Explanation, Theory, Linguistics, and How Questions Shape Them Sylvain Bromberger The University of Center for the Study of Chicago Press Language and Information Chicago and London Stanford The University of Chicago Press, Chicago 60637 The University of Chicago Press, Ltd., London c 1992 by the Center for the Study of Language and Information Leland Stanford Junior University All rights reserved. Published 1992 Printed in the United States of America 99 98 97 96 95 94 93 92 5 4 3 2 1 CIP data and other information appear at the end of the book To the memory of Aristides de Sousa Mendes Portuguese Consul in Bordeaux in June 1940 with gratitude Contents Introduction 1 1 An Approach to Explanation 18 2 A Theory about the Theory of Theory and about the Theory of Theories 52 3 Why-Questions 75 4 Questions 101 5 Science and the Forms of Ignorance 112 6 Rational Ignorance 128 7 What We Don't Know When We Don't Know Why 145 8 Types and Tokens in Linguistics 170 9 The Ontology of Phonology 209 with Morris Halle Bibliography 229 vii Introduction The nine papers in this book cover topics as diverse as the nature of explanation, the ambiguity of the word theory, the varieties of ig- norance, the limits of rationality in the choice of questions, and the ontology of linguistics. Each is self-contained and can be read inde- pendently of the others.
[Show full text]
Dual-Belnap Logic and Anything but Falsehood
Dual-Belnap Logic and Anything but Falsehood Yaroslav Shramko Department of Philosophy, Kryvyi Rih State Pedagogical University, Kryvyi Rih, 50086, Ukraine [email protected] Abstract This paper presents an inquiry into a proof system for a logic based on four Belnapian truth values, in which any truth value but the pure falsehood is designated. To this effect, I first implement a certain dualization of what Font terms ‘Belnap’s logic’, and then show how it can be suitably extended. The resulting systems are of the Fmla-Set type dually to the standard formulation of Belnap’s logic and the Exactly True Logic by Pietz and Rivieccio. I restate some philosophical motivation for the entailment relation of the Fmla-Set type by briefly comparing it with the usual Set-Fmla logical systems. 1 Preliminaries: Dunn and Belnap’s four-valued seman- tics and designated truth values J.Michael Dunn in his doctoral dissertation [9] initiated a strategy of semantic anal- ysis, according to which sentences can systematically be considered not just true, or just false, but also neither true nor false, or both true and false simultaneously. This strategy has been technically implemented by constructing an ‘intuitive semantics for first-degree entailment’ in [10]; see also a comprehensive discussion (and gener- alization) of the subject in [11, 12]. Motivations for this approach may be various such as argumentative discourse, contradictory or incomplete theoretical systems, and philosophical paradoxes. Following this strategy, Nuel Belnap [6, 7] introduced some weighty considera- tions from the computing field, in which sources and databases are often far from perfect, which forces the computers to deal with unreliable or corrupt information.
[Show full text]
Two Entries from the Dictionary of Modern American Philosophers Edited by John R
Two entries from the Dictionary Of Modern American Philosophers edited by John R. Shook, Thoemmes Continuum, 2005 belnap, nuel dinsmore jr. (1930– ) Nuel Belnap was born on 1 May 1930 in Evanston, Illinois. He received an Illinois BA in 1952, and moving to Yale for postgraduate study in logic under the supervision of Alan Anderson, he received an MA in 1957 and a PhD in 1960. After graduation, Belnap continued to work at Yale as an Assistant Professor until 1963, whereupon he moved to the Department of Philosophy at the University of Pittsburgh to take up a position as an Associate Professor. He remains there to this day, where he is now the Alan Ross Anderson Distinguished Professor of Philosophy, in addition to holding positions in Sociology, History and Philosophy of Science, and in the Intelligent Systems Program. Belnap’s research covers logic and related fields such as the philosophy of language and metaphysics and philosophy of science. His name is most often associated with his teacher and colleague Alan Anderson and their research program in relevance logic. Belnap’s research, with Anderson, and their colleagues and students, first at Yale, and then at Pittsburgh, provided a rigorous formal theory of logical consequence and implication that takes account of relevance. The two volumes Entailment (1975, 1992) provide a survey of work in this field, which has continued since the 1950’s. Belnap’s contributions to relevance logic are too numerous to list here, but many have gone on to shape a thriving, if not quite orthodox, research community. A good example of Belnap’s contributions here is his paper “Display Logic” (1982), which develops a new way of seeing the structure of proof, encompassing classical, intuitionistic, modal and relevance logic.
[Show full text]