Combining Texts

All the ideas for 'works', 'The Thought: a Logical Enquiry' and 'works'

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


23 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
There exists a realm, beyond objects and ideas, of non-spatio-temporal thoughts [Frege, by Weiner]
     Full Idea: There is, in addition to the external world of physical objects and the internal world of ideas, a third realm of non-spatio-temporal objective objects, among which are thoughts.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Joan Weiner - Frege Ch.7
     A reaction: This seems to be Platonism, and, in particular, to give a Platonic existent status to propositions. Personally I believe in propositions, but as glimpses of how our brains actually work, not as mystical objects.
3. Truth / A. Truth Problems / 2. Defining Truth
The word 'true' seems to be unique and indefinable [Frege]
     Full Idea: It seems likely that the content of the word 'true' is sui generis and indefinable
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327 (60))
     A reaction: This is the view I associate with Davidson, though fans of Axiomatic Truth give up defining it, and just describe how it behaves. Defining it is very elusive, but I don't accept that nothing can be said about the contents of the concept of truth.
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
There cannot be complete correspondence, because ideas and reality are quite different [Frege]
     Full Idea: It is essential that the reality shall be distinct from the idea. But then there can be no complete correspondence, no complete truth.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327 (60))
     A reaction: He thinks that logic can give a perfect account of truth, or at least the extension of truth, where ordinary language will always fail. I wonder what he would have thought of Tarski's theory?
3. Truth / H. Deflationary Truth / 1. Redundant Truth
The property of truth in 'It is true that I smell violets' adds nothing to 'I smell violets' [Frege]
     Full Idea: The sentence 'I smell the scent of violets' has just the same content as 'It is true that I smell the scent of violets'. So it seems that nothing is added to the thought by my ascribing to it the property of truth.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.328 (61))
     A reaction: This idea predates Ramsey's similar proposal, for which, oddly, Ramsey always seems to get the credit. To a logician they may have identical content, but pragmatically they are likely to differ in context. 'True' certainly doesn't add to the thought.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
     Full Idea: Abelard's theory of substantial integral wholes is not a pure mereology in the modern sense, since he holds that there are privileged divisions; ..the division of a whole must be into its principal parts. Some wholes have a natural division.
     From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2
     A reaction: This is a mereology that cuts nature at the joints, rather than Lewis's 'unrestricted composition', so I find Abelard rather appealing.
7. Existence / A. Nature of Existence / 2. Types of Existence
Thoughts in the 'third realm' cannot be sensed, and do not need an owner to exist [Frege]
     Full Idea: Thoughts are neither things in the external world nor ideas. A third realm must be recognised. Anything in this realm has it in common with ideas that it cannot be perceived by the senses, and does not need an owner to belong with his consciousness.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.337(69))
     A reaction: This important idea is the creed for modern platonists. We don't have to accept Forms, or any particular content, but there is a mode of existence which is distinct from both mental and physical, and is the residence of 'abstracta'. I deny it!
7. Existence / D. Theories of Reality / 8. Facts / c. Facts and truths
A fact is a thought that is true [Frege]
     Full Idea: A fact is a thought that is true.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.342(74))
     A reaction: It strikes me as pretty obvious that facts are not thoughts, because they concern the contents of thoughts. You can't discuss facts without the notion of what a thought is 'about'. If I think about my garden, the relevant fact is aspects of my garden.
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
     Full Idea: Abelard argued that if the universal 'animal' were completely present in both Socrates and an ass, making each wholly an animal, then the same thing, animal, will be simultaneously rational and irrational, with contraries present in the whole thing.
     From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2
     A reaction: If we have universals for rationality and irrationality, they can distinguish the two. But we must also say that rationality is not an aspect of animal, which seems to mean that mind isn't either. What is the essence of an animal? Not reason?
Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
     Full Idea: Abelard was an irrealist about universals, but also about propositions, events, times other than the present, natural kinds, relations, wholes, absolute space, hylomorphic composites, and the like. The concrete individual is enough to populate the world.
     From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2
     A reaction: If a Nominalist claims that 'only particulars exist', this makes him an extreme nominalist, and remarkably materialistic for his time (though he accepted the soul, as well as God).
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio]
     Full Idea: Abelard concluded that only words can be 'predicated of many'. A universal is nothing but a general linguistic predicate, and its universality depends not on its mode of being, but on its mode of signifying.
     From: report of Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter'
     A reaction: Abelard seems to be the originator of what is now called Predicate Nominalism, with Nelson Goodman as his modern representative. If it is just words, is there no fact of two things having the 'same' property?
9. Objects / A. Existence of Objects / 3. Objects in Thought
Late Frege saw his non-actual objective objects as exclusively thoughts and senses [Frege, by Dummett]
     Full Idea: Earlier, Frege divided objects into subjective, actual objective, and non-actual objective; in the 'Grundgesetze' he emphasised logical objects; but in 'The Thought' the non-actual objects become exclusively thoughts and their constituent senses.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Frege philosophy of mathematics Ch.18
     A reaction: Sounds to me like Frege was finally waking up and taking a dose of common sense. The Equator is the standard example of a non-actual objective object.
10. Modality / A. Necessity / 4. De re / De dicto modality
The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
     Full Idea: The de dicto-de re modality distinction dates back to Abelard.
     From: report of Peter Abelard (works [1135]) by Alex Orenstein - W.V. Quine Ch.7
     A reaction: Most modern philosophers couldn't (apparently) care less where a concept originated, but one of the principles of this database is that such things do matter. I'm not sure why, but if we want the whole picture, we need the historical picture.
