Lexikon der Argumente

 

I 179
Notwendig/Modallogik/Geach: es ist sogar notwendig notwendig, dass niemand, der ein Bruder ist, nicht männlich ist.
Weil wenn es nur kontingenterweise notwendig wäre, wäre ein nichtmännlicher Bruder immer noch eine mögliche Möglichkeit, wenn auch keine tatsächliche Möglichkeit!
((s) >Axiome NNa,MMa, Iteration von "notwendig" und von "möglich").
>Möglichkeit, >Notwendigkeit, >Logische Möglichkeit, >Logische Notwendigkeit, >Axiome, >Systeme, vgl. >Systeme S4/S5.
Wenn Descartes gesagt hätte, dass Gott nicht notwendigerweise die Notwendigkeit hätte schaffen müssen, dass ein Bruder männlich ist, hätte er großen Unsinn geredet.
((s) Iterierte Modalitäten: es ist notwendig notwendig, es ist möglicherweise möglich).