Onniscienza: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Collegamenti esterni: Bot: Aggiungo controllo di autorità |
→Rappresentazioni teologiche: sostituzione tag obsoleto <big> (per Check Wikipedia) using AWB |
||
Riga 152:
I concetti di onniscienza possono essere definiti come segue (usando la notazione della [[Logica modale]]):
:::<
In parole, per onniscienza totale:
:::''x è onnisciente'' =<sub>''def''</sub> ''Per tutte le proposizioni p: se p (è vero), allora x sa che p (è vero)''
Riga 160:
Ma un'analisi logica critica dimostra che questa definizione è troppo ingenua per essere corretta e quindi deve essere qualificata come segue:
:::<
In parole:
:::''x è onnisciente'' =<sub>''def''</sub> ''Per tutte le proposizioni p: se p (è vero) e p è (logicamente) conoscibile, allora x conosce [/può conoscere] che p (è vero)''
Riga 180:
Mentre la frase ''N'' è un'inconoscibilità relativa al non-conoscitore, ''B'' è un'inconoscibilità relativa al conoscitore, il che significa che il nostro concetto di onniscienza evidentemente ha bisogno di essere ridefinito ancora una volta:
:::<
In parole:
:::''x è onnisciente'' =<sub>''def''</sub> ''Per tutte le proposizioni p: se p (è vero) e p è (logicamente) conoscibile '''a x''', allora x conosce [/può conoscere] che p (è vero)''
|