Modalitas , dalam logika, klasifikasi proposisi logis menurut mereka menegaskan atau menyangkal kemungkinan, ketidakmungkinan, kontingensi, atau kebutuhan isinya. Logika modal, yang mempelajari fitur-fitur logis dari konsep semacam itu, yang berasal dari Aristoteles, dipelajari secara ekstensif oleh para ahli logika di zaman kuno dan Abad Pertengahan Eropa, dan, sebagian besar, diabaikan setelah Renaisans sampai dihidupkan kembali dalam logika matematika modern. Pernyataan dasar tentang subjek ini, yang diandaikan dalam sebagian besar diskusi kontemporer, oleh CI Lewis dan Cooper Harold Langford dalam Symbolic Logic (1932), yang mengembangkan sistem modal "implikasi ketat" untuk menafsirkan kekuatan logis "jika. . . kemudian."
Artikel ini baru saja direvisi dan diperbarui oleh Brian Duignan, Editor Senior.
