INTERNAL AND EXTERNAL LOGIC
|
|
- Osborne Douglas
- 6 years ago
- Views:
Transcription
1 Bulletin of the Section of Logic Volume 17:3/4 (1988) pp reedition 2005 [original edition pp ] V. A. Smirnov INTERNAL AND EXTERNAL LOGIC In an essential way I make use of Frege s and Vasilev s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract (external) logic depends on gnoeologic assumptions while the empirical (internal) part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic (see [5] [6]). Vasilev s ideas become plain if we discern cleary acts of predication (the synthesis of a property with an object) and acts of assertion the relation of mental contents with the way things are. The second sourse of the idea seems to Frege s differentation of mental process (Gedanke) and assertion statement (Urteil). As a symbol of assertion for Frege serves a vertical stroke. A horizontal stroke following it is correlated with holding a proposition it makes the sign determined everywhere. In the string of signs the one following the vertical stroke does not express a proposition it describes a possible state of affairs. Getting started from those ideas I introduce several combined propositional calculi of events. In [6] I examined a case when the external logic did not change. Here we are going to examine both the case when the internal logic changes and the one when the external does. We describe a language of a combined calculi of sentences and events. Let p q... be event s variables. We assume that event s variables make terms. If a and b are terms then (a b) (a b) a are terms as well. If a is a term then Θa is a formula; if α and β are formulas then (α&β) (α β) (α β) α are formulas. The connectives: I call internal and & external ones. Let W bs a non-empty set of possible worlds. Let Π be a class of subsets of W closed under the operations of union and. < Π >
2 Internal and External Logic 171 can be a lattice a bounded lattice a distributive lattice (it is possible to examine any algebra). Events will be identified with pairs of sets of possible worlds i.e. with elements of Π Π. Let ϕ be a function assigning to events variables elements from Π Π; ϕ 1 (p) is the first part of ϕ(p) and ϕ 2 (p) the second one. The function ϕ we shall extend for all terms as follows 1). ϕ 1 (a b) = ϕ 1 (a) ϕ 1 (b) ϕ 1 (a b) = ϕ 1 (a) ϕ 1 (b) ϕ 1 ( a) = ϕ 2 (a) ϕ 2 (a b) = ϕ 2 (a) ϕ 2 (b) ϕ 2 (a b) = ϕ 2 (a) ϕ 2 (b) ϕ 2 ( a) = ϕ 1 (a). Let T be a set of subjective points of reference (in particular of time moments of propositions) and R a binary relation on T. The model structure is a system M = << T R > < W Π > d > where d is a function from T to W. Now we are going to describe the notion of substitution of a formula A in a moment t of a modal structure M relative to an assignment ϕ t = ϕ Θa t 1 (Rtt 1 d(t 1 ) ϕ 1 (a)) t = ϕ α&β t = ϕ α and t = ϕ β t = ϕ α β t = ϕ α or t = ϕ β t = ϕ α β t 1 (Rtt 1 (t 1 = ϕ α t 1 = ϕ β)) t = ϕ α t 1 (Rtt 1 t 1 = ϕ α). We can introduce the notion of falsity as well: t ϕ = Θa t 1 (Rtt 1 d(t 1 ) ϕ 2 (a)) and analogously for external connectives. The notion of falsity for classical and intuitionistic external logic is not necessary; but still we need it for the cases of de Morgan logic as well as for constructive one with strong negation. If the relation R is the relation of partial order we will obtain the case of external intuitionistic logic; if R is an identity we will obtain the classical one.
3 172 V. A. Smirnov Now we consider the case when the external logic is classical and the internal one is de Morgan lattice i.e. the system CM. In this case we need R to be the identity and < Π > a distributive lattice. Axiom schemata: W 0. Axiom schemas to classical sentential logic W 1. Θ(a b) Θa & Θb W 2. Θ(a b) Θa Θb W 3. Θ (a b) Θ a Θ b W 4. Θ (a b) Θ a & Θ b W 5. Θ a Θa. As the unique rule of inference will serve Modus Ponens. It is possible to give an elegant formulation of this system in a sequential mode. General sequences: Θa Γ Θa. The logical figures of inferences for internal connectives: Γ Θa Γ Θb Γ Θ(a b) Γ Θ a Θ b Γ Θ (a b) Γ Θa Θb Γ Θ(a b) Γ Θ a Γ Θ b Γ Θ (a b) Γ Θa Γ Θ a Θa Θb Γ Θ(a b) Γ Θ a Γ Θ b Γ Θ (a b) Γ Θa Γ Θb Γ Θ(a b) Γ Θ a Θ b Γ Θ (a b) Γ
4 Internal and External Logic 173 Θa Γ Θ a Γ. The figures for external connectives are standard as well as structural rules of inference. If we demand that ϕ 1 (p) ϕ 2 (p) = then we obtain the Hao Wan logic; in this case we add to axioms W 0-W 5 the following one: W 6. (Θa & Θ a) and to basic sequences: Θa Θ a Γ. If we assume ϕ 1 (p) ϕ 2 (o) = W then we obtain a dual Hao Wan logic; in this case we add: W 7. Θa Θ a and to basic sequences we add Γ Θa Θ a. If we take both above assumptions we obtain a Boolean algebra as an internal logic. In that case Θ a Θa so the distinction between internal and external logic is inessential. If we want to have de Morgan logic as the external logic then except of & and it is necessary to introduce external negation and to define together with the notion of truth the notion falsity: t ϕ = Θa t 1 (Rtt 1 d(t 1 ) ϕ 2 (a)). The relation R is identity so t ϕ = Θa d(t) ϕ 2 (a) t ϕ = α&β t ϕ = α or t ϕ = β t ϕ = α β t ϕ = α and t ϕ = β t ϕ = α t = ϕ α. For the negation we need to add conditions for truth: t = ϕ α t ϕ = α. In the sequential form the system MM is described as follows. Basic sequences: Γ Θa Θa Γ Θa Θa.
5 174 V. A. Smirnov The logical figures of inferences for internal connectives are the same as for the system CM and for the external connectives are the following: Γ α Γ β Γ α&β Γ α β Γ (α&β) Γ δ α β Γ δ α β Γ α Γ β Γ (α β) Γ α Γ α α β Γ α&β Γ α Γ β Γ (α&β) Γ α Γ β Γ α β Γ α β Γ (α β) Γ α Γ α Γ. The structural figures of inferences are as usual. Adding to basic sequences Θa Θ a Γ and Γ Θa Θ a we obtain correspondingly CW and CDW but if both hold then CW ; adding Θa Θa Γ and Γ Θa Θa or both we have correspondingly the external logic W DW or C. We note three questions rising from the approach presented. The first one is the problem of events identity. If a and b are terms then a = b is a formula. The formula a = b is true relative to ϕ iff ϕ 1 (a) = ϕ 1 (b). The question is: is the rule Θa Θb valid? It is valid if we assume that the a = b function d is the counterimage from T on W i.e. w t(d(t) = w). The second questions concerns iteration of the act of asserting. According to the presented approach such iteration is meaningless. Neverthe-
6 Internal and External Logic 175 less the very asserting becomes an event and talking about it is meaningful. That is why it is reasonable to enrich our language as follows. In the definition of a formula we add one more condition: if α is a formula then [α] is a term. In the sequential system CM we add the following figures of inference: Γ α Γ Θ[α] α Γ Γ Θ [α] α Γ Θ[α] Γ Γ α Θ [α] Γ. The system obtained is up to designation equivalent to von Wright system. The system mentioned will be published in Proceedings of V Soviet-Finish Logic Colloquium. The last third question concerns understanding of relations. It is natural to regard a relation as a function from Cartesian product of individual domain to an algebra of events. Then R(a 1... a n ) is not an assertion but as an expression denoting event. It is naturally neither true nor false. We can regard Θ as an operator assigning assertions to events but Θa does mean nothing. Analogously the sign of asserting identity of events = assigns to a couple of events an assertion and a = b does mean nothing. The presented way of understanding relations as images in an algebra of events was used in algebra (see [4]). In this context rises the question of distinction of internal and external quantifiers. References [1] G. Frege Begriffsschrift und Ondere Ausätze Zweite Aulage Darmrfadt [2] N. A. Vasilev Voobrazemaja logika [3] N. A. Vasilev Logika i metalogika 1913.
7 176 V. A. Smirnov [4] V. N. Salij Reschetki s edinstvennymi dopolneniami M [5] V. A. Smirnov Axiomatizacja logiceskih sistem N. A. Vasileva [in:] Sovremennaja logika i metodologia nauki M pp [6] V. A. Smirnov Logiceskije metody analiza nauc novo znania M [7] E. D. Smirnova Logiceskaja semantika i filosofskie osnovania logiki M Notes: 1) If a language contains pseudodifference and pseudocomplement then: ϕ 1 (a b) = ϕ 1 (a) ϕ 1 (b) ϕ 1 (a b) = ϕ 1 (a) ϕ 1 (b) ϕ 2 (a b) = ϕ 2 (b) ϕ 2 (a) ϕ 2 (a b) = ϕ 2 (b) ϕ 2 (a).
CHAPTER 11. Introduction to Intuitionistic Logic
CHAPTER 11 Introduction to Intuitionistic Logic Intuitionistic logic has developed as a result of certain philosophical views on the foundation of mathematics, known as intuitionism. Intuitionism was originated
More informationNEW RESULTS IN LOGIC OF FORMULAS WHICH LOSE SENSE
Bulletin of the Section of Logic Volume 14/3 (1985), pp. 114 119 reedition 2007 [original edition, pp. 114 121] Adam Morawiec Krystyna Piróg-Rzepecka NEW RESULTS IN LOGIC OF FORMULAS WHICH LOSE SENSE Abstract
More information02 Propositional Logic
SE 2F03 Fall 2005 02 Propositional Logic Instructor: W. M. Farmer Revised: 25 September 2005 1 What is Propositional Logic? Propositional logic is the study of the truth or falsehood of propositions or
More informationPropositional Logic. Spring Propositional Logic Spring / 32
Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements
More informationIntroduction to Metalogic
Philosophy 135 Spring 2008 Tony Martin Introduction to Metalogic 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: Remarks: (i) sentence letters p 0, p 1, p 2,... (ii)
More informationLecture 11: Measuring the Complexity of Proofs
IAS/PCMI Summer Session 2000 Clay Mathematics Undergraduate Program Advanced Course on Computational Complexity Lecture 11: Measuring the Complexity of Proofs David Mix Barrington and Alexis Maciel July
More informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More informationcse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018
cse371/mat371 LOGIC Professor Anita Wasilewska Fall 2018 Chapter 7 Introduction to Intuitionistic and Modal Logics CHAPTER 7 SLIDES Slides Set 1 Chapter 7 Introduction to Intuitionistic and Modal Logics
More informationKLEENE LOGIC AND INFERENCE
Bulletin of the Section of Logic Volume 4:1/2 (2014), pp. 4 2 Grzegorz Malinowski KLEENE LOGIC AND INFERENCE Abstract In the paper a distinguished three-valued construction by Kleene [2] is analyzed. The
More informationFrege-numbers + Begriffsschrift revisited
History of logic: from Frege to Gödel 26th September 2017 Grundlagen der Arithmetik: some philosophical issues Introduction: Grundlagen der Arithmetik: some philosophical issues Introduction: "In this
More informationHANDOUT AND SET THEORY. Ariyadi Wijaya
HANDOUT LOGIC AND SET THEORY Ariyadi Wijaya Mathematics Education Department Faculty of Mathematics and Natural Science Yogyakarta State University 2009 1 Mathematics Education Department Faculty of Mathematics
More information185.A09 Advanced Mathematical Logic
185.A09 Advanced Mathematical Logic www.volny.cz/behounek/logic/teaching/mathlog13 Libor Běhounek, behounek@cs.cas.cz Lecture #1, October 15, 2013 Organizational matters Study materials will be posted
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationOn Axiomatic Rejection for the Description Logic ALC
On Axiomatic Rejection for the Description Logic ALC Hans Tompits Vienna University of Technology Institute of Information Systems Knowledge-Based Systems Group Joint work with Gerald Berger Context The
More informationLecture 2: Axiomatic semantics
Chair of Software Engineering Trusted Components Prof. Dr. Bertrand Meyer Lecture 2: Axiomatic semantics Reading assignment for next week Ariane paper and response (see course page) Axiomatic semantics
More informationMathematics 114L Spring 2018 D.A. Martin. Mathematical Logic
Mathematics 114L Spring 2018 D.A. Martin Mathematical Logic 1 First-Order Languages. Symbols. All first-order languages we consider will have the following symbols: (i) variables v 1, v 2, v 3,... ; (ii)
More informationVictoria Gitman and Thomas Johnstone. New York City College of Technology, CUNY
Gödel s Proof Victoria Gitman and Thomas Johnstone New York City College of Technology, CUNY vgitman@nylogic.org http://websupport1.citytech.cuny.edu/faculty/vgitman tjohnstone@citytech.cuny.edu March
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Propositional Logic Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and may not
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationConjunction: p q is true if both p, q are true, and false if at least one of p, q is false. The truth table for conjunction is as follows.
Chapter 1 Logic 1.1 Introduction and Definitions Definitions. A sentence (statement, proposition) is an utterance (that is, a string of characters) which is either true (T) or false (F). A predicate is
More informationcse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference
cse 311: foundations of computing Fall 2015 Lecture 6: Predicate Logic, Logical Inference quantifiers x P(x) P(x) is true for every x in the domain read as for all x, P of x x P x There is an x in the
More informationToday. Proof using contrapositive. Compound Propositions. Manipulating Propositions. Tautology
1 Math/CSE 1019N: Discrete Mathematics for Computer Science Winter 2007 Suprakash Datta datta@cs.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cs.yorku.ca/course/1019
More informationA Little Deductive Logic
A Little Deductive Logic In propositional or sentential deductive logic, we begin by specifying that we will use capital letters (like A, B, C, D, and so on) to stand in for sentences, and we assume that
More informationLogic. Propositional Logic: Syntax
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationEECS 1028 M: Discrete Mathematics for Engineers
EECS 1028 M: Discrete Mathematics for Engineers Suprakash Datta Office: LAS 3043 Course page: http://www.eecs.yorku.ca/course/1028 Also on Moodle S. Datta (York Univ.) EECS 1028 W 18 1 / 12 Using the laws
More information3. The Logic of Quantified Statements Summary. Aaron Tan August 2017
3. The Logic of Quantified Statements Summary Aaron Tan 28 31 August 2017 1 3. The Logic of Quantified Statements 3.1 Predicates and Quantified Statements I Predicate; domain; truth set Universal quantifier,
More informationTABLEAU SYSTEM FOR LOGIC OF CATEGORIAL PROPOSITIONS AND DECIDABILITY
Bulletin of the Section of Logic Volume 37:3/4 (2008), pp. 223 231 Tomasz Jarmużek TABLEAU SYSTEM FOR LOGIC OF CATEGORIAL PROPOSITIONS AND DECIDABILITY Abstract In the article we present an application
More informationTABLEAUX VARIANTS OF SOME MODAL AND RELEVANT SYSTEMS
Bulletin of the Section of Logic Volume 17:3/4 (1988), pp. 92 98 reedition 2005 [original edition, pp. 92 103] P. Bystrov TBLEUX VRINTS OF SOME MODL ND RELEVNT SYSTEMS The tableaux-constructions have a
More informationn Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference
More informationn logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)
Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.6) TOPICS Propositional Logic Logical Operators Truth Tables Implication Logical Equivalence Inference Rules What you should know about propositional
More informationCHAPTER 10. Gentzen Style Proof Systems for Classical Logic
CHAPTER 10 Gentzen Style Proof Systems for Classical Logic Hilbert style systems are easy to define and admit a simple proof of the Completeness Theorem but they are difficult to use. By humans, not mentioning
More informationGödel s Completeness Theorem
A.Miller M571 Spring 2002 Gödel s Completeness Theorem We only consider countable languages L for first order logic with equality which have only predicate symbols and constant symbols. We regard the symbols
More informationHow to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague, such as: this paint is grey.
Major results: (wrt propositional logic) How to reason correctly. How to reason efficiently. How to determine if a statement is true or false. Fuzzy logic deal with statements that are somewhat vague,
More informationMarketing Impact on Diffusion in Social Networks
Marketing Impact on Diffusion in Social Networks Pavel Naumov Vassar College, Poughkeepsie, New York, USA Jia Tao The College of New Jersey, Ewing, New Jersey, USA Abstract The article proposes a way to
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationIntroduction to Metalogic
Introduction to Metalogic Hans Halvorson September 21, 2016 Logical grammar Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationDiscrete Mathematics
Discrete Mathematics Yi Li Software School Fudan University March 13, 2017 Yi Li (Fudan University) Discrete Mathematics March 13, 2017 1 / 1 Review of Lattice Ideal Special Lattice Boolean Algebra Yi
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationLecture 7. Logic. Section1: Statement Logic.
Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement
More information2. The Logic of Compound Statements Summary. Aaron Tan August 2017
2. The Logic of Compound Statements Summary Aaron Tan 21 25 August 2017 1 2. The Logic of Compound Statements 2.1 Logical Form and Logical Equivalence Statements; Compound Statements; Statement Form (Propositional
More informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More informationGödel s Incompleteness Theorems by Sally Cockburn (2016)
Gödel s Incompleteness Theorems by Sally Cockburn (2016) 1 Gödel Numbering We begin with Peano s axioms for the arithmetic of the natural numbers (ie number theory): (1) Zero is a natural number (2) Every
More informationPropositional logic (revision) & semantic entailment. p. 1/34
Propositional logic (revision) & semantic entailment p. 1/34 Reading The background reading for propositional logic is Chapter 1 of Huth/Ryan. (This will cover approximately the first three lectures.)
More informationChapter 2. Assertions. An Introduction to Separation Logic c 2011 John C. Reynolds February 3, 2011
Chapter 2 An Introduction to Separation Logic c 2011 John C. Reynolds February 3, 2011 Assertions In this chapter, we give a more detailed exposition of the assertions of separation logic: their meaning,
More informationPropositional Logic Language
Propositional Logic Language A logic consists of: an alphabet A, a language L, i.e., a set of formulas, and a binary relation = between a set of formulas and a formula. An alphabet A consists of a finite
More informationPropositional Logic: Review
Propositional Logic: Review Propositional logic Logical constants: true, false Propositional symbols: P, Q, S,... (atomic sentences) Wrapping parentheses: ( ) Sentences are combined by connectives:...and...or
More informationLecture : Set Theory and Logic
Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Contrapositive and Converse 1 Contrapositive and Converse 2 3 4 5 Contrapositive and Converse
More informationDiscrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland
Discrete Mathematics W. Ethan Duckworth Fall 2017, Loyola University Maryland Contents 1 Introduction 4 1.1 Statements......................................... 4 1.2 Constructing Direct Proofs................................
More informationON1 Big Mock Test 4 October 2013 Answers This test counts 4% of assessment for the course. Time allowed: 10 minutes
ON1 Big Mock Test 4 October 2013 Answers This test counts 4% of assessment for the course. Time allowed: 10 minutes The actual test will contain only 2 questions. Marking scheme: In each multiple choice
More informationBETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR
Bulletin of the Section of Logic Volume 38:3/4 (2009), pp. 123 133 Kordula Świȩtorzecka BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR Abstract In the presented text we shall focus on some specific
More informationA CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS
Bulletin of the Section of Logic Volume 11:3/4 (1982), pp. 134 138 reedition 2009 [original edition, pp. 134 139] Bogus law Wolniewicz A CLOSURE SYSTEM FOR ELEMENTARY SITUATIONS 1. Preliminaries In [4]
More informationcse541 LOGIC FOR COMPUTER SCIENCE
cse541 LOGIC FOR COMPUTER SCIENCE Professor Anita Wasilewska Spring 2015 LECTURE 2 Chapter 2 Introduction to Classical Propositional Logic PART 1: Classical Propositional Model Assumptions PART 2: Syntax
More information1. Algebra H-B-M-S- <A, 0, 1,,,,,, >
Bulletin of the Section of Logic Volume 17:3/4 (1988), pp. 127 133 reedition 2005 [original edition, pp. 127 137] Alexander S. Karpenko ALGEBRAIC STRUCTURE OF THE TRUTH-VALUES FOR L ω This paper is an
More informationOverview of Logic and Computation: Notes
Overview of Logic and Computation: Notes John Slaney March 14, 2007 1 To begin at the beginning We study formal logic as a mathematical tool for reasoning and as a medium for knowledge representation The
More informationCMPSCI 601: Tarski s Truth Definition Lecture 15. where
@ CMPSCI 601: Tarski s Truth Definition Lecture 15! "$#&%(') *+,-!".#/%0'!12 43 5 6 7 8:9 4; 9 9 < = 9 = or 5 6?>A@B!9 2 D for all C @B 9 CFE where ) CGE @B-HI LJKK MKK )HG if H ; C if H @ 1 > > > Fitch
More informationCompleteness for FOL
Completeness for FOL Completeness Theorem for F Theorem. Let T be a set of sentences of a firstorder language L and let S be a sentence of the same language. If S is a first-order consequence of T, then
More informationLING 501, Fall 2004: Laws of logic and the definitions of the connectives
LING 501, Fall 2004: Laws of logic and the definitions of the connectives Modified October 24, adding a test yourself section at the end. Modified October 21, correcting errors noted in class on October
More informationChapter 2: Introduction to Propositional Logic
Chapter 2: Introduction to Propositional Logic PART ONE: History and Motivation Origins: Stoic school of philosophy (3rd century B.C.), with the most eminent representative was Chryssipus. Modern Origins:
More informationDiscrete Mathematics. Instructor: Sourav Chakraborty. Lecture 4: Propositional Logic and Predicate Lo
gic Instructor: Sourav Chakraborty Propositional logic and Predicate Logic Propositional logic and Predicate Logic Every statement (or proposition) is either TRUE or FALSE. Propositional logic and Predicate
More informationPrice: $25 (incl. T-Shirt, morning tea and lunch) Visit:
Three days of interesting talks & workshops from industry experts across Australia Explore new computing topics Network with students & employers in Brisbane Price: $25 (incl. T-Shirt, morning tea and
More informationPropositional Logic. Fall () Propositional Logic Fall / 30
Propositional Logic Fall 2013 () Propositional Logic Fall 2013 1 / 30 1 Introduction Learning Outcomes for this Presentation 2 Definitions Statements Logical connectives Interpretations, contexts,... Logically
More informationApplied Logic. Lecture 1 - Propositional logic. Marcin Szczuka. Institute of Informatics, The University of Warsaw
Applied Logic Lecture 1 - Propositional logic Marcin Szczuka Institute of Informatics, The University of Warsaw Monographic lecture, Spring semester 2017/2018 Marcin Szczuka (MIMUW) Applied Logic 2018
More informationAn Introduction to Modal Logic III
An Introduction to Modal Logic III Soundness of Normal Modal Logics Marco Cerami Palacký University in Olomouc Department of Computer Science Olomouc, Czech Republic Olomouc, October 24 th 2013 Marco Cerami
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationLogic. Propositional Logic: Syntax. Wffs
Logic Propositional Logic: Syntax Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about
More informationPiotr Kulicki The Use of Axiomatic Rejection
Piotr Kulicki The Use of Axiomatic Rejection 1. Introduction The central point of logic is an entailment relation, which in different contexts is expressed as an implication in a system, syntactic derivability
More informationFirst Order Logic: Syntax and Semantics
CS1081 First Order Logic: Syntax and Semantics COMP30412 Sean Bechhofer sean.bechhofer@manchester.ac.uk Problems Propositional logic isn t very expressive As an example, consider p = Scotland won on Saturday
More informationMarie Duží
Marie Duží marie.duzi@vsb.cz 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: 1. a language 2. a set of axioms 3. a set of deduction rules ad 1. The definition of a language
More informationCS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:
x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which
More informationPropositional Logic: Part II - Syntax & Proofs 0-0
Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems
More information1.1 Language and Logic
c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,
More informationNatural Implication and Modus Ponens Principle 1
УДК 164.043 + 510.644 N.E. Tomova Natural Implication and Modus Ponens Principle 1 Tomova Natalya Evgenyevna Department of Logic, Institute of Philosophy, Russian Academy of Sciences. Volkhonka 14/5, Moscow,
More informationPhilosophy 134 Module 2 Non-Modal Sentential Logic
Philosophy 134 Module 2 Non-Modal Sentential Logic G J Mattey August 1, 2013 Contents 1 Syntax of Sentential Logic 3 11 Expressions of SL 3 12 Rules of Formation for SL 4 2 Semantics for Sentential Logic
More informationSample Problems for all sections of CMSC250, Midterm 1 Fall 2014
Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical
More informationOn the Complexity of the Reflected Logic of Proofs
On the Complexity of the Reflected Logic of Proofs Nikolai V. Krupski Department of Math. Logic and the Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University, Moscow 119899,
More informationa. (6.25 points) where we let b. (6.25 points) c. (6.25 points) d. (6.25 points) B 3 =(x)[ H(x) F (x)], and (11)
A1 Logic (25 points) For each of the following either prove it step-by-step using resolution or another sound and complete technique of your stated choice or disprove it by exhibiting in detail a relevant
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationCSE 1400 Applied Discrete Mathematics Definitions
CSE 1400 Applied Discrete Mathematics Definitions Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Arithmetic 1 Alphabets, Strings, Languages, & Words 2 Number Systems 3 Machine
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationSection 1.1: Logical Form and Logical Equivalence
Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,
More informationBOCHVAR S ALGEBRAS AND CORRESPONDING PROPOSITIONAL CALCULI
Bulletin of the Section of Logic Volume 9/1 (1980), pp. 39 43 reedition 2010 [original edition, pp. 39 45] Viktor Finn Revas Grigolia BOCHVAR S ALGEBRAS AND CORRESPONDING PROPOSITIONAL CALCULI This is
More informationMaximal Introspection of Agents
Electronic Notes in Theoretical Computer Science 70 No. 5 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 16 pages Maximal Introspection of Agents Thomas 1 Informatics and Mathematical Modelling
More informationModal Sentential Logic I
Modal Sentential Logic I G J Mattey July 20, 2001 1 Syntax of MSL Modal Sentential Logic (MSL) is a formal language which is an extension of Sentential Logic (SL) All expressions of SL are expressions
More informationFoundations of Mathematics
Foundations of Mathematics Andrew Monnot 1 Construction of the Language Loop We must yield to a cyclic approach in the foundations of mathematics. In this respect we begin with some assumptions of language
More informationArtificial Intelligence. Propositional Logic. Copyright 2011 Dieter Fensel and Florian Fischer
Artificial Intelligence Propositional Logic Copyright 2011 Dieter Fensel and Florian Fischer 1 Where are we? # Title 1 Introduction 2 Propositional Logic 3 Predicate Logic 4 Reasoning 5 Search Methods
More informationOn the Craig interpolation and the fixed point
On the Craig interpolation and the fixed point property for GLP Lev D. Beklemishev December 11, 2007 Abstract We prove the Craig interpolation and the fixed point property for GLP by finitary methods.
More informationDescription Logics. Foundations of Propositional Logic. franconi. Enrico Franconi
(1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge
More informationPropositional Logic: Syntax
Logic Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and programs) epistemic
More informationNon-Axiomatic Logic (NAL) Specification. Pei Wang
Non-Axiomatic Logic (NAL) Specification Pei Wang October 30, 2009 Contents 1 Introduction 1 1.1 NAL and NARS........................ 1 1.2 Structure of NAL........................ 2 1.3 Specifying NAL.........................
More informationMATH 1090 Problem Set #3 Solutions March York University
York University Faculties of Science and Engineering, Arts, Atkinson MATH 1090. Problem Set #3 Solutions Section M 1. Use Resolution (possibly in combination with the Deduction Theorem, Implication as
More informationINF3170 Logikk Spring Homework #8 For Friday, March 18
INF3170 Logikk Spring 2011 Homework #8 For Friday, March 18 Problems 2 6 have to do with a more explicit proof of the restricted version of the completeness theorem: if = ϕ, then ϕ. Note that, other than
More informationProseminar on Semantic Theory Fall 2013 Ling 720 Propositional Logic: Syntax and Natural Deduction 1
Propositional Logic: Syntax and Natural Deduction 1 The Plot That Will Unfold I want to provide some key historical and intellectual context to the model theoretic approach to natural language semantics,
More informationIbn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011
1 Ibn Sina s explanation of reductio ad absurdum. Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2011 http://wilfridhodges.co.uk 2 WESTERN LOGIC THE BIG NAMES Latin line through Boethius
More informationRelational Reasoning in Natural Language
1/67 Relational Reasoning in Natural Language Larry Moss ESSLLI 10 Course on Logics for Natural Language Inference August, 2010 Adding transitive verbs the work on R, R, and other systems is joint with
More informationCHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC
CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC 1 Motivation and History The origins of the classical propositional logic, classical propositional calculus, as it was, and still often is called,
More informationIntroduction to Metalogic 1
Philosophy 135 Spring 2012 Tony Martin Introduction to Metalogic 1 1 The semantics of sentential logic. The language L of sentential logic. Symbols of L: (i) sentence letters p 0, p 1, p 2,... (ii) connectives,
More informationPrinciples of Knowledge Representation and Reasoning
Principles of Knowledge Representation and Reasoning Modal Logics Bernhard Nebel, Malte Helmert and Stefan Wölfl Albert-Ludwigs-Universität Freiburg May 2 & 6, 2008 Nebel, Helmert, Wölfl (Uni Freiburg)
More informationPositive provability logic
Positive provability logic Lev Beklemishev Steklov Mathematical Institute Russian Academy of Sciences, Moscow November 12, 2013 Strictly positive modal formulas The language of modal logic extends that
More information3 The Semantics of the Propositional Calculus
3 The Semantics of the Propositional Calculus 1. Interpretations Formulas of the propositional calculus express statement forms. In chapter two, we gave informal descriptions of the meanings of the logical
More information