Combining Texts

All the ideas for 'Truth and the Past', 'Replies on 'Limits of Abstraction'' and 'Grounding Concepts'

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


42 ideas

1. Philosophy / F. Analytic Philosophy / 4. Conceptual Analysis
Examining concepts can recover information obtained through the senses [Jenkins]
     Full Idea: My idea is that conceptual examination might be a way of recovering information previously obtained through the senses.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.8)
     A reaction: Now you're talking! This is really interesting conceptual analysis, rather than the sort of stamp-collecting approach to analsis practised by the duller sort of philosopher. But why bother with conceptual examination, when you have senses?
1. Philosophy / F. Analytic Philosophy / 7. Limitations of Analysis
Concern for rigour can get in the way of understanding phenomena [Fine,K]
     Full Idea: It is often the case that the concern for rigor gets in the way of a true understanding of the phenomena to be explained.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
     A reaction: This is a counter to Timothy Williamson's love affair with rigour in philosophy. It strikes me as the big current question for analytical philosophy - of whether the intense pursuit of 'rigour' will actually deliver the wisdom we all seek.
3. Truth / C. Correspondence Truth / 2. Correspondence to Facts
Instead of correspondence of proposition to fact, look at correspondence of its parts [Jenkins]
     Full Idea: Instead of considering only a proposition's 'correspondence to the facts', we should also consider the correspondence between parts of the proposition and parts of the world (a 'correspondence-as-congruence' view).
     From: Carrie Jenkins (Grounding Concepts [2008], Final - Branching)
     A reaction: This is something like Russell's Othello example (1912), except that the parts there, with relations seemed to add up to the whole proposition. For Jenkins, presumably parts might correspond, but the whole proposition fail to.
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
There is no stage at which we can take all the sets to have been generated [Fine,K]
     Full Idea: There is no stage at which we can take all the sets to have been generated, since the set of all those sets which have been generated at a given stage will itself give us something new.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
We might combine the axioms of set theory with the axioms of mereology [Fine,K]
     Full Idea: We might combine the standard axioms of set theory with the standard axioms of mereology.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett]
     Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense.
     From: Michael Dummett (Truth and the Past [2001], 4)
     A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'.
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K]
     Full Idea: We are tempted to ask of second-order quantifiers 'what are you quantifying over?', or 'when you say "for some F" then what is the F?', but these questions already presuppose that the quantifiers are first-order.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005])
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K]
     Full Idea: In doing semantics we normally assign some appropriate entity to each predicate, but this is largely for technical convenience.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / b. The Heap paradox ('Sorites')
Surely there is no exact single grain that brings a heap into existence [Dummett]
     Full Idea: There is surely no number n such that "n grains of sand do not make a heap, although n+1 grains of sand do" is true.
     From: Michael Dummett (Truth and the Past [2001], 4)
     A reaction: It might be argued that there is such a number, but no human being is capable of determing it. Might God know the value of n? On the whole Dummett's view seems the most plausible.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K]
     Full Idea: Because of Dedekind's definition of reals by cuts, there is a bizarre modern doctrine that there are many 1's - the natural number 1, the rational number 1, the real number 1, and even the complex number 1.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
     A reaction: See Idea 10572.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts
Why should a Dedekind cut correspond to a number? [Fine,K]
     Full Idea: By what right can Dedekind suppose that there is a number corresponding to any pair of irrationals that constitute an irrational cut?
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / l. Zero
Unless we know whether 0 is identical with the null set, we create confusions [Fine,K]
     Full Idea: What is the union of the singleton {0}, of zero, and the singleton {φ}, of the null set? Is it the one-element set {0}, or the two-element set {0, φ}? Unless the question of identity between 0 and φ is resolved, we cannot say.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Combining the concepts of negation and finiteness gives the concept of infinity [Jenkins]
     Full Idea: We might arrive to the concept of infinity by composing concepts of negation and finiteness.
     From: Carrie Jenkins (Grounding Concepts [2008], 5.3)
     A reaction: Presumably lots of concepts can be arrived at by negating prior concepts (such as not-wet, not-tall, not-loud, not-straight). So not-infinite is perfectly plausible, and is a far better account than some a priori intuition of pure infinity. Love it.
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / b. Mathematics is not set theory
Set-theoretic imperialists think sets can represent every mathematical object [Fine,K]
     Full Idea: Set-theoretic imperialists think that it must be possible to represent every mathematical object as a set.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Arithmetic concepts are indispensable because they accurately map the world [Jenkins]
     Full Idea: The indispensability of arithmetical concepts is evidence that they do in fact accurately represent features of the independent world.
     From: Carrie Jenkins (Grounding Concepts [2008], Intro)
     A reaction: This seems to me to be by far the best account of the matter. So why is the world so arithmetical? Dunno, mate; ask someone else.
