4-6 Vortrag von Craig21https://en.wikipedia.org/wiki/William_Craig_(philosopher) „Logik und Invarianz“. (Er charakterisiert die logischen Eigenschaften als die, die präserviert werden unter Isomorphismen. Also „invariant“; besonders wichtig: die effektiv invarianten Eigenschaften; er sucht nach Explikation hierfür. Er stellt Vermutung auf, dass diese effektiven Eigenschaften alle also ausdrückbar sind durch quantifier-freie Formeln, basiert auf Wissenschaft, und, \(\epsilon \) so ähnlich).) 🕮
