2.4 Notational Definition
|
|
- Ethelbert McCarthy
- 5 years ago
- Views:
Transcription
1 24 Notational Definition Notational Definition The jdgments, propositions, and inference rles we have defined so far collectively form a system of natral dedction It is a minor variant of a system introdced by Gentzen [Gen35] One of his main motivations was to devise rles that model mathematical reasoning as directly as possible, althogh clearly in mch more detail than in a typical mathematical argment We now consider how to define negation So far, the meaning of any logical connective has been defined by its introdction rles, from which we derived its elimination rles The definitions for all the connectives are orthogonal: the rles for any of the connectives do not depend on any other connectives, only on basic jdgmental concepts Hence the meaning of a compond proposition depends only on the meaning of its constitent propositions From the point of view of nderstanding logical connectives this is a critical property: to nderstand disjnction, for example, we only need to nderstand its introdction rles and not any other connectives A freqently proposed introdction rle for not A (written A) is A tre tre I? A tre In words: A is tre if the assmption that A is tre leads to a contradiction However, this is not a satisfactory introdction rle, since the premise relies the meaning of, violating orthogonality among the connectives There are several approaches to removing this dependency One is to introdce a new jdgment, A is false, and reason explicitly abot trth and falsehood Another employs schematic jdgments, which we consider when we introdce niversal and existential qantification Here we prse a third alternative: for arbitrary propositions A, we think of A as a syntactic abbreviation for A This is called a notational definition and we write A = A This notational definition is schematic in the proposition A Implicit here is the formation rle A prop F A prop We allow silent expansion of notational definitions As an example, we prove
2 16 Propositional Logic that A and A cannot be tre simltaneosly A A tre A A tre ER EL A tre A tre tre I (A A) tre We can only nderstand this derivation if we keep in mind that A stands for A,andthat (A A) stands for (A A) As a second example, we show the proof that A A is tre w A tre A tre tre I w A tre I A A tre Next we consider A A, the so-called law of exclded middle It claims that every proposition is either tre or false This, however, contradicts or definition of disjnction: we may have evidence neither for the trth of A, nor for the falsehood of A Therefore we cannot expect A A to be tre nless we have more information abot A One has to be carefl how to interpret this statement, however There are many propositions A for which it is indeed the case that we know A A For example, ( ) is clearly tre becase tre Similarly, ( ) istre becase is tre To make this flly explicit: I tre I L ( ) tre tre I tre I R ( ) tre In mathematics and compter science, many basic relations satisfy the law of exclded middle For example, we will be able to show that for any two nmbers k and n, either k < n or (k < n) However, this reqires proof, becase for more complex A propositions we may not know if A tre or A tre We will retrn to this isse later in this corse At present we do not have the tools to show formally that A A shold not be tre for arbitrary A A proof attempt with or generic proof strategy (reason from the bottom p with introdction rles and from the top down with elimination rles) fails qickly, no matter which introdction rle for disjnction
3 25 Derived Rles of Inference 17 we start with A tre I L A A tre A tre tre I A tre I R A A tre We will see that this failre is in fact sfficient evidence to know that A A is not tre for arbitrary A 25 Derived Rles of Inference One poplar device for shortening derivations is to introdce derived rles of inference For example, A B tre A C tre B C tre is a derived rle of inference Its derivation is the following: A tre B tre A B tre C tre I A C tre B C tre Note that this is simply a hypothetical derivation, sing the premises of the derived rle as assmptions In other words, a derived rle of inference is nothing bt an evident hypothetical jdgment; its jstification is a hypothetical derivation We can freely se derived rles in proofs, since any occrrence of sch a rle can be expanded by replacing it with its jstification A second example of notational definition is logical eqivalence A if and only if B (written A B) We define (A B) =(A B) (B A) That is, two propositions A and B are logically eqivalent if A implies B and B implies A Under this definition, the following become derived rles of inference (see Exercise 21) They can also be seen as introdction and elimination rles
4 18 Propositional Logic for logical eqivalence (whence their names) w A tre B tre B tre A tre I,w A B tre A B tre B tre A tre EL A B tre A tre B tre ER 26 Logical Eqivalences We now consider several classes of logical eqivalences in order to develop some intitions regarding the trth of propositions Each eqivalence has the form A B, bt we consider only the basic connectives and constants (,,,, ) ina and B Later on we consider negation as a special case We se some standard conventions that allow s to omit some parentheses while writing propositions We se the following operator precedences > > > > where,, and are right associative For example A A A stands for ( A) ((A ( ( A))) ) In ordinary mathematical sage, A B C stands for (A B) (B C); in the formal langage we do not allow iterated eqivalences withot explicit parentheses in order to avoid confsion with propositions sch as (A A) Commtativity implication is not (C1) A B B A tre (C2) A B B A tre (C3) A B is not commtative Conjnction and disjnction are clearly commtative, while Idempotence Conjnction and disjnction are idempotent, while self-implication redces to trth (I1) A A A tre (I2) A A A tre (I3) A A tre
5 27 Smmary 19 Interaction Laws These involve two interacting connectives In principle, there are left and right interaction laws, bt becase conjnction and disjnction are commtative, some coincide and are not repeated here (L1) A (B C) (A B) C tre (L2) A A tre (L3) A (B C) donotinteract (L4) A (B C) (A B) (A C) tre (L5) A tre (L6) A (B C) (A B) (A C) tre (L7) A tre (L8) A (B C) donotinteract (L9) A (B C) (A B) C tre (L10) A A tre (L11) A (B C) (A B) (A B) tre (L12) A tre (L13) A (B C) (A B) C tre (L14) A (B C) donotinteract (L15) A do not interact (L16) (A B) C A (B C) tre (L17) C C tre (L18) (A B) C do not interact (L19) (A B) C (A C) (B C) tre (L20) C tre 27 Smmary Jdgments A prop A tre A is a proposition Proposition A is tre Propositional Constants and Connectives The following table smmarizes the introdction and elimination rles for the propositional constants (, ) and connectives (,, ) We omit the straightforward formation rles
6 20 Propositional Logic Introdction Rles Elimination Rles A tre B tre I A B tre A B tre EL A tre A B tre ER B tre A tre I L A B tre I tre A tre B tre I A B tre no I rle B tre I R A B tre A B tre A B tre no E rle B tre A tre C tre C tre tre E C tre A tre w B tre C tre E,w Notational Definitions We se the following notational definitions A = A not A A B = (A B) (B A) A if and only if B 28 Exercises Exercise 21 Show the derivations for the rles I, E L and E R nder the definition of A B as (A B) (B A)
7 Bibliography [Gen35] Gerhard Gentzen Unterschngen über das logische Schließen Mathematische Zeitschrift, 39: , , 1935 English translation in M E Szabo, editor, The Collected Papers of Gerhard Gentzen, pages , North-Holland, 1969 [ML96] Per Martin-Löf On the meanings of the logical constants and the jstifications of the logical laws Nordic Jornal of Philosophical Logic, 1(1):11 60, 1996
A 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 informationDeontology & Social Contract Theory
CS4001: Compting, Society and Professionalism Savik Das Assistant Professor Deontology & Social Contract Theory Janary 23rd, 2018 Homework 1 Discssion Volnteers? Utilitarianism Review Utilitarianism Review
More informationLecture Notes on Classical Logic
Lecture Notes on Classical Logic 15-317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
More informationAnnouncements. CS311H: Discrete Mathematics. First Order Logic, Rules of Inference. Satisfiability, Validity in FOL. Example.
Announcements CS311H: Discrete Mathematics First Order Logic, Rules of Inference Instructor: Işıl Dillig Homework 1 is due now! Homework 2 is handed out today Homework 2 is due next Wednesday Instructor:
More informationSession 1. Who Am I? FREEDOM IN CHRIST
Session 1 Who Am I? 47 Session 1: Who Am I? FOCUS VERSE: 2 Corinthians 5:17 (ESV): Therefore, if anyone is in Christ, he is a new creation. The old has passed away; behold, the new has come. OBJECTIVE:
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 informationSelections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
More informationBut we may go further: not only Jones, but no actual man, enters into my statement. This becomes obvious when the statement is false, since then
CHAPTER XVI DESCRIPTIONS We dealt in the preceding chapter with the words all and some; in this chapter we shall consider the word the in the singular, and in the next chapter we shall consider the word
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 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 informationUC Berkeley, Philosophy 142, Spring 2016
Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion
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 informationKOLMOGOROV, HEYTING AND GENTZEN ON THE INTUITIONISTIC LOGICAL CONSTANTS
CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXII, No. 96 (diciembre 2000): 43 57 KOLMOGOROV, HEYTING AND GENTZEN ON THE INTUITIONISTIC LOGICAL CONSTANTS GUSTAVO FERNÁNDEZ DÍEZ Facultad de Filosofía
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 informationStatements, Arguments, Validity. Philosophy and Logic Unit 1, Sections 1.1, 1.2
Statements, Arguments, Validity Philosophy and Logic Unit 1, Sections 1.1, 1.2 Mayor Willy Brown on proposition 209: There is still rank discrimination in this country. If there is rank discrimination,
More information9 Methods of Deduction
M09_COPI1396_13_SE_C09.QXD 10/19/07 3:46 AM Page 372 9 Methods of Deduction 9.1 Formal Proof of Validity 9.2 The Elementary Valid Argument Forms 9.3 Formal Proofs of Validity Exhibited 9.4 Constructing
More informationScott Soames: Understanding Truth
Philosophy and Phenomenological Research Vol. LXV, No. 2, September 2002 Scott Soames: Understanding Truth MAlTHEW MCGRATH Texas A & M University Scott Soames has written a valuable book. It is unmatched
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying
More informationArtificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are
More informationStudy Guides. Chapter 1 - Basic Training
Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
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 informationFrom Transcendental Logic to Transcendental Deduction
From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to re-cap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant
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 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 informationAnnouncements. CS243: Discrete Structures. First Order Logic, Rules of Inference. Review of Last Lecture. Translating English into First-Order Logic
Announcements CS243: Discrete Structures First Order Logic, Rules of Inference Işıl Dillig Homework 1 is due now Homework 2 is handed out today Homework 2 is due next Tuesday Işıl Dillig, CS243: Discrete
More informationClick here to learn more about this. title! Reading Informational Texts: Learn more about our. Reading. Informational Texts series.
P r e s t w i c k H o s e, i n c. Central Ideas and Themes Central Ideas and Themes Reading Informational Texts: Nonfiction Passages and Exercises Based on the Sample Common Core State Standards Nonfiction
More informationLogic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
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 informationWhat would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
More informationNatural Deduction for Sentence Logic
Natural Deduction for Sentence Logic Derived Rules and Derivations without Premises We will pursue the obvious strategy of getting the conclusion by constructing a subderivation from the assumption of
More informationLogic I or Moving in on the Monkey & Bananas Problem
Logic I or Moving in on the Monkey & Bananas Problem We said that an agent receives percepts from its environment, and performs actions on that environment; and that the action sequence can be based on
More information15. Russell on definite descriptions
15. Russell on definite descriptions Martín Abreu Zavaleta July 30, 2015 Russell was another top logician and philosopher of his time. Like Frege, Russell got interested in denotational expressions as
More informationBuilding Systematic Theology
1 Building Systematic Theology Study Guide LESSON FOUR DOCTRINES IN SYSTEMATICS 2013 by Third Millennium Ministries www.thirdmill.org For videos, manuscripts, and other resources, visit Third Millennium
More informationDay 3. Wednesday May 23, Learn the basic building blocks of proofs (specifically, direct proofs)
Day 3 Wednesday May 23, 2012 Objectives: Learn the basics of Propositional Logic Learn the basic building blocks of proofs (specifically, direct proofs) 1 Propositional Logic Today we introduce the concepts
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 informationA BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS
A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned
More informationForeknowledge, evil, and compatibility arguments
Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and
More informationThe Philosopher s World Cup
The Philosopher s World Cup Monty Python & the Flying Circus http://www.youtube.com/watch?v=92vv3qgagck&feature=related What is an argument? http://www.youtube.com/watch?v=kqfkti6gn9y What is an argument?
More informationWhat are Truth-Tables and What Are They For?
PY114: Work Obscenely Hard Week 9 (Meeting 7) 30 November, 2010 What are Truth-Tables and What Are They For? 0. Business Matters: The last marked homework of term will be due on Monday, 6 December, at
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 informationPhilosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity
Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider
More informationA. Problem set #3 it has been posted and is due Tuesday, 15 November
Lecture 9: Propositional Logic I Philosophy 130 1 & 3 November 2016 O Rourke & Gibson I. Administrative A. Problem set #3 it has been posted and is due Tuesday, 15 November B. I am working on the group
More informationIntroduction Symbolic Logic
An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION
More informationSYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS
Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,
More informationAl-Sijistani s and Maimonides s Double Negation Theology Explained by Constructive Logic
International Mathematical Forum, Vol. 10, 2015, no. 12, 587-593 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2015.5652 Al-Sijistani s and Maimonides s Double Negation Theology Explained
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 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 informationCHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017
CHAPTER 1 A PROPOSITIONAL THEORY OF ASSERTIVE ILLOCUTIONARY ARGUMENTS OCTOBER 2017 Man possesses the capacity of constructing languages, in which every sense can be expressed, without having an idea how
More informationReductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1
International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research
More information2.3. Failed proofs and counterexamples
2.3. Failed proofs and counterexamples 2.3.0. Overview Derivations can also be used to tell when a claim of entailment does not follow from the principles for conjunction. 2.3.1. When enough is enough
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 informationA Guide to FOL Proof Rules ( for Worksheet 6)
A Guide to FOL Proof Rules ( for Worksheet 6) This lesson sheet will be a good deal like last class s. This time, I ll be running through the proof rules relevant to FOL. Of course, when you re doing any
More informationClick here to learn more about this. title! Reading Informational Texts: Nonfiction Passages and Exercises Based on the Common Core State Standards
Reading Informational Texts: Nonfiction Passages and Exercises Based on the Sample Common Core State Standards Nonfiction Passages and Exercises Based on the Common Core State Standards Reading Informational
More informationMoore on External Relations
Moore on External Relations G. J. Mattey Fall, 2005 / Philosophy 156 The Dogma of Internal Relations Moore claims that there is a dogma held by philosophers such as Bradley and Joachim, that all relations
More informationFigure 1 Figure 2 U S S. non-p P P
1 Depicting negation in diagrammatic logic: legacy and prospects Fabien Schang, Amirouche Moktefi schang.fabien@voila.fr amirouche.moktefi@gersulp.u-strasbg.fr Abstract Here are considered the conditions
More informationA Solution to the Gettier Problem Keota Fields. the three traditional conditions for knowledge, have been discussed extensively in the
A Solution to the Gettier Problem Keota Fields Problem cases by Edmund Gettier 1 and others 2, intended to undermine the sufficiency of the three traditional conditions for knowledge, have been discussed
More informationIn this paper I will critically discuss a theory known as conventionalism
Aporia vol. 22 no. 2 2012 Combating Metric Conventionalism Matthew Macdonald In this paper I will critically discuss a theory known as conventionalism about the metric of time. Simply put, conventionalists
More informationLeibniz, Principles, and Truth 1
Leibniz, Principles, and Truth 1 Leibniz was a man of principles. 2 Throughout his writings, one finds repeated assertions that his view is developed according to certain fundamental principles. Attempting
More informationFree will & divine foreknowledge
Free will & divine foreknowledge Jeff Speaks March 7, 2006 1 The argument from the necessity of the past.................... 1 1.1 Reply 1: Aquinas on the eternity of God.................. 3 1.2 Reply
More informationThe way we convince people is generally to refer to sufficiently many things that they already know are correct.
Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you
More informationI. In the ongoing debate on the meaning of logical connectives 1, two families of
What does & mean? Axel Arturo Barceló Aspeitia abarcelo@filosoficas.unam.mx Instituto de Investigaciones Filosóficas, UNAM México Proceedings of the Twenty-First World Congress of Philosophy, Vol. 5, 2007.
More informationWhat is the Frege/Russell Analysis of Quantification? Scott Soames
What is the Frege/Russell Analysis of Quantification? Scott Soames The Frege-Russell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details
More information7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their
More information6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism
M06_COPI1396_13_SE_C06.QXD 10/16/07 9:17 PM Page 255 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism 255 7. All supporters of popular government are democrats, so all supporters
More informationVerificationism. PHIL September 27, 2011
Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability
More informationAm I free? Freedom vs. Fate
Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?
More informationRussell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
More informationRESPECTFUL CONFRONTATION. BY Joe WESTON. A Guide to Personal Freedom and Empowered, Collaborative Engagement
m a s t e r i n g RESPECTFUL CONFRONTATION BY Joe WESTON A Gide to Personal Freedom and Empoered, Collaborative Engagement Copyright 2011 Joe Weston TABLE OF CONTENTS Acknoledgements... vii Foreord...
More informationIntro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.
Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to
More informationLogical Constants as Punctuation Marks
362 Notre Dame Journal of Formal Logic Volume 30, Number 3, Summer 1989 Logical Constants as Punctuation Marks KOSTA DOSEN* Abstract This paper presents a proof-theoretical approach to the question "What
More informationWoods, John (2001). Aristotle s Earlier Logic. Oxford: Hermes Science, xiv pp. ISBN
Woods, John (2001). Aristotle s Earlier Logic. Oxford: Hermes Science, xiv + 216 pp. ISBN 1-903398-20-5. Aristotle s best known contribution to logic is the theory of the categorical syllogism in his Prior
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 informationChapter 9- Sentential Proofs
Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9- Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truth-functional arguments.
More informationSUPPOSITIONAL REASONING AND PERCEPTUAL JUSTIFICATION
SUPPOSITIONAL REASONING AND PERCEPTUAL JUSTIFICATION Stewart COHEN ABSTRACT: James Van Cleve raises some objections to my attempt to solve the bootstrapping problem for what I call basic justification
More informationBoghossian & Harman on the analytic theory of the a priori
Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in
More information1/7. The Postulates of Empirical Thought
1/7 The Postulates of Empirical Thought This week we are focusing on the final section of the Analytic of Principles in which Kant schematizes the last set of categories. This set of categories are what
More informationFoundations of Non-Monotonic Reasoning
Foundations of Non-Monotonic Reasoning Notation S A - from a set of premisses S we can derive a conclusion A. Example S: All men are mortal Socrates is a man. A: Socrates is mortal. x.man(x) mortal(x)
More informationHaberdashers Aske s Boys School
1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers
More information4.1 A problem with semantic demonstrations of validity
4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there
More informationAn Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019
An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What
More informationInstrumental reasoning* John Broome
Instrumental reasoning* John Broome For: Rationality, Rules and Structure, edited by Julian Nida-Rümelin and Wolfgang Spohn, Kluwer. * This paper was written while I was a visiting fellow at the Swedish
More informationAyer on the criterion of verifiability
Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................
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 informationFRANK JACKSON AND ROBERT PARGETTER A MODIFIED DUTCH BOOK ARGUMENT. (Received 14 May, 1975)
FRANK JACKSON AND ROBERT PARGETTER A MODIFIED DUTCH BOOK ARGUMENT (Received 14 May, 1975) A unifying strand in the debate between objectivists and subjectivists is the thesis that a man's degrees of belief
More informationThe Modal Ontological Argument
Mind (1984) Vol. XCIII, 336-350 The Modal Ontological Argument R. KANE We know more today about the second, or so-called 'modal', version of St. Anselm's ontological argument than we did when Charles Hartshorne
More informationAll things are possible Case study in the meaninglessness of all views By Colin leslie dean
All things are possible Case study in the meaninglessness of all views By Colin leslie dean All things are possible Case study in the meaninglessness of all views By Colin leslie dean 2 List of free Erotic
More informationTHE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus:
Notre Dame Journal of Formal Logic Volume XIV, Number 3, July 1973 NDJFAM 381 THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE A recent discussion of this topic by Donald Scherer in [6], pp. 247-252, begins
More informationA Liar Paradox. Richard G. Heck, Jr. Brown University
A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationCriticizing Arguments
Kareem Khalifa Criticizing Arguments 1 Criticizing Arguments Kareem Khalifa Department of Philosophy Middlebury College Written August, 2012 Table of Contents Introduction... 1 Step 1: Initial Evaluation
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 informationHelpful Hints for doing Philosophy Papers (Spring 2000)
Helpful Hints for doing Philosophy Papers (Spring 2000) (1) The standard sort of philosophy paper is what is called an explicative/critical paper. It consists of four parts: (i) an introduction (usually
More informationWhat is real? Heaps, bald things, and tall things
What is real? Heaps, bald things, and tall things Our topic today is another paradox which has been known since ancient times: the paradox of the heap, also called the sorites paradox ( sorites is Greek
More information1/9. The First Analogy
1/9 The First Analogy So far we have looked at the mathematical principles but now we are going to turn to the dynamical principles, of which there are two sorts, the Analogies of Experience and the Postulates
More information- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is
BonJour I PHIL410 BonJour s Moderate Rationalism - BonJour develops and defends a moderate form of Rationalism. - Rationalism, generally (as used here), is the view according to which the primary tool
More informationEthical Consistency and the Logic of Ought
Ethical Consistency and the Logic of Ought Mathieu Beirlaen Ghent University In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for
More informationMethods of Proof for Boolean Logic
Chapter 5 Methods of Proof for Boolean Logic limitations of truth table methods Truth tables give us powerful techniques for investigating the logic of the Boolean operators. But they are by no means the
More informationFree will and foreknowledge
Free will and foreknowledge Jeff Speaks April 17, 2014 1. Augustine on the compatibility of free will and foreknowledge... 1 2. Edwards on the incompatibility of free will and foreknowledge... 1 3. Response
More informationIT is frequently taken for granted, both by people discussing logical
'NECESSARY', 'A PRIORI' AND 'ANALYTIC' IT is frequently taken for granted, both by people discussing logical distinctions1 and by people using them2, that the terms 'necessary', 'a priori', and 'analytic'
More information