Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 34:
Tali studi ebbero ampi sviluppi nel [[Medioevo]] nell'ambito della [[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 (''[[Ex falso sequitur quodlibet]]'') 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. L'implicazione stretta ha rappresentato una soluzione parziale ai due paradossi delle implicazioni materiali citati.<ref>{{cita libro|autore= Pasquale De Luca|url=https://books.google.it/books?id=oV71CgAAQBAJ&pg=PT204&lpg=PT204|pagina=204|titolo=Da Pitagora al mostro di Firenze|editore=Giuffrè|isbn=9788814169724|oclc=8622712544|anno=2011|serie=Diritto e rovescio. Nuova serie|città=Milano}} Citazione: ''"
Si consideri l'esempio: "i cittadini pagano le tasse", e gli enunciati modali "necessariamente i cittadini pagano le tasse", "si sa che i cittadini pagano le tasse", "credo che i cittadini paghino le tasse", mentre posso stabilire con certezza che "è possibile che i cittadini paghino le tasse" (dato che già avviene).
| |||