Combining Texts

All the ideas for 'De Corpore (Elements, First Section)', 'Every Thing Must Go' and 'Gentzen's Analysis of First-Order Proofs'

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


103 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
Definitions are the first step in philosophy [Hobbes]
1. Philosophy / E. Nature of Metaphysics / 2. Possibility of Metaphysics
There is no test for metaphysics, except devising alternative theories [Ladyman/Ross]
1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
Metaphysics builds consilience networks across science [Ladyman/Ross]
Progress in metaphysics must be tied to progress in science [Ladyman/Ross]
Metaphysics must involve at least two scientific hypotheses, one fundamental, and add to explanation [Ladyman/Ross]
Some science is so general that it is metaphysical [Ladyman/Ross]
Cutting-edge physics has little to offer metaphysics [Ladyman/Ross]
The aim of metaphysics is to unite the special sciences with physics [Ladyman/Ross]
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Modern metaphysics pursues aesthetic criteria like story-writing, and abandons scientific truth [Ladyman/Ross]
1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Why think that conceptual analysis reveals reality, rather than just how people think? [Ladyman/Ross]
1. Philosophy / G. Scientific Philosophy / 3. Scientism
A metaphysics based on quantum gravity could result in almost anything [Ladyman/Ross]
We should abandon intuitions, especially that the world is made of little things, and made of something [Ladyman/Ross]
The supremacy of science rests on its iterated error filters [Ladyman/Ross]
2. Reason / D. Definition / 2. Aims of Definition
Definitions of things that are caused must express their manner of generation [Hobbes]
2. Reason / D. Definition / 5. Genus and Differentia
Definition is resolution of names into successive genera, and finally the difference [Hobbes]
2. Reason / D. Definition / 8. Impredicative Definition
A defined name should not appear in the definition [Hobbes]
2. Reason / F. Fallacies / 3. Question Begging
'Petitio principii' is reusing the idea to be defined, in disguised words [Hobbes]
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
A part of a part is a part of a whole [Hobbes]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Maybe mathematical logic rests on information-processing [Ladyman/Ross]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
If we just say one, one, one, one, we don't know where we have got to [Hobbes]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
To be is to be a real pattern [Ladyman/Ross]
Only admit into ontology what is explanatory and predictive [Ladyman/Ross]
7. Existence / B. Change in Existence / 1. Nature of Change
Change is nothing but movement [Hobbes]
7. Existence / B. Change in Existence / 2. Processes
Any process can be described as transfer of measurable information [Ladyman/Ross]
7. Existence / C. Structure of Existence / 6. Fundamentals / a. Fundamental reality
We say there is no fundamental level to ontology, and reality is just patterns [Ladyman/Ross]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
If concrete is spatio-temporal and causal, and abstract isn't, the distinction doesn't suit physics [Ladyman/Ross]
Concrete and abstract are too crude for modern physics [Ladyman/Ross]
7. Existence / D. Theories of Reality / 6. Physicalism
Physicalism is 'part-whole' (all parts are physical), or 'supervenience/levels' (dependence on physical) [Ladyman/Ross]
8. Modes of Existence / A. Relations / 1. Nature of Relations
Relations without relata must be treated as universals, with their own formal properties [Ladyman/Ross]
A belief in relations must be a belief in things that are related [Ladyman/Ross]
8. Modes of Existence / A. Relations / 2. Internal Relations
The normal assumption is that relations depend on properties of the relata [Ladyman/Ross]
8. Modes of Existence / A. Relations / 3. Structural Relations
That there are existent structures not made of entities is no stranger than the theory of universals [Ladyman/Ross]
8. Modes of Existence / B. Properties / 5. Natural Properties
Causal essentialism says properties are nothing but causal relations [Ladyman/Ross]
8. Modes of Existence / B. Properties / 8. Properties as Modes
Accidents are just modes of thinking about bodies [Hobbes]
8. Modes of Existence / B. Properties / 12. Denial of Properties
Accidents are not parts of bodies (like blood in a cloth); they have accidents as things have a size [Hobbes]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
The complete power of an event is just the aggregate of the qualities that produced it [Hobbes]
8. Modes of Existence / C. Powers and Dispositions / 6. Dispositions / e. Dispositions as potential
If science captures the modal structure of things, that explains why its predictions work [Ladyman/Ross]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
The only generalities or universals are names or signs [Hobbes]
9. Objects / A. Existence of Objects / 1. Physical Objects
Things are constructs for tracking patterns (and not linguistic, because animals do it) [Ladyman/Ross]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
Maybe individuation can be explained by thermodynamic depth [Ladyman/Ross]
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
Bodies are independent of thought, and coincide with part of space [Hobbes]
If you separate the two places of one thing, you will also separate the thing [Hobbes]
If you separated two things in the same place, you would also separate the places [Hobbes]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
Physics seems to imply that we must give up self-subsistent individuals [Ladyman/Ross]
There is no single view of individuals, because different sciences operate on different scales [Ladyman/Ross]
There are no cats in quantum theory, and no mountains in astrophysics [Ladyman/Ross]
9. Objects / B. Unity of Objects / 1. Unifying an Object / b. Unifying aggregates
If a whole body is moved, its parts must move with it [Hobbes]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
Things are abstractions from structures [Ladyman/Ross]
9. Objects / C. Structure of Objects / 5. Composition of an Object
The idea of composition, that parts of the world are 'made of' something, is no longer helpful [Ladyman/Ross]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
A body is always the same, whether the parts are together or dispersed [Hobbes]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
To make a whole, parts needn't be put together, but can be united in the mind [Hobbes]
A sum of things is not a whole if the whole does not support some new generalisation [Ladyman/Ross]
9. Objects / D. Essence of Objects / 5. Essence as Kind
Particulars contain universal things [Hobbes]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / b. Essence not necessities
Some accidental features are permanent, unless the object perishes [Hobbes]
9. Objects / D. Essence of Objects / 13. Nominal Essence
The feature which picks out or names a thing is usually called its 'essence' [Hobbes]
We treat the core of a pattern as an essence, in order to keep track of it [Ladyman/Ross]
9. Objects / E. Objects over Time / 1. Objects over Time
A continuous object might be a type, with instances at each time [Ladyman/Ross]
9. Objects / E. Objects over Time / 8. Continuity of Rivers
It is the same river if it has the same source, no matter what flows in it [Hobbes]
9. Objects / E. Objects over Time / 9. Ship of Theseus
Some individuate the ship by unity of matter, and others by unity of form [Hobbes]
If a new ship were made of the discarded planks, would two ships be numerically the same? [Hobbes]
9. Objects / F. Identity among Objects / 3. Relative Identity
As an infant, Socrates was not the same body, but he was the same human being [Hobbes]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
Two bodies differ when (at some time) you can say something of one you can't say of the other [Hobbes]
10. Modality / B. Possibility / 6. Probability
Quantum mechanics seems to imply single-case probabilities [Ladyman/Ross]
In quantum statistics, two separate classical states of affairs are treated as one [Ladyman/Ross]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
We can imagine a point swelling and contracting - but not how this could be done [Hobbes]
12. Knowledge Sources / D. Empiricism / 2. Associationism
Rats find some obvious associations easier to learn than less obvious ones [Ladyman/Ross]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
The doctrine of empiricism does not itself seem to be empirically justified [Ladyman/Ross]
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
There is no reason to think our intuitions are good for science or metaphysics [Ladyman/Ross]
14. Science / A. Basis of Science / 4. Prediction
The theory of evolution was accepted because it explained, not because of its predictions [Ladyman/Ross]
What matters is whether a theory can predict - not whether it actually does so [Ladyman/Ross]
14. Science / B. Scientific Theories / 8. Ramsey Sentences
The Ramsey sentence describes theoretical entities; it skips reference, but doesn't eliminate it [Ladyman/Ross]
The Ramsey-sentence approach preserves observations, but eliminates unobservables [Ladyman/Ross]
14. Science / C. Induction / 1. Induction
Induction is reasoning from the observed to the unobserved [Ladyman/Ross]
14. Science / C. Induction / 4. Reason in Induction
Inductive defences of induction may be rule-circular, but not viciously premise-circular [Ladyman/Ross]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
We explain by deriving the properties of a phenomenon by embedding it in a large abstract theory [Ladyman/Ross]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Science aims to show causes and generation of things [Hobbes]
15. Nature of Minds / C. Capacities of Minds / 2. Imagination
Imagination is just weakened sensation [Hobbes]
15. Nature of Minds / C. Capacities of Minds / 4. Objectification
Maybe the only way we can think about a domain is by dividing it up into objects [Ladyman/Ross]
15. Nature of Minds / C. Capacities of Minds / 10. Conatus/Striving
A 'conatus' is an initial motion, experienced by us as desire or aversion [Hobbes, by Arthur,R]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
Two versions of quantum theory say that the world is deterministic [Ladyman/Ross]
17. Mind and Body / D. Property Dualism / 4. Emergentism
Science is opposed to downward causation [Ladyman/Ross]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Sensation is merely internal motion of the sentient being [Hobbes]
18. Thought / A. Modes of Thought / 3. Emotions / e. Basic emotions
Apart from pleasure and pain, the only emotions are appetite and aversion [Hobbes]
18. Thought / B. Mechanics of Thought / 5. Mental Files
Words are not for communication, but as marks for remembering what we have learned [Hobbes]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / b. Prime matter
Prime matter is body considered with mere size and extension, and potential [Hobbes]
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
Explanation by kinds and by clusters of properties just express the stability of reality [Ladyman/Ross]
26. Natural Theory / B. Natural Kinds / 4. Source of Kinds
There is nothing more to a natural kind than a real pattern in nature [Ladyman/Ross]
26. Natural Theory / C. Causation / 1. Causation
Acting on a body is either creating or destroying a property in it [Hobbes]
26. Natural Theory / C. Causation / 7. Eliminating causation
Causation is found in the special sciences, but may have no role in fundamental physics [Ladyman/Ross]
26. Natural Theory / C. Causation / 8. Particular Causation / c. Conditions of causation
An effect needs a sufficient and necessary cause [Hobbes]
26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity
A cause is the complete sum of the features which necessitate the effect [Hobbes]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Science may have uninstantiated laws, inferred from approaching some unrealised limit [Ladyman/Ross]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Motion is losing one place and acquiring another [Hobbes]
27. Natural Reality / A. Classical Physics / 1. Mechanics / c. Forces
'Force' is the quantity of movement imposed on something [Hobbes]
27. Natural Reality / B. Modern Physics / 4. Standard Model / a. Concept of matter
That the universe must be 'made of' something is just obsolete physics [Ladyman/Ross]
In physics, matter is an emergent phenomenon, not part of fundamental ontology [Ladyman/Ross]
27. Natural Reality / C. Space / 6. Space-Time
Spacetime may well be emergent, rather than basic [Ladyman/Ross]
If spacetime is substantial, what is the substance? [Ladyman/Ross]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
A fixed foliation theory of quantum gravity could make presentism possible [Ladyman/Ross]
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
Past times can't exist anywhere, apart from in our memories [Hobbes]