Modal Logic

Modal logic 0.1 - basic introduction

Order: Reorder
Duration: 11:25
Updated: 13 Jul 2013

A brief, intuitive introduction to the basic concepts of modal logic. The box & diamond operators, necessity & possibility, possible worlds, etc. If you're a...

http://wn.com/Modal_logic_01_basic_introduction

Modal logic 1.1 - system K - introduction

Order: Reorder
Duration: 16:25
Updated: 02 Aug 2013

An introduction to the basic concepts of the system K in modal logic.

http://wn.com/Modal_logic_11_system_K_introduction

1. Logic Lecture: Introduction to Modal Logic

Order: Reorder
Duration: 6:59
Updated: 08 Aug 2013

Logic Playlist: http://www.youtube.com/view_play_list?p=C88812FFE0F526B0.

http://wn.com/1_Logic_Lecture_Introduction_to_Modal_Logic

The Ontological Argument (The Introduction)

Order: Reorder
Duration: 9:36
Updated: 18 Aug 2013

Alvin Plantinga's Modal Ontological's Argument is a irrefutable logical argument for the existence of God. Yet many people seem to have a hard time understan...

http://wn.com/The_Ontological_Argument_The_Introduction

A Quick Introduction to Modal Logic, part 1

Order: Reorder
Duration: 13:03
Updated: 29 Aug 2013

An introduction to modal logic for my PHIL478P course.

http://wn.com/A_Quick_Introduction_to_Modal_Logic,_part_1

Modal logic 1.2 - truth trees for system K

Order: Reorder
Duration: 16:12
Updated: 29 Jul 2013

The rules for truth trees in system K, and some advice about constructing trees in K. I then use trees to prove the validity of two simple arguments.

http://wn.com/Modal_logic_12_truth_trees_for_system_K

Quine's objections to modal logic 1 - historical background

Order: Reorder
Duration: 13:11
Updated: 30 Jul 2013

I briefly discuss the development of modern modal logic, to set the scene for Quine's attack.

http://wn.com/Quine's_objections_to_modal_logic_1_historical_background

Modal logic 1.5a - soundness & completeness

Order: Reorder
Duration: 4:16
Updated: 26 Jul 2013

I briefly outline the concepts of soundness and completeness.

http://wn.com/Modal_logic_15a_soundness_completeness

Modal logic 1.5 - logical consequence in K

Order: Reorder
Duration: 19:21
Updated: 24 Jul 2013

I discuss the notion of logical consequence, and outline two important approaches to consequence: the semantic/model-theoretic approach, and the syntactic/pr...

http://wn.com/Modal_logic_15_logical_consequence_in_K

Modal logic 1.3 - a strange property of K

Order: Reorder
Duration: 3:28
Updated: 06 Aug 2013

I discuss a rather counterintuitive property of K. I was going to mention this in the previous video but forgot to put it in there...

http://wn.com/Modal_logic_13_a_strange_property_of_K

Quine's objections to modal logic 3 - extensionality and intensionality

Order: Reorder
Duration: 20:02
Updated: 28 Jul 2013

For his entire philosophical career, Quine was a confirmed defender of extensionality. In this video, I explain what this means and why it lead to skepticism...

http://wn.com/Quine's_objections_to_modal_logic_3_extensionality_and_intensionality

Modal logic 1.4 - truth trees for invalid arguments in K

Order: Reorder
Duration: 13:54
Updated: 11 Aug 2013

I use truth trees to show the invalidity of two arguments in K, and I explain how truth trees provide an easy method for finding counterexamples to invalid a...

http://wn.com/Modal_logic_14_truth_trees_for_invalid_arguments_in_K

Challenging the Unknown Unknown in Epistemic Modal Logic

Order: Reorder
Duration: 37:02
Updated: 10 Jan 2013

http://www.youtube.com/watch?v=p6aPBMAT5xM&feature;=plcp.

http://wn.com/Challenging_the_Unknown_Unknown_in_Epistemic_Modal_Logic

Modal Logic and Metaphysics

Order: Reorder
Duration: 11:08
Updated: 06 Jan 2014

http://wn.com/Modal_Logic_and_Metaphysics

Modal logic 2.2 - more on the accessibility relation

Order: Reorder
Duration: 8:33
Updated: 23 Jul 2013

I examine the basic structure of trees in B, S4 and S5.

http://wn.com/Modal_logic_22_more_on_the_accessibility_relation

Modal logic 0.2 - basic introduction

Order: Reorder
Duration: 11:12
Updated: 24 Jun 2013

A brief, intuitive introduction to the basic concepts of modal logic. The box & diamond operators, necessity & possibility, possible worlds, etc. If you're a...

http://wn.com/Modal_logic_02_basic_introduction

3. Logic Lecture: Introduction to Modal Logic - 3

Order: Reorder
Duration: 8:45
Updated: 18 Jun 2013

Logic Playlist: http://www.youtube.com/view_play_list?p=C88812FFE0F526B0.

http://wn.com/3_Logic_Lecture_Introduction_to_Modal_Logic_3

Modal logic 2.1 - the systems M, B, S4 & S5

Order: Reorder
Duration: 14:38
Updated: 23 Jul 2013

I discuss how we can impose conditions on the accessibility relation to generate new systems. I briefly analyse three such conditions and then introduce four...

http://wn.com/Modal_logic_21_the_systems_M,_B,_S4_S5