Combining Texts

All the ideas for 'Function and Concept', 'The Emergence of Probability' and 'Philosophy and the Mirror of Nature'

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


36 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / b. Seventeenth century philosophy
Gassendi is the first great empiricist philosopher [Hacking]
     Full Idea: Gassendi is the first in the great line of empiricist philosophers that gradually came to dominate European thought.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.5)
     A reaction: Epicurus, of course, was clearly an empiricist. British readers should note that Gassendi was not British.
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Analytical philosophy seems to have little interest in how to tell a good analysis from a bad one [Rorty]
     Full Idea: There is nowadays little attempt to bring "analytic philosophy" to self-consciousness by explaining how to tell a successful from an unsuccessful analysis.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 4.1)
2. Reason / C. Styles of Reason / 3. Eristic
Rational certainty may be victory in argument rather than knowledge of facts [Rorty]
     Full Idea: We can think of "rational certainty" as a matter of victory in argument rather than relation to an object known.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 3.4)
3. Truth / A. Truth Problems / 9. Rejecting Truth
Rorty seems to view truth as simply being able to hold one's view against all comers [Rorty, by O'Grady]
     Full Idea: Rorty seems to view truth as simply being able to hold one's view against all comers.
     From: report of Richard Rorty (Philosophy and the Mirror of Nature [1980]) by Paul O'Grady - Relativism Ch.4
     A reaction: This may be a caricature of Rorty, but he certainly seems to be in the business of denying truth as much as possible. This strikes me as the essence of pragmatism, and as a kind of philosophical nihilism.
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
For James truth is "what it is better for us to believe" rather than a correct picture of reality [Rorty]
     Full Idea: Truth is, in James' phrase, "what it is better for us to believe", rather than "the accurate representation of reality".
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], Intro)
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt]
     Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic.
     From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2
     A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped.
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
First-level functions have objects as arguments; second-level functions take functions as arguments [Frege]
     Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions.
     From: Gottlob Frege (Function and Concept [1891], p.38)
     A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions.
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
Relations are functions with two arguments [Frege]
     Full Idea: Functions of one argument are concepts; functions of two arguments are relations.
     From: Gottlob Frege (Function and Concept [1891], p.39)
     A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege]
     Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism.
     From: Gottlob Frege (Function and Concept [1891], p.30)
     A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Frege takes the existence of horses to be part of their concept [Frege, by Sommers]
     Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'.
     From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism'
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege]
     Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property.
     From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2
     A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects.
9. Objects / A. Existence of Objects / 3. Objects in Thought
The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege]
     Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place.
     From: Gottlob Frege (Function and Concept [1891], p.32)
     A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them.
10. Modality / B. Possibility / 6. Probability
Probability was fully explained between 1654 and 1812 [Hacking]
     Full Idea: There is hardly any history of probability to record before Pascal (1654), and the whole subject is very well understood after Laplace (1812).
     From: Ian Hacking (The Emergence of Probability [1975], Ch.1)
     A reaction: An interesting little pointer on the question of whether the human race is close to exhausting all the available intellectual problems. What then?
Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking]
     Full Idea: Probability has two aspects: the degree of belief warranted by evidence, and the tendency displayed by some chance device to produce stable relative frequencies. These are the epistemological and statistical aspects of the subject.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.1)
     A reaction: The most basic distinction in the subject. Later (p.124) he suggests that the statistical form (known as 'aleatory' probability) is de re, and the other is de dicto.
Epistemological probability based either on logical implications or coherent judgments [Hacking]
     Full Idea: Epistemological probability is torn between Keynes etc saying it depends on the strength of logical implication, and Ramsey etc saying it is personal judgement which is subject to strong rules of internal coherence.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.2)
     A reaction: See Idea 7449 for epistemological probability. My immediate intuition is that the Ramsey approach sounds much more plausible. In real life there are too many fine-grained particulars involved for straight implication to settle a probability.
13. Knowledge Criteria / B. Internal Justification / 2. Pragmatic justification
If knowledge is merely justified belief, justification is social [Rorty]
     Full Idea: If we have a Deweyan conception of knowledge, as what we are justified in believing, we will see "justification" as a social phenomenon.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], Intro)
     A reaction: I find this observation highly illuminating (though I probably need to study Dewey to understand it). There just is no absolute about whether someone is justified. How justified do you want to be?
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / a. Evidence
In the medieval view, only deduction counted as true evidence [Hacking]
     Full Idea: In the medieval view, evidence short of deduction was not really evidence at all.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.3)
     A reaction: Hacking says the modern concept of evidence comes with probability in the 17th century. That might make it one of the most important ideas ever thought of, allowing us to abandon certainties and live our lives in a more questioning way.
Formerly evidence came from people; the new idea was that things provided evidence [Hacking]
     Full Idea: In the medieval view, people provided the evidence of testimony and of authority. What was lacking was the seventeenth century idea of the evidence provided by things.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.4)
     A reaction: A most intriguing distinction, which seems to imply a huge shift in world-view. The culmination of this is Peirce's pragmatism, in Idea 6948, of which I strongly approve.