Senses produce concepts that map the world, and arithmetic is known through these concepts [Jenkins]
     Full Idea: I propose that arithmetical truths are known through an examination of our own arithmetical concepts; that basic arithmetical concepts map the arithmetical structure of the world; that the map obtains in virtue of our normal sensory apparatus.
     From: Carrie Jenkins (Grounding Concepts [2008], Pref)
     A reaction: She defends the nice but unusual position that arithmetical knowledge is both a priori and empirical (so that those two notions are not, as usually thought, opposed). I am a big Carrie Jenkins fan.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K]
     Full Idea: Logicists traditionally claim that the theorems of mathematics can be derived by logical means from the relevant definitions of the terms, and that these theorems are epistemically innocent (knowable without Kantian intuition or empirical confirmation).
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2)
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
It is not easy to show that Hume's Principle is analytic or definitive in the required sense [Jenkins]
     Full Idea: A problem for the neo-Fregeans is that it has not proved easy to establish that Hume's Principle is analytic or definitive in the required sense.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.3)
     A reaction: It is also asked how we would know the principle, if it is indeed analytic or definitional (Jenkins p.119).
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists rely on the proof of mathematical statements, not their truth [Dummett]
     Full Idea: The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement.
     From: Michael Dummett (Truth and the Past [2001], 2)
     A reaction: I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture).
7. Existence / B. Change in Existence / 1. Nature of Change
A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett]
     Full Idea: The idea of 'Cambridge Change' is like saying 'the landscape changes as you travel east'.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: The phrase was coined in Oxford. It is a useful label with which realists can insult solipsists, idealists and other riff-raff. Four Dimensionalists seem to see time in this way. Events sit there, and we travel past them. But there are indexical events.
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
We can learn about the world by studying the grounding of our concepts [Jenkins]
     Full Idea: What concept grounding does for us is ensure that our concepts, like the results of our empirical tests, can be treated as a source of information about the independent world.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.4)
     A reaction: Presumably we learn our concepts hand-in-hand with experience, so learning our concepts is itself learning about the world. Later checking of concepts and their relations largely confirms what we already knew?
7. Existence / C. Structure of Existence / 4. Ontological Dependence
There's essential, modal, explanatory, conceptual, metaphysical and constitutive dependence [Jenkins, by PG]
     Full Idea: Dependence comes in essential, modal, explanatory, conceptual, metaphysical and constitutive forms.
     From: report of Carrie Jenkins (Grounding Concepts [2008], 1.2) by PG - Db (ideas)
     A reaction: You'll have to look up Jenkins for the details.
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K]
     Full Idea: It is natural to have a generative conception of abstracts (like the iterative conception of sets). The abstracts are formed at stages, with the abstracts formed at any given stage being the abstracts of those concepts of objects formed at prior stages.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
     A reaction: See 10567 for Fine's later modification. This may not guarantee 'levels', but it implies some sort of conceptual priority between abstract entities.
7. Existence / D. Theories of Reality / 4. Anti-realism
I no longer think what a statement about the past says is just what can justify it [Dummett]
     Full Idea: In distinguishing between what can establish a statement about the past as true and what it is that that statement says, we are repudiating antirealism about the past.
     From: Michael Dummett (Truth and the Past [2001], 3)
     A reaction: This is a late shift of ground from the champion of antirealism. If Dummett's whole position is based on a 'justificationist' theory of meaning, he must surely have a different theory of meaning now for statements about the past?
