Indice
3 relazioni: Contesto opaco, Logica intensionale, Variabile proposizionale.
Contesto opaco
Un contesto opaco o contesto referenzialmente opaco è un contesto linguistico in cui non sempre è possibile sostituire espressioni "co-referenziali" (espressioni riferite ad uno stesso oggetto) senza alterare il valore di verità della proposizione originale.
Vedere Termine singolare e Contesto opaco
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 Termine singolare e Logica intensionale
Variabile proposizionale
Nella logica matematica, una variabile proposizionale (chiamata anche variabile enunciativa) è una variabile di input (che può essere vera o falsa) di una funzione di verità.