PHIL478P:Topics in Philosophical Logic; Reasoning about Knowledge and Beliefs-Fall 2013 epacuit

PHIL478P:Topics in Philosophical Logic; Reasoning about Knowledge and Beliefs-Fall 2013 epacuit

Course Modules

Primary Reading Material

Primary Reading Material
Module Completed Module In Progress Module Locked
Primary Reading Material 838795    
  • Syllabus
    Syllabus Syllabus
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Dynamic Epistemic Logic I: Modeling Knowledge and Belief
    Dynamic Epistemic Logic I: Modeling Knowledge and Belief Dynamic Epistemic Logic I: Modeling Knowledge and Belief
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Dynamic Epistemic Logic II: Logics of Information Change
    Dynamic Epistemic Logic II: Logics of Information Change Dynamic Epistemic Logic II: Logics of Information Change
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Epistemic Logic and Epistemology by Wes Holliday
    Epistemic Logic and Epistemology by Wes Holliday Epistemic Logic and Epistemology by Wes Holliday
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Epistemic Paradoxes, Stanford Encyclopedia of Philosophy by Roy Sorensen
    Epistemic Paradoxes, Stanford Encyclopedia of Philosophy by Roy Sorensen Epistemic Paradoxes, Stanford Encyclopedia of Philosophy by Roy Sorensen
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Background: Modal Logic

Background: Modal Logic
Module Completed Module In Progress Module Locked
Background: Modal Logic 838819    
  • Introductory Notes on Modal Logic
    Introductory Notes on Modal Logic Introductory Notes on Modal Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Online Lectures Introducing Modal Logic
    Online Lectures Introducing Modal Logic Online Lectures Introducing Modal Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Introduction to Modal Logic, Part I
    Introduction to Modal Logic, Part I Introduction to Modal Logic, Part I
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Introduction to Modal Logic, Part II
    Introduction to Modal Logic, Part II Introduction to Modal Logic, Part II
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Quiz 1: Basic Modal Logic 1
    Quiz 1: Basic Modal Logic 1 Quiz 1: Basic Modal Logic 1
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Quiz 2: Basic Modal Logic 2
    Quiz 2: Basic Modal Logic 2 Quiz 2: Basic Modal Logic 2
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Online Lectures Introducing Modal Correspondence Theory
    Online Lectures Introducing Modal Correspondence Theory Online Lectures Introducing Modal Correspondence Theory
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Modal Correspondence Theory, part 1
    Modal Correspondence Theory, part 1 Modal Correspondence Theory, part 1
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Modal Correspondence Theory, part 2
    Modal Correspondence Theory, part 2 Modal Correspondence Theory, part 2
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Modal Correspondence Theory, part 3
    Modal Correspondence Theory, part 3 Modal Correspondence Theory, part 3
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Reasoning about Knowledge

Reasoning about Knowledge
Module Completed Module In Progress Module Locked
Reasoning about Knowledge 838993    
  • Lecture Slides: Introduction to Modeling Knowledge, I (9/4)
    Lecture Slides: Introduction to Modeling Knowledge, I (9/4) Lecture Slides: Introduction to Modeling Knowledge, I (9/4)
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Muddy Children Puzzle from Reasoning about Knowledge by Fagin, Halpern, Moses & Vardi
    Muddy Children Puzzle from Reasoning about Knowledge by Fagin, Halpern, Moses & Vardi Muddy Children Puzzle from Reasoning about Knowledge by Fagin, Halpern, Moses & Vardi
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Surprise Examination, I (9/9)
    Lecture Slides: Surprise Examination, I (9/9) Lecture Slides: Surprise Examination, I (9/9)
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Surprise Examination, II (9/11)
    Lecture Slides: Surprise Examination, II (9/11) Lecture Slides: Surprise Examination, II (9/11)
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Problem Set 1
    Problem Set 1 Problem Set 1
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Logical Omniscience

Logical Omniscience
Module Completed Module In Progress Module Locked
Logical Omniscience 850096    
  • Lecture Slides: Logical Omniscience
    Lecture Slides: Logical Omniscience Lecture Slides: Logical Omniscience
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • SEP Article on Justification Logic
    SEP Article on Justification Logic SEP Article on Justification Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Dealing with logical omniscience: expressivity and pragmatics by Halpern and Pucella
    Dealing with logical omniscience: expressivity and pragmatics by Halpern and Pucella Dealing with logical omniscience: expressivity and pragmatics by Halpern and Pucella
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Logics of Knowledge and Belief

Logics of Knowledge and Belief
Module Completed Module In Progress Module Locked
Logics of Knowledge and Belief 850777    
  • Lecture Slides: S5 and KD45
    Lecture Slides: S5 and KD45 Lecture Slides: S5 and KD45
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Plausibility Models, I
    Lecture Slides: Plausibility Models, I Lecture Slides: Plausibility Models, I
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Plausibility Models, II
    Lecture Slides: Plausibility Models, II Lecture Slides: Plausibility Models, II
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Public Announcement Logic

