4 ideas
8923 | Numbers are identified by their main properties and relations, involving the successor function [MacBride] |
8926 | For mathematical objects to be positions, positions themselves must exist first [MacBride] |
7803 | Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle] |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |