A Social Pragmatic View on the Concept of Normative Consistency

Size: px
Start display at page:

Download "A Social Pragmatic View on the Concept of Normative Consistency"

Transcription

1 A Social Pragmatic View on the Concept of Normative Consistency Berislav Žarnić Faculty of Humanities and Social Sciences, University of Split A Workshop on Deontic Logic Angelo Sraffa Department of Legal Studies Università Commerciale Luigi Bocconi in collaboration with Thémis Centre d Etudes de Philosophie du droit, de Sociologie du droit et de Théorie du droit Milano, 12th February 2016

2 Overview 1 Von Wright s shift towards logical pragmatics 2 Translations: perfection properties and second-order norms 3 Diverse obligations and inconsistency

3 Deontic logic as modal logic Philosopher s recollection One day when I was walking along the banks of the River Cam I was at that time living in Cambridge (England) I was struck by the thought that the modal attributes possible, impossible and necessary are mutually related to one another in the same way as the quantifiers some, no and all. I soon found that the formal analogy between quantifiers and modal concepts extended beyond the patterns of interdefinability...i had made another accidental observation this time in the course of a discussion with friends namely that the normative notions of permission, prohibition, and obligation seemed to conform to the same pattern of mutual relatedness as quantifiers and basic modalities. Georg Henrik von Wright. Deontic logic: a personal view. (1999). Ratio Juris 12: Figure : Ludwig Wittgenstein and Georg Henrik von Wright (Photograph from April 1950.; taken in von Wright s garden while Wittgenstein was a guest at his house.)

4 Von Wright s Programmatic Statement Deontic logic as the study of rationality conditions in norm-giving activity Deontic logic, one could also say, is neither a logic of norms nor a logic of norm-propositions but a study of conditions which must be satisfied in rational norm-giving activity. It is strict logic because the conditions which it lays down are derived from logical relations between states in the ideal worlds which normative codes envisage. Georg Henrik von Wright (1993). A Pilgrim s Progress. In von Wright, G.H. The Tree of Knowledge and Other Essays, Leiden: Brill. Figure : Georg Henrik von Wright (June 14, 1916, Helsinki June 16, 2003, Helsinki) Photograph shows the River Cam in the background.

5 The turn towards logical pragmatics Here it will be proposed a semi-formal way of understanding and extending von Wright programmatic statement. standard deontic logic axiom set-theoretic approach property of a norm-set second-order norms obligation of the norm-giver g or norm-recipient r an example (D) Oφ Pφ Cn(N ) O 2 g(o r φ P r φ) The here proposed extension of the programmatic statement will include normative reasoning as another type of norm-related activity besides norm-giving activity. The here proposed application of the programmatic statement will discuss the second-order norms covering the norm-giver and the norm-recipient s relation to an inconsistent normative system.

6 Social Pragmatics of Deontic Logic The reasons why the term social pragmatics will be used are, inter alia, the following: the term pragmatics indicates the study of language-use: the norm-giver uses the language in building of a normative system, the norm-recipient uses a language-formulated (normative) system as the basis of her/his normative reasoning; the term social indicates that more than one language-user (or social role) is taken into account: the (role of) norm-giver, the (role of) norm-recipient. Social pragmatics of deontic logic studies the norms that apply to norm-related activities of social actor roles. These norms can be properly called second-order norms since they cover the activities that are related to a normative-system.

7 Connecting the two languages of deontic logic A simple formal explication for von Wright s programmatic statement can be obtained using the set-theoretic approach proposed by many philosophical logicians (e.g., Carlos Alchourrón and Eugenio Bulygin, or, more recently, John Broome), according to which the existence of an obligation-norm within a normative system is represented by the membership of its propositional content in the set that represents the normative system in question. In the set theoretic approach the basic idea is to represent the norm by the membership relation between its content φ and norm-set N : the expression it is obligatory that φ is explicated as φ N.

8 On set-theoretic approach This highly reduced model can be made more realistic by adding variables, such as those for the source, addressee and situation and taking as elementary the expression by the source s it is obligatory in the situation w upon actor i that φ. E.g., following Broome N would be treated as a three-place function which delivers norm-contents (requirements), N (s, i, w) L. The major point of divergence within the set-theoretic approach lies in the properties one is willing to assign to norm-sets. It is in accord with the approach proposed by von Wright to treat norm-sets as simple sets consisting just of sentences that correspond to contents of explicitly promulgated norms and to lay the question of their logical properties aside. In the approach proposed here it is not assumed that a norm-set is deductively closed (as Carlos Alchourrón and Eugenio Bulygin do), or closed under equivalence (as Broome does). The norm-set, as understood here, is just a set and the question of its desirable properties is solved by second-order norms addressed to different actor roles.

