Remarks on Kratzer s Ordering- Premise Semantics of Modalities and Conditionals. Norry Ogata Osaka University. Contents
|
|
- Avice Hall
- 6 years ago
- Views:
Transcription
1 Remarks on ratzer s rdering- Premise Semantics of Modalities and Conditionals Norry gata saka University Contents 1. Definitions of rdering-premise Semantics 2. Their Motivations 3. Some Formal Properties and Flaws 4. Multi-modal Premise Semantics 5. Premise Semantics from the viewpoint of Dynamic Doxastic Logic 1
2 Definitions of rdering-premise Semantics Let W B be a set of possible worlds, functions such that, : W ( ( W )) are called a modal base and ordering source respectively. They gives two types of premise set (set of propositions) to each possible worlds. Let Φ( p) be a set of propositional variables, then formula φ L, >, Φ φ::= p φ φ φ > φ φ is defined by: where φ φ is a material implication which can define 1 φ φ, φ φ, φ with, and φ > φ is a conditional formula
3 Let V : Φ (W) be a valuation of Φ. Then \, >, Φ is called an rdering-premise Model of if p = W, B,, V , >, Φ : L (W) is defined by recursion on φ: = V ( p) ; φ φ = ( W φ ) φ = ; L ; φ u v. where ={ w W B v u & z z v z φ B B u v { p v p} { p u p}. }, 3
4 Lemma 1. (1) is reflexive, transitive, and anti-symmetry, even if =. (2) is reflexive, transitive, and anti-symmetry, even if =. (3) w w even if =. ripke Semantics W : a non-empty set of possible worlds R : a binary relation on W V : Φ ( W ) a valuation of Φ M = W, R, V : a ripke model M, w φ u W. wru M, u φ M M Γ M M, w φ u W. wru &, u φ φ : ϕ Γ w W., w ϕ, w φ 4
5 Lemma 2. (1) R = {( w, z) u B v B z B. z v & v u} = {( w, z) u B z u} is reflexive, transitive, and serial if w B Lemma 1(2) (2) If w W : B( w) =, then W, R is a reflexive, transitive, serial ripke frame R = {( w, z) u W. z u}. (3) R is transitive and serial Lemma 2(1-2). Lemma 3. (1) W, R ϕ ϕ Lemma 2(3), (2) W, R ϕ ϕ Lemma 2(3), (3) W, R? X ( ϕ ϕ) Lemma 2(1-2) 5
6 Problems on rdering-premise Semantics Case1:Some verifiable propositions are not in any premise sets Case2:n vercoming Inconsistencies Case3:n Practical Inference =multimodal inference Case 1:Circumstantial Conversational Backgrounds B is realistic, i.e., w. w B. B( u) = { p, q} ( u) = { p '''}, p q = { u}, u p ' p ''' p '' Then, W, B,, V, u p', p '' even though p' and p '' are not in the conversational background. 6
7 Case 1:Circumstantial Conversational Backgrounds u p ''' q' p ''' p ''' q' Then, W, B,, V, u ( p ''' q'), ( p ''' q') for each q'( u) which is not in the conversational background. Case 2: Judgments Judge A: a is liable ( l); Judge B: a is not liable( l) Judge A=Judge B: the murder is a crime ( c) Judgments = =. Judgments c, c Judgments l, l, for all formula c, l,... 7
8 Case 2: Judgments (ratzer s Solution) w l, l, c Closest to the ideal l, c l, c c More further away than the other two by the ordering source w. B =,i.e., B = W,i.e., R is reflexive, i.e., w is impossible Case 3: Practical Inference B B is circumstantial, i.e., = { gotopub popular} is bouletic, i.e., = { popular, gotopub, hike} = = B 8
9 Case 3: Practical Inference (ratzer s Solution) Closest worlds hike hike gotopub hike gotopub gotopub popular popular popular hike gotopub hike gotopub popular hike gotopub popular should hike, could go, could pop could go, could pop ne wish Case 3: Practical Inference (Frank s Solution) Does this correspond to our intuitions? In one way it does, but in another it doesn t. Frank(1997) She proposes a contraction of p and not-p in the sense of Belief Revision. B B! = ', where ' & ( B ') & X if ' X, then ( X ) =. B For another contraction in DRT, see of Frank(1997). 9
10 Case 3 If ratzer s treatment of practical inference is right, we can add more multi-modal premises: i. The speaker s father s wish: not-hike ii. The law: not-gotopub iii. How many are ordering sources or modal bases needed? r Such a multi-modal situation can be treated? Lemma 4., w ϕ, w ϕ u B v B z B. z v & v u, v ϕ u B v B z B. z v & v u &, v ϕ 10
11 rdering Lemma (1) v u even if = P( u) = = P( v) (2) v u even if P( u) = P( u) = X for all X (3) v u even if P( u) = & P( v) = Propositions on Case 2 = { l, l, c} P( v) = { l, c} P( v) = { l, c} P( u) = { l, c} P( u) = { l, c} P( t) = { l, c} P( t) = { l} P( s) = { l, c} P( s) = { l} B = B = W ( P = { }?) u s; v t; x x;( x w) u, v, t, s, w t, s, w w l, l,? c,?,? w 11
12 rdering Proposition: Case 3 = { pop, go, hike}; w. B = { go pop} P( v) = { hike, go, pop} P( v) = { go} P( u) = { hike, go, pop} P( u) = { pop} P( t) = { hike, go, pop} P( t) = { hike, go} P( s) = { hike, go, pop} P( s) = { hike, pop} Let P = or { go pop} P = Let B = { w} or W t u, v; s u; x x; x w w go, hike, pop, go, pop, ( go pop) = W, B,, V Conditionals in rdering- Premise Semantics φ > φ = { w W w φ }, [ B '/ B ] where wb ' = B { φ }, = { w W u ( B( w) { φ1 }) v ( B { φ1 }) z ( B { φ1 }). z v & v u z φ } 2 (1) material: w B( w) = { w}; w =. (2) strict: wb = ; w =. (3) counterfactual: wb = ; w = { w}. (4) indicative: wb = ; is circumstantial 1 12
13 Counterfactuals in rdering- Premise Semantics A counterfactual is characterized by an empty modal base f and a totally realistic ordering source g. It follows from David Lewis work mentioned above, that this analysis of counterfactuals is equivalent to the one I give in ratzer(1981b). The idea is this: All possible worlds in which the antecedent p is true, are ordered with respect to their being more or less near to what is actually the case in the world under consideration. ratzer(1981a) Standard Semantics of Conditionals (SMC) M= W, f, V ; f : W ( W ) ( W ) (selection function) φ1 > φ2 M = { w W f ( w, φ1 M ) φ2 M}, (1) material: w X w f ( w, X ) & w ( W X ) Y f ( w, X ) Y. (2) strict: f ( w, X ) = X. (3) counterfactual: many versions (e.g., ratzer(1981)=ss;stalnaker(1968)=vcs; Lewis(1973)=VC). 13
14 Counterfactuals in SMC SS=M.P.;RCEA ;RCM;RCE;CC+CA+AC+CS+MP (Pollock 1981) =RCEC;RC;ID+MD+CA+CS+MP (Nute & Cross 2002) CA: f ( w, X Y ) f ( w, X ) f ( w, Y ) AC : f ( w, X ) Y f ( w, X Y ) f ( w, X ) CS : w X f ( w, X ) { w} MP : w X w f ( w, X ) ID : f ( w, X ) X MD : f ( w, W X ) X f ( w, Y ) f ( w, X ) w φ > φ Standardization of rdering- Premise Semantics 1 u ( { X}) v ( { X}) z ( { X}). z v & v u z Y B 2 B u X v X z X. z v & v u z Y, where w. = { w} and X = φ, Y = 1 2 [ B '/ B] f ( w, X ) = { z X u X v X. z v & v u} ( w) B φ. 14
15 Standardization of rdering- Premise Semantics f 's properties ID : obvious MP : yes u X. w w & w u P( u) P ratzer s Samaritan Paradox For each morally accessible world s : No murder occurs ( p) If a murder occurs, the murderer will be given $100.( p q) 1. ( p q) vacluously true 2. p q vacuously true 3. p > q u, z p. v p. z v & v u z q [ B '/ B ] s is excluded but no X must morally occur cannot be said? 15
16 Frank s solution to ratzer s Samaritan Paradox No murder occurs ( p) If a murder occurs, the murderer will be given $100.( p q) F = Cn({ r r Cn({ p, p q})}) H = Cn({ r q r Cn( Cn( Cn( F { p}) { p})! F)} (ignoring variable assignments; In H, p and p are contracted) f satisfies ID in any interpretation, i.e., p > p. The Frank-Zvolensky Problem #If teenagers drink, then they must drink.(deontic) #If I file my taxes, then I must file my taxes.(bouletic) #If a=b, then it is necessarily a=b.(alethic by gata) p > p is generally bad? Frank: X!{ p > p} = Cn( Cn( X { p > p}) { p, p}) p, p are undefined in X!{ p > p} But: : If Dalai Lama is mad, he must do so. (=he must have his reason. Etc by Zvolensky(2002) 16
17 Multi-Modal Premise Semantics (Basic Ideas) Exploiting Belief-Revision Theory, esp., Model Theories of Dynamic Doxastic Logics (Segerberg 2001) etc. Exlpoiting Multi-Modal Logic, esp., BDI- Logics (Rao & Georgeff 1996) etc. Let W be any nonempty set. A topology in W is a family of subsets of W such as: (i) W,, i= (ii) W, Wi W i<n (iii) W. W, is called a topological space. If X, then X i Wi W Model Theory of DDL (1) i is called open. If X is open, W X is called closed. If X is open and closed, it is called clopen. 17
18 Model Theory of DDL (2) A cover C ( ( W ))( ) of a set X W is a family s.t. X C. If every Y C is open, C is called an open cover. If every open cover of is called compact. has a finite subcover, If for any pair of distinc t elements of, one is an element of a clopen set of which the other is not, is called totally separated. If is compact and totally separated, it is a Stone topology. Then W, is called a Stone spa ce. Model Theory of DDL (3) An onion in W, is a nonempty family ( ( W )) satisfying the following conditions: (NESTEDNESS) if X, Y, X Y or Y X, (LIMIT) for any clopen set P, if P, then there is a least element X s.t. P Y. If evey X is closed, is called a closed on ion. 18
19 Model Theory of DDL (4) If an onion satisfies the following conditions, it is called a Lewis onion: (AINT) if C then C ; (AUNI) if C then C ; The belief set B of and the commitment set C of are defined by the conditions: B =, C =. Model Theory of DDL (5) Let W, be a Stone space. An onion frame is a triple W,, D where D : ( W ) ( ( W )), called the onion determiner, is defined by the conditions: (i) for every X dom( D), D( X ) is an onion, (ii) dom( D), (iii) C W.s.t. X dom( D), C = D( X ), (iv) if X dom( D), then, For each clopen set P. C P S P dom( D), where S is the smallest element in D( X ) to overlap with P. C rng( D) is called D-possible belief set. 19
20 Multi-Modal DDL (1) Let A be a set of agents and M a set of modalities. A multimodal index set Ind( A, M ) over A and M is defined by: * ::= ι m( a) ι ; ι ι + ι ι Multi-Modal DDL (2) Let ( p ) Φ be a set of propositional variables ( w ) W a set of possible worlds, ( ι ) Ind ( A, M ) a multimodal index set, and F= W,, D,, Ind( A, M ) a multimodal onion frame. where D : Ind( A, M ) W ( ( W ) ( ( W ))), and D( ι, w) is a onion determiner and : Ind ( A, M ) W ( ( W )), ( ι, w) is a onion for each ι Ind ( A, M ), w W. 20
21 Multi-Modal DDL (3) Let Φ ( p) be a set of propositional variables and IndVar( x) a variable of multimodal indices. L The language ( ϕ) generated IndVar, >, Φ by Φ and Ind ( A, M ) is defined by: ϕ :: = p ϕ ϕ ϕ ϕ ϕ > ϕ 1 2 x 1 x 2 Multi-Modal DDL (4) Let Φ ( p) be a set of propositional variables, Ind( A, M )( ι) a multimodal index set, L Ind ( A, M ), >, Φ ( ϕ) a language W a set of possible worlds, V : Φ ( W ) a valuation, f : W ( W ) ( W ) a selection function, and W,, D,, Ind( A, M ) a multimodal onion frame. The relation W,, f, V, ι, w ϕ is defined by recursion on ϕ : 21
22 Multi-Modal DDL (5) W,, f, V, ι, w p w V ( p) W,, f, V, ι, w ϕ1 ϕ2 W,, f, V, ι, w ϕ1 & D,, f, V, ι, w ϕ2 W,, f, V, ι, w ϕ W,, f, V, ι, w ϕ W,, f, V, ι, w x ϕ ( ι ( x), w) ϕ ϕ = { w W W,, f, V, ι, w ϕ} Multi-Modal DDL (6) Belief-Desire Consistency (cf. BDI-logic) mc( ι) Belief ( a), mc( κ ) Desire( a) ( ϕ ϕ) mc( κ) Belief ( a), mc( ι) Desire( a) ( ϕ ϕ) mc( ι) Belief ( a), mc( κ ) Desire( a) ( ψ > ι ϕ ( ψ > κ ϕ)) mc( κ) Belief ( a), mc( ι) Desire( a) ( ψ > ι ϕ ( ψ > κ ϕ)) ι ι κ κ 22
23 Solution to Many Judges Problem mc( ι ( x)) obligatory( a) x ( ϕ ψ ) ( xϕ xψ ) mc( ι ( x)) obligatory( a) x ϕ x ϕ mc( ι ( x)) obligatory( a) x Judge A: xliable, xmurderisacrime, mc( ι ( x)) obligatory( a) Judge B: liable, murderisacrime, mc( ι ( y)) obligatory( a) No Inconsistency y y Solution to the Practical Inference Problem I want not to go to pub: mc( ι ( y)) Desire( a) & y pub I want to be popular: mc( ι ( y)) Desire( a) & pop It is the case that if I go to pub, then I will be popular: pub > x pop mc( ι ( x)) Belief ( a) ( pub > pop) No Inconsistency Desire( a) y 23
24 Solution to ratzer s Samaritan Paradox No murder occurs: bligatory ( a) p If a murder occurs, the jurors must convene: p > q ( p q) bligatory( a) But #If a murder occurs, the murderer will be given $100. ther index types: bligation( a), Expectation( a), Predict( a),... D,, V, f, ι, w ϕ > ϕ 1 x 2 D, [ D( ι ( x), w)( Z f ( w, ϕ )) /( ι ( x), w)], V, ι, w ϕ 1 2 if Z = min{ S ( ι ( x), w) S f ( w, ϕ ) } D, [ D( ι, w)( ) /( ι ( x), w)], V, ι, w ϕ otherwise means that ϕ > x 2 ϕ is equivalent to [* ϕ ] ϕ where,,... ι A Solution to the Frank- Zvolensky Problem If f does not satisfy (id) f ( w, X ) X, the logic does not satisfy ϕ > ϕ. Lie Segerberg(2001) defines selector function semantics of [* ϕ ] ϕ
25 A Solution to the Frank- Zvolensky Problems W,, f, V, ι, w ϕ1 > ϕ2 f ( w, ( D( ι ( x), w)( Z ϕ1 ))) ϕ2 if Z = min{ S ( ι ( x), w) S ϕ1 } W, [ D( ι ( x), w)( ) /( ι, w)], f, V, ι, w ϕ otherwise and f does not satisfy (id). 2 Loose End I have reviewed ratzer s rdering Premise Semantics of Modalities and Conditionals: but the properties of f has still been clarified. I have proposed multimodal premise semantics based on Dynamic Doxastic Logic, BDI-logics, and Conditional Logics I have provided another solution for each problems which are motivations of rdering- Premise Semantics 25
26 Bibliography Frank, A. (1997). n Context Dependence in Modal Constructions. Ph.D. thesis, University of Stuttgart. ratzer, A. (1981a). The notional category of modality. In H.-J. Eikmeyer and H. Rieser (Eds.), Words, Worlds and Context: New Approaches to Word Semantics, pp Berlin: Walter de Gruyter& Co. ratzer, A. (1981b). Partition and revision: The semantics of counterfactuals.journal of Philosophical Logic 10, ratzer, A. (1991). Modality. In A. von Stechow and D. Wunderlich (Eds.), Semantik: Ein intentionales Handbuch der zeitgenoess-ischen Forscung, pp Berlin: Walter de Gruyter & Co. Nute, D. and C. B. Cross (2002). Conditional logic. In D. Gabbay and F. Guenthner (Eds.), Handbook of Philosophical Logic, 2nd Edition, Volume 4, pp Dordrecht: luwer Academic Pub. Rao, A. and M. P. Georgeff. (1998). Decision Procedures for BDI Logics. Journal of Logic and Computation 8:(3) Segerberg,. (2001). The Basic Dynamic Doxastic Logic of AGM. In M.-A. Williams and H. Rott (eds.) Frontiers in Belief Revision, pp Dordrecht: luwer Academic Pub. Zvolenszky, Z. (2002). Is a possible-worlds semantics of modality possible?:a problem for ratzer s semantics. In Proceedings from Semantics And Linguistic Theory, Volume
Fallbacks and push-ons
Fallbacks and push-ons Krister Segerberg September 22, 2006 1 Background Grove showed in effect that, in the theory of belief change initiated by Alchourrón, Gärdenfors and Makinson, belief states may
More informationFrom Onions to Broccoli: Generalizing Lewis s counterfactual logic
From Onions to Broccoli: Generalizing Lewis s counterfactual logic Patrick Girard Stanford University May 18, 2005 Abstract We present a generalization of Segerberg s onion semantics for belief revision,
More informationModality: A Standard Analysis. Modality
Modality: A Standard Analysis 1 Ling 406/802 Read Meaning and Grammar, Ch. 5.3.2; Kratzer 1991, pp. 639-644 Modality 2 Modality has to do with necessity and possibility of situations. Grammatical means
More informationCL16, 12th September 2016
CL16, 12th September 2016 for - Soft Outline for - Soft for - Soft The Problem of Anyone who utters: (S) Sherlock Holmes lives in Baker Street would not be objected against by non-philosophers. However:
More informationMichael Franke Fritz Hamm. January 26, 2011
Michael Franke Fritz Hamm Seminar für Sprachwissenschaft January 26, 2011 Three n would, p would, l would, n might p might l might Basic intuition (1) If that match had been scratched, it would have lighted.
More informationPreference and its Dynamics
Department of Philosophy,Tsinghua University 28 August, 2012, EASLLC Table of contents 1 Introduction 2 Betterness model and dynamics 3 Priorities and dynamics 4 Relating betterness and priority dynamics
More information127: Lecture notes HT17. Week 8. (1) If Oswald didn t shoot Kennedy, someone else did. (2) If Oswald hadn t shot Kennedy, someone else would have.
I. Counterfactuals I.I. Indicative vs Counterfactual (LfP 8.1) The difference between indicative and counterfactual conditionals comes out in pairs like the following: (1) If Oswald didn t shoot Kennedy,
More informationSome Non-Classical Approaches to the Brandenburger-Keisler Paradox
Some Non-Classical Approaches to the Brandenburger-Keisler Paradox Can BAŞKENT The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net KGB Seminar The Graduate Center
More informationHandout Lecture 1: Standard Deontic Logic
Handout Lecture 1: Standard Deontic Logic Xavier Parent and Leendert van der Torre University of Luxembourg October 18, 2016 1 Introduction The topic of this handout is so-called standard deontic logic,
More informationBisimulation for conditional modalities
Bisimulation for conditional modalities Alexandru Baltag and Giovanni Ciná Institute for Logic, Language and Computation, University of Amsterdam March 21, 2016 Abstract We give a general definition of
More informationModal logics: an introduction
Modal logics: an introduction Valentin Goranko DTU Informatics October 2010 Outline Non-classical logics in AI. Variety of modal logics. Brief historical remarks. Basic generic modal logic: syntax and
More informationNotes on Modal Logic
Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit January 25, 2009 These short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of Modal Logic. The primary
More informationLogic and Artificial Intelligence Lecture 22
Logic and Artificial Intelligence Lecture 22 Eric Pacuit Currently Visiting the Center for Formal Epistemology, CMU Center for Logic and Philosophy of Science Tilburg University ai.stanford.edu/ epacuit
More informationNotes on Modal Logic
Notes on Modal Logic Notes for PHIL370 Eric Pacuit October 22, 2012 These short notes are intended to introduce some of the basic concepts of Modal Logic. The primary goal is to provide students in Philosophy
More informationModal and temporal logic
Modal and temporal logic N. Bezhanishvili I. Hodkinson C. Kupke Imperial College London 1 / 83 Overview Part II 1 Soundness and completeness. Canonical models. 3 lectures. 2 Finite model property. Filtrations.
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 informationKratzer on Modality in Natural Language
Kratzer on Modality in Natural Language 1 Modal Logic General Propositional modal logic: Syntax: 02.06.12 William Starr Phil 6710 / Ling 6634 Spring 2012 Atomic formulas: P, Q, R,..., Connecties:,,,,,,
More informationSeminar in Semantics: Gradation & Modality Winter 2014
1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows
More informationArgumentation and rules with exceptions
Argumentation and rules with exceptions Bart VERHEIJ Artificial Intelligence, University of Groningen Abstract. Models of argumentation often take a given set of rules or conditionals as a starting point.
More informationToday. Next week. Today (cont d) Motivation - Why Modal Logic? Introduction. Ariel Jarovsky and Eyal Altshuler 8/11/07, 15/11/07
Today Introduction Motivation- Why Modal logic? Modal logic- Syntax riel Jarovsky and Eyal ltshuler 8/11/07, 15/11/07 Modal logic- Semantics (Possible Worlds Semantics): Theory Examples Today (cont d)
More informationModal Logic XXI. Yanjing Wang
Modal Logic XXI Yanjing Wang Department of Philosophy, Peking University May 17th, 2017 Advanced Modal Logic (2017 Spring) 1 Completeness via Canonicity Soundness and completeness Definition (Soundness)
More informationConditional Logic and Belief Revision
Conditional Logic and Belief Revision Ginger Schultheis (vks@mit.edu) and David Boylan (dboylan@mit.edu) January 2017 History The formal study of belief revision grew out out of two research traditions:
More informationFormal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University
Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Logical preliminaries Let L 0 be a language containing a complete set of Boolean connectives, including
More informationThe Puzzles of Deontic Logic
The Puzzles of Deontic Logic 04.09.12 William Starr Phil 6710 / Ling 6634 Spring 2012 For now, we won t place any constraints on R Notation: R(w) := {w R(w, w )} Models M = R, W, v A model says what the
More informationModal Logic. UIT2206: The Importance of Being Formal. Martin Henz. March 19, 2014
Modal Logic UIT2206: The Importance of Being Formal Martin Henz March 19, 2014 1 Motivation The source of meaning of formulas in the previous chapters were models. Once a particular model is chosen, say
More informationNeighborhood Semantics for Modal Logic Lecture 3
Neighborhood Semantics for Modal Logic Lecture 3 Eric Pacuit ILLC, Universiteit van Amsterdam staff.science.uva.nl/ epacuit August 15, 2007 Eric Pacuit: Neighborhood Semantics, Lecture 3 1 Plan for the
More informationRelations. Carl Pollard. October 11, Department of Linguistics Ohio State University
Department of Linguistics Ohio State University October 11, 2011 (Intuitive Idea) Intuitively, a relation is the kind of thing that either holds or doesn t hold between certain things. Examples: Being
More informationSemantical study of intuitionistic modal logics
Semantical study of intuitionistic modal logics Department of Intelligence Science and Technology Graduate School of Informatics Kyoto University Kensuke KOJIMA January 16, 2012 Abstract We investigate
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 informationON THESES WITHOUT ITERATED MODALITIES OF MODAL LOGICS BETWEEN C1 AND S5. PART 1
Bulletin of the Section of Logic Volume 46:1/2 (2017), pp. 111 133 http://dx.doi.org/10.18778/0138-0680.46.1.2.09 Andrzej Pietruszczak ON THESES WITHOUT ITERATED MODALITIES OF MODAL LOGICS BETWEEN C1 AND
More informationFrom Frame Properties to Hypersequent Rules in Modal Logics
From Frame Properties to Hypersequent Rules in Modal Logics Ori Lahav School of Computer Science Tel Aviv University Tel Aviv, Israel Email: orilahav@post.tau.ac.il Abstract We provide a general method
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 MIXED LOGIC: ITS SYNTAX AND SEMANTICS
PROPOSITIONAL MIXED LOGIC: ITS SYNTAX AND SEMANTICS Karim NOUR 1 and Abir NOUR 2 Abstract In this paper, we present a propositional logic (called mixed logic) containing disjoint copies of minimal, intuitionistic
More informationDeontic Modality in Natural Language
Deontic Modality in Natural Language The Obligatory Guide Kai von Fintel Anthony S. Gillies MIT and Rutgers Association for Symbolic Logic 2011 Spring Meeting Session on Logic and Linguistics April 21,
More informationSubminimal Logics and Relativistic Negation
School of Information Science, JAIST March 2, 2018 Outline 1 Background Minimal Logic Subminimal Logics 2 Some More 3 Minimal Logic Subminimal Logics Outline 1 Background Minimal Logic Subminimal Logics
More informationModule 7 D and Equivalent Systems
Module 7 D and Equivalent Systems G J Mattey May 2, 2007 Contents 1 he Semantical System DI 1 2 he Derivational System DD 4 3 he Axiom System D 6 4 Applications of the D-Systems 6 In this and subsequent
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 informationModel Theory of Modal Logic Lecture 1: A brief introduction to modal logic. Valentin Goranko Technical University of Denmark
Model Theory of Modal Logic Lecture 1: A brief introduction to modal logic Valentin Goranko Technical University of Denmark Third Indian School on Logic and its Applications Hyderabad, 25 January, 2010
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 informationHow do pessimistic agents save miners? A STIT based approach
How do pessimistic agents save miners? A STIT based approach Xin Sun 1, Zohreh Baniasadi 2, Shuwen Zhou 3 1,2 Faculty of Science, Technology and Communication, University of Luxembourg, 3 School of computer
More informationDoxastic Logic. Michael Caie
Doxastic Logic Michael Caie There are at least three natural ways of interpreting the object of study of doxastic logic. On one construal, doxastic logic studies certain general features of the doxastic
More informationCHAPTER 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 informationRanking Theory. Franz Huber Department of Philosophy University of Toronto, Canada
Ranking Theory Franz Huber Department of Philosophy University of Toronto, Canada franz.huber@utoronto.ca http://huber.blogs.chass.utoronto.ca The Open Handbook of Formal Epistemology edited by Richard
More informationPropositional Dynamic Logic
Propositional Dynamic Logic Contents 1 Introduction 1 2 Syntax and Semantics 2 2.1 Syntax................................. 2 2.2 Semantics............................... 2 3 Hilbert-style axiom system
More informationWhat is DEL good for? Alexandru Baltag. Oxford University
Copenhagen 2010 ESSLLI 1 What is DEL good for? Alexandru Baltag Oxford University Copenhagen 2010 ESSLLI 2 DEL is a Method, Not a Logic! I take Dynamic Epistemic Logic () to refer to a general type of
More informationThe Importance of Being Formal. Martin Henz. February 5, Propositional Logic
The Importance of Being Formal Martin Henz February 5, 2014 Propositional Logic 1 Motivation In traditional logic, terms represent sets, and therefore, propositions are limited to stating facts on sets
More information09 Modal Logic II. CS 3234: Logic and Formal Systems. October 14, Martin Henz and Aquinas Hobor
Martin Henz and Aquinas Hobor October 14, 2010 Generated on Thursday 14 th October, 2010, 11:40 1 Review of Modal Logic 2 3 4 Motivation Syntax and Semantics Valid Formulas wrt Modalities Correspondence
More informationFirst-Order Modal Logic and the Barcan Formula
First-Order Modal Logic and the Barcan Formula Eric Pacuit Stanford University ai.stanford.edu/ epacuit March 10, 2009 Eric Pacuit: The Barcan Formula, 1 Plan 1. Background Neighborhood Semantics for Propositional
More informationTowards A Multi-Agent Subset Space Logic
Towards A Multi-Agent Subset Space Logic A Constructive Approach with Applications Department of Computer Science The Graduate Center of the City University of New York cbaskent@gc.cuny.edu www.canbaskent.net
More informationNormal Forms for Priority Graphs
Johan van Benthem and Davide rossi Normal Forms for Priority raphs Normal Forms for Priority raphs Johan van Benthem and Davide rossi Institute for Logic, Language and Computation d.grossi@uva.nl Abstract
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 informationFiltrations and Basic Proof Theory Notes for Lecture 5
Filtrations and Basic Proof Theory Notes for Lecture 5 Eric Pacuit March 13, 2012 1 Filtration Let M = W, R, V be a Kripke model. Suppose that Σ is a set of formulas closed under subformulas. We write
More informationMeaning and Reference INTENSIONAL AND MODAL LOGIC. Intensional Logic. Frege: Predicators (general terms) have
INTENSIONAL AND MODAL LOGIC Meaning and Reference Why do we consider extensions to the standard logical language(s)? Requirements of knowledge representation / domain modelling Intensional expressions:
More informationCapturing Lewis s Elusive Knowledge
Zhaoqing Xu Department of Philosophy, Peking University zhaoqingxu@gmail.com September 22, 2011 1 Introduction 2 Philosophical Background Dretske s Relevant Alternatives Theory Lewis s Elusive Knowledge
More informationFrom Causal Models To Counterfactual Structures
From Causal Models To Counterfactual Structures Joseph Y. Halpern Cornell University halpern@cs.cornell.edu June 14, 2011 Abstract Galles and Pearl [1998] claimed that for recursive models, the causal
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 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 informationModal Logic. Introductory Lecture. Eric Pacuit. University of Maryland, College Park ai.stanford.edu/ epacuit. January 31, 2012.
Modal Logic Introductory Lecture Eric Pacuit University of Maryland, College Park ai.stanford.edu/ epacuit January 31, 2012 Modal Logic 1/45 Setting the Stage Modern Modal Logic began with C.I. Lewis dissatisfaction
More informationComment on Leitgeb s Stability Theory of Belief
Comment on Leitgeb s Stability Theory of Belief Hanti Lin Kevin T. Kelly Carnegie Mellon University {hantil, kk3n}@andrew.cmu.edu Hannes Leitgeb s stability theory of belief provides three synchronic constraints
More information. Modal AGM model of preference changes. Zhang Li. Peking University
Modal AGM model of preference changes Zhang Li Peking University 20121218 1 Introduction 2 AGM framework for preference change 3 Modal AGM framework for preference change 4 Some results 5 Discussion and
More informationOn the Use of an ATMS for Handling Conflicting Desires
On the Use of an ATMS for Handling Conflicting Desires Leila Amgoud and Claudette Cayrol Institut de Recherche en Informatique de Toulouse 118, route de Narbonne 31062 Toulouse, France {amgoud, ccayrol}@irit.fr
More informationFrom Syllogism to Common Sense
From Syllogism to Common Sense Mehul Bhatt Oliver Kutz Thomas Schneider Department of Computer Science & Research Center on Spatial Cognition (SFB/TR 8) University of Bremen Normal Modal Logic K r i p
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 informationIs a Possible-Worlds Semantics of Modality Possible? A Problem for Kratzer s Semantics
Appeared in Brandon Jackson (ed.), Semantics and Linguistic Theory XII. Ithaca, New York: Cornell University Press, 2002. 339 358. Is a Possible-Worlds Semantics of Modality Possible? A Problem for Kratzer
More information5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci Arnon Avron School of Computer Science, Tel-Aviv University http://www.math.tau.ac.il/ aa/ March 7, 2008 Abstract One of the
More informationLogics for Belief as Maximally Plausible Possibility
Logics for Belief as Maximally Plausible Possibility Giacomo Bonanno Department of Economics, University of California, Davis, USA gfbonanno@ucdavis.edu Abstract We consider a basic logic with two primitive
More informationHandout: Proof of the completeness theorem
MATH 457 Introduction to Mathematical Logic Spring 2016 Dr. Jason Rute Handout: Proof of the completeness theorem Gödel s Compactness Theorem 1930. For a set Γ of wffs and a wff ϕ, we have the following.
More informationA Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a
A Note on the Good Samaritan Paradox and the Disquotation Theory of Propositional Content a Steven Orla Kimbrough University of Pennsylvania kimbrough@wharton.upenn.edu DEON, May 2002, London a File: deon02-good-samaritan-slides.txt.
More informationConflict-Based Belief Revision Operators in Possibilistic Logic
Conflict-Based Belief Revision Operators in Possibilistic Logic Author Qi, Guilin, Wang, Kewen Published 2012 Conference Title Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence
More informationSocratic Proofs for Some Temporal Logics RESEARCH REPORT
Section of Logic and Cognitive Science Institute of Psychology Adam Mickiewicz University in Poznań Mariusz Urbański Socratic Proofs for Some Temporal Logics RESEARCH REPORT Szamarzewskiego 89, 60-589
More informationEpistemic Modals and Informational Consequence
Epistemic Modals and Informational Consequence [This is a penultimate draft. Please quote only from the published version. The paper is already available through Online First at http://www.springerlink.com/content/0039-7857]
More informationModel Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts
Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia wobcke@cse.unsw.edu.au
More informationNeighborhood Semantics for Modal Logic An Introduction May 12-17, ESSLLI 2007
An Introduction May 12-17, ESSLLI 2007 Eric Pacuit staff.science.uva.nl/ epacuit epacuit@staff.science.uva.nl July 3, 2007 Welcome to! The course will consist of five 90 minute lectures roughly organized
More informationIntention and Rationality for PRS-Like Agents
Intention and Rationality for PRS-Like Agents Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia wobcke@cse.unsw.edu.au Abstract. In this paper,
More informationA SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2. Abstract
Bulletin of the Section of Logic Volume 33/1 (2004), pp. 11 21 Katsumi Sasaki 1 Shigeo Ohama A SEQUENT SYSTEM OF THE LOGIC R FOR ROSSER SENTENCES 2 Abstract To discuss Rosser sentences, Guaspari and Solovay
More informationOn 3-valued paraconsistent Logic Programming
Marcelo E. Coniglio Kleidson E. Oliveira Institute of Philosophy and Human Sciences and Centre For Logic, Epistemology and the History of Science, UNICAMP, Brazil Support: FAPESP Syntax Meets Semantics
More informationDenotational Semantics
5 Denotational Semantics In the operational approach, we were interested in how a program is executed. This is contrary to the denotational approach, where we are merely interested in the effect of executing
More informationThe Axiomatic Method in Social Choice Theory:
The Axiomatic Method in Social Choice Theory: Preference Aggregation, Judgment Aggregation, Graph Aggregation Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam Ulle Endriss
More informationThe Countable Henkin Principle
The Countable Henkin Principle Robert Goldblatt Abstract. This is a revised and extended version of an article which encapsulates a key aspect of the Henkin method in a general result about the existence
More informationContextual Modals. Horacio Arló Costa 1 and William Taysom 2.
Contextual Modals Horacio Arló Costa 1 and William Taysom 2 1 Carnegie Mellon University, hcosta@andrew.cmu.edu 2 Institute for Human and Machine Cognition, wtaysom@ihmc.us Abstract. In a series of recent
More informationPreference logic, conditionals and solution concepts in games
Preference logic, conditionals and solution concepts in games Johan van Benthem, Sieuwert van Otterloo and Olivier Roy johan@science.uva.nl, sotterlo@science.uva.nl, oroy@science.uva.nl October 14, 2005
More informationChapter 9. Modal Language, Syntax, and Semantics
Chapter 9 Modal Language, Syntax, and Semantics In chapter 6 we saw that PL is not expressive enough to represent valid arguments and semantic relationships that employ quantified expressions some and
More informationModelling PRS-Like Agents Mental States
Modelling PRS-Like Agents Mental States Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia wobcke@cse.unsw.edu.au Abstract. In recent years,
More informationModal Logic of Forcing Classes
Outline CUNY Graduate Center Department of Mathematics March 11, 2016 Outline Outline 1 Outline 1 Modal Logic Background Modal Axioms K (ϕ ψ) ( ϕ ψ) T ϕ ϕ 4 ϕ ϕ.2 ϕ ϕ.3 ( ϕ ψ) [(ϕ ψ) (ψ ϕ)] 5 ϕ ϕ Modal
More informationarxiv:math/ v1 [math.lo] 5 Mar 2007
Topological Semantics and Decidability Dmitry Sustretov arxiv:math/0703106v1 [math.lo] 5 Mar 2007 March 6, 2008 Abstract It is well-known that the basic modal logic of all topological spaces is S4. However,
More informationLevels of Knowledge and Belief Computational Social Choice Seminar
Levels of Knowledge and Belief Computational Social Choice Seminar Eric Pacuit Tilburg University ai.stanford.edu/~epacuit November 13, 2009 Eric Pacuit 1 Introduction and Motivation Informal Definition:
More informationDDL UNLIMITED: DYNAMIC DOXASTIC LOGIC FOR INTROSPECTIVE AGENTS* Sten Lindström and Wlodek Rabinowicz
To appear in Erkenntnis. DDL UNLIMITED: DYNAMIC DOXASTIC LOGIC FOR INTROSPECTIVE AGENTS* Sten Lindström and Wlodek Rabinowicz The theories of belief change developed within the AGM-tradition are not logics
More informationA Journey through the Possible Worlds of Modal Logic Lecture 1: Introduction to modal logics
A Journey through the Possible Worlds of Modal Logic Lecture 1: Introduction to modal logics Valentin Goranko Department of Philosophy, Stockholm University ESSLLI 2016, Bolzano, August 22, 2016 Outline
More informationAll psychiatrists are doctors All doctors are college graduates All psychiatrists are college graduates
Predicate Logic In what we ve discussed thus far, we haven t addressed other kinds of valid inferences: those involving quantification and predication. For example: All philosophers are wise Socrates is
More informationPropositional Language - Semantics
Propositional Language - Semantics Lila Kari University of Waterloo Propositional Language - Semantics CS245, Logic and Computation 1 / 41 Syntax and semantics Syntax Semantics analyzes Form analyzes Meaning
More informationThe Semantics of Conditional Modality
The Semantics of Conditional Modality Richmond H. Thomason Philosophy Department University of Michigan rthomaso@umich.edu http://www.eecs.umich.edu/~rthomaso/ May 9, 2012 Warning: This is a draft of an
More informationStanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy The Mathematics of Boolean Algebra First published Fri Jul 5, 2002; substantive revision Mon Jul 14, 2014 Boolean algebra is the algebra of two-valued logic with only
More informationRelevant Logic. Daniel Bonevac. March 20, 2013
March 20, 2013 The earliest attempts to devise a relevance logic that avoided the problem of explosion centered on the conditional. FDE, however, has no conditional operator, or a very weak one. If we
More informationFormal (natural) deduction in propositional logic
Formal (natural) deduction in propositional logic Lila Kari University of Waterloo Formal (natural) deduction in propositional logic CS245, Logic and Computation 1 / 67 I know what you re thinking about,
More informationFormalizing knowledge-how
Formalizing knowledge-how Tszyuen Lau & Yanjing Wang Department of Philosophy, Peking University Beijing Normal University November 29, 2014 1 Beyond knowing that 2 Knowledge-how vs. Knowledge-that 3 Our
More informationRestricted truth predicates in first-order logic
Restricted truth predicates in first-order logic Thomas Bolander 1 Introduction It is well-known that there exist consistent first-order theories that become inconsistent when we add Tarski s schema T.
More informationPhilosophy 244: #8 Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc.
Philosophy 244: #8 Counterfactuals, Neighborhood Semantics, Probability, Predicative Necessity, etc. Modal operators are non-truth-functional; the truth-value of α at a world is not determined by α s s
More informationAhmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY
REPORTS ON MATHEMATICAL LOGIC 52 (2017), 45 56 doi:10.4467/20842589rm.17.002.7140 Ahmad KARIMI A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY A b s t r a c t. The beliefs of other people about
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 informationVALUATIONS FOR DIRECT PROPOSITIONAL
VALUATIONS FOR DIRECT PROPOSITIONAL LOGIC In (1969) a subsystem of classical propositional logic - called direct logic since all indirect inferences are excluded from it - was formulated as a generalized
More information