Combining Texts

All the ideas for 'A Discourse on Method', 'First-Order Logic' and 'Mental Files'

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


66 ideas

1. Philosophy / D. Nature of Philosophy / 1. Philosophy
Slow and accurate thought makes the greatest progress [Descartes]
1. Philosophy / D. Nature of Philosophy / 7. Despair over Philosophy
Most things in human life seem vain and useless [Descartes]
Almost every daft idea has been expressed by some philosopher [Descartes]
2. Reason / A. Nature of Reason / 4. Aims of Reason
Methodical thinking is cautious, analytical, systematic, and panoramic [Descartes, by PG]
2. Reason / F. Fallacies / 4. Circularity
Clear and distinct conceptions are true because a perfect God exists [Descartes]
3. Truth / A. Truth Problems / 8. Subjective Truth
Truth is clear and distinct conception - of which it is hard to be sure [Descartes]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is the study of sound argument, or of certain artificial languages (or applying the latter to the former) [Hodges,W]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Mental files are the counterparts of singular terms [Recanati]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
A formula needs an 'interpretation' of its constants, and a 'valuation' of its variables [Hodges,W]
There are three different standard presentations of semantics [Hodges,W]
I |= φ means that the formula φ is true in the interpretation I [Hodges,W]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
Down Löwenheim-Skolem: if a countable language has a consistent theory, that has a countable model [Hodges,W]
Up Löwenheim-Skolem: if infinite models, then arbitrarily large models [Hodges,W]
5. Theory of Logic / K. Features of Logics / 6. Compactness
If a first-order theory entails a sentence, there is a finite subset of the theory which entails it [Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
A 'set' is a mathematically well-behaved class [Hodges,W]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identity statements are informative if they link separate mental files [Recanati]
11. Knowledge Aims / A. Knowledge / 4. Belief / a. Beliefs
We can believe a thing without knowing we believe it [Descartes]
11. Knowledge Aims / B. Certain Knowledge / 1. Certainty
In morals Descartes accepts the conventional, but rejects it in epistemology [Roochnik on Descartes]
11. Knowledge Aims / B. Certain Knowledge / 4. The Cogito
In thinking everything else false, my own existence remains totally certain [Descartes]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / b. Direct realism
There is a continuum from acquaintance to description in knowledge, depending on the link [Recanati]
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
I aim to find the principles and causes of everything, using the seeds within my mind [Descartes]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Understanding, rather than imagination or senses, gives knowledge [Descartes]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
I was searching for reliable rock under the shifting sand [Descartes]
13. Knowledge Criteria / D. Scepticism / 6. Scepticism Critique
When rebuilding a house, one needs alternative lodgings [Descartes]
14. Science / A. Basis of Science / 3. Experiment
Only experiments can settle disagreements between rival explanations [Descartes]
15. Nature of Minds / A. Nature of Mind / 7. Animal Minds
Little reason is needed to speak, so animals have no reason at all [Descartes]
16. Persons / B. Nature of the Self / 3. Self as Non-physical
I am a thinking substance, which doesn't need a place or material support [Descartes]
17. Mind and Body / A. Mind-Body Dualism / 1. Dualism
I can deny my body and the world, but not my own existence [Descartes]
Reason is universal in its responses, but a physical machine is constrained by its organs [Descartes]
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
The soul must unite with the body to have appetites and sensations [Descartes]
18. Thought / A. Modes of Thought / 9. Indexical Thought
Indexicals apply to singular thought, and mental files have essentially indexical features [Recanati]
Indexicality is closely related to singularity, exploiting our direct relations with things [Recanati]
18. Thought / B. Mechanics of Thought / 5. Mental Files
Files can be confused, if two files correctly have a single name, or one file has two names [Recanati]
Encylopedic files have further epistemic links, beyond the basic one [Recanati]
Singular thoughts need a mental file, and an acquaintance relation from file to object [Recanati]
Expected acquaintance can create a thought-vehicle file, but without singular content [Recanati]
An 'indexed' file marks a file which simulates the mental file of some other person [Recanati]
Reference by mental files is Millian, in emphasising acquaintance, rather than satisfaction [Recanati]
The reference of a file is fixed by what it relates to, not the information it contains [Recanati]
A mental file treats all of its contents as concerning one object [Recanati]
There are transient 'demonstrative' files, habitual 'recognitional' files, cumulative 'encyclopedic' files [Recanati]
Files are hierarchical: proto-files, then first-order, then higher-order encyclopedic [Recanati]
A file has a 'nucleus' through its relation to the object, and a 'periphery' of links to other files [Recanati]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / c. Turing Test
A machine could speak in response to physical stimulus, but not hold a conversation [Descartes]
18. Thought / C. Content / 1. Content
The content of thought is what is required to understand it (which involves hearers) [Recanati]
18. Thought / D. Concepts / 1. Concepts / a. Nature of concepts
Mental files are individual concepts (thought constituents) [Recanati]
19. Language / B. Reference / 1. Reference theories
There may be two types of reference in language and thought: descriptive and direct [Recanati]
19. Language / B. Reference / 3. Direct Reference / a. Direct reference
In super-direct reference, the referent serves as its own vehicle of reference [Recanati]
Direct reference is strong Millian (just a tag) or weak Kaplanian (allowing descriptions as well) [Recanati]
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
Sense determines reference says same sense/same reference; new reference means new sense [Recanati]
We need sense as well as reference, but in a non-descriptive form, and mental files do that [Recanati]
Sense is a mental file (not its contents); similar files for Cicero and Tully are two senses [Recanati]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
Problems with descriptivism are reference by perception, by communications and by indexicals [Recanati]
Descriptivism says we mentally relate to objects through their properties [Recanati]
Definite descriptions reveal either a predicate (attributive use) or the file it belongs in (referential) [Recanati]
A rigid definite description can be attributive, not referential: 'the actual F, whoever he is….' [Recanati]
Singularity cannot be described, and it needs actual world relations [Recanati]
19. Language / C. Assigning Meanings / 5. Fregean Semantics
Fregean modes of presentation can be understood as mental files [Recanati]
19. Language / C. Assigning Meanings / 9. Indexical Semantics
If two people think 'I am tired', they think the same thing, and they think different things [Recanati]
Indexicals (like mental files) determine their reference relationally, not by satisfaction [Recanati]
Indexical don't refer; only their tokens do [Recanati]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
In 2-D semantics, reference is determined, then singularity by the truth of a predication [Recanati]
Two-D semantics is said to help descriptivism of reference deal with singular objects [Recanati]
19. Language / D. Propositions / 3. Concrete Propositions
Russellian propositions are better than Fregean thoughts, by being constant through communication [Recanati]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / d. Virtue theory critique
Greeks elevate virtues enormously, but never explain them [Descartes]
26. Natural Theory / D. Laws of Nature / 7. Strictness of Laws
God has established laws throughout nature, and implanted ideas of them within us [Descartes]