DOCSLIB.ORG

Justification Logic

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Justification Logic Justification Logic Who? Natalia Kotsani - based on the work of S. Artemov (The Logic of Justification, 2008) When? 24 October 2012 Table of contents 1. Introduction An example What is Justification Logic Why Justification Logic Historically Basics Structural Assumptions Design Decisions 2. Principles Involved The Logic of Proofs Gettier examples Gettier examples Goldman's reliabilism Lehrer and Paxson's indefeasibility condition Introduction - An example An agent receives a product of two very large primes integers. In what sense does the agent know those primes? In what sense does the agent know all the derivable formulas regardless to the complexity of their justifications? These and similar problems could be approached in a framework of reasoning about knowledge justifications vs the traditional F . Introduction - What is Justification Logic is an epistemic logic that explicitly includes justifications for knowledge by using a construct to formalize statements t is a justification of F the evidence term t can be viewed as an informal justification or a formal mathematical proof evidence terms are built by means of operations that correspond to the axioms of a modal logic system Introduction - Why Justification Logic behind each epistemic modal logic, there is a system of justifications simple and compound reasoning about epistemic justification comparing different pieces of evidence pertaining to the same fact measuring the complexity of justifications, which leads to a coherent theory of logical omniscience renderind a novel, evidence-based mechanism of truth-tracking which seems to be a key ingredient of the analysis of knowledge provide a tool for analyzing assumptions and to ensure that we draw correct conclusions filling the gap between epistemic logic and mainstream epistemology Introduction - Historically Knowledge as Justified True Belief [Plato, ∼400 BC] A first approach to modal syllogistic [Aristotle, ∼350 BC] Logic of Proofs (LP) [Godel¨ , 1933] KF (F is known) & BF (F is believed), F is known ∼ F holds in all epistemically possible situations [Von Wright, 1951] Kripke semantics for Modal Logic [Kripke 1959] Epistemic Logic [Fagin, 1995] The absence of justification logic remained an impediment to both formalizing the Brouwer−Heyting−Kolmogorov semantics of proofs and providing a long-anticipated exact provability semantics for S4 and intuitionistic logic [Artemov, 1999] Introduction - Basics t : F t is a justification for F t is accepted by agent as a justification of F F satisfies conditions t we do not directly analyze what it means for t to justify F beyond the format t : F , but rather attempt to characterize this relation axiomatically Introduction - Structural Assumptions justifications are abstract objects which have structure agents do not loose or forget justifications apply the laws of classical logic and accept their conclusions operations sum "+" pooling evidence together without performing any epistemic action (concatenation of proofs), s + t = s ∗ t application "·" performs one epistemic action, a one-step deduction according to the Modus Ponens rule, s · t = s ∗ t ∗ pG1q ∗ ::: ∗ pGnq pX q denotes the Godel¨ number of X & Gi are all formulas from t for which there is a formula F ! Gi from s Introduction - Design Decisions For this installment of Justification Logic we 1 limit our attention to propositional and quantifier-free systems of Justification Logic 2 build our systems on the simplest base: classical Boolean logic 3 treat both partial and factive (justifications are sufficient for an agent to conclude truth) justifications 4 consider the case of one agent only for whom no formula is provably justified Principles Involved - The Logic of Proofs justifications are represented by proof polynomials (justifications terms) 1 proof variables x, y, z, . 2 proof constants a, b, c, . 3 binary operation application "·" 4 binary operation sum (union, choice) "+" 5 unary operation proof checker "!" formulas of LP are those of propositional classical logic (by means of logical connectives) augmented by the formation rule: if t is a proof polynomial and F is a formula, then t : F is again a formula Principles Involved - The Logic of Proofs LP contains the axioms of classical propositional logic and the rule of Modus Ponens along with the axioms of application s :(F ! G)(t : F ! (s · t): G) sum s : F ! (s + t): F t : F ! (s + t): F proof checker t : F !!t :(t : F ) reflection t : F ! F in addition to the usual logical properties, enjoys the internalization If ` F , then there is a proof polynomial p such that property ` p : F Principles Involved - LP vs Modal Logic Theorem each theorem of LP becomes a theorem of S4 if all the terms are replaced with the modality ; and vice versa, each theorem of S4 can be transformed into a theorem of LP if the occurencies of modality are replace with suitable evidence terms [S. Artemov, 2001] S4 axioms LP axioms (F ! G) ! (F ! G) s :(F ! G)(t : F ! (s · t): G) s : F ! (s + t): F t : F ! (s + t): F A ! A t : F !!t :(t : F ) A ! A t : F ! F LP is an explicit counterpart of the modal logic S4 (reflexive &) this process is called realization (theorem) Principles Involved - Gettier examples Knowledge ,? Justified True Belief Gettier (1963) described two situations, Case I and Case II, that were supposed to provide examples of justified true beliefs which should not be considered knowledge. Gettier's problem has attracted a range of "epistemological solutions" which consist of trying to find alternative analyses of knowledge (e.g. JTB+G approaches: Justified True Belief + "no-Gettier-problem condition") Principles Involved - Gettier examples CASE I Suppose that Smith and Jones have applied for a certain job. And suppose that Smith has strong evidence for the proposition: (d) Jones is the man who will get the job, and Jones has ten coins in his pocket. Proposition (d) entails: (Suppose that Smith sees this entailment.) (e) The man who will get the job has ten coins in his pocket. But unknown to Smith, he himself, not Jones, will get the job. And, unknown to Smith, he himself has ten coins in his pocket. proof Smith accepts (e) on the grounds of (d). Then, all of the following are true: (e) is true Smith believes that (e) is true Smith is justified in believing that (e) is true Smith does not know that (e) is true Principles Involved - Gettier examples CASE II Suppose that Smith has strong evidence for the following: (f) Jones owns a Ford. Let us imagine, that Smith has another friend, Brown, of whose whereabouts he is totally ignorant. Smith selects three place names quite at random and constructs the following three propositions entailed by (f): (Suppose that Smith sees this entailment.) (g) Either Jones owns a Ford, or Brown is in Boston. (h) Either Jones owns a Ford, or Brown is in Barcelona. (i) Either Jones owns a Ford, or Brown is in Brest-Litovsk. But imagine now that two further conditions hold. Jones does not own a Ford, but is at present driving a rented car. The place mentioned in (h) happens really to be where Brown is. proof Imagine that Smith proceeds to accept (g), (h), and (i). Then Smith does not know that (h) is true, even though (h) is true, Smith does believe that (h) is true, and Smith is justified in believing that (h) is true. Principles Involved - Gettier examples Gettier uses a version of the epistemic closure principle, closure of justification under logical consequence: if Smith is justified in believing P for some t, t : F and Smith deduces Q from P P ! Q then Smith is justified in believing Q t : Q, for some t Such a rule holds for the Logic of Proofs, as well as for all other Justification Logic systems, and it is a combination of: Internalization Rule If ` F , then there is a proof polynomial p such that ` p : F Application Axiom s :(F ! G)(t : F ! (s · t): G) and the use of Modus Ponens twice. Principles Involved - Goldman's reliabilism Knowledge ,? Justified True Belief Goldman (1967) offered the fourth condition to be added to the Justified True Belief definition of knowledge, according to which: "A subjects belief is justified only if the truth of a belief has caused the subject to have that belief, and for a justified true belief to count as knowledge, the subject must also be able to correctly reconstruct (mentally) that causal chain." A situation t justifies F for some t only if F is true, which provides the Factivity Axiom for knowledge-producing justifications: Factivity Axiom t : F ! F Principles Involved - Factive Justifications The Factivity Axiom is assumed for factive justifications justifications yield the truth of a belief, e.g. systems JT, LP, JT45 but it is not assumed for general justification systems e.g. systems J, J4, J45, JD45 We can assume that the causal chain leading from the truth of F to a justified belief that F manifests itself in the Principle of Internalization which holds for many Justification Logic systems: Internalization Rule If F is valid, then one could construct a justification p such that p:F is valid. Internalization is usually represented in an equivalent form (in the presence of the Completeness Theorem) as a meta-rule. The algorithm which builds a justified belief p:F from a strong evidence (proof) of the validity of F seems to be an instance of Goldmans 'causal chain'. Principles Involved - Lehrer and Paxson's indefeasibility condition Lehrer and Paxson (1969) offered the following 'indefeasibility condition': "There is no further truth which, had the subject known it, would have defeated [subjects] present justification for the belief." The further truth here could refer to a possible update of the subjects database, or some possible-worlds situation, and so forth: these readings lie outside the scope of our language of Boolean Justification Logic.
Load more