9 The translation function The basic idea has already been given and it can be easily extended to other deontic modalities if their interdefinability is presupposed. standard deontic logic Oφ Fφ Pφ Definition (More formally...) set-theoretic approach φ N φ N φ N Let L pl be the language of propositional logic. Function τ 1 translates formulas with first-order deontic modalities: τ 1 (φ) = φ if φ L pl τ 1 (Oφ) = φ N τ 1 (Fφ) = φ N τ 1 (Pφ) = φ N τ 1 ( φ) = τ 1 (φ) τ 1 ((φ ψ)) = (τ 1 (φ) τ 1 (ψ))

10 Reading postulates of deontic logic in terms of norm-set properties Examples (D) axiom, Oφ O φ, characterizes consistent norm-sets as shown by the translation: τ 1 (Oφ O φ) = φ N φ N adjunction axiom, (Oφ Oψ) O(φ ψ) characterizes norm-sets closed under conjunction as shown by the translation: τ 1 ((Oφ Oψ) O(φ ψ)) = ( φ N ψ N ) φ ψ N Comment. It may be thought that both consistency and closure under conjunction are desirable properties, i.e., the properties that any norm-set ought to have, but their desirability is relative to the actor s role. From the perspective of the norm-giver consistency is a property that ought to be achieved in the norm-giving activity, but closure under conjunction is not since it would involve an infinite sequence of communicative acts of adding still another conjunction for any pair of sentences already achieved in the process. From the perspective of the norm-recipient consistency of a norm-set is not a property that the norm-recipient ought to achieve in her/his normative reasoning since she/he ought to reason on the basis of the norm-set no matter whether it is consistent or not. On the other hand, closure under conjunction is the property related to the norm-recipient s reasoning since she/he ought to arrive at the minimal (non-redundant) conjunctive conclusion of her/his obligations.

11 Examples (K) axiom, O(φ ψ) (Oφ Oψ), in the presence of the necessitation rule characterizes deductively closed norm-sets as shown by the translation: τ 1 (O(φ ψ) (Oφ Oψ)) = φ ψ N ( φ N φ N ). 1 Extending the line of thought to the Roman Law principle (ultra posse nemo obligatur, impossibilium nulla obligatio) and introducing the operator Can r for doability or the recipient s ability to see to it that so-and-so is the case, Oφ Can r φ, it is clear that the priciple characterizes doable norm-sets as shown by the translation: τ 1 (Oφ Can r φ) = φ N Can r φ Comment. It is obligatory for the norm-recipient to draw deductive consequences of explicitly stated norms and not obligatory for the norm-giver to proclaim them. So, only from the norm-recipient perspective the deductive closure of N is its perfection property, i.e., she or he ought to relate to the deductively closed set, and not only to its deductive core. On the other hand, the Roman Law principle seems to allow for both interpretations: it is clear that the norm-giver ought to achieve a doable norm-set, but is disputable whether the norm-recipient is licensed to conclude that a norm is not binding if its content is not doable. 1 Alternatively, the rule if φ entails ψ, then Oφ Oψ vs. the property of closure under entailment.

12 Obligation-norms and permission norms Non-derivative character of permission Just as possibility is the negation of the necessity of the contradictory of a proposition, permission is the negation of the obligatoriness of the contradictory. Pp O p is a theorem of classical deontic logic. I think that this opinion is mistaken. The relation between permission and absence of prohibition is not a conceptual but a normative relation. One may be able to give good reasons why such things which are not prohibited by the norms of a certain code should be regarded as permitted by the code in question. But to declare the non-prohibited permitted is a normative act. One could have a meta-norm to the effect that the not-prohibited is permitted. The well-known principles Nulla poena sine lege and Nullum crimen sine lege may be thought of as versions of this meta-norm. Or at least as closely related to it. Georg Henrik von Wright (1991). Is There a Logic of Norms? Ratio Juris 4:

13 Permission If permission is not the absence of prohibition, what is it? Several answers have been discussed in the literature. An incomplete list follows with an additional proposal at the end. To give a permission is to remove an antecedently existing prohibition. Giving permission to an actor to see to it that something is the case means prohibiting any other actor to prevent her/him from doing so. To give a permission means to declare that something is optional. To give a permission for φ means to simultaneously introduce two permission-norms: Pφ and P φ. 2 Here the disputes on the meaning/s of permission will be set aside, and so it will be taken in the weakest non-derivative sense. In order to capture the concept of permission in non-derivative sense, the counter-set, N will be introduced in the model. 2 If the norm-giver proclaims Pφ, then her/his intending and not proclaiming Oφ would violate Gricean maxim of quantity, while the norm-recipient would be justified by the logic of cooperative communication to conclude that Oφ and therefore P φ.

14 Two-sets model Within the two-sets model the scope of perfection properties becomes wider. Besides perfection properties of individual sets, there are also perfection properties of the relation between them. Gaplessness is one these. Let L be the language in which the norm-system is expressed. Norm-system N, N is gapless iff N N = L. The operation corresponding to the introduction of permission-norm Pφ is the addition of φ to N, and for P φ is the addition of φ to N. Considering the case of Pφ, the reason for this is that φ is not in N if Pφ, and, since the system is gapless, φ must be put into N. So, there are two correspondences in a gapless system: 1. Oφ corresponds to φ N, and 2. Pφ corresponds to φ N. The same, mutatis mutandis, holds for the case of P φ.

