[bert04]

Ale nie można powiedzieć, że 1/0 = ∞.

To zależy, jak zdefiniujemy ∞. Euler przykładowo jeszcze tak twierdził. Ale nowoczesna definicja nieskończoności jest przede wszystkim określona ze względu na przydatność w matematyce. W powyższej koncepcji równanie ∞ x 0 miałoby nieskończenie wielką liczbę (wymiernych) wyników, co może i by było wewnętrznie spójne, jednakże całkowicie bezużyteczne. Stąd lepiej zrezygnować ze zbędnych ogólników.

"Wszystko" znaczy "wszystko".  Jak nie chcemy kłoptów musimy nałożyć ograniczenia na zakres ważności kwantyfikatora.  Czyli “bóg może wszystko  Z WYJĄTKIEM TEGO CO JEST NIEMOŻLIWE. Ale co to za wszechmoc?

Zefciu doprecyzował to, co przedstawiłem bardziej intuicyjnie.

Czy Bóg może dzielić przez zero? Może.

A że wynik nie będze zawarty w zbiorze liczb rzeczywistych, no to już wina zbioru. Nie Boga.

-------------------

Bardziej ciekawa od takich sztucznych problemów jest kwestia, czy Bóg podlega pod prawa logiki. W jednym z moich poprzednich postów wspominałem, że pierwszym i podstawowym ograniczeniem wszechmocy jest wszechmoc (i aż dziw, że nikt się do tego nie przypieprzył). Co do innych zasad są różne zdania. Czy Wszechmoc podlega pod prawa logiki czy może je złamać?

Druga opcja jest kusząca, gdyż pozwala na "wolną amerykankę" w kwestii dowolnych pytań na temat wszechmocy. W naszym powyższym przykładzie Bóg mógłby postanowić, że 1/0=7. Jednakże zazwyczaj zakłada się, że Bóg, także w swojej wszechmocy, zachowuje się według zasad logiki. Można to podpisać pod jedną z kolejnych cech pierwotnych Boga (opisywanych teologicznie pod hasłem "Bóg jest Prawdą"). Taka koncepcja, Bóg logiczny i wszechmocny, jest nieco trudniejsza do uzasadnienia. Jednakże IMHO nadal pozostaje wewnętrznie spójna. Wymaga tylko większej dyscypliny argumentacji, jak to generalnie logika wymaga.