Combining Philosophers

All the ideas for Engelbretsen,G/Sayward,C, Paul Thagard and D.J. O'Connor

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


29 ideas

2. Reason / A. Nature of Reason / 6. Coherence
Coherence problems have positive and negative restraints; solutions maximise constraint satisfaction [Thagard]
Coherence is explanatory, deductive, conceptual, analogical, perceptual, and deliberative [Thagard]
Explanatory coherence needs symmetry,explanation,analogy,data priority, contradiction,competition,acceptance [Thagard]
3. Truth / A. Truth Problems / 5. Truth Bearers
Must sentences make statements to qualify for truth? [O'Connor]
3. Truth / A. Truth Problems / 6. Verisimilitude
Verisimilitude comes from including more phenomena, and revealing what underlies [Thagard]
3. Truth / C. Correspondence Truth / 1. Correspondence Truth
Beliefs must match facts, but also words must match beliefs [O'Connor]
3. Truth / F. Semantic Truth / 2. Semantic Truth
The semantic theory requires sentences as truth-bearers, not propositions [O'Connor]
What does 'true in English' mean? [O'Connor]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Logic seems to work for unasserted sentences [O'Connor]
In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
Events are fast changes which are of interest to us [O'Connor]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can't contemplate our beliefs until we have expressed them [O'Connor]
Without language our beliefs are particular and present [O'Connor]
14. Science / B. Scientific Theories / 1. Scientific Theory
Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard]
14. Science / C. Induction / 6. Bayes's Theorem
Bayesian inference is forced to rely on approximations [Thagard]
14. Science / D. Explanation / 2. Types of Explanation / c. Explanations by coherence
1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart]
2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart]
3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart]
4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart]
5: Contradictory propositions incohere [Thagard, by Smart]
6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart]
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
The best theory has the highest subjective (Bayesian) probability? [Thagard]