green numbers give full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Michael Potter, by Text

[British, fl. 2004, Senior Lecturer at Cambridge, and Fellow of Fitzwilliam College.]

2004 Set Theory and Its Philosophy
Intro 1 p.4 Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning
01.1 p.8 Supposing axioms (rather than accepting them) give truths, but they are conditional
01.2 p.13 We can formalize second-order formation rules, but not inference rules
02.1 p.22 Collections have fixed members, but fusions can be carved in innumerable ways
02.1 p.23 Mereology elides the distinction between the cards in a pack and the suits
03.2 p.37 Nowadays we derive our conception of collections from the dependence between them
03.3 p.39 Priority is a modality, arising from collections and members
03.3 p.40 If dependence is well-founded, with no infinite backward chains, this implies substances
03.8 p.51 If set theory didn't found mathematics, it is still needed to count infinite sets
04.3 p.59 Usually the only reason given for accepting the empty set is convenience
04.7 p.65 A relation is a set consisting entirely of ordered pairs
04.9 p.68 Infinity: There is at least one limit level
05.2 p.92 It is remarkable that all natural number arithmetic derives from just the Peano Axioms
13.5 p.227 The 'limitation of size' principles say whether properties collectivise depends on the number of objects
2020 The Rise of Analytic Philosophy 1879-1930
02 'Trans' p.15 Traditionally there are twelve categories of judgement, in groups of three
03 'Axioms' p.28 Frege's sign |--- meant judgements, but the modern |- turnstile means inference, with intecedents
04 'Sem' p.34 A material conditional cannot capture counterfactual reasoning
05 'Sem' p.41 'Direct compositonality' says the components wholly explain a sentence meaning
05 'Sem' p.41 Compositionality should rely on the parsing tree, which may contain more than sentence components
07 'Def' p.49 'Greater than', which is the ancestral of 'successor', strictly orders the natural numbers
07 'Impred' p.50 Impredicative definitions are circular, but fine for picking out, rather than creating something
12 'Deduc' p.127 Deductivism can't explain how the world supports unconditional conclusions
12 'Numb' p.82 If 'concrete' is the negative of 'abstract', that means desires and hallucinations are concrete
16 'Conc' p.109 The phrase 'the concept "horse"' can't refer to a concept, because it is saturated
19 'Frege's' p.131 Modern logical truths are true under all interpretations of the non-logical words
21 'Lang' p.142 Compositionality is more welcome in logic than in linguistics (which is more contextual)
21 'Math' p.143 Why is fictional arithmetic applicable to the real world?
23 'Abs' p.152 The Identity Theory says a proposition is true if it coincides with what makes it true
45 'Log' p.305 The formalist defence against Gödel is to reject his metalinguistic concept of truth
65 'Truth' p.426 It has been unfortunate that externalism about truth is equated with correspondence
66 'Rel' p.432 Knowledge from a drunken schoolteacher is from a reliable and unreliable process