An explication of the difference between Epistemic Logic, Doxastic Logic, and Justification Logic, the logics of knowledge, belief and justification respectively (minus the reverb in the original video).

Read more

A description of the paradox for Kant’s law (ought implies can) which comes out of Deontic Logic, and several possible solutions.

Read more

An explication of the notation for belief and knowledge B(s)(p) : A subject s believes that p K(s)(p) : A subject s believes that p

Read more

An explanation of Linear Temporal Logic, or Lt as a system where the property of linearity or connectedness is added to the system.

Read more

An explanation of the first of our Three paradoxes of Deontic Logic, known as the Free Choice Permission Paradox. It deals with the problems of disjunction, conjunction and permissibility.

Read more

A description of the interval model of time as opposed to the instant model of time.

Read more

An explanation of the instant model of time in contrast with the interval model of time.

Read more

An explanation of The modal logic known as temporal logic and an introduction to this month’s series on the logic of time.

Read more

An introduction to the difference between the broader subject area of modal logics (including deontic, temporal and doxastic), and alethic modal logic.

Read more

A brand new series dealing with three types of modal logic known as Deontic Logic (October), Temporal Logic (November), and Doxastic Logic (December). This series will serve as a sequel to the 100 Days of Logic and it will expect that you have a basic understanding of logic, particularly the logic presented in that series. […]

Read more