7. Existence / E. Categories / 4. Category Realism
The concepts we have to use for categorising are ones which map the real world well [Jenkins]
     Full Idea: Concepts which are indispensably useful for categorising, understanding, explaining, and predicting our sensory input are likely to be ones which map the structure of that input well.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.6)
     A reaction: Anti-realists about classification seem to think that we just invent an array of concepts, and then start classifying with them. The truth seems to be that the actual classes of worldly thing have generated our concepts.
11. Knowledge Aims / C. Knowing Reality / 2. Phenomenalism
The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett]
     Full Idea: The existence of a universe from which sentience was permanently absent is an unintelligible fantasy. What exists is what can be known to exist. What is true is what can be known to be true. Reality is what can be experienced and known.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: This strikes me as nonsense. The fact that we cannot think about a universe without introducing a viewpoint does not mean that we cannot 'intellectually imagine' its existence devoid of viewpoints. Nothing could ever experience a star's interior.
12. Knowledge Sources / A. A Priori Knowledge / 9. A Priori from Concepts
Examining accurate, justified or grounded concepts brings understanding of the world [Jenkins]
     Full Idea: Examining accurate concepts can help us acquire true beliefs about the world, examining justified concepts can help us acquire justified beliefs about the world, and examining grounded concepts can help us acquire knowledge of it.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.4)
     A reaction: This summarises Jenkins's empirical account of concepts, and I love it all to bits. I feel that contemporary philosophy is beginning to produce a coherent naturalistic worldview which can replace religion. Bar the rituals. We can have priests...
12. Knowledge Sources / E. Direct Knowledge / 2. Intuition
It is not enough that intuition be reliable - we need to know why it is reliable [Jenkins]
     Full Idea: The mere reliability of intuition is not a satisfactory ground for saying it is a source of knowledge - we need to know why it is reliable to understand whether it can be a source of knowledge.
     From: Carrie Jenkins (Grounding Concepts [2008], 6.5)
     A reaction: My theory is that intuition is simply believing things for reasons which we have either forgotten, or (more likely) reasons which are too complex or subtle to be articulated. Intuition feels rational, because it is rational. Updated view of mind needed.
13. Knowledge Criteria / C. External Justification / 1. External Justification
Knowledge is true belief which can be explained just by citing the proposition believed [Jenkins]
     Full Idea: I propose that knowledge is true belief which can be well explained .....just by citing the proposition believed.
     From: Carrie Jenkins (Grounding Concepts [2008], 3.1)
     A reaction: I don't find this appealing, and my reservation about Jenkins's book is her reliabilist, externalist epistemology. I would add an internalist coherentist epistemology to her very nice theory. 'I believe there are fairies at the bottom of my garden'?
18. Thought / D. Concepts / 2. Origin of Concepts / b. Empirical concepts
The physical effect of world on brain explains the concepts we possess [Jenkins]
     Full Idea: I think the physical effects of the world on the brain explain our possessing the concepts we do.
     From: Carrie Jenkins (Grounding Concepts [2008], 8.2)
     A reaction: A nice slogan for a thought which strikes me as exactly right.
Grounded concepts are trustworthy maps of the world [Jenkins]
     Full Idea: Grounded concepts are like trustworthy on-board maps of the independent world.
     From: Carrie Jenkins (Grounding Concepts [2008], Intro)
     A reaction: You'll probably need more than one concept for it to qualify as a 'map', but I like this idea a lot. The world, rather than we ourselves, creates our concepts. The opposite of the view of Geach in 'Mental Acts'.
18. Thought / E. Abstraction / 7. Abstracta by Equivalence
Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K]
     Full Idea: Abstraction-theoretic imperialists think that it must be possible to represent every mathematical object as a Fregean abstract.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
We can combine ZF sets with abstracts as urelements [Fine,K]
     Full Idea: I propose a unified theory which is a version of ZF or ZFC with urelements, where the urelements are taken to be the abstracts.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
