Stiamo lavorando per ripristinare l'app di Unionpedia nel Google Play Store
UscenteArrivo
🌟Abbiamo semplificato il nostro design per una migliore navigazione!
Instagram Facebook X LinkedIn

Relazione di accessibilità

Indice Relazione di accessibilità

Nella logica modale, la relazione di accessibilità è necessaria per assegnare i valori di verità alle proposizioni della semantica relazionale di Kripke.

Indice

  1. 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.

Vedere Relazione di accessibilità e S5 (logica modale)