|Omniscience: the ability to know all statements. - Logical problem even the understanding of a logically true statement could could cause the requirement, that all logical consequences are known. E.g. Knowing the calculation rules would logically require that all the results are known.|
Books on Amazon
|Omniscience||Stro I 125
logical omniscience / Strobach: arises because propositional logic theorems are valid in all possible worlds and all p.w. that are compatible with a knowledge trivially are p.w.. - If that were true, you needed to learn no proof techniques. - The same problem also exists with faith and conviction. - Instead: it happens that you know something, but are not aware of its logical consequences.
Einführung in die Logik Darmstadt 2005