MODAL LOGIC

Pronunciation (US):

(GB):

IPA (US):

 Dictionary entry overview: What does modal logic mean? 

• MODAL LOGIC (noun)
  The noun MODAL LOGIC has 2 senses:

1. the logical study of necessity and possibility

2. a system of logic whose formal properties resemble certain moral and epistemological concepts

  Familiarity information: MODAL LOGIC used as a noun is rare.

 Dictionary entry details 

• MODAL LOGIC (noun)

Sense 1

Meaning:

The logical study of necessity and possibility

Classified under:

Nouns denoting cognitive processes and contents

Hypernyms ("modal logic" is a kind of...):

logic (the branch of philosophy that analyzes inference)

Sense 2

Meaning:

A system of logic whose formal properties resemble certain moral and epistemological concepts

Classified under:

Nouns denoting cognitive processes and contents

Hypernyms ("modal logic" is a kind of...):

formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)

Hyponyms (each of the following is a kind of "modal logic"):

alethic logic (the modal logic of necessity and possibility and contingency)

deontic logic (the modal logic of obligation and permissibility)

epistemic logic (the modal logic of knowledge and uncertainty and ignorance)

doxastic logic (the modal logic of belief and disbelief)