Combining Texts
Ideas for
'fragments/reports', 'Grundlagen der Arithmetik (Foundations)' and 'Tonk, Plonk and Plink'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
43 ideas
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
16883
|
Arithmetical statements can't be axioms, because they are provable [Frege, by Burge]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
10029
|
Numbers need to be objects, to define the extension of the concept of each successor to n [Frege, by George/Velleman]
|
9973
|
The number of F's is the extension of the second level concept 'is equipollent with F' [Frege, by Tait]
|
16500
|
Frege showed that numbers attach to concepts, not to objects [Frege, by Wiggins]
|
9990
|
Frege replaced Cantor's sets as the objects of equinumerosity attributions with concepts [Frege, by Tait]
|
7738
|
Zero is defined using 'is not self-identical', and one by using the concept of zero [Frege, by Weiner]
|
23456
|
Frege said logical predication implies classes, which are arithmetical objects [Frege, by Morris,M]
|
10625
|
Frege had a motive to treat numbers as objects, but not a justification [Hale/Wright on Frege]
|
13871
|
Frege claims that numbers are objects, as opposed to them being Fregean concepts [Frege, by Wright,C]
|
13872
|
Numbers are second-level, ascribing properties to concepts rather than to objects [Frege, by Wright,C]
|
9816
|
For Frege, successor was a relation, not a function [Frege, by Dummett]
|
17636
|
A cardinal number may be defined as a class of similar classes [Frege, by Russell]
|
9953
|
Numbers are more than just 'second-level concepts', since existence is also one [Frege, by George/Velleman]
|
9954
|
"Number of x's such that ..x.." is a functional expression, yielding a name when completed [Frege, by George/Velleman]
|
10139
|
Frege gives an incoherent account of extensions resulting from abstraction [Fine,K on Frege]
|
10028
|
For Frege the number of F's is a collection of first-level concepts [Frege, by George/Velleman]
|
13887
|
Frege started with contextual definition, but then switched to explicit extensional definition [Frege, by Wright,C]
|
13897
|
Each number, except 0, is the number of the concept of all of its predecessors [Frege, by Wright,C]
|
9856
|
Frege's account of cardinals fails in modern set theory, so they are now defined differently [Dummett on Frege]
|
9902
|
Frege's incorrect view is that a number is an equivalence class [Benacerraf on Frege]
|
17814
|
The natural number n is the set of n-membered sets [Frege, by Yourgrau]
|
17819
|
A set doesn't have a fixed number, because the elements can be seen in different ways [Yourgrau on Frege]
|
17460
|
A statement of number contains a predication about a concept [Frege]
|
17820
|
If you can subdivide objects many ways for counting, you can do that to set-elements too [Yourgrau on Frege]
|
16890
|
Frege's problem is explaining the particularity of numbers by general laws [Frege, by Burge]
|
8630
|
Individual numbers are best derived from the number one, and increase by one [Frege]
|
11029
|
'Exactly ten gallons' may not mean ten things instantiate 'gallon' [Rumfitt on Frege]
|
10013
|
Numerical statements have first-order logical form, so must refer to objects [Frege, by Hodes]
|
18181
|
The Number for F is the extension of 'equal to F' (or maybe just F itself) [Frege]
|
18103
|
Numbers are objects because they partake in identity statements [Frege, by Bostock]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / d. Hume's Principle
9956
|
'The number of Fs' is the extension (a collection of first-level concepts) of the concept 'equinumerous with F' [Frege, by George/Velleman]
|
13527
|
Frege's cardinals (equivalences of one-one correspondences) is not permissible in ZFC [Frege, by Wolf,RS]
|
22292
|
Hume's Principle fails to implicitly define numbers, because of the Julius Caesar [Frege, by Potter]
|
17442
|
Frege thinks number is fundamentally bound up with one-one correspondence [Frege, by Heck]
|
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / e. Caesar problem
11030
|
The words 'There are exactly Julius Caesar moons of Mars' are gibberish [Rumfitt on Frege]
|
10030
|
'Julius Caesar' isn't a number because numbers inherit properties of 0 and successor [Frege, by George/Velleman]
|
8690
|
From within logic, how can we tell whether an arbitrary object like Julius Caesar is a number? [Frege, by Friend]
|
10219
|
Frege said 2 is the extension of all pairs (so Julius Caesar isn't 2, because he's not an extension) [Frege, by Shapiro]
|
13889
|
Fregean numbers are numbers, and not 'Caesar', because they correlate 1-1 [Frege, by Wright,C]
|
18142
|
One-one correlations imply normal arithmetic, but don't explain our concept of a number [Frege, by Bostock]
|
9046
|
Our definition will not tell us whether or not Julius Caesar is a number [Frege]
|
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
16896
|
If numbers can be derived from logic, then set theory is superfluous [Frege, by Burge]
|
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
8639
|
If numbers are supposed to be patterns, each number can have many patterns [Frege]
|