TYPES, TABLEAUS, AND GODEL' S GOD
|
|
- Darren Sharp
- 5 years ago
- Views:
Transcription
1 TYPES, TABLEAUS, AND GODEL' S GOD
2 TRENDS IN LOGIC Studia Logica Library VOLUME 13 Managing Editor Ryszard Wojcicki, Institute of Philosoph y and Sociolog y. Polish Academ y of Sciences. Warsaw, Poland Editors Daniele Mundici, Department ofcomputer Sciences, University ofmilan, Italy Ewa Orlowska, National Institute oftelecommunications, Warsaw. Poland Graham Priest, Department ofphilosophy, University ofqueensland, Brisbane, Australia Krister Segerberg, Department of Philosoph y, Uppsala University, Sweden Alasdair Urquhart, Department of Philosoph y, University of Toronto, Canada Heinrich Wansing, Institute ofphilosophy, Dresden University oftechnology, Germany SCOPE OF THE SERIES Trends in Logic is a bookseries covering essentially the same area as the journal Studia Logica - that is, contemporary formal logic and its applications and relations to other disciplines. These include artificial intelligence, informatics, cognitive science, philosophy of science, and the philosophy of language. However, this list is not exhaustive, moreover, the range of applications, comparisons and sources of inspiration is open and evolves over time. Volume Editor Heinrich Wansing The titles published in this series are listed at the end of this volume.
3 MELVIN FITIING Lehman College and the Graduate Center; City University of New York, U.S.A. TYPES, TABLEAUS, AND GODEL'S GOD " SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.
4 A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN ISBN (ebook) DOI / Printed on acid-free paper AII Rights Reserved 2002 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 2002 Softcover reprint of the hardcover 1 st edition 2002 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work.
5 Contents PREFACE Xl Part I CLASSICAL LOGIC 1. CLASSICAL LOGIC-SYNTAX 3 1 Terms and Formulas 3 2 Substitutions 8 2. CLASSICAL LOGIC-SEMANTICS 11 1 Classical Models 11 2 Truth in a Model 12 3 Problems Compactness Strong Completeness Weak Completeness And Worse 17 4 Henkin Models 19 5 Generalized Henkin Models 24 6 A Few Technical Results Terms and Formulas Extensional Models Language Extensions CLASSICAL LOGIC-BASIC TABLEAUS 33 1 A Different Language 33 2 Basic Tableaus 35 3 Tableau Examples 37 v
6 vi TYPES, TABLEAUS, AND GODEL'S GOD 4. SOUNDNESS AND COMPLETENESS 43 1 Soundness 43 2 Completeness Hintikka Sets Pseudo- Models Substitution and Pseudo-Models Hintikka Sets and Pseudo- Models Pseudo- Models are Models Completeness At Last 63 3 Miscellaneous Model Theory EQUALITY 69 1 Adding Equality 69 2 Derived Rules and Tableau Examples 69 3 Soundness and Completeness EXTENSIONALITY 77 1 Adding Extensionality 77 2 A Derived Rule and an Example 77 3 Soundness and Completeness 79 Part II MODAL LOGIC 7. MODAL LOGIC, SYNTAX AND SEMANTICS 83 1 Introduction 83 2 Types and Syntax 86 3 Constant Domains and Varying Domains 89 4 Standard Modal Models 90 5 Truth in a Model 92 6 Validity and Consequence 94 7 Examples 95 8 Related Systems Henkin/Kripke Models MODAL TABLEAUS The Rules Prefixes Propositional Rules 107
7 Contents VB 1.3 Modal Rules Quantifier Rules Abstraction Rules Atomic Rules Proofs and Derivations Tableau Examples A Few Derived Rules MISCELLANEOUS MATTERS Equality Equality Axioms Extensionality De Re and De Dicto Rigidity Stability Conditions Definite Descriptions Choice Functions 128 Part III ONTOLOGICAL ARGUMENTS 10. GODEL'S ARGUMENT, BACKGROUND Introduction Anselm Descartes Leibniz GCidel Codel's Argument, Informally GODEL'S ARGUMENT, FORMALLY General Plan Positiveness Possibly God Exists Objections Essence Necessarily God Exists Going Further Monotheism 162
8 viii TYPES, TABLEAUS, AND GODEL 'S GOD 7.2 Positive Properties are Necessarily Instantiated More Objections A Solution Anderson's Alternative Conclusion 171 REFERENCES INDEX
9 Truth did not come into the world naked, but it came in types and images. One will not receive truth in any other way. The Gospel of Philip [Rob77]
10 Preface What's Here This is a book about intensional logic. It also provides a thorough look at higher-type classical logic, including tableaus and a completeness proof for them. It also provides a formal examination of the Godel ontological argument. These are not disparate topics. Higher-type classical logic is intensional logic with the intensional features removed, so this is a good place to start. Ontological arguments, Godel's in particular, are natural examples of intensional logic at work, so this is a good place to finish. The term formal logic covers a broad range of inventions. At one end are small, special-purpose systems; at the other are rich, expressive ones. Higher-type modal logic-intensional logic-is one of the rich ones. Originating with Carnap and Montague, it has been applied to provide a semantics for natural language, to model intensional notions, and to treat long-standing philosophical problems. Recently it has also supplied a semantic foundation for some complex database systems. But besides being rich and expressive, it is also tremendously complex, and requires patience and sympathy on the part of its students. There are two quite different reasons to be interested in a logic. There is its formal machinery for its own sake, and there is using the formal machinery to address problems from the outside world. The mechanism of higher-type modal logic is complex and requires serious mathematics to develop properly. Models are not simple to define, and tableau systems are quite elaborate. A completeness argument, to connect the two, is difficult. But, the machinery is of considerable interest, if this is the sort of thing you have a considerable interest in. Ifyou are such a reader, applications concerning the existence of God can simply be skipped. On the other hand, if philosophical applications are what you are after, the xi
11 xii TYPES, TABLEAUS, AND GODEL'S GOD Godel ontological argument is a prime example. If this is the kind of reader you are, much of the mathematical background can be taken on faith, so to speak. It is a rare reader who will be interested equally in both the formal and the applied aspects of intensional logic. In a sense, then, this book has no audience-there are separate audiences for different parts of it. (But I encourage these audiences to do some 'crossing over.') Ifyou are interested in ontological arguments for their own sakes, start with Part III, and pick up material from earlier chapters as it is needed. If you are interested in the mathematical details of the formal system, its semantics and its proof theory, Parts I and II will be of interest-you can skimp on reading Part III. Part I is entirely devoted to classical logic, and Part II to modal. Here is a more detailed summary. Part I presents higher-type classical logic. It begins with a discussion of syntax matters, Chapter 1. I present types in Schutte's style, rather than following Church. Types can be somewhat daunting and I've tried to make things go as smoothly as I can. Chapter 2 examines semantics in considerable detail. What are sometimes called "true" higher-order models are presented first. After this, Henkin's generalization is given, and finally a non-extensional version of Henkin models is defined. Henkin himself mentioned such models, but knowledge of them does not seem to be widespread. They are natural, and should become more familiar to the logic community-the philosophical logic community in particular. Classical higher-order tableaus are formulated in Chapter 3. These are not original here-versions can be found in several places. A number of worked out examples of tableau proofs are given, and more are in exercises. The system is best understood if used. I do not attempt a consideration of automation-the system is designed entirely for human application. There is even some discussion of why. Soundness and completeness are proved in Chapter 4. Tableaus are complete with respect to non-extensional Henkin models. The completeness argument is not original; it is, however, intricate, and detailed proofs are scarce in the literature. After the hard work has been done, equality and extensionality are easy to add using axioms, and this is done in Chapters 5 and 6. And this concludes Part I. Except for the explicit formulation of non-extensional models, the material in Part I is not original-see [Tak67, Pra68, To175, And86, Sha91, Lei94, Koh95, Man96], for example. Part II is devoted to the complications that modality brings. Chapter 7 adds the usual box and diamond to the syntax, and possible worlds
12 PREFACE xiii to the semantics. It is now that choices must be made, since quantified modal logic is not a thing, but a multitude. First, at ground level quantifiers could be actualist or possibilistthey can range over what actually exists at a world, or over what might exist. This corresponds to the varying domain, constant domain split familiar to many from first-order modal discussions. However, either an actualist or a possibilist approach can simulate the other. I opt for a possibilist approach, with an explicit existence predicate, because it is technically simpler. Next, we must go up the ladder of higher types. Doing so extensionally, as in classical logic, means we take subsets of the ground-level domain, subsets of these, and so on. Going up intensionally, as Montague did, means we introduce functions from possible worlds to sets of groundlevel objects, functions from possible worlds to sets of such things, and so on. What is presented here mixes the two notions-both extensional and intensional objects are present. I refer you to [FitOOb, FitOOa] for applications of these ideas to database theory-intensional and extensional objects make natural sense even in such a context. Classical tableau rules are adapted in Chapter 8, using prefixes, to produce modal systems. While the modal tableau rules are rather straightforward, they are new to the literature, and should be of interest. Since things are already quite complex, no completeness proof is given. If it were given, it would be a direct extension of the classical proof of Part 1. Using modal semantics and tableaus, in Chapter 9 I discuss the relationships between rigidity, de re and de dicto usages, and what I call Godel's stability conditions, which arise in his proof of the existence of God. I also relate all this to definite descriptions. While this is not deep material, much of it does not seem to have been noted before, and many should find it of some significance. Finally, Part III is devoted to ontological proofs. Chapter 10 gives a brief history and analysis of arguments of Anselm, Descartes, and Leibniz. This is followed by a longer, still informal, presentation of the Godel argument itself. Formal methods are applied in Chapter 11, where Godel's proof is examined in great detail. While Godel's argument is formally correct, some fundamental flaws are pointed out. One, noted by Sobel, is that it is too strong-the modal system collapses. This could be seen as showing that free will is incompatible with Godel's assumptions. Some ways out of this are explored. Another flaw is equally serious: Godel assumes as an axiom something directly equivalent to a key conclusion of his argument. The problematic axiom is related to a principle Leibniz proposed as a way of dealing with a hole he found in an ontological proof of Descartes. Descartes, Leibniz, and Godel (and
13 XIV TYPES, TABLEAUS, AND GODEL'S GOD also Anselm) all have proofs that stick at the same point: showing that the existence of God is possible. If the Oodel argument is what you are interested in, start with Part III, and pick up earlier material as needed. Many of the uses of the formalism are relatively intuitive. Indeed, in Codel's notes on his ontological argument, formal machinery is never discussed, yet it is possible to get a sense of what it is about anyway. How Did This Get Written? Having just completed work on a book about first-order modal logic, [FM98], a look at higher-order modal logic suggested itself. I thought I would use Godel's ontological argument as a paradigm, because it is one of the few examples I have run across that makes essential use of higherorder modal constructs. Codel's argument for the existence of God is not particularly well-known, but there is a growing body of literature on it. This literature sometimes gives formalizations of Codel's rather sketchy ideas-generally along natural deduction or axiomatic lines. My idea was, I would design a tableau system within which the argument could be formalized, and this might lead to a nice paper illustrating the use of tableau methods. First, give tableau rules, then give Godel's proof. One cannot really develop semantic tableaus without a semantics behind it. The semantics of higher-order modal logic turned out to be of considerable intricacy, far beyond what could even be sketched in a paper. Clearly, an extended discussion of the semantics for higher-order modal logic was needed before the tableau rules could be motivated. I soon realized that in presenting higher-order modal logic, I was trying to explicate ideas coming from two quite different sources. On the one hand, there are essentially modal problems, some of which already arise at the first-order level and have little to do with higher-order constructs. On the other hand, a number of higher-order modal complexities also manifest themselves in a classical setting, and can be discussed more clearly without modalities complicating things. So I decided that before modal operators were introduced, I would give a thorough presentation of a semantics and tableau system for higher-order classical logic. There are already treatments of tableau, or Gentzen, systems for higher-order classical logic in the literature, but I felt it would be useful to give things in full here. Detailed completeness proofs are hard to find, for instance. Higher-order classical logic already has its hidden pitfalls. It is common knowledge, so to speak, that "true" higher-order classical models cannot correspond to any proof procedure. Henkin models are what is needed. But a "natural" formulation of tableaus is not complete with respect to Henkin models either. This is something known to experts-
14 PREFACE xv it was not known to me when I started this book. A broader notion of Henkin model (also due to Henkin) is needed, a non-extensional version. Such models should be better known since they are actually quite plausible things, and address problems that, while not common in mathematics, do arise in linguistic applications of logic. In the 1960's, cut-elimination theorems were proved for higher-order classical logic, using semantic methods that relied on non-extensional models. In effect, these cut-elimination proofs concealed a completeness argument within them, but the general notion of non-extensional model was not formulated abstractly--only the specific structure constructed by the completeness argument was considered. In short, a completeness theorem was never stated, only a consequence, albeit a very important one. So I found myself required to formulate a general notion of classical non-extensional Henkin model, then prove completeness for a suitable classical tableau system. After this I could move on to discuss modality. What sort of modal features did I want? Formalizations of the G6del argument by others had generally used some version of an intensional logic, with origins in work of Carnap, [Car56], developed and applied by Montague, [Mon60, Mon68, Mon70], and formally elaborated in [GaI75]. After several preliminary attempts I decided this logic was not quite what I wanted. In it, semantically speaking, all objects are intensional. I decided I needed a logic containing both intensional and extensional objects. Of course, one could bring extensional objects into the Montague setting by identifying them with objects that are rigid, in an appropriate sense, but it seemed much more natural to have extensional objects from the start. Thus the modal logic given in the second part of this book is somewhat different from what has been previously considered. Once I had formulated the modal logic I wanted, tableau rules were easy, and I could finally formalize the G6del argument. What began as a short paper had turned into a book. My after-the-fact justification is that there are few treatments of higher-order logic at all, and fewer still of higher-order modal logic. It is a rare flower in a remote field. But it is a pretty flower. Acknowledgments An earlier draft of this work was on my web page for some time, and I was given several helpful suggestions as a result. In particular I want to thank Peter Hajek, Oliver Kutz, Paul Gilmore, and especially Howard Sobel.
PHILOSOPHICAL LOGIC AND LOGICAL PHILOSOPHY
PHILOSOPHICAL LOGIC AND LOGICAL PHILOSOPHY Editorial Committee: Peter I. Bystrov, Institute of Philosophy, Russian Academy of Sciences, Moscow, Russia Arkady Blinov, Institute of Philosophy, Russian Academy
More informationANAPHORA AND TYPE LOGICAL GRAMMAR
ANAPHORA AND TYPE LOGICAL GRAMMAR TRENDS IN LOGIC Studia Logica Library VOLUME 24 Managing Editor Ryszard Wójcicki, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland Editors
More informationSTUDIES IN PHILOSOPHY AND RELIGION
A THEODICY OF HELL STUDIES IN PHILOSOPHY AND RELIGION Volume 20 The titles published in this series are listed at the end of this volume. A THEODICY OF HELL by CHARLES SEYMOUR SPRINGER-SCIENCE+BUSINESS
More informationWHOLES. SUMS AND UNITIES
WHOLES. SUMS AND UNITIES PHILOSOPHICAL STUDIES SERIES VOLUME 97 Founded by Wilfrid S. Sellars and Keith Lehrer Editor Keith Lehrer, University of Arizona, Tucson Associate Editor Stewart Cohen, Arizona
More informationPHENOMENOLOGICAL ASPECTS OF WITTGENSTEIN'S PHILOSOPHY
PHENOMENOLOGICAL ASPECTS OF WITTGENSTEIN'S PHILOSOPHY SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Boston University Editors:
More informationA HUNDRED YEARS OF ENGLISH PHILOSOPHY
A HUNDRED YEARS OF ENGLISH PHILOSOPHY PHILOSOPHICAL STUDIES SERIES VOLUME94 Founded by Wilfrid S. Sellars and Keith Lehrer Editor Keith Lehrer, University of Arizona, Tucson Associate Editor Stewart Cohen,
More informationAll They Know: A Study in Multi-Agent Autoepistemic Reasoning
All They Know: A Study in Multi-Agent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.uni-bonn.de
More informationHow Gödelian Ontological Arguments Fail
How Gödelian Ontological Arguments Fail Matthew W. Parker Abstract. Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer
More informationKNOWLEDGE AND DEMONSTRATION
KNOWLEDGE AND DEMONSTRATION The New Synthese Historical Library Texts and Studies in the History of Philosophy VOLUME 56 Managing Editor: SIMO KNUUTTILA, University of Helsinki Associate Editors: DANIEL
More informationReview of Philosophical Logic: An Introduction to Advanced Topics *
Teaching Philosophy 36 (4):420-423 (2013). Review of Philosophical Logic: An Introduction to Advanced Topics * CHAD CARMICHAEL Indiana University Purdue University Indianapolis This book serves as a concise
More informationTable of x III. Modern Modal Ontological Arguments Norman Malcolm s argument Charles Hartshorne s argument A fly in the ointment? 86
Table of Preface page xvii divinity I. God, god, and God 3 1. Existence and essence questions 3 2. Names in questions of existence and belief 4 3. Etymology and semantics 6 4. The core attitudinal conception
More informationA Judgmental Formulation of Modal Logic
A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical
More informationConstructive Logic, Truth and Warranted Assertibility
Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................
More informationCONTENTS A SYSTEM OF LOGIC
EDITOR'S INTRODUCTION NOTE ON THE TEXT. SELECTED BIBLIOGRAPHY XV xlix I /' ~, r ' o>
More informationLOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE
LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE VOLUME 1 Editors Shahid Rahman, University of Lille III, France John Symons, University of Texas at El Paso,
More informationThe Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011
The Ontological Argument for the existence of God Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011 The ontological argument (henceforth, O.A.) for the existence of God has a long
More informationLogic and Pragmatics: linear logic for inferential practice
Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24
More informationSemantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
More informationThe Challenge of Religious Discrimination at the. Dawn of the New Millennium
The Challenge of Religious Discrimination at the Dawn of the New Millennium The Challenge of Religious Discrimination at the Dawn of the New Millennium Edited by Nazila Ghanea Springer-Science+Business
More informationComputational Metaphysics
Computational Metaphysics John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby, SR I Computational Metaphysics 1 Metaphysics The word comes from Andronicus of Rhodes,
More informationEMPIRICISM AND DARWIN'S SCIENCE
EMPIRICISM AND DARWIN'S SCIENCE THE UNIVERSITY OF WESTERN ONTARIO SERIES IN PHILOSOPHY OF SCIENCE A SERIES OF BOOKS IN PHILOSOPHY OF SCIENCE, METHODOLOGY, EPISTEMOLOGY, LOGIC, HISTORY OF SCIENCE, AND RELATED
More informationPredicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain
Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more
More informationSOME PROBLEMS IN REPRESENTATION OF KNOWLEDGE IN FORMAL LANGUAGES
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 30(43) 2012 University of Bialystok SOME PROBLEMS IN REPRESENTATION OF KNOWLEDGE IN FORMAL LANGUAGES Abstract. In the article we discuss the basic difficulties which
More informationART, EDUCATION, AND THE DEMOCRATIC COMMITMENT
ART, EDUCATION, AND THE DEMOCRATIC COMMITMENT Philosophical Studies in Contemporary Culture VOLUME 7 Series Editor H. Tristram Engelhardt, Jr., Center for Medical Ethics and Health Policy, Baylor College
More informationSOVIET RUSSIAN DIALECTICAL MA TERIALISM [DIAMAT]
SOVIET RUSSIAN DIALECTICAL MA TERIALISM [DIAMAT] J. M. BOCHENSKI SOVIET RUSSIAN DIALECTICAL MATERIALISM [DIAMAT] D. REIDEL PUBLISHING COMPANY DORDRECHT-HOLLAND Der Sowjet-Russische Dialektische Materialismus
More informationNegative Introspection Is Mysterious
Negative Introspection Is Mysterious Abstract. The paper provides a short argument that negative introspection cannot be algorithmic. This result with respect to a principle of belief fits to what we know
More informationCould There Have Been Nothing?
Could There Have Been Nothing? This page intentionally left blank Could There Have Been Nothing? Against Metaphysical Nihilism Geraldine Coggins Keele University, UK Geraldine Coggins 2010 Softcover reprint
More informationTHE POSSIBILITY OF AN ALL-KNOWING GOD
THE POSSIBILITY OF AN ALL-KNOWING GOD The Possibility of an All-Knowing God Jonathan L. Kvanvig Assistant Professor of Philosophy Texas A & M University Palgrave Macmillan Jonathan L. Kvanvig, 1986 Softcover
More informationClass 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is
Philosophy 240: Symbolic Logic Fall 2009 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu I. The riddle of non-being Two basic philosophical questions are:
More informationTHE LOGIC OF INVARIABLE CONCOMITANCE IN THE TATTVACINTĀMANI
THE LOGIC OF INVARIABLE CONCOMITANCE IN THE TATTVACINTĀMANI С. GOEKOOP THE LOGIC OF INVARIABLE CONCOMITANCE IN THE TATTVACINTĀMANI GANGEŚA S ANUMITINIRŪPANA AND VYĀPTIVĀDA WITH INTRODUCTION TRANSLATION
More informationIntuitive evidence and formal evidence in proof-formation
Intuitive evidence and formal evidence in proof-formation Okada Mitsuhiro Section I. Introduction. I would like to discuss proof formation 1 as a general methodology of sciences and philosophy, with a
More informationNecessity and Truth Makers
JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31-007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/jan-wolenski Keywords: Barry Smith, logic,
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationINQUIRY AS INQUIRY: A LOGIC OF SCIENTIFIC DISCOVERY
INQUIRY AS INQUIRY: A LOGIC OF SCIENTIFIC DISCOVERY JAAKKO HINTIKKA SELECTED PAPERS VOLUME 5 1. Ludwig Wittgenstein. Half-Truths and One-and-a-Half-Truths. 1996 ISBN 0-7923-4091-4 2. Lingua Universalis
More informationFrom Necessary Truth to Necessary Existence
Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing
More informationOn A New Cosmological Argument
On A New Cosmological Argument Richard Gale and Alexander Pruss A New Cosmological Argument, Religious Studies 35, 1999, pp.461 76 present a cosmological argument which they claim is an improvement over
More informationTHE APOLOGETIC VALUE OF HUMAN HOLINESS
THE APOLOGETIC VALUE OF HUMAN HOLINESS STUDIES IN PHILOSOPHY AND RELIGION Volume 21 The titles published in this series are listed at the end ofthis volume. THE APOLOGETIC VALUE OF HUMAN HOLINESS Von Balthasar's
More informationIMAGINATION AND REFLECTION: INTERSUBJECTIVITY FICHTE'S: GRUNDLAGE OF 1794
IMAGINATION AND REFLECTION: INTERSUBJECTIVITY FICHTE'S: GRUNDLAGE OF 1794 MARTINUS NIJHOFF PHILOSOPHY LIBRARY VOLUMES Other volumes in the series: 1. D. Lamb, Hegel- From Foundation to system. 1980. ISBN
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 10 Inference in First Order Logic I had introduced first order
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
More informationTruth and Modality - can they be reconciled?
Truth and Modality - can they be reconciled? by Eileen Walker 1) The central question What makes modal statements statements about what might be or what might have been the case true or false? Normally
More informationTABLE OF CONTENTS. Comments on Bibliography and References
TABLE OF CONTENTS PREFACE Comments on Bibliography and References xiii xiii CHAPTER I / The Origin and Development of the Lvov- Warsaw School 1 1. The Rise of the Lvov-Warsaw School and the Periods in
More informationInformalizing Formal Logic
Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More informationDoes Deduction really rest on a more secure epistemological footing than Induction?
Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction
More informationTHE CONCEPT OF GOD, THE ORIGIN OF THE WORLD, AND THE IMAGE OF THE HUMAN IN THE WORLD RELIGIONS
THE CONCEPT OF GOD, THE ORIGIN OF THE WORLD, AND THE IMAGE OF THE HUMAN IN THE WORLD RELIGIONS THE CONCEPT OF GOD, THE ORIGIN OF THE WORLD, AND THE IMAGE OF THE HUMAN IN THE WORLD RELIGIONS Editedby PETER
More informationTHE EVENT OF DEATH: A PHENOMENOLOGICAL ENQUIRY
MARTINUS NIJHOFF PHILOSOPHY LIBRARY VOLUME 23 For a complete list of volumes in this series see final page of the volume. The Event of Death: A Phenomenological Enquiry by Ingrid Leman-Stefanovic 1987
More informationILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,
More informationTruth At a World for Modal Propositions
Truth At a World for Modal Propositions 1 Introduction Existentialism is a thesis that concerns the ontological status of individual essences and singular propositions. Let us define an individual essence
More informationCan Negation be Defined in Terms of Incompatibility?
Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives
More informationPROFILES EDITORS EDITORIAL BOARD. RADU J. BOGDAN, Tulane University ILKKA NIINILUOTO, University of Helsinki VOLUME 4
D.M.ARMSTRONG PROFILES AN INTERNATIONAL SERIES ON CONTEMPORAR Y PHILOSOPHERS AND LOGICIANS EDITORS RADU J. BOGDAN, Tulane University ILKKA NIINILUOTO, University of Helsinki EDITORIAL BOARD D. FQ>LLESDAL,
More informationThe Ontological Modal Collapse as a Collapse of the Square of Opposition
The Ontological Modal Collapse as a Collapse of the Square of Opposition Christoph Benzmüller and Bruno Woltzenlogel Paleo Abstract. The modal collapse that afflicts Gödel s modal ontological argument
More informationPotentialism about set theory
Potentialism about set theory Øystein Linnebo University of Oslo SotFoM III, 21 23 September 2015 Øystein Linnebo (University of Oslo) Potentialism about set theory 21 23 September 2015 1 / 23 Open-endedness
More informationLogic and Ontology JOHN T. KEARNS COSMOS + TAXIS 1. BARRY COMES TO UB
JOHN T. KEARNS Department of Philosophy University at Buffalo 119 Park Hall Buffalo, NY 14260 United States Email: kearns@buffalo.edu Web: https://www.buffalo.edu/cas/philosophy/faculty/faculty_directory/kearns.html
More informationBroad on Theological Arguments. I. The Ontological Argument
Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that
More informationEthics in Cyberspace
Ethics in Cyberspace Thomas Ploug Ethics in Cyberspace How Cyberspace May Influence Interpersonal Interaction 123 Professor Thomas Ploug Copenhagen Institute of Technology, AAUK. Lautrupvang 2B 2750 Ballerup
More informationModal Truths from an Analytic-Synthetic Kantian Distinction
Modal Truths from an Analytic-Synthetic Kantian Distinction Francesca Poggiolesi To cite this version: Francesca Poggiolesi. Modal Truths from an Analytic-Synthetic Kantian Distinction. A. Moktefi, L.
More informationOn the epistemological status of mathematical objects in Plato s philosophical system
On the epistemological status of mathematical objects in Plato s philosophical system Floris T. van Vugt University College Utrecht University, The Netherlands October 22, 2003 Abstract The main question
More informationManaging Editor: Editors:
SELF AND OTHERS SYNTHESE LIBRARY STUDIES IN EPISTEMOLOGY, LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE Managing Editor: JAAKKO HINTIKKA, Florida State University, Tallahassee Editors: DONALD DAVIDSON,
More informationEtchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):
Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical
More informationAyer and Quine on the a priori
Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified
More informationHENRY E. KYBURG, JR. & ISAAC LEVI
HENRY E. KYBURG, JR. & ISAAC LEVI PROFILES AN INTERNATIONAL SERIES ON CONTEMPORAR Y PHILOSOPHERS AND LOGICIANS EDITORS RADU J. BOGDAN, Tulane University ILKKA NIINIL UOTO, University of Helsinki EDITORIAL
More informationBOOK REVIEWS. About a new solution to the problem of future contingents
Logic and Logical Philosophy Volume 26 (2017), 277 281 DOI: 10.12775/LLP.2016.024 BOOK REVIEWS About a new solution to the problem of future contingents Marcin Tkaczyk, Futura contingentia, Wydawnictwo
More informationLogical Omniscience in the Many Agent Case
Logical Omniscience in the Many Agent Case Rohit Parikh City University of New York July 25, 2007 Abstract: The problem of logical omniscience arises at two levels. One is the individual level, where an
More informationBob Hale: Necessary Beings
Bob Hale: Necessary Beings Nils Kürbis In Necessary Beings, Bob Hale brings together his views on the source and explanation of necessity. It is a very thorough book and Hale covers a lot of ground. It
More informationFROM THE ACT OF JUDGING TO THE SENTENCE
FROM THE ACT OF JUDGING TO THE SENTENCE The Problem of Truth Bearers from Bolzano to Tarski by ARTUR ROJSZCZAK f Jagiellonian University, Krakow, Poland Edited by JAN WOLENSKI Jagiellonian University,
More informationREVIEW. Hilary Putnam, Representation and Reality. Cambridge, Nass.: NIT Press, 1988.
REVIEW Hilary Putnam, Representation and Reality. Cambridge, Nass.: NIT Press, 1988. In his new book, 'Representation and Reality', Hilary Putnam argues against the view that intentional idioms (with as
More informationPhilosophy and Education
ENHANCING HUMANITY Philosophy and Education VOLUME 9 Series Editor: Robert E. Floden, Michigan State University, East Lansing, MI, U.S.A. Kenneth R. Howe, University ofcolorado, Boulder, CO, U.S.A. Editorial
More informationClass 33: Quine and Ontological Commitment Fisher 59-69
Philosophy 240: Symbolic Logic Fall 2008 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu Re HW: Don t copy from key, please! Quine and Quantification I.
More informationEducation, Democracy, and the Moral Life
Education, Democracy, and the Moral Life Michael S. Katz, Ph.D. Susan Verducci, Ph.D. Gert Biesta, Ph.D. Editors Education, Democracy, and the Moral Life Editors Michael S. Katz, Ph.D. San Jose State University
More informationSemantics and the Justification of Deductive Inference
Semantics and the Justification of Deductive Inference Ebba Gullberg ebba.gullberg@philos.umu.se Sten Lindström sten.lindstrom@philos.umu.se Umeå University Abstract Is it possible to give a justification
More informationJELIA Justification Logic. Sergei Artemov. The City University of New York
JELIA 2008 Justification Logic Sergei Artemov The City University of New York Dresden, September 29, 2008 This lecture outlook 1. What is Justification Logic? 2. Why do we need Justification Logic? 3.
More information***** [KST : Knowledge Sharing Technology]
Ontology A collation by paulquek Adapted from Barry Smith's draft @ http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf Download PDF file http://ontology.buffalo.edu/smith/articles/ontology_pic.pdf
More information1. Lukasiewicz s Logic
Bulletin of the Section of Logic Volume 29/3 (2000), pp. 115 124 Dale Jacquette AN INTERNAL DETERMINACY METATHEOREM FOR LUKASIEWICZ S AUSSAGENKALKÜLS Abstract An internal determinacy metatheorem is proved
More informationHourya BENIS SINACEUR. Sciences et des Techniques (IHPST) CNRS-ENS-Université Paris 1. Juin 2010
Hourya BENIS SINACEUR Institut d Histoire et Philosophie des Sciences et des Techniques (IHPST) CNRS-ENS-Université Paris 1 Juin 2010 Etchemendy s objections to Tarski s account of the notion of logical
More informationReview of "The Tarskian Turn: Deflationism and Axiomatic Truth"
Essays in Philosophy Volume 13 Issue 2 Aesthetics and the Senses Article 19 August 2012 Review of "The Tarskian Turn: Deflationism and Axiomatic Truth" Matthew McKeon Michigan State University Follow this
More informationUnderstanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002
1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
More informationComments on Truth at A World for Modal Propositions
Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into
More informationBENEDIKT PAUL GÖCKE. Ruhr-Universität Bochum
264 BOOK REVIEWS AND NOTICES BENEDIKT PAUL GÖCKE Ruhr-Universität Bochum István Aranyosi. God, Mind, and Logical Space: A Revisionary Approach to Divinity. Palgrave Frontiers in Philosophy of Religion.
More informationPhilosophy 125 Day 21: Overview
Branden Fitelson Philosophy 125 Lecture 1 Philosophy 125 Day 21: Overview 1st Papers/SQ s to be returned this week (stay tuned... ) Vanessa s handout on Realism about propositions to be posted Second papers/s.q.
More informationMetaphysical Problems and Methods
Metaphysical Problems and Methods Roger Bishop Jones Abstract. Positivists have often been antipathetic to metaphysics. Here, however. a positive role for metaphysics is sought. Problems about reality
More informationAlvin Plantinga addresses the classic ontological argument in two
Aporia vol. 16 no. 1 2006 Sympathy for the Fool TYREL MEARS Alvin Plantinga addresses the classic ontological argument in two books published in 1974: The Nature of Necessity and God, Freedom, and Evil.
More informationTHE CRISIS IN SOCIOLOGY
THE CRISIS IN SOCIOLOGY Also by Raymond Boudon THE PERVERSE EFFECTS OF SOCIAL ACTION THE CRISIS IN SOCIOLOGY Problems of Sociological Epistemology Raymond Boudon Translated by Howard H. Davis La Crise
More informationQuantificational logic and empty names
Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On
More informationRethinking Knowledge: The Heuristic View
http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to
More informationCory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010).
Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Reviewed by Viorel Ţuţui 1 Since it was introduced by Immanuel Kant in the Critique of Pure Reason, the analytic synthetic distinction had
More informationDurham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peer-review status of attached le: Not peer-reviewed Citation for published item: Uckelman, Sara L. (2016)
More informationReply to Florio and Shapiro
Reply to Florio and Shapiro Abstract Florio and Shapiro take issue with an argument in Hierarchies for the conclusion that the set theoretic hierarchy is open-ended. Here we clarify and reinforce the argument
More informationEvaluating Classical Identity and Its Alternatives by Tamoghna Sarkar
Evaluating Classical Identity and Its Alternatives by Tamoghna Sarkar Western Classical theory of identity encompasses either the concept of identity as introduced in the first-order logic or language
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied
More informationSYNTHESE HISTORICAL LIBRARY
PIERRE GASSENDI SYNTHESE HISTORICAL LIBRARY TEXTS AND STUDIES IN THE HIS TOR Y OF LOGIC AND PHILOSOPHY Editors: N. KRETZMANN, Cornell University G. NUCHELMANS, University of Leyden Editorial Board: J.
More informationTHEMES IN ARABIC AND HEBREW SYNTAX
THEMES IN ARABIC AND HEBREW SYNTAX Studies in Natural Language and Linguistic Theory VOLUME 53 Managing Editors Liliane Haegeman, University of Lille Joan Maling, Brandeis University James McCloskey, University
More informationOn Tarski On Models. Timothy Bays
On Tarski On Models Timothy Bays Abstract This paper concerns Tarski s use of the term model in his 1936 paper On the Concept of Logical Consequence. Against several of Tarski s recent defenders, I argue
More informationNIJHOFF INTERNATIONAL PHILOSOPHY SERIES
STEPHAN KORNER NIJHOFF INTERNATIONAL PHILOSOPHY SERIES VOLUME 28 General Editor: JAN T.J. SRZEDNICKI (Contributions to Philosophy) Editor: LYNNE M. BROUGHTON (Applying Philosophy) Editor: STANISLAW J.,SURMA
More informationSAVING RELATIVISM FROM ITS SAVIOUR
CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXI, No. 91 (abril 1999): 91 103 SAVING RELATIVISM FROM ITS SAVIOUR MAX KÖLBEL Doctoral Programme in Cognitive Science Universität Hamburg In his paper
More informationGROUNDING AND LOGICAL BASING PERMISSIONS
Diametros 50 (2016): 81 96 doi: 10.13153/diam.50.2016.979 GROUNDING AND LOGICAL BASING PERMISSIONS Diego Tajer Abstract. The relation between logic and rationality has recently re-emerged as an important
More informationCircumscribing Inconsistency
Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F-35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D-14415 Potsdam Abstract We
More information9 Knowledge-Based Systems
9 Knowledge-Based Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because
More informationAppeared in: Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy, Issue 6: April 2013.
Appeared in: Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy, Issue 6: April 2013. Panu Raatikainen Intuitionistic Logic and Its Philosophy Formally, intuitionistic
More information