36
(
∃x).fx
⌵ fa =
(
∃x).fx, (
∃x).fx & fa =
fa
Wie weiß ich das? (denn das Obere
habe ich sozusagen bewiesen).
Man möchte etwa sagen: “ich verstehe
‘(
∃x).fx’
eben”.
(Ein herrliches Beispiel dessen, was ‘verstehen’
heißt.)
Ich könnte aber ebensogut fragen “wie weiß
ich, daß (
∃x).fx aus
fa
folgt” und antworten: “weil ich
‘(
∃x).fx’
verstehe”.
Wie weiß ich aber wirklich,
daß es folgt? –
Weil ich so kalkuliere.