Document Type

Conference Proceeding

Publication Date

3-4-2011

Subjects

Logic synthesis, Boolean algebra, Modality (Logic) -- History

Abstract

1.We shall be concerned, at first, with alethicmodal logic, or modal logic tout court. 2.The starting point, once again, is Aristotle, who was the first to study the relationship between modal statements and their validity. 3.However, the great discussion it enjoyed in the Middle Ages. 4.The official birth date of modal logic is 1921, when Clarence Irving Lewis wrote a famous essay on implication.

Description

Paper originally presented at the System Science Seminar, Portland State University, Portland, Oregon, March 4, 2011.

Persistent Identifier

http://archives.pdx.edu/ds/psu/12903

Download

Share

COinS