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. 11 relazioni: Atteggiamenti proposizionali, Epistemologia, Lingua (linguistica), Logica deontica, Logica modale, Modo (linguistica), Mondo possibile, Profondità modale, Proposizione (logica), Se e solo se, Valore di verità.

Atteggiamenti proposizionali

In filosofia gli atteggiamenti proposizionali sono espressi da quegli enunciati contenenti verbi epistemici come “credere”, “sapere” ecc. Questi enunciati, che sono del tipo “R crede che p”, vengono generalmente analizzati come un rapporto tra il soggetto di credenza R e la proposizione espressa da p.

Vedere Relazione di accessibilità e Atteggiamenti proposizionali

Epistemologia

L'epistemologia (pp) è quella branca della filosofia che si occupa delle condizioni sotto le quali si può avere conoscenza scientifica e dei metodi per raggiungere tale conoscenza.

Vedere Relazione di accessibilità e Epistemologia

Lingua (linguistica)

La lingua è il sistema o forma storicamente determinata attraverso il quale gli appartenenti a una comunità si esprimono e comunicano tra loro attraverso l'uso di un determinato linguaggio ovvero un insieme di segni scritti (simboli) e/o parlati (suoni).

Vedere Relazione di accessibilità e Lingua (linguistica)

Logica deontica

Il termine deontico deriva dal participio greco neutro sostantivato "déon" (δέον, genitivo δέοντος), che rimanda al verbo δέι ("è necessario, doveroso").

Vedere Relazione di accessibilità e Logica deontica

Logica modale

Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.

Vedere Relazione di accessibilità e Logica modale

Modo (linguistica)

In linguistica, il modo è una delle principali categorie grammaticali che compongono il sistema di coniugazione verbale (assieme a tempo e aspetto).

Vedere Relazione di accessibilità e Modo (linguistica)

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

Profondità modale

Nella logica modale, la profondità modale è il massimo livello di annidamento degli operatori modali (tipicamente Box e Diamond). Le formule modali prive di operatori modali hanno profondità modale nulla.

Vedere Relazione di accessibilità e Profondità modale

Proposizione (logica)

In filosofia e logica moderna, una proposizione è una frase, ossia un'espressione linguistica dotata di significato, a cui è sempre collegato uno dei due valori di verità: vero (V) o falso (F).

Vedere Relazione di accessibilità e Proposizione (logica)

Se e solo se

In matematica, filosofia, logica e nei campi tecnici che ne dipendono, si usa spesso l'espressione se e solo se, o l'abbreviazione sse, per esprimere l'equivalenza logica di due enunciati, esplicitando che i due enunciati hanno lo stesso valore di verità: se è vero il secondo allora è vero anche il primo, e viceversa.

Vedere Relazione di accessibilità e Se e solo se

Valore di verità

In logica matematica, un valore di verità (o valore logico) è un valore che stabilisce il limite entro cui una proposizione risulta vera. In logica classica, gli unici possibili valori di verità sono vero e falso, e ogni proposizione assume necessariamente almeno uno dei due valori e nessun altro (un valore e uno solo), per denotare i quali si usano le lettere maiuscole V ed F, ovvero i due numeri 1 e 0, rispettivamente.

Vedere Relazione di accessibilità e Valore di verità