15 Two types of inconsistency Relational (or external) inconsistency occurs if N N. An example: Pφ O φ is given in the picture below. Inner inconsistency occurs if {ψ, ψ} N for some ψ. An example: Oψ O ψ is given in the picture below. ψ ψ φ Norm-setA N Counter-set B N Figure : An example depicting a gapless but a doubly inconsistent normative system. It is externally inconsistent since the intersection is non-empty, and internally inconsistent since the norm-set contains a pair of contradictory sentences.

16 Relational perfections Let us assume that norm-system N, N actually has relational perfections that it ought to have: that it is gapless, N N = L, that it is externally consistent, N N =. The picture below depicts a norm-system having the two relational perfections. Norm-setA N Counter-set B N Figure : An example depicting a gapless and externally consistent system.

17 Extending the translation function If the two relational perfections present, translation function τ 1 will give descriptions of properties of the counter-set that correspond to deontic postulates. Definition Let L pl be the language of propositional logic. Function τ 1 translates formulas with first-order deontic modalities: τ 1 (φ) = φ τ 1 (Oφ) = φ N τ 1 (Fφ) = φ N τ 1 (Pφ) = φ N τ 1 (P φ) = φ N τ 1 ( φ) = τ 1 (φ) if φ L pl τ 1 ((φ ψ)) = (τ 1 (φ) τ 1 (ψ))

18 Reading postulates of deontic logic in terms of norm-set properties Examples (D) axiom, Oφ O φ, characterizes complete counter-sets as shown by the translation: τ 1 (Oφ O φ) = φ N φ N, adjunction axiom, (Oφ Oψ) O(φ ψ) characterizes counter-sets having at least one conjunct for any conjunction they contain as shown by the translation: τ 1 ((Oφ Oψ) O(φ ψ)) = φ ψ N ( φ N ψ N )

19 Correspondence of set properties in a gapless and externally consistent norm-system postulate of standard deontic logic norm-set property counter-set property (D) Oφ Pφ consistency completeness (2) (Oφ Oψ) O(φ ψ) (K) axiom together with necessitation rule closure under conjunction deductive closure having at least one conjunct for each conjunction contained closure under implicant (if φ entails ψ and ψ N, then φ N )

20 Social pragmatics of inconsistency Second-order norms with respect to an inconsistent system content revision norm-giver ought to revise the norm-system inconsistent norm-system logic revision norm-recipient ought to change the logic of normative reasoning Second-order norms, understood in prescriptive sense, also cover the relation towards an inconsistent normative system. The norm-giver ought to restore consistency by the revision of its content (by derogations, modifications,...). The norm-recipient ought to continue to reason on the basis of it, but it obviously cannot be done on the basis of classical logic where the principle ex contradictione quodlibet holds. Therefore, in absence of other remedies, the second-order norm for the recipient s dealing with an inconsistent system requires the shift to a inconsistency-tolerant logic. In other words, the norm-giver should revise the content and the norm-recipient should revise the logic of an inconsistent system.

21 Two types of revision The normative relation is different for each actor-role: the norm-giver ought to change the content of the norm-system so to remove inconsistency, the norm-recipient ought to change the logic of the reasoning based on the inconsistent norm-system. These second-order dynamic norms show the need of a notion of revision more general than that of AGM-revision. The generalized notion of revision must be wide enough to encompass the case where revision includes no contraction but, instead, takes the form of the change of logic. Since a presence of contradiction in a set of sentences need not imply the absurdity of its use in reasoning the two imperfections should be distinguished: the inconsistency, either internal {ψ, ψ} N or external N N, and the self-destruction under logic L, where either Cn L(N ) = L or Cn L(N {φ}) = L for some φ such that Pφ holds. 3 3 This means that φ N or, if φ = ψ, then ψ N.

22 Is logic revision possible? It is not the norm-giver s duty to change the logic, this is the norm-recipient s duty. The norm-recipient s duty remains the duty to treat the norm-system as a logical object (with norm set closed under entailment and adjunction, and counter-set having corresponding properties). But can this be done? Is there a logic not self-destructive in the case of inconsistency and still conservative with respect to perfection properties of the norm-set and counter-set? The answer is affirmative. Dialetheic deontic logic of Graham Priest is both inconsistency-tolerant and preserves properties of the norm-set and counter-set.

