Combining Texts

All the ideas for 'The Metaontology of Abstraction', 'works' and 'Philosophy of Mathematics'

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


28 ideas

2. Reason / F. Fallacies / 1. Fallacy
It is a fallacy to explain the obscure with the even more obscure [Hale/Wright]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Singular terms refer if they make certain atomic statements true [Hale/Wright]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright]
Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright]
8. Modes of Existence / B. Properties / 3. Types of Properties
Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright]
14. Science / B. Scientific Theories / 3. Instrumentalism
Special relativity, unlike general relativity, was operationalist in spirit [Putnam on Einstein]
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright]
Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Reference needs truth as well as sense [Hale/Wright]
26. Natural Theory / C. Causation / 1. Causation
Einstein took causation to be the bedrock of physics [Einstein, by Coveney/Highfield]
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
General relativity assumes laws of nature are the same in all frames of reference [Einstein, by Close]
27. Natural Reality / A. Classical Physics / 1. Mechanics / d. Gravity
Newton is a special case of Einstein's general theory, with an infinite speed of light [Einstein, by Close]
27. Natural Reality / B. Modern Physics / 1. Relativity / a. Special relativity
The theory is 'special' because it sticks to observers moving straight, at constant speeds [Einstein, by Farmelo]
Assume the speed of light is constant for all observers, and the laws of physics are the same [Einstein, by Farmelo]
27. Natural Reality / B. Modern Physics / 1. Relativity / b. General relativity
General Relativity says there is no absolute force or acceleration [Einstein, by Close]
27. Natural Reality / B. Modern Physics / 4. Standard Model / d. Mass
Mass is a measure of energy content [Einstein]
27. Natural Reality / C. Space / 6. Space-Time
Space-time arises from the connection between measurements of space and of time [Einstein, by Farmelo]
28. God / C. Attitudes to God / 5. Atheism
I do not believe in a personal God [Einstein]