Recommended publications
  • Epistemic Modality, Mind, and Mathematics
    Epistemic Modality, Mind, and Mathematics Hasen Khudairi June 20, 2017 c Hasen Khudairi 2017, 2020 All rights reserved. 1 Abstract This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as con- cerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the compu- tational theory of mind; metaphysical modality; deontic modality; the types of mathematical modality; to the epistemic status of undecidable proposi- tions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Each essay is informed by either epistemic logic, modal and cylindric algebra or coalgebra, intensional semantics or hyperin- tensional semantics. The book’s original contributions include theories of: (i) epistemic modal algebras and coalgebras; (ii) cognitivism about epistemic modality; (iii) two-dimensional truthmaker semantics, and interpretations thereof; (iv) the ground-theoretic ontology of consciousness; (v) fixed-points in vagueness; (vi) the modal foundations of mathematical platonism; (vii) a solution to the Julius Caesar problem based on metaphysical definitions availing of notions of ground and essence; (viii) the application of epistemic two-dimensional semantics to the epistemology of mathematics; and (ix) a modal logic for rational intuition. I develop, further, a novel approach to conditions of self-knowledge in the setting of the modal µ-calculus, as well as novel epistemicist solutions to Curry’s and the liar paradoxes.
    [Show full text]
  • Contextual Epistemic Logic Manuel Rebuschi, Franck Lihoreau
    Contextual Epistemic Logic Manuel Rebuschi, Franck Lihoreau To cite this version: Manuel Rebuschi, Franck Lihoreau. Contextual Epistemic Logic. C. Degrémont, L. Keiff & H. Rückert. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, King’s College Publication, pp.305-335, 2008, Tributes. hal-00133359 HAL Id: hal-00133359 https://hal.archives-ouvertes.fr/hal-00133359 Submitted on 11 Jan 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Contextual Epistemic Logic Manuel Rebuschi Franck Lihoreau L.H.S.P. – Archives H. Poincar´e Instituto de Filosofia da Linguagem Universit´eNancy 2 Universidade Nova de Lisboa [email protected] [email protected] Abstract One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a “contextual epistemic logic”, CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic with appropriate reduction axioms to deal with an extra contextual operator. We describe the axiomatics and supply both a Kripkean and a dialogical semantics for CEL.
    [Show full text]
  • On the Unusual Effectiveness of Proof Theory in Epistemology
    WORKSHOP ON RECENT TRENDS IN PROOF THEORY, Bern, July 9-11, 2008 On the unusual effectiveness of proof theory in epistemology Sergei Artemov The City University of New York Bern, July 11, 2008 This is a report about the extending the ideas and methods of Proof Theory to a new, promising area. It seems that this is a kind of development in which Proof Theory might be interested. This is a report about the extending the ideas and methods of Proof Theory to a new, promising area. It seems that this is a kind of development in which Proof Theory might be interested. Similar stories about what the Logic of Proofs brings to foundations, constructive semantics, combinatory logic and lambda-calculi, the- ory of verification, cryptography, etc., lie mostly outside the scope of this talk. Mainstream Epistemology: tripartite approach to knowledge (usually attributed to Plato) Knowledge Justified True Belief. ∼ A core topic in Epistemology, especially in the wake of papers by Russell, Gettier, and others: questioned, criticized, revised; now is generally regarded as a necessary condition for knowledge. Logic of Knowledge: the model-theoretic approach (Kripke, Hin- tikka, . .) has dominated modal logic and formal epistemology since the 1960s. F F holds at all possible worlds (situations). ! ∼ Logic of Knowledge: the model-theoretic approach (Kripke, Hin- tikka, . .) has dominated modal logic and formal epistemology since the 1960s. F F holds at all possible worlds (situations). ! ∼ Easy, visual, useful in many cases, but misses the mark considerably: What if F holds at all possible worlds, e.g., a mathematical truth, say P = NP , but the agent is simply not aware of the fact due to " lack of evidence, proof, justification, etc.? Logic of Knowledge: the model-theoretic approach (Kripke, Hin- tikka, .
    [Show full text]
  • Interactions of Metaphysical and Epistemic Concepts
    Interactions of metaphysical and epistemic concepts Th`esepr´esent´ee`ala Facult´edes lettres et sciences humaines Universit´ede Neuchˆatel- CH Pour l’obtention du grade de docteur `eslettres Par Alexandre Fernandes Batista Costa Leite Accept´eesur proposition du jury: Prof. Jean-Yves B´eziau, Universit´ede Neuchˆatel, directeur de th`ese Prof. Pascal Engel, Universit´ede Gen`eve, rapporteur Prof. Paul Gochet, Universit´ede Li`ege,rapporteur Prof. Arnold Koslow, The City University of New York, rapporteur Soutenue le 03 Juillet 2007 Universit´ede Neuchˆatel 2007 lnlTT Faculté des lettres et sciences humaines Le doyen r EspaceLouis-Agassiz 1 I CH-2000Neuchâtel IMPRIMATUR La Facultédes lettreset scienceshumaines de I'Universitéde Neuchâtel,sur les rapportsde Mon- sieurJean-Yves Béziau, directeur de thèse,professeur assistant de psychologieà I'Université de Neu- châtel; M. PascalEngel, professeur à I'Universitéde Genève; M. Paul Gochet,professeur à I'Universitéde Liège;M. ArnoldKoslow, professeur à CityUniversity of NewYork autorise I'impres- sionde la thèseprésentée par Monsieur Alexandre Costa Leite, en laissantà I'auteurla responsabilité desopinions énoncées. .\A \.\ i \,^_ Neuchâtel,le 3 juillet2007 Le doyen J.-J.Aubert r Téléphone'.+41 32718 17 0O r Fax: +4132718 17 01 . E-mail: [email protected] www.unine.ch/lettres Abstract This work sets out the results of research on topics at the intersection of logic and philosophy. It shows how methods for combining logics can be applied to the study of epistemology and metaphysics. In a broader per- spective, it investigates interactions of modal concepts in order to create a bridge between metaphysics and epistemology.
    [Show full text]
  • The Modal Logic of Copy and Remove Carlos Areces, Hans Van Ditmarsch, Raul Fervari, François Schwarzentruber
    The Modal Logic of Copy and Remove Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber To cite this version: Carlos Areces, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber. The Modal Logic of Copy and Remove. Information and Computation, Elsevier, 2017, 255, pp.243-261. 10.1016/j.ic.2017.01.004. hal-02533970 HAL Id: hal-02533970 https://hal.archives-ouvertes.fr/hal-02533970 Submitted on 6 Apr 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The Modal Logic of Copy and Remove Carlos Arecesa, Hans van Ditmarschb, Raul Fervaria, Fran¸cois Schwarzentruberc aFaMAF, Universidad Nacional de C´ordoba & CONICET, Argentina bLORIA, CNRS - Universit´ede Lorraine, France & IMSc, Chennai, India cENS Rennes, France Abstract We propose a logic with the dynamic modal operators copy and remove. The copy operator replicates a given model, and the remove operator removes paths in a given model. We show that the product update by an action model in dynamic epistemic logic decomposes in copy and remove operations, when we consider action models with Boolean pre-conditions and no post-condition. We also show that copy and remove operators with paths of length 1 can be ex- pressed by action models with post-conditions.
    [Show full text]
  • Inadequacy of Modal Logic in Quantum Settings
    Inadequacy of Modal Logic in Quantum Settings Nuriya Nurgalieva Institute for Theoretical Physics, ETH Zürich, 8093 Zürich, Switzerland [email protected] Lídia del Rio Institute for Theoretical Physics, ETH Zürich, 8093 Zürich, Switzerland [email protected] We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classical modal logic. In doing so, we find a problem in the original formulation of the Frauchiger- Renner theorem: a missing assumption about unitarity of evolution is necessary to derive a con- tradiction and prove the theorem. Adding this assumption clarifies how different interpretations of quantum theory fit in, i.e., which properties they violate. Finally, we show how most of the axioms of classical modal logic break down in quantum settings, and attempt to generalize them. Namely, we introduce constructions of trust and context, which highlight the importance of an exact structure of trust relations between agents. We propose a challenge to the community: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic. Draco said out loud, “I notice that I am confused.” Your strength as a rationalist is your ability to be more confused by fiction than by reality... Draco was confused. Therefore, something he believed was fiction.
    [Show full text]
  • Peter Schotch, Bryson Brown, Raymond Jennings, Eds. on Preserving: Essays on Preservationism and Paraconsistent Logic
    Philosophy in Review XXX (2010), no. 6 Peter Schotch, Bryson Brown, Raymond Jennings, eds. On Preserving: Essays on Preservationism and Paraconsistent Logic. Toronto: University of Toronto Press 2009 203 pages CDN$45.00 (cloth ISBN 978-0-8020-9838-2) On Preserving collects ten papers providing an overview on foundational issues in preservationism. Apart from the two introductory papers the papers are technical and require a background in modal logic and model theory. They treat of technical rather than philosophical foundational issues in preservationism. Most papers can be read as stand- alone papers, which leads to some minor repetitions in the book overall. Preservationism is a version of paraconsistent logic. There are several approaches to paraconsistency, most prominently Relevant Logics, Adaptive Logics, Logics of Formal Inconsistency and versions of Priest’s Logic of Paradox LP. Preservationism is a minor camp in the overall field, but developed into a school as well. As much of the work in the other camps can be regionally identified as Australian, Belgian and Brazilian, preservationism is Canadian. The first two papers introduce the reader to the basic ideas of preservationism. As the name has it ‘preservationism’ is concerned with preserving something. In contrast to standard logic, understood as preserving truth from the premise set to the conclusion, preservationism preserves something else. This is due to inconsistent premise sets. In their case ex contradictione quodlibet drives standard logic to derive any sentence whatsoever.
    [Show full text]
  • Introduction to Epistemology
    Introduction to Epistemology Philipp Blum draft version Foreword This course was written for an ‘intensive seminar’ “Introduction to Epistemology” I gave during spring term at theFacultyofTheology,UniversityofLucerne(Apriland; Mayand, ). IwasreplacingProf.Gianfranco Soldati, from the University of Fribourg, on whose slides the course is based. I also made extensive use of my notes from the ‘Kompaktseminar’ “Varieties of Skepticism” Crispin Wright gave at University of Heidelberg in spring , as well as of my MA thesis in theoretical computer science which I submitted at the University of Berne. I learned from the feedback of my students, and from Kevin Mulligan who sent me an unpublished paper of his on correctness conditions. To do, in this order . read the rest of Sellars, incorporate it into ch. : (Sellars ) . incorporate the rest of wright.tex - put it back into courses . incorporate the logic MA thesis, and the stuff on information (perhaps within ch )? . discuss Nozick and the dispositional analysis . make full biblio of Dretske, make proper references to zebras and closure . rework the scepticism paper . read Engisch on intentional objects and rework that chapter . return to correctness vs accuracy: cf Mulligan forthcoming and Buekens (on correctness) . What Wright said in Heidelberg about how Nozick on knowledge could be defended against counterexamples by dropping the counter- factual analysis of dispositions is identical in content (and sometimes wording) to Gundersen (). Contents The Bases of Our Knowledge . Seeing Things
    [Show full text]
  • A Logically Formalized Axiomatic Epistemology System + C And
    mathematics Article A Logically Formalized Axiomatic Epistemology System S + C and Philosophical Grounding Mathematics as a Self-Sufficing System Vladimir Olegovich Lobovikov Laboratory for Applied System Investigations, Ural Federal University, 620075 Yekaterinburg, Russia; [email protected] Abstract: The subject matter of this research is Kant’s apriorism underlying Hilbert’s formalism in the philosophical grounding of mathematics as a self-sufficing system. The research aim is the invention of such a logically formalized axiomatic epistemology system, in which it is possible to construct formal deductive inferences of formulae—modeling the formalism ideal of Hilbert—from the assumption of Kant’s apriorism in relation to mathematical knowledge. The research method is hypothetical–deductive (axiomatic). The research results and their scientific novelty are based on a logically formalized axiomatic system of epistemology called S + C, constructed here for the first time. In comparison with the already published formal epistemology systems X and S, some of the axiom schemes here are generalized in S + C, and a new symbol is included in the object-language alphabet of S + C, namely, the symbol representing the perfection modality, C: “it is consistent that ... ”. The meaning of this modality is defined by the system of axiom schemes of S + C. A deductive proof of the consistency of S + C is submitted. For the first time, by means of S + C, it is deductively demonstrated that, from the conjunction of S + C and either the first or second version of Gödel’s Citation: Lobovikov, V.O. A theorem of incompleteness of a formal arithmetic system, the formal arithmetic investigated by Logically Formalized Axiomatic Gödel is a representation of an empirical knowledge system.
    [Show full text]
  • Hugh Maccoll After One Hundred Years
    Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 15-1 | 2011 Hugh MacColl after One Hundred Years Amirouche Moktefi and Stephen Read (dir.) Electronic version URL: http://journals.openedition.org/philosophiascientiae/351 DOI: 10.4000/philosophiascientiae.351 ISSN: 1775-4283 Publisher Éditions Kimé Printed version Date of publication: 1 April 2011 ISBN: 978-2-84174-551-7 ISSN: 1281-2463 Electronic reference Amirouche Moktefi and Stephen Read (dir.), Philosophia Scientiæ, 15-1 | 2011, “Hugh MacColl after One Hundred Years” [Online], Online since 01 April 2011, connection on 15 January 2021. URL: http:// journals.openedition.org/philosophiascientiae/351; DOI: https://doi.org/10.4000/philosophiascientiae. 351 This text was automatically generated on 15 January 2021. Tous droits réservés Preface Amirouche Moktefi LHSP, Archives H. Poincaré (UMR 7117), Nancy-Université & IRIST (EA 3424), Université de Strasbourg, France Stephen Read Department of Logic and Metaphysics, University of St. Andrews, Scotland “It all turns upon that little word if, Mr. Burton.” [MacColl 1891, 955] This volume is devoted to the life and work of Hugh MacColl (1837- 1909), the Scottish mathematician, philosopher and novelist. Although MacColl is nowadays remembered mainly for his contributions to the science of logic, his work covers many other domains and witnesses the richness and variety of his intellectual interests. MacColl’s early writings (from 1861 onwards) were devoted to mathematics, notably geometry, algebra and the theory of probabilities. In the late 1870s and early 1880s, he published several papers on logic that brought him to the attention of his contemporaries. In these writings, he expressed his preference for propositional calculus instead of the term/class approach, widespread in his day.
    [Show full text]
  • Remarks on Logic and Critical Thinking
    REMARKS ON LOGIC AND CRITICAL THINKING 1 Copyright, 2021, Mudasir Ahmad Tantray All rights reserved. No part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy recording, or any information storage or retrieval system, without permission in writing from the publisher. The opinions/ contents expressed in this book are solely of the author and do not represent the opinions/ standings/ thoughts of Publications Name. No responsibility or liability is assumed by the publisher for any injury damage or financial loss sustained to persons or property form the use of the information, personal or otherwise, either directly or indirectly. While every effort has been made to ensure reliability and accuracy of the information within, all liability, negligence or otherwise, form any use, misuses or abuse of the operation of any methods, strategies, instructions or ideas contained in the material herein is the sole responsibility of the reader. Any copyrights not held by publisher are owned by their respective authors. All information is generalized, presented informational purposes only and presented “as is” without warranty or guarantee of any kind. All trademarks and brands referred to in this book are for illustrative purposes only, are the property of their respective owners and not affiliated with this publication in any way. Any trademarks are being used without permission and the publication of the trademark is not authorized by associated with or sponsored by the trade
    [Show full text]
  • Three Epistemic Paralogisms, One Logic of Utterances
    Three epistemic paralogisms, one logic of utterances Fabien Schang Abstract Assuming that a paralogism is an unintentionally invalid reasoning, we give an exemplication by means of three epistemic paradoxes, namely: Fitch's Paradox, Moore's Paradox, and Zemach's Paradox. A common symp- tom lies on the basis of these three paralogisms, which concerns the satisfaction- conditions of a discourse about truth. From an anti-realist understanding of the paradoxes, we propose an alternative semantic framework in which the meaning of sentences relies upon a question-answer game. Then we set forth some features of this many-valued framework, before applying it to the three preceding paradoxes and displaying its general prospect. 1 1. Logical paradoxes: one trouble, two treat- ments A logical paradox is a thought defect that one strives to correct; it occurs within a reasoning, when the premises are taken to be unanimously true but lead to a conclusion which is not taken to be so. The expected ending of a paradox is its resolution: the rst point is to understand how the conclu- sion has been introduced and, then, to determine the way in which such an undesired result should be deleted. A similar form of defecting thought is to be distinguished from the para- dox, namely: the paralogism, where the reasoning includes a premise that is unanimously true in appearance but turns out to be false from a certain point of view. The conclusion thus relies upon an initial misunderstanding, so that the problem is solved by its not being so any more. A famous case of paralogism is the naturalistic fallacy, in which the diculty stems from mistaking a value judgment for a factual judgment.
    [Show full text]