Combining Texts

All the ideas for 'fragments/reports', 'Grundgesetze der Arithmetik 2 (Basic Laws)' and 'Conditionals'

expand these ideas     |    start again     |     specify just one area for these texts


23 ideas

2. Reason / D. Definition / 2. Aims of Definition
Later Frege held that definitions must fix a function's value for every possible argument [Frege, by Wright,C]
2. Reason / D. Definition / 7. Contextual Definition
We can't define a word by defining an expression containing it, as the remaining parts are a problem [Frege]
2. Reason / D. Definition / 11. Ostensive Definition
Only what is logically complex can be defined; what is simple must be pointed to [Frege]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
'¬', '&', and 'v' are truth functions: the truth of the compound is fixed by the truth of the components [Jackson]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Cardinals say how many, and reals give measurements compared to a unit quantity [Frege]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
Real numbers are ratios of quantities [Frege, by Dummett]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
A number is a class of classes of the same cardinality [Frege, by Dummett]
Frege's biggest error is in not accounting for the senses of number terms [Hodes on Frege]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism misunderstands applications, metatheory, and infinity [Frege, by Dummett]
Only applicability raises arithmetic from a game to a science [Frege]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
The first demand of logic is of a sharp boundary [Frege]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
Possible worlds for subjunctives (and dispositions), and no-truth for indicatives? [Jackson]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
Modus ponens requires that A→B is F when A is T and B is F [Jackson]
When A and B have the same truth value, A→B is true, because A→A is a logical truth [Jackson]
(A&B)→A is a logical truth, even if antecedent false and consequent true, so it is T if A is F and B is T [Jackson]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
In the possible worlds account of conditionals, modus ponens and modus tollens are validated [Jackson]
Only assertions have truth-values, and conditionals are not proper assertions [Jackson]
Possible worlds account, unlike A⊃B, says nothing about when A is false [Jackson]
10. Modality / B. Possibility / 8. Conditionals / f. Pragmatics of conditionals
We can't insist that A is relevant to B, as conditionals can express lack of relevance [Jackson]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
The modern account of real numbers detaches a ratio from its geometrical origins [Frege]
18. Thought / E. Abstraction / 8. Abstractionism Critique
If we abstract the difference between two houses, they don't become the same house [Frege]
26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature
Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]
27. Natural Reality / G. Biology / 3. Evolution
Archelaus said life began in a primeval slime [Archelaus, by Schofield]