Combining Texts

All the ideas for 'The Elm and the Expert', 'Sets, Aggregates and Numbers' and 'Set Theory and Its Philosophy'

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


49 ideas

2. Reason / A. Nature of Reason / 8. Naturalising Reason
A standard naturalist view is realist, externalist, and computationalist, and believes in rationality [Fodor]
3. Truth / A. Truth Problems / 5. Truth Bearers
Psychology has to include the idea that mental processes are typically truth-preserving [Fodor]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
Usually the only reason given for accepting the empty set is convenience [Potter]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: There is at least one limit level [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
Nowadays we derive our conception of collections from the dependence between them [Potter]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology elides the distinction between the cards in a pack and the suits [Potter]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Inferences are surely part of the causal structure of the world [Fodor]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
We can formalize second-order formation rules, but not inference rules [Potter]
5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions
Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
How many? must first partition an aggregate into sets, and then logic fixes its number [Yourgrau]
Nothing is 'intrinsically' numbered [Yourgrau]
If set theory didn't found mathematics, it is still needed to count infinite sets [Potter]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / d. Peano arithmetic
It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
Defining 'three' as the principle of collection or property of threes explains set theory definitions [Yourgrau]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
We can't use sets as foundations for mathematics if we must await results from the upper reaches [Yourgrau]
You can ask all sorts of numerical questions about any one given set [Yourgrau]
8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation
A relation is a set consisting entirely of ordered pairs [Potter]
9. Objects / B. Unity of Objects / 2. Substance / b. Need for substance
If dependence is well-founded, with no infinite backward chains, this implies substances [Potter]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
Collections have fixed members, but fusions can be carved in innumerable ways [Potter]
10. Modality / A. Necessity / 1. Types of Modality
Priority is a modality, arising from collections and members [Potter]
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
Control of belief is possible if you know truth conditions and what causes beliefs [Fodor]
14. Science / A. Basis of Science / 3. Experiment
Participation in an experiment requires agreement about what the outcome will mean [Fodor]
An experiment is a deliberate version of what informal thinking does all the time [Fodor]
We can deliberately cause ourselves to have true thoughts - hence the value of experiments [Fodor]
Interrogation and experiment submit us to having beliefs caused [Fodor]
14. Science / B. Scientific Theories / 1. Scientific Theory
Theories are links in the causal chain between the environment and our beliefs [Fodor]
15. Nature of Minds / A. Nature of Mind / 1. Mind / e. Questions about mind
I say psychology is intentional, semantics is informational, and thinking is computation [Fodor]
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
We are probably the only creatures that can think about our own thoughts [Fodor]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
Cartesians consider interaction to be a miracle [Fodor]
Semantics v syntax is the interaction problem all over again [Fodor]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Type physicalism equates mental kinds with physical kinds [Fodor]
17. Mind and Body / E. Mind as Physical / 4. Connectionism
Hume has no theory of the co-ordination of the mind [Fodor]
18. Thought / A. Modes of Thought / 2. Propositional Attitudes
Propositional attitudes are propositions presented in a certain way [Fodor]
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
Rationality has mental properties - autonomy, productivity, experiment [Fodor]
18. Thought / C. Content / 5. Twin Earth
XYZ (Twin Earth 'water') is an impossibility [Fodor]
18. Thought / C. Content / 6. Broad Content
Truth conditions require a broad concept of content [Fodor]
18. Thought / C. Content / 7. Narrow Content
Concepts aren't linked to stuff; they are what is caused by stuff [Fodor]
18. Thought / C. Content / 10. Causal Semantics
Knowing the cause of a thought is almost knowing its content [Fodor]
18. Thought / C. Content / 12. Informational Semantics
Is content basically information, fixed externally? [Fodor]
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
In the information view, concepts are potentials for making distinctions [Fodor]
19. Language / A. Nature of Meaning / 1. Meaning
Semantic externalism says the concept 'elm' needs no further beliefs or inferences [Fodor]
If meaning is information, that establishes the causal link between the state of the world and our beliefs [Fodor]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To know the content of a thought is to know what would make it true [Fodor]
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
For holists no two thoughts are ever quite the same, which destroys faith in meaning [Fodor]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
It is claimed that reference doesn't fix sense (Jocasta), and sense doesn't fix reference (Twin Earth) [Fodor]
19. Language / C. Assigning Meanings / 2. Semantics
Broad semantics holds that the basic semantic properties are truth and denotation [Fodor]
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Externalist semantics are necessary to connect the contents of beliefs with how the world is [Fodor]