13. Knowledge Criteria / C. External Justification / 8. Social Justification
Knowing has no definable essence, but is a social right, found in the context of conversations [Rorty]
     Full Idea: If we see knowing not as having an essence, described by scientists or philosophers, but rather as a right, by current standards, to believe, then we see conversation as the ultimate context within which knowledge is to be understood.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], Ch.5), quoted by Robert Fogelin - Walking the Tightrope of Reason Ch.5
     A reaction: This teeters towards ridiculous relativism (e.g. what if the conversation is among a group of fools? - Ah, there are no fools! Politically incorrect!). However, knowledge can be social, provided we are healthily elitist. Scientists know more than us.
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
You can't debate about whether to have higher standards for the application of words [Rorty]
     Full Idea: The decision about whether to have higher than usual standards for the application of words like "true" or "good" or "red" is, as far as I can see, not a debatable issue.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 6.6)
14. Science / A. Basis of Science / 3. Experiment
An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG]
     Full Idea: An experiment is a test (if T, then E implies R, so try E, and if R follows, T seems right), an adventure (no theory, but try things), a diagnosis (reading the signs), or a dissection (taking apart).
     From: report of Ian Hacking (The Emergence of Probability [1975], Ch.4) by PG - Db (ideas)
     A reaction: A nice analysis. The Greeks did diagnosis, then the alchemists tried adventures, then Vesalius began dissections, then the followers of Bacon concentrated on the test, setting up controlled conditions. 'If you don't believe it, try it yourself'.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking]
     Full Idea: Mathematics is the model for reasoning about necessary truths, but jurisprudence must be our model when we deliberate about contingencies.
     From: Ian Hacking (The Emergence of Probability [1975], Ch.10)
     A reaction: Interesting. Certainly huge thinking, especially since the Romans, has gone into the law, and creating rules of evidence. Maybe all philosophers should study law and mathematics?
15. Nature of Minds / A. Nature of Mind / 1. Mind / a. Mind
The mind is a property, or it is baffling [Rorty]
     Full Idea: All that is needed for the mind-body problem to be unintelligible is for us to be nominalist, to refuse firmly to hypostasize individual properties.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 1.3)
     A reaction: Edelman says the mind is a process rather than a property. It might vanish if the clockspeed was turned right down? Nominalism here sounds like behaviourism or instrumentalism. Would Dennett plead guilty?
15. Nature of Minds / A. Nature of Mind / 1. Mind / c. Features of mind
Pain lacks intentionality; beliefs lack qualia [Rorty]
     Full Idea: We can't define the mental as intentional because pains aren't about anything, and we can't define it as phenomenal because beliefs don't feel like anything.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 1.2)
     A reaction: Nice, but simplistic? There is usually an intentional object for a pain, and the concepts which we use to build beliefs contain the residue of remembered qualia. It seems unlikely that any mind could have one without the other (even a computer).
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
Is intentionality a special sort of function? [Rorty]
     Full Idea: Following Wittgenstein, we shall treat the intentional as merely a subspecies of the functional.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 1.3)
     A reaction: Intriguing but obscure. Sounds wrong to me. The intentional refers to the content of thoughts, but function concerns their role. They have roles because they have content, so they can't be the same.
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman]
     Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions.
     From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties.
An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale]
     Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it.
     From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects
     A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status.
A concept is a function whose value is always a truth-value [Frege]
     Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part.
     From: Gottlob Frege (Function and Concept [1891], p.30)
     A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable.
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman]
     Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature.
     From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2
     A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity.
19. Language / A. Nature of Meaning / 1. Meaning
Nature has no preferred way of being represented [Rorty]
     Full Idea: Nature has no preferred way of being represented.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 6.5)
     A reaction: Tree rings accidentally represent the passing of the years. If God went back and started again would she or he opt for a 'preferred way'?
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
Can meanings remain the same when beliefs change? [Rorty]
     Full Idea: For cooler heads there must be some middle view between "meanings remain and beliefs change" and "meanings change whenever beliefs do".
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 6.2)
     A reaction: The second one seems blatanty false. How could we otherwise explain a change in belief? But obviously some changes in belief (e.g. about electrons) produce a change in meaning.
19. Language / B. Reference / 1. Reference theories
A theory of reference seems needed to pick out objects without ghostly inner states [Rorty]
     Full Idea: The need to pick out objects without the help of definitions, essences, and meanings of terms produced, philosophers thought, a need for a "theory of reference".
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 6.3)
     A reaction: Frege's was very perceptive in noting that meaning and reference are not the same. Whether we need a 'theory' of reference is unclear. It is worth describing how it occurs.
19. Language / B. Reference / 5. Speaker's Reference
I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege]
     Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false.
     From: Gottlob Frege (Function and Concept [1891], p.14)
     A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?'
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Davidson's theory of meaning focuses not on terms, but on relations between sentences [Rorty]
     Full Idea: A theory of meaning, for Davidson, is not an assemblage of "analyses" of the meanings of individual terms, but rather an understanding of the inferential relations between sentences.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 6.1)
     A reaction: Put that way, the influence of Frege on Davidson is obvious. Purely algebraic expressions can have inferential relations, using variables and formal 'sentences'.
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
Since Hegel we have tended to see a human as merely animal if it is outside a society [Rorty]
     Full Idea: Only since Hegel have philosophers begun toying with the idea that the individual apart from his society is just one more animal.
     From: Richard Rorty (Philosophy and the Mirror of Nature [1980], 4.3)
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The Ontological Argument fallaciously treats existence as a first-level concept [Frege]
     Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept.
     From: Gottlob Frege (Function and Concept [1891], p.38 n)
     A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate.