Combining Texts

All the ideas for 'The Nature of Things', 'Formal and Material Consequence' and 'The Architecture of Mathematics'

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


14 ideas

4. Formal Logic / F. Set Theory ST / 7. Natural Sets
A class is natural when everybody can spot further members of it [Quinton]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read]
If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read]
Maybe arguments are only valid when suppressed premises are all stated - but why? [Read]
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Logical connectives contain no information, but just record combination relations between facts [Read]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
From the axiomatic point of view, mathematics is a storehouse of abstract structures [Bourbaki]
7. Existence / E. Categories / 5. Category Anti-Realism
Extreme nominalists say all classification is arbitrary convention [Quinton]
8. Modes of Existence / B. Properties / 5. Natural Properties
The naturalness of a class depends as much on the observers as on the objects [Quinton]
Properties imply natural classes which can be picked out by everybody [Quinton]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
Uninstantiated properties must be defined using the instantiated ones [Quinton]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]
10. Modality / B. Possibility / 8. Conditionals / d. Non-truthfunction conditionals
Conditionals are just a shorthand for some proof, leaving out the details [Read]