Public Announcement Logic
Module Completed Module In Progress Module Locked
Public Announcement Logic 852420    
  • Lecture Slides: Fitch's Paradox and Public Announcement Logic
    Lecture Slides: Fitch's Paradox and Public Announcement Logic Lecture Slides: Fitch's Paradox and Public Announcement Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Self-Refuting Sentences
    Lecture Slides: Self-Refuting Sentences Lecture Slides: Self-Refuting Sentences
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Epistemic Probability Models

Epistemic Probability Models
Module Completed Module In Progress Module Locked
Epistemic Probability Models 852803    
  • Lecture Slides: Introduction to Epistemic Probability Models
    Lecture Slides: Introduction to Epistemic Probability Models Lecture Slides: Introduction to Epistemic Probability Models
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Common Knowledge, Common Belief and Aumann's Agreeing to Disagree Theorem

Common Knowledge, Common Belief and Aumann's Agreeing to Disagree Theorem
Module Completed Module In Progress Module Locked
Common Knowledge, Common Belief and Aumann's Agreeing to Disagree Theorem 854978    
  • Lecture Slides: Common Knowledge
    Lecture Slides: Common Knowledge Lecture Slides: Common Knowledge
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Common Knowledge, Belief and Agreeing to Disagree
    Lecture Slides: Common Knowledge, Belief and Agreeing to Disagree Lecture Slides: Common Knowledge, Belief and Agreeing to Disagree
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Belief Revision

Belief Revision
Module Completed Module In Progress Module Locked
Belief Revision 854981    
  • Lecture Slides: Introduction to AGM Belief Revision
    Lecture Slides: Introduction to AGM Belief Revision Lecture Slides: Introduction to AGM Belief Revision
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Belief updates, Gardenfors Impossibility Result, Iterated Belief Change
    Lecture Slides: Belief updates, Gardenfors Impossibility Result, Iterated Belief Change Lecture Slides: Belief updates, Gardenfors Impossibility Result, Iterated Belief Change
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Proof of Gardenfors Impossibility Result
    Proof of Gardenfors Impossibility Result Proof of Gardenfors Impossibility Result
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Iterated Belief Revision
    Lecture Slides: Iterated Belief Revision Lecture Slides: Iterated Belief Revision
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Relating Qualitative and Quantitive Notions of Belief

Relating Qualitative and Quantitive Notions of Belief
Module Completed Module In Progress Module Locked
Relating Qualitative and Quantitive Notions of Belief 862007    
  • Lecture Slides: Reducing Graded Beliefs to Belief Simpliciter
    Lecture Slides: Reducing Graded Beliefs to Belief Simpliciter Lecture Slides: Reducing Graded Beliefs to Belief Simpliciter
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Interactive Epistemology

Interactive Epistemology
Module Completed Module In Progress Module Locked
Interactive Epistemology 862008    

The Absent-Minded Driver, Temporal Aspects of the Dynamics of Knowledge

The Absent-Minded Driver, Temporal Aspects of the Dynamics of Knowledge
Module Completed Module In Progress Module Locked
The Absent-Minded Driver, Temporal Aspects of the Dynamics of Knowledge 862009    
  • The Absent Minded Driver and Temporal Logic
    The Absent Minded Driver and Temporal Logic The Absent Minded Driver and Temporal Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Epistemic Temporal Logic
    Epistemic Temporal Logic Epistemic Temporal Logic
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
  • Lecture Slides: Epistemizing Logics of Action and Ability
    Lecture Slides: Epistemizing Logics of Action and Ability Lecture Slides: Epistemizing Logics of Action and Ability
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete

Final Exam: Wed., Dec. 18, 8-10AM, Skinner 1115

Final Exam: Wed., Dec. 18, 8-10AM, Skinner 1115
Module Completed Module In Progress Module Locked
Final Exam: Wed., Dec. 18, 8-10AM, Skinner 1115 862010    
  • Final Exam Questions
    Final Exam Questions Final Exam Questions
    Score at least   Must score at least   to complete this module item Scored at least   Module item has been completed by scoring at least   View Must view in order to complete this module item Viewed Module item has been viewed and is complete Mark done Must mark this module item done in order to complete Marked done Module item marked as done and is complete Contribute Must contribute to this module item to complete it Contributed Contributed to this module item and is complete Submit Must submit this module item to complete it Submitted Module item submitted and is complete
   
minimum score must view must submit must contribute  
Public Domain This course content is offered under a Public Domain license. Content in this course can be considered under this license unless otherwise noted.