23 Dialetheic deontic logic In Priest presented the system of dialetheic deontic logic, a logic with three values ({t}, {t, f}, {f}) and free from explosion principle. Graham Priest (2006). In contradiction : a study of the transconsistent. Expanded edition. (First edition published 1987 by Martinus Nijhoff Publishers). Oxford: Oxford University Press. The deontic operator O is receives two interpretations in a given possible world w: it has an extension ω + (w) L and anti-extension ω (w) L which are exhaustive ω + (w) ω (w) = L but not in general exclusive, i.e., it is allowed in the system that ω + (w) ω (w). It is obvious that Priest s extension corresponds to the norm-set, and anti-extension to the counter-set. The extension of O is closed under entailment, i.e., if α entails β and α ω + (w), the β ω + (w), and closed under adjunction, if α ω + (w) and β ω + (w), the (α β) ω + (w). The anti-extension is closed in the opposite direction, i.e. closed under implicant and having at least one conjunct for the conjunction contained. It is allowed for the extension to be inconsistent, i.e., α ω + (w) and α ω + (w). Since the DDL logic is free from self-destruction neither the fact of internal inconsistency, {α, α} ω + (w), nor the fact of external inconsistency, {α, α} ω + (w) {α} for some α such that α ω (w) do not imply ω + (w) = L or ω + (w) {α} = L, respectively.

24 Dialetheic deontic logic The informal reading for O is as follows:...if the world were such that all extant obligations were duly fulfilled, then it would be the case that α. The truth conditions are: t v w(oγ) iff γ ω + (w) f v w(oγ) iff γ ω (w) Operators P and F have standard definitions, O and O. E.g., t v w (Pφ) iff φ ω (w); f v w (Pφ) iff φ ω + (w).

25 Both...and not... instead of exclusionary either...or not... w = subsets of ω + (w) ω (w) valuation v w ω + (w) ω (w) ω + (w) ω (w) ω (w) ω + (w) Oφ Fφ Pφ P φ w 1 φ, φ {t} {t} {f} {f} w 2 φ φ {t} {t, f} {t, f} {f} w 3 φ, φ {t, f} {t, f} {t, f} {t, f} w 4 φ φ {t, f} {f} {t} {t, f} Table : Varieties of inconsistent normative systems. Firstly, note that the presence of contradictory sentences in ω (w) is not a sign of inconsistency, but the indication of the fact that φ is optional. The sufficient conditions for inconsistency are the presence of contradictory sentences in ω + (w) and ω + (w) ω (w). Secondly, note the absence of deontic explosion. In each of inconsistency types it is not the case that anything goes, not anything is permitted. In w 1 nothing is permitted with respect to φ. In w 2 it is only partially permitted that φ. In w 3 the inconsistency reaches its highest point and both φ and φ are simultaniously permitted and not permitted. In w 4 it is permitted that φ and permitted and not permitted that φ, and, so, φ is both optional and not optional.

26 Conclusion The programmatic statement put forward in von Wright s last works on deontic logic introduces the perspective of logical pragmatics. This perspective has been adopted here and extended so to include the role of norm-recipient as well as the role of norm-giver. Using the translation function from the language of deontic logic to the language of set-theoretical approach, the connection has been established between the deontic postulates, on one side, and the perfection properties of the norm-set and the counter-set, on the other side. In the study of conditions of rational norm-related activities it has been shown that diverse dynamic second-order norms related to the concept of the consistency norm-system hold: the norm-giver ought to restore classical consistency by revising an inconsistent system, the norm-recipient ought to preserve an inconsistent system by revision of its logic so that inconsistency does not imply destruction of the system. 4 4 The author acknowledges support from Università Commerciale Luigi Bocconi, Revus: Journal for Constitutional Theory and Philosophy of Law, and HRZZ research project: LogiCCom Logic, Concepts, and Communication.

Dialetheic deontic logic and language-created reality

Dialetheic deontic logic and language-created reality Dialetheic deontic logic and language-created reality Berislav Žarnić Faculty of Humanities and Social Sciences, University of Split Speaking of the Ineffable, East and West Logic Conference Center for

More information

Module 7 D and Equivalent Systems

Module 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 information

Deontic Logic and Meta-Ethics

Deontic Logic and Meta-Ethics Deontic Logic and Meta-Ethics Deontic Logic as been a field in which quite apart from the questions of antinomies "paradoxes" have played a decisive roles, since the field has been invented. These paradoxes

More information

Standard deontic logic and metanormative theory

Standard deontic logic and metanormative theory Standard deontic logic and metanormative theory Berislav Žarnić University of Split, Croatia Non-optional ϕ Obligatory ϕ Forbidden ϕ Permitted ϕ Gratuitous ϕ Optional ϕ Maribor 2013 Deontic logic 1 / 35

More information

Draft of February 2019 please do not cite without permission. A new modal liar 1 T. Parent

Draft of February 2019 please do not cite without permission. A new modal liar 1 T. Parent Draft of February 2019 please do not cite without permission 1. Introduction A new modal liar 1 T. Parent Standardly, necessarily is treated in modal logic as an operator on propositions (much like ~ ).

More information

Geach s problem and a variety of consequence relation

Geach s problem and a variety of consequence relation Berislav Žarnić University of Split, Croatia Analytic philosophy, Dubrovnik 2010 (Berislav Žarnić) Analytic philosophy, Dubrovnik 2010 1 / 29 Pretheoretical notions on consequence relation There are implicit

More information

Epistemic Modals and Informational Consequence

Epistemic 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 information

