jova napisał(a):
|
W przypadku takich stwierdzeń wypada podkreślić co uznaje się za logikę, o jakim jej rodzaju się mówi. Filozof może udowodnić wiele twierdzeń, co do których matematyk miałby zastrzeżenia.
|
Logika jest i od zawsze była narzędziem filozoficznym, jej matematyczna odmiana to jedynie "naukowy". Więc logiczne jest, że gdy mówi się o logice ma się na myśli logikę właściwą, nie filozoficzną. Zresztą, logika matematyczna nie jest w stanie ani udowodnić, że Bóg istnieje, ani, że nie istnieje, po prostu nie do tego służy.