Logica modale: differenze tra le versioni

Versione delle 07:49, 14 giu 2020

Versione delle 01:21, 17 ago 2020

Riga 29:

La logica modale nasce in epoca classica con l'analisi delle proposizioni contenenti le espressioni ''necessario'' e ''possibile'' fatta da [[Aristotele]] negli ''Analitici Primi'' e nel ''De Interpretatione''. Dopo di lui si occuparono di questo tipo di enunciati i [[Megarici]] e gli [[Stoici]].

Tali studi ebbero ampi sviluppi nel [[medioevo]] nell'ambito della filosofia [[Scolastica (filosofia)|filosofia Scolastica]], in particolare ad opera di [[Guglielmo di Ockham]]. Risale a questa tradizione la qualificazione di ''modale'' per le espressioni che indicano il modo in cui una proposizione è vera.

La logica modale moderna nasce con le assiomatizzazioni datene nel 1932 da C. I. Lewis nel libro ''Symbolic Logic'', scritto con C. H. Langford. L'introduzione di queste assiomatizzazioni era rivolta alla soluzione dei paradossi dell'[[implicazione logica]] o materiale, come il fatto che una proposizione falsa implichi qualsiasi proposizione o che una proposizione vera sia implicata da qualsiasi proposizione. Lewis volle allora introdurre il concetto di ''implicazione stretta'', dove "p implica strettamente q" significa "non è possibile che p sia vero e q sia falso" (in simboli <math>\lnot \Diamond (p \land \lnot q)</math>, equivalente a <math>\Box(p \rightarrow q)</math>). I diversi insiemi di assiomi utilizzati da Lewis per descrivere l'implicazione stretta condussero a cinque sistemi noti come S1 - S5, di cui attualmente solo S4 e S5 sono utilizzati.