First Order Logic (1A) Young W. Lim 11/18/13

First Order Logic (1A) Young W. Lim 11/18/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

Mathematics 114L Spring 2018 D.A. Martin. Mathematical Logic

Mathematics 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 information

Correspondence theory and logical postulates in metaphysics in an application to formal pragmatics

Correspondence theory and logical postulates in metaphysics in an application to formal pragmatics Correspondence theory and logical postulates in metaphysics in an application to formal pragmatics Berislav Žarnić University of Split Mind, World & Action 2014 IUC, Dubrovnik, 25 29 August 2014 Overview

More information

Disjunctive facts and superposition of states

Disjunctive facts and superposition of states Disjunctive facts and superposition of states Berislav Žarnić Faculty of Humanities and Social Sciences University of Split x y Φ&Φ 2014 7 8 July 2014, Split Overview 1 Motto 2 Methodological introduction:

More information

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra

Truthmaker Maximalism defended again. Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1 Truthmaker Maximalism defended again 1 Eduardo Barrio and Gonzalo Rodriguez-Pereyra 1. Truthmaker Maximalism is the thesis that every truth has a truthmaker. Milne (2005) attempts to refute it using

More information

Two sources of explosion

Two sources of explosion Two sources of explosion Eric Kao Computer Science Department Stanford University Stanford, CA 94305 United States of America Abstract. In pursuit of enhancing the deductive power of Direct Logic while

More information

Logic (3A) Young W. Lim 10/29/13

Logic (3A) Young W. Lim 10/29/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

Doing the right things trivalence in deontic action logic

Doing the right things trivalence in deontic action logic Doing the right things trivalence in deontic action logic Piotr Kulicki and Robert Trypuz John Paul II Catholic University of Lublin Abstract. Trivalence is quite natural for deontic action logic, where

More information

A Structuralist Account of Logic

A Structuralist Account of Logic Croatian Journal of Philosophy Vol. VIII, No. 23, 2008 Majda Trobok, Department of Philosophy University of Rijeka A Structuralist Account of Logic The lynch-pin of the structuralist account of logic endorsed

More information

Journal of Applied Logic

Journal of Applied Logic Journal of Applied Logic 11 (2013) 147 168 Contents lists available at SciVerse ScienceDirect Journal of Applied Logic www.elsevier.com/locate/jal Two adaptive logics of norm-propositions Mathieu Beirlaen,

More information

. Modal AGM model of preference changes. Zhang Li. Peking University

. 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 information

Introduction to Metalogic

Introduction 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 information

A 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 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 information

A generalization of modal definability

A generalization of modal definability A generalization of modal definability Tin Perkov Polytechnic of Zagreb Abstract. Known results on global definability in basic modal logic are generalized in the following sense. A class of Kripke models

More information

Capturing Lewis s Elusive Knowledge

Capturing 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 information

Imperative Logic, Moods and Sentence Radicals

Imperative Logic, Moods and Sentence Radicals Imperative Logic, Moods and Sentence Radicals Berislav Žarnić The aim of this essay is to examine two challenges that the imperative logic poses to the received view of sentence moods. According to the

More information

Axioms as definitions: revisiting Hilbert

Axioms as definitions: revisiting Hilbert Axioms as definitions: revisiting Hilbert Laura Fontanella Hebrew University of Jerusalem laura.fontanella@gmail.com 03/06/2016 What is an axiom in mathematics? Self evidence, intrinsic motivations an

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

More information

KRIPKE S THEORY OF TRUTH 1. INTRODUCTION

KRIPKE S THEORY OF TRUTH 1. INTRODUCTION KRIPKE S THEORY OF TRUTH RICHARD G HECK, JR 1. INTRODUCTION The purpose of this note is to give a simple, easily accessible proof of the existence of the minimal fixed point, and of various maximal fixed

More information

GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem

GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS. Contents 1. Introduction Gödel s Completeness Theorem GÖDEL S COMPLETENESS AND INCOMPLETENESS THEOREMS BEN CHAIKEN Abstract. This paper will discuss the completeness and incompleteness theorems of Kurt Gödel. These theorems have a profound impact on the philosophical

More information

An Inquisitive Formalization of Interrogative Inquiry

An Inquisitive Formalization of Interrogative Inquiry An Inquisitive Formalization of Interrogative Inquiry Yacin Hamami 1 Introduction and motivation The notion of interrogative inquiry refers to the process of knowledge-seeking by questioning [5, 6]. As

More information

Logic (3A) Young W. Lim 11/2/13

Logic (3A) Young W. Lim 11/2/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

First-Degree Entailment

First-Degree Entailment March 5, 2013 Relevance Logics Relevance logics are non-classical logics that try to avoid the paradoxes of material and strict implication: p (q p) p (p q) (p q) (q r) (p p) q p (q q) p (q q) Counterintuitive?

More information

Handout Lecture 1: Standard Deontic Logic

Handout 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 information

Argumentation and rules with exceptions

Argumentation 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 information

First Order Logic (1A) Young W. Lim 11/5/13

