An Introduction to Formal Logic

Modal Logic (1x23)

Fecha de emisión: Ene 01, 2016

Add two new operators to your first-order predicate vocabulary: a symbol for possibility and another for necessity. These allow you to deal with modal concepts, which are contingent or necessary truths. See how philosophers have used modal logic to investigate ethical obligations....