Argomenti collegati:
analiticità

L-vero (Carnap)

Carnap, Meaning and Necessity (1947;2° ed. 1956); trad. it Firenze, p. 24 e sgg..

Il concetto di L-verità viene da C. definito come un explicatum per ciò che i filosofi chiamano verità logica o necessaria o analitica.
Tale definizione porta come risultato che una proposizione in un sistema semantico è L-vera se e soltanto se le regole semantiche del sistema sono sufficienti a stabilire la sua verità senza alcun riferimento ai fatti (extralinguistici).

Qui di seguito sono riportati gli L-concetti con i loro explicanda:


Explicata	Spiegazione	Explicanda
L-verità	una proposizione è L-vera (logicamente vera in S1) =DEF. tale proposizione vale in ogni descrizione di stato (che rappresentano qui i mondi possibili di Leibniz)	verità logica o necessaria o analitica
L-falsità	*	falsità logica
L-implicazione	*	implicazione logica
L-equivalenza	v.	mutua implicazione logica
L-determinatezza di una proposizione	se è L-vera o L-falsa
L-indeterminatezza di una proposizione	se non è L-determinata (una proposizione L-indeterminata è detta fattuale). Una proposizione è fattuale se, e solo se, vi è almeno una descrizione di stato in cui essa vale, e almeno una in cui non vale.	giudizi sintetici (Kant)
F-verità di una proposizione	se è vera ma non L-vera	verità fattuale o sintetica o contingente.