First Order Logic (1A) Young W. Lim 11/5/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

Logic (3A) Young W. Lim 10/31/13

Logic (3A) Young W. Lim 10/31/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

The Converse of Deducibility: C.I. Lewis and the Origin of Modern AAL/ALC Modal 2011 Logic 1 / 26

The Converse of Deducibility: C.I. Lewis and the Origin of Modern AAL/ALC Modal 2011 Logic 1 / 26 The Converse of Deducibility: C.I. Lewis and the Origin of Modern Modal Logic Edwin Mares Victoria University of Wellington AAL/ALC 2011 The Converse of Deducibility: C.I. Lewis and the Origin of Modern

More information

The Puzzles of Deontic Logic

The 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 information

A non-classical refinement of the interpolation property for classical propositional logic

A non-classical refinement of the interpolation property for classical propositional logic Accepted for publication in Logique & Analyse A non-classical refinement of the interpolation property for classical propositional logic Peter Milne Abstract We refine the interpolation property of the

More information

Learning Goals of CS245 Logic and Computation

Learning Goals of CS245 Logic and Computation Learning Goals of CS245 Logic and Computation Alice Gao April 27, 2018 Contents 1 Propositional Logic 2 2 Predicate Logic 4 3 Program Verification 6 4 Undecidability 7 1 1 Propositional Logic Introduction

More information

8. Reductio ad absurdum

8. Reductio ad absurdum 8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual

More information

A Little Deductive Logic

A 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 information

A SYSTEMATICS OF DEONTIC ACTION LOGICS BASED ON BOOLEAN ALGEBRA

A SYSTEMATICS OF DEONTIC ACTION LOGICS BASED ON BOOLEAN ALGEBRA Logic and Logical Philosophy Volume 18 (2009), 253 270 DOI: 10.12775/LLP.2009.012 Robert Trypuz and Piotr Kulicki A SYSTEMATICS OF DEONTIC ACTION LOGICS BASED ON BOOLEAN ALGEBRA Abstract. Within the scope

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

On the Complexity of Input/Output Logic

On the Complexity of Input/Output Logic On the Complexity of Input/Output Logic Xin Sun 1 and Diego Agustín Ambrossio 12 1 Faculty of Science, Technology and Communication, University of Luxembourg, Luxembourg xin.sun@uni.lu 2 Interdisciplinary

More information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac. January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern

More information

MAGIC Set theory. lecture 1

MAGIC Set theory. lecture 1 MAGIC Set theory lecture 1 David Asperó University of East Anglia 15 October 2014 Welcome Welcome to this set theory course. This will be a 10 hour introduction to set theory. The only prerequisite is

More information

Propositions and Proofs

Propositions and Proofs Chapter 2 Propositions and Proofs The goal of this chapter is to develop the two principal notions of logic, namely propositions and proofs There is no universal agreement about the proper foundations

More information

Chapter 1 Elementary Logic

Chapter 1 Elementary Logic 2017-2018 Chapter 1 Elementary Logic The study of logic is the study of the principles and methods used in distinguishing valid arguments from those that are not valid. The aim of this chapter is to help

More information

Inquisitive Logic. Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Ivano Ciardelli Floris Roelofsen

Inquisitive Logic. Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Ivano Ciardelli Floris Roelofsen Journal of Philosophical Logic manuscript No. (will be inserted by the editor) Inquisitive Logic Ivano Ciardelli Floris Roelofsen Received: 26 August 2009 / Accepted: 1 July 2010 Abstract This paper investigates

More information

Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics

Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics Deontic and Epistemic Modals in Suppositional [Inquisitive] Semantics Martin Aher 1 and Jeroen Groenendijk 2 1 Tartu University 2 ILLC, University of Amsterdam January 16, 2015 Abstract In Groenendijk

More information

A logical framework to deal with variability

A logical framework to deal with variability A logical framework to deal with variability (research in progress) M.H. ter Beek joint work with P. Asirelli, A. Fantechi and S. Gnesi ISTI CNR Università di Firenze XXL project meeting Pisa, 21 June

More information

Propositional logic (revision) & semantic entailment. p. 1/34

Propositional 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 information

INTRODUCTION TO NONMONOTONIC REASONING

INTRODUCTION TO NONMONOTONIC REASONING Faculty of Computer Science Chair of Automata Theory INTRODUCTION TO NONMONOTONIC REASONING Anni-Yasmin Turhan Dresden, WS 2017/18 About the Course Course Material Book "Nonmonotonic Reasoning" by Grigoris

More information

Maximal Introspection of Agents

Maximal 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 information

In this chapter, we specify a deductive apparatus for PL.

In this chapter, we specify a deductive apparatus for PL. Handout 5 PL Derivations In this chapter, we specify a deductive apparatus for PL Definition deductive apparatus A deductive apparatus for PL is a set of rules of inference (or derivation rules) that determine

More information

CHAPTER 11. Introduction to Intuitionistic Logic

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 information

Př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 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 information

