Combining Texts

All the ideas for 'Defending the Axioms', 'Mental Files' and 'An Inquiry into Meaning and Truth'

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


58 ideas

3. Truth / A. Truth Problems / 7. Falsehood
Asserting not-p is saying p is false [Russell]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / e. Existential quantifier ∃
There are four experiences that lead us to talk of 'some' things [Russell]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
The physical world doesn't need logic, but the mental world does [Russell]
5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Questions wouldn't lead anywhere without the law of excluded middle [Russell]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or
'Or' expresses hesitation, in a dog at a crossroads, or birds risking grabbing crumbs [Russell]
A disjunction expresses indecision [Russell]
Disjunction may also arise in practice if there is imperfect memory. [Russell]
'Or' expresses a mental state, not something about the world [Russell]
Maybe the 'or' used to describe mental states is not the 'or' of logic [Russell]
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 / K. Features of Logics / 1. Axiomatisation
Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
If two mathematical themes coincide, that suggest a single deep truth [Maddy]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / c. Grelling's paradox
A 'heterological' predicate can't be predicated of itself; so is 'heterological' heterological? Yes=no! [Russell]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / g. Continuum Hypothesis
Every infinite set of reals is either countable or of the same size as the full set of reals [Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Set-theory tracks the contours of mathematical depth and fruitfulness [Maddy]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The connection of arithmetic to perception has been idealised away in modern infinitary mathematics [Maddy]
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 / 1. Knowledge
All our knowledge (if verbal) is general, because all sentences contain general words [Russell]
11. Knowledge Aims / C. Knowing Reality / 1. Perceptual Realism / a. Naïve realism
Naïve realism leads to physics, but physics then shows that naïve realism is false [Russell]
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 / D. Empiricism / 1. Empiricism
For simple words, a single experience can show that they are true [Russell]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Perception can't prove universal generalisations, so abandon them, or abandon empiricism? [Russell]
18. Thought / A. Modes of Thought / 9. Indexical Thought
Indexicality is closely related to singularity, exploiting our direct relations with things [Recanati]
Indexicals apply to singular thought, and mental files have essentially indexical features [Recanati]
18. Thought / B. Mechanics of Thought / 5. Mental Files
A mental file treats all of its contents as concerning one object [Recanati]
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]
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 / 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
Direct reference is strong Millian (just a tag) or weak Kaplanian (allowing descriptions as well) [Recanati]
In super-direct reference, the referent serves as its own vehicle of reference [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]
20. Action / C. Motives for Action / 3. Acting on Reason / b. Intellectualism
A mother cat is paralysed if equidistant between two needy kittens [Russell]