Indice
5 relazioni: Logica intensionale, Logica modale epistemica, Mondo possibile, Operatore modale, S5 (logica modale).
Logica intensionale
La logica intensionale è un'estensione della logica predicativa del primo ordine mediante quantificatori aggiuntivi, in cui la distinzione tra entità intensionali ed estensionali corre parallela alla distinzione tra senso e riferimento ('Sinn e Bedeutung).
Vedere Relazione di accessibilità e Logica intensionale
Logica modale epistemica
La logica modale epistemica è una sottodisciplina della logica modale che si occupa del ragionamento sulla conoscenza. Mentre l'epistemologia vanta una lunga tradizione filosofica che risale all'antica Grecia, la logica epistemica ha avuto uno sviluppo molto più recente con applicazioni in molti campi, tra cui la filosofia, l'informatica teorica, l'intelligenza artificiale, l'economia e la linguistica.
Vedere Relazione di accessibilità e Logica modale epistemica
Mondo possibile
Un mondo possibile è un modo completo e coerente in cui il mondo è (mondo attuale) o avrebbe potuto essere. I mondi possibili sono ampiamente usati come strumento formale della logica, della filosofia e della linguistica per fornire una semantica per la logica intensionale e modale.
Vedere Relazione di accessibilità e Mondo possibile
Operatore modale
Un operatore modale è un operatore della logica modale. Esso è anche chiamato connettivo modale in quanto è un connettivo logico di quest'ultima.
Vedere Relazione di accessibilità e Operatore modale
S5 (logica modale)
Nella logica e nella filosofia, S5 è uno dei cinque sistemi di logica modale proposti da Clarence Irving Lewis e Cooper Harold Langford nel loro libro Symbolic Logic del 1932.