Combining Texts

All the ideas for 'fragments/reports', 'On the General Idea of Proof Theory' and 'The Scientific Image'

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


8 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
     Full Idea: Defining logical consequence in the way Tarski does is a rather meagre result, treating an argument as a black box, observing input and output, while disregarding inner structure. We should define logical consequence on the basis of valid arguments.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §2)
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
     Full Idea: In model theory, which has dominated the last decades, one concentrates on logically valid sentences, and what follows logically from what, but one disregards questions concerning how we know these things.
     From: Dag Prawitz (On the General Idea of Proof Theory [1974], §1)
10. Modality / A. Necessity / 11. Denial of Necessity
Empiricists deny what is unobservable, and reject objective modality [Fraassen]
     Full Idea: To be an empiricist is to withhold belief in anything that goes beyond the actual, observable phenomena, and to recognise no objective modality in nature.
     From: Bas C. van Fraassen (The Scientific Image [1980], p.202), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1
     A reaction: To only believe in what is actually observable strikes me as ridiculous. It might be, though, that we observe modality, in observing dispositions. If you pull back a bowstring, you feel the possibilities.
11. Knowledge Aims / A. Knowledge / 4. Belief / c. Aim of beliefs
To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird]
     Full Idea: To 'accept' a theory is not to believe it, but is instead to believe it to be empirically adequate.
     From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4
     A reaction: The second half of this doesn't avoid the word 'belief'. Nevertheless the suggestion is that we never believe (i.e. commit to truth) ever again. So you avoid an on-coming bus because the threat appears to be 'empirically adequate'. Hm.
14. Science / B. Scientific Theories / 2. Aim of Science
To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen]
     Full Idea: Science aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empiricially adequate.
     From: Bas C. van Fraassen (The Scientific Image [1980], p.12), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1
     A reaction: This won't tell us what to do if there is a tie between two theories, and we will want to know the criteria for 'adequate'. Presumably there are theories which are empirically quite good, but not yet acceptable. Theories commit beyond experience.
14. Science / D. Explanation / 3. Best Explanation / c. Against best explanation
Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird]
     Full Idea: Van Fraassen asks why we should think that the actual explanation of the evidence should be found among the theories we are considering, when there must be an infinity of theories which are also potential explanations of the evidence?
     From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4
     A reaction: This has become one of the leading modern anti-realist arguments. We must introduce an element of faith here; presumably evolution makes us experts on immediate puzzles, competent on intermediate ones, and hopeful on remote ones.
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
An explanation is just descriptive information answering a particular question [Fraassen, by Salmon]
     Full Idea: On van Fraassen's theory an explanation is simply an answer to a why-question; it is nothing other than descriptive information that, in a given context, answers a particular type of question.
     From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Wesley Salmon - Four Decades of Scientific Explanation 4.3
     A reaction: Presumably we would need some sort of criterion for a 'good' explanation, and it seems to me that a very good explanation might be given which was nevertheless beyond the grasp of the questioner.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?