“[C]onsistency is not a property of a formal system per se, but depends on the interpretation which is proposed for it. By the same token, inconsistency is not an intrinsic property of any formal system.” ScienceLogicMathematicsInterpretationConsistencyDouglas HofstadterFormal LogicGödel S Incompleteness Theorem Book:Godel, Escher, Bach: An Eternal Golden Braid Source: Godel, Escher, Bach: An Eternal Golden Braid
“1. God is (by definition) a being than which no greater being can be thought. 2. Greatness includes greatness of virtue. 3. Therefore, God is a being than which no being could be more virtuous. 4. But virtue involves overcoming pains and dangers. 5. Indeed, a being can only be properly said to be virtuous if it can suffer pain or be destroyed. 6. A God that can suffer pain or is destructible is not one than which no greater being can be thought. 7.For you can think of a greater being, that is, one that is nonsuffering and indestructible. 8. Therefore, God does not exist.” SoundArgumentLogicReasoningArgumentationValidFormal LogicAtheism Argument Author:Douglas N. Walton
“Many people think that interaction is just some 'nuisance' for true logic . . . I think, by contrast that interaction, and the resulting 'Many Mind Problems', are just as central to logic as 'Many Body Problems' are to any significant physics.” Formal LogicEpistemic Logic Author:Johan van Benthem, interview in "Game Theory: Five Questions"