3 ideas
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
9545 | Late in life Frege abandoned logicism, and saw the source of arithmetic as geometrical [Frege, by Chihara] |
10994 | Conditionals are true if minimal revision of the antecedent verifies the consequent [Stalnaker, by Read] |