Proving Completeness for Nested Sequent Calculi 1

Proving Completeness for Nested Sequent Calculi 1 Proving Completeness for Nested Sequent Calculi 1 Melvin Fitting abstract. Proving the completeness of classical propositional logic by using maximal consistent sets is perhaps the most common method there

More information

Logic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014

Logic and Proofs 1. 1 Overview. 2 Sentential Connectives. John Nachbar Washington University December 26, 2014 John Nachbar Washington University December 26, 2014 Logic and Proofs 1 1 Overview. These notes provide an informal introduction to some basic concepts in logic. For a careful exposition, see, for example,

More information

Module 5 K and Equivalent Systems

Module 5 K and Equivalent Systems Module 5 K and Equivalent Systems G. J. Mattey July 8, 2010 Contents 1 The Semantical System KI 2 1.1 Specification of KI....................................... 2 1.2 Semantical Properties and Relations

More information

Problem Solving and Adaptive Logics. A Logico-Philosophical Study

Problem Solving and Adaptive Logics. A Logico-Philosophical Study Problem Solving and Adaptive Logics. A Logico-Philosophical Study Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium Diderik.Batens@UGent.be http://logica.ugent.be/dirk/

More information

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS

CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS CHAPTER 4 CLASSICAL PROPOSITIONAL SEMANTICS 1 Language There are several propositional languages that are routinely called classical propositional logic languages. It is due to the functional dependency

More information

Restricted truth predicates in first-order logic

Restricted 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 information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Maren Bennewitz, and Marco Ragni Albert-Ludwigs-Universität Freiburg Contents 1 Agents

More information

To do something else

To do something else To do something else Ju Fengkui School of Philosophy, Beijing Normal University May 21, 2016 Joint work with Jan van Eijck from Centrum Wiskunde & Informatica Outline 1 Background 2 Our ideas 3 A deontic

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 17, 2016

More information

Conditional Logic and Belief Revision

Conditional 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 information

Russell s logicism. Jeff Speaks. September 26, 2007

Russell s logicism. Jeff Speaks. September 26, 2007 Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................

More information

References A CONSTRUCTIVE INTRODUCTION TO FIRST ORDER LOGIC. The Starting Point. Goals of foundational programmes for logic:

References A CONSTRUCTIVE INTRODUCTION TO FIRST ORDER LOGIC. The Starting Point. Goals of foundational programmes for logic: A CONSTRUCTIVE INTRODUCTION TO FIRST ORDER LOGIC Goals of foundational programmes for logic: Supply an operational semantic basis for extant logic calculi (ex post) Rational reconstruction of the practice

More information

Description Logics. Deduction in Propositional Logic. franconi. Enrico Franconi

Description Logics. Deduction in Propositional Logic.   franconi. Enrico Franconi (1/20) Description Logics Deduction in Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/20) Decision

More information

Normative Framework for Normative System Change

Normative Framework for Normative System Change Normative Framework for Normative System Change Guido Boella Dipartimento di Informatica University of Turin Italy boella@di.unito.it Gabriella Pigozzi CSC University of Luxembourg Luxembourg gabriella.pigozzi@uni.lu

More information

Priority Structure in Deontic Logic

Priority Structure in Deontic Logic Tsinghua University, Beijing, China EASLLI, 29 August 2012 Joint project with van Benthem and Grossi Johan van Benthem, Davide Grossi, and : Deontics = Betterness + Priority, in Guido Governatori and Giovanni

More information

What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos

What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos What are the recursion theoretic properties of a set of axioms? Understanding a paper by William Craig Armando B. Matos armandobcm@yahoo.com February 5, 2014 Abstract This note is for personal use. It

More information

A Logical Architecture of a Normative System

A Logical Architecture of a Normative System A Logical Architecture of a Normative System Guido Boella 1 and Leendert van der Torre 2 1 Dipartimento di Informatica Università di Torino, Italy E-mail: guido@di.unito.it. 2 University of Luxembourg.

More information

Fuzzy Propositional Logic for the Knowledge Representation

Fuzzy Propositional Logic for the Knowledge Representation Fuzzy Propositional Logic for the Knowledge Representation Alexander Savinov Institute of Mathematics Academy of Sciences Academiei 5 277028 Kishinev Moldova (CIS) Phone: (373+2) 73-81-30 EMAIL: 23LSII@MATH.MOLDOVA.SU

More information

Knowledge Based Obligations RUC-ILLC Workshop on Deontic Logic

Knowledge Based Obligations RUC-ILLC Workshop on Deontic Logic Knowledge Based Obligations RUC-ILLC Workshop on Deontic Logic Eric Pacuit Stanford University November 9, 2007 Eric Pacuit: Knowledge Based Obligations, RUC-ILLC Workshop on Deontic Logic 1 The Kitty

More information

BETWEEN THE LOGIC OF PARMENIDES AND THE LOGIC OF LIAR

BETWEEN 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 information

Comment on Leitgeb s Stability Theory of Belief

Comment 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

