3 ms·
This sort of thing casts doubt on the formal logic in question more than it makes a case for God.
by danharaj 7y ago
This sort of thing casts doubt on the formal logic in question more than it makes a case for God.
- goto11 7y agoIt it not really the formal logic that is at fault. In logic you are basically allowed to make any assumption or definition you want. The problem is thinking a proof can tell you anything about reality which isn't already implicit in those premises. If we define that X exists, then it is logically true X exists. But this doesn't prove that X exist in the real world.