12 ideas
21953 | For Heidegger there is 'ontic' truth or 'uncoveredness', as in "he is a true friend" [Heidegger, by Wrathall] |
14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |