A Conversation for Propositional Logic

Modal Logic

Post 1


The fun doesnt really start until you get into Modal Logic.

Propositional logic, as explain is simple boolean logic. If...then and includes the operators OR and AND.

Predicate logic is as propositional logic, but also includes quantifyers namely, ALL and EXISTS.

It can deal with such expressions as
All men are mortal
Socrates is a man
Therefore, socrates is a mortal

Modal logic is an extention of propositional logic, though it can also exten predicate logic. It deals with possibilites. It includes expressions such as Necessarily, possibly and also deals with the counterfactual expressions mentioned in the propositional logic argument such as "If I was born in Russia I would be a communist"

Key: Complain about this post

Modal Logic

Write an Entry

"The Hitchhiker's Guide to the Galaxy is a wholly remarkable book. It has been compiled and recompiled many times and under many different editorships. It contains contributions from countless numbers of travellers and researchers."

Write an entry
Read more