We can create objects from conditions, rather than from concepts [Fine,K]
     Full Idea: Instead of viewing the abstracts (or sums) as being generated from objects, via the concepts from which they are defined, we can take them to be generated from conditions. The number of the universe ∞ is the number of self-identical objects.
     From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1)
     A reaction: The point is that no particular object is now required to make the abstraction.
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Verification is not an individual but a collective activity [Dummett]
     Full Idea: Verification is not an individual but a collective activity.
     From: Michael Dummett (Truth and the Past [2001], 3)
     A reaction: This generates problems. Are deceased members of the community included? (Yes, says Dummett). If someone speaks to angels (Blake!), do they get included? Is a majority necessary? What of weird loners? Etc.
Verificationism is better if it says meaningfulness needs concepts grounded in the senses [Jenkins]
     Full Idea: I find an updated verificationism plausible, in which we say something meaningful just in case we employ only concepts whose possession could be justified or disjustified by sensory input.
     From: Carrie Jenkins (Grounding Concepts [2008], 5.6)
     A reaction: Wow! This is the first time I have ever had the slightest sympathy for verificationism. It saves my favourite problem case - of wild but meaningful speculation, for example about the contents of another universe. A very nice idea.
19. Language / C. Assigning Meanings / 2. Semantics
Success semantics explains representation in terms of success in action [Jenkins]
     Full Idea: Success semantics is the attempt to understand mental representation by thinking about the ways in which representing the world can lead to success in action.
     From: Carrie Jenkins (Grounding Concepts [2008], 6.3)
     A reaction: I take this to be what is also known as 'teleological semantics'. It sounds to me as if this might help to explain success in action, but isn't going to explain the representations that result in the success.
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett]
     Full Idea: To demonstrate the necessity of a truth-conditional theory of meaning, a proponent of such a theory must argue that use cannot be described without appeal to the conditions for the truth of statements.
     From: Michael Dummett (Truth and the Past [2001], 1)
     A reaction: Unlike Dummett, I find that argument rather appealing. How do you decide the possible or appropriate use for a piece of language, if you don't already know what it means. Basing it all on social conventions means it could be meaningless ritual.
The truth-conditions theory must get agreement on a conception of truth [Dummett]
     Full Idea: It is not enough for the truth-condition theorist to argue that we need the concept of truth: he must show that we should have the same conception of truth that he has.
     From: Michael Dummett (Truth and the Past [2001], 2)
     A reaction: Davidson invites us to accept Tarski's account of truth. It invites the question of what the theory would be like with a very robust correspondence account of truth, or a flabby rather subjective coherence view, or the worst sort of pragmatic view.
19. Language / E. Analyticity / 1. Analytic Propositions
'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins]
     Full Idea: 'Analytic' might mean conceptually true, or true in virtue of meaning, or where the predicate is contained in the subject, or for sentences which define something, or where meaning is sufficient for the truth.
     From: Carrie Jenkins (Grounding Concepts [2008], 4.3)
     A reaction: The second one says meaning grounds the truth, where the last one says meaning entails the truth.
27. Natural Reality / D. Time / 1. Nature of Time / f. Eternalism
Maybe past (which affects us) and future (which we can affect) are both real [Dummett]
     Full Idea: Maybe both the past and the future are real, determined by our current temporal perspective. Past is then events capable of having a causal influence upon events near us, and future is events we can affect, but from which we receive no information.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: This is the Four-Dimensional view, which is opposed to Presentism. Might immediate unease is that it gives encouragement to fortune-tellers, whom I have always dismissed with 'You can't see the future, because it doesn't exist'.
27. Natural Reality / D. Time / 2. Passage of Time / k. Temporal truths
The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett]
     Full Idea: The idea that only the present is real cannot be sustained. St Augustine pointed out that the present has no duration; it is a mere boundary between past and future, and dependent on them. It also denies truth-value to statements about past or future.
     From: Michael Dummett (Truth and the Past [2001], 5)
     A reaction: To defend Presentism, I suspect that one must focus entirely on the activities of consciousness and short-term memory. All truths, of past or future, must refer totally to such mental events. But what could an event be if there is no enduring time?