3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |