Combining Texts

All the ideas for 'Prior Analytics', 'Four Decades of Scientific Explanation' and 'Metaphysical Dependence'

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


45 ideas

1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
Philosophers are often too fussy about words, dismissing perfectly useful ordinary terms [Rosen]
2. Reason / D. Definition / 1. Definitions
Figuring in the definition of a thing doesn't make it a part of that thing [Rosen]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Aristotle was the first to use schematic letters in logic [Aristotle, by Potter]
Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna]
Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen]
Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin]
Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward]
Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
There are three different deductions for actual terms, necessary terms and possible terms [Aristotle]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
Deduction is when we suppose one thing, and another necessarily follows [Aristotle]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA]
5. Theory of Logic / G. Quantification / 1. Quantification
Affirming/denying sentences are universal, particular, or indeterminate [Aristotle]
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin]
5. Theory of Logic / K. Features of Logics / 10. Monotonicity
Explanations fail to be monotonic [Rosen]
7. Existence / C. Structure of Existence / 1. Grounding / a. Nature of grounding
Things could be true 'in virtue of' others as relations between truths, or between truths and items [Rosen]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
Facts are structures of worldly items, rather like sentences, individuated by their ingredients [Rosen]
8. Modes of Existence / B. Properties / 4. Intrinsic Properties
An 'intrinsic' property is one that depends on a thing and its parts, and not on its relations [Rosen]
10. Modality / A. Necessity / 4. De re / De dicto modality
A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle]
10. Modality / A. Necessity / 5. Metaphysical Necessity
The excellent notion of metaphysical 'necessity' cannot be defined [Rosen]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
Are necessary truths rooted in essences, or also in basic grounding laws? [Rosen]
11. Knowledge Aims / A. Knowledge / 2. Understanding
It is knowing 'why' that gives scientific understanding, not knowing 'that' [Salmon]
Understanding is an extremely vague concept [Salmon]
14. Science / A. Basis of Science / 4. Prediction
Correlations can provide predictions, but only causes can give explanations [Salmon]
14. Science / B. Scientific Theories / 3. Instrumentalism
For the instrumentalists there are no scientific explanations [Salmon]
14. Science / C. Induction / 4. Reason in Induction
Good induction needs 'total evidence' - the absence at the time of any undermining evidence [Salmon]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
Scientific explanation is not reducing the unfamiliar to the familiar [Salmon]
Why-questions can seek evidence as well as explanation [Salmon]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
The three basic conceptions of scientific explanation are modal, epistemic, and ontic [Salmon]
The 'inferential' conception is that all scientific explanations are arguments [Salmon]
Ontic explanations can be facts, or reports of facts [Salmon]
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
We must distinguish true laws because they (unlike accidental generalizations) explain things [Salmon]
Deductive-nomological explanations will predict, and their predictions will explain [Salmon]
A law is not enough for explanation - we need information about what makes a difference [Salmon]
14. Science / D. Explanation / 2. Types of Explanation / g. Causal explanations
Flagpoles explain shadows, and not vice versa, because of temporal ordering [Salmon]
14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism
Explanation at the quantum level will probably be by entirely new mechanisms [Salmon]
Does an item have a function the first time it occurs? [Salmon]
Explanations reveal the mechanisms which produce the facts [Salmon]
14. Science / D. Explanation / 2. Types of Explanation / l. Probabilistic explanations
Can events whose probabilities are low be explained? [Salmon]
Statistical explanation needs relevance, not high probability [Salmon]
Think of probabilities in terms of propensities rather than frequencies [Salmon]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen]
19. Language / E. Analyticity / 1. Analytic Propositions
'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen]
27. Natural Reality / F. Chemistry / 1. Chemistry
An acid is just a proton donor [Rosen]