Logic: Propositional Logic Truth Tables

Logic: Propositional Logic Truth Tables Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06

More information

Part II On the Equivalence of Scientific Theories

Part II On the Equivalence of Scientific Theories Published in Philosophy of Science, 1960, 27, 359 365. Studies in the Empiricist Theory of Scientific Meaning Part II On the Equivalence of Scientific Theories Abstract Drawing upon the Carnapian explication

More information

Volker Halbach. This paper has appeared in Analysis 66 (2006), , the misprint of (N2) has been corrected in vol. 67, 268

Volker Halbach. This paper has appeared in Analysis 66 (2006), , the misprint of (N2) has been corrected in vol. 67, 268 This paper has appeared in Analysis 66 (2006), 276-280, the misprint of (N2) has been corrected in vol. 67, 268 HOW NOT TO STATE THE T-SENTENCES Volker Halbach 1 On many accounts of truth the T-sentences

More information

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery

A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract) Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University, 6-10-1 Hakozaki,

More information

Meta-logic derivation rules

Meta-logic derivation rules Meta-logic derivation rules Hans Halvorson February 19, 2013 Recall that the goal of this course is to learn how to prove things about (as opposed to by means of ) classical first-order logic. So, we will

More information

THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS

THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS THE SYDNEY SCHOOL AN ARISTOTELIAN REALIST PHILOSOPHY OF MATHEMATICS INTRODUCTION Mathematics is a science of the real world, just as much as biology or sociology are. Where biology studies living things

More information

Formal Logic Lecture 11

Formal Logic Lecture 11 Faculty of Philosophy Formal Logic Lecture 11 Peter Smith Peter Smith: Formal Logic, Lecture 11 1 Outline Where next? Introducing PL trees Branching trees Peter Smith: Formal Logic, Lecture 11 2 Where

More information

Propositional Logic: Part II - Syntax & Proofs 0-0

Propositional 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 information

An Intuitively Complete Analysis of Gödel s Incompleteness

An Intuitively Complete Analysis of Gödel s Incompleteness An Intuitively Complete Analysis of Gödel s Incompleteness JASON W. STEINMETZ (Self-funded) A detailed and rigorous analysis of Gödel s proof of his first incompleteness theorem is presented. The purpose

More information

5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci

5-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 information

A Little Deductive Logic

A 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 information

Relevant Logic. Daniel Bonevac. March 20, 2013

Relevant 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 information

Logicality of Operators

Logicality of Operators Logicality of Operators Tomoya Sato Abstract Characterizing logical operators has been crucially important in the philosophy of logic. One reason for this importance is that the boundary between logically

More information

On some Metatheorems about FOL

On some Metatheorems about FOL On some Metatheorems about FOL February 25, 2014 Here I sketch a number of results and their proofs as a kind of abstract of the same items that are scattered in chapters 5 and 6 in the textbook. You notice

More information

Chapter 4. Basic Set Theory. 4.1 The Language of Set Theory

Chapter 4. Basic Set Theory. 4.1 The Language of Set Theory Chapter 4 Basic Set Theory There are two good reasons for studying set theory. First, it s a indispensable tool for both logic and mathematics, and even for other fields including computer science, linguistics,

More information

Game-Theoretic Foundations for Norms

Game-Theoretic Foundations for Norms Game-Theoretic Foundations for Norms Guido Boella Dipartimento di Informatica Università di Torino-Italy E-mail: guido@di.unito.it Leendert van der Torre Department of Computer Science University of Luxembourg

More information

Notes on Modal Logic

Notes 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 information

Logic Background (1A) Young W. Lim 12/14/15

Logic Background (1A) Young W. Lim 12/14/15 Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any

More information

THE ITE RA TION O F DE O NTI C MO DA L I TI E S L. F. GOBLE

THE ITE RA TION O F DE O NTI C MO DA L I TI E S L. F. GOBLE THE ITE RA TION O F DE O NTI C MO DA L I TI E S L. F. GOBLE In contrast to investigations in alethic modal logic, in the construction of systems of deontic logic little attention has been paid to the iteration

More information

7. Propositional Logic. Wolfram Burgard and Bernhard Nebel

7. Propositional Logic. Wolfram Burgard and Bernhard Nebel Foundations of AI 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard and Bernhard Nebel Contents Agents that think rationally The wumpus world Propositional logic: syntax and semantics

More information

Classical Propositional Logic

Classical Propositional Logic The Language of A Henkin-style Proof for Natural Deduction January 16, 2013 The Language of A Henkin-style Proof for Natural Deduction Logic Logic is the science of inference. Given a body of information,

More information

Coherence and Revision Critical Remarks on the Günther-Alexy -Debate

Coherence and Revision Critical Remarks on the Günther-Alexy -Debate 23 Peng-Hsiang Wang, Taipei* Coherence and Revision Critical Remarks on the Günther-Alexy -Debate The aim of this paper is to propose a critical solution to the debate between Klaus Günther and Robert

More information

Modal Sentential Logic I

Modal 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 information