18. Thought / A. Modes of Thought / 1. Thought
We grasp thoughts (thinking), decide they are true (judgement), and manifest the judgement (assertion) [Frege]
     Full Idea: We distinguish the grasp of a thought, which is 'thinking', from the acknowledgement of the truth of a thought, which is the act of 'judgement', from the manifestation of this judgement, which is an 'assertion'.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.329 (62))
Thoughts have their own realm of reality - 'sense' (as opposed to the realm of 'reference') [Frege, by Dummett]
     Full Idea: For Frege, thoughts belong to a special realm of reality, which he called the 'realm of sense' and distinguished from the 'realm of reference'.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Thought and Reality 1
     A reaction: A thought is, for Frege, a proposition. There is a halfway Platonism possible here, where the 'realm' for such things exists, but within that realm the objects might be conventional, or some such. Real possible worlds containing fictions!
A thought is distinguished from other things by a capacity to be true or false [Frege, by Dummett]
     Full Idea: On Frege's view, what distinguishes thoughts from everything else is that they may meaningfully be called 'true' and 'false'.
     From: report of Gottlob Frege (The Thought: a Logical Enquiry [1918]) by Michael Dummett - Frege philosophy of mathematics Ch.2
     A reaction: A lot of thinking is imagistic, and while the image may or may not truly picture the world, we tend to think that the truth or otherwise of daydreaming is simply irrelevant. Does Frege take all thought to be propositional?
18. Thought / A. Modes of Thought / 9. Indexical Thought
Thoughts about myself are understood one way to me, and another when communicated [Frege]
     Full Idea: When Dr Lauben thinks he has been wounded, ..only Dr Lauben can grasp thoughts determined in this way. But he cannot communicate a thought which only he can grasp. To say 'I have been wounded' he must use 'I' in a sense graspable by others.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918]), quoted by François Recanati - Mental Files 16.1
     A reaction: [compressed] This seems to be the first, and very influential, attempt to explain the unusual and revealing semantics of indexicals. It seems to be the ultimate source of 2-D semantics, by introducing two modes of meaning for one term.
18. Thought / E. Abstraction / 8. Abstractionism Critique
Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard]
     Full Idea: Abelard's problem is that it is not clear how singular forms could do the job they are supposed to do - to account for abstraction, namely - if they were purely singular aspects.
     From: comment on Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter'
     A reaction: A very nice question! If we say that abstracta are just acquired by ignoring all but that feature in some objects, how do we identify 'that' feature in order to select it? The instances must share something in common to be abstracted.
19. Language / C. Assigning Meanings / 3. Predicates
Nothing external can truly be predicated of an object [Abelard, by Panaccio]
     Full Idea: Abelard argued from the commonly accepted definition of a universal as 'what can be predicated of man', that no external thing can ever be predicated of anything.
     From: report of Peter Abelard (works [1135]) by Claude Panaccio - Medieval Problem of Universals 'Peter'
     A reaction: It sounds to me as if Abelard is confusing predicates with properties! Maybe no external can be a property of anything, but I take predicates to just be part of what you can say about anything, and that had better included external facts.
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
A 'thought' is something for which the question of truth can arise; thoughts are senses of sentences [Frege]
     Full Idea: I call a 'thought' something for which the question of truth can arise at all. ...So I can say: thoughts are senses of sentences, without wishing to assert that the sense of every sentence is a thought.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.327-8 (61))
     A reaction: This builds on his distinction between sense and reference. The reference of every truth sentence is just 'the true', and the sense is the proposition. The concept of a proposition seems indispensable to logic, I would say.
19. Language / D. Propositions / 5. Unity of Propositions
A sentence is only a thought if it is complete, and has a time-specification [Frege]
     Full Idea: Only a sentence with the time-specification filled out, a sentence complete in every respect, expresses a thought.
     From: Gottlob Frege (The Thought: a Logical Enquiry [1918], p.343(76))
     A reaction: I take the 'every respect' to include the avoidance of ambiguity, and some sort of perspicacious reference for the terms. I wish philosophers would focus on the thoughts in their subject, and not nit-pick about the sentences. Does he mean 'utterances'?
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]
     Full Idea: In Abelard's view a natural kind is a well-defined collection of things that have the same features, so that natural kinds have no special status, being no more than discrete integral wholes whose principle of membership is similarity.
     From: report of Peter Abelard (works [1135]) by Peter King - Peter Abelard 2
     A reaction: I take a natural kind to be a completely stable and invariant class of things. Presumably this invariance has an underlying explanation, but Abelard seems to take the Humean line that we cannot penetrate beyond the experienced surface.
29. Religion / B. Monotheistic Religion / 4. Christianity / d. Heresy
Philosophers are the forefathers of heretics [Tertullian]
     Full Idea: Philosophers are the forefathers of heretics.
     From: Tertullian (works [c.200]), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 20.2
29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism
I believe because it is absurd [Tertullian]
     Full Idea: I believe because it is absurd ('Credo quia absurdum est').
     From: Tertullian (works [c.200]), quoted by Robert Fogelin - Walking the Tightrope of Reason n4.2
     A reaction: This seems to be a rather desperate remark, in response to what must have been rather good hostile arguments. No one would abandon the support of reason if it was easy to acquire. You can't deny its engaging romantic defiance, though.