Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'The Philosophy of Logical Atomism' and 'Thought and Reality'

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


63 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
The business of metaphysics is to describe the world [Russell]
2. Reason / B. Laws of Thought / 6. Ockham's Razor
Reducing entities and premisses makes error less likely [Russell]
3. Truth / A. Truth Problems / 2. Defining Truth
Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
Facts make propositions true or false, and are expressed by whole sentences [Russell]
3. Truth / B. Truthmakers / 8. Making General Truths
Not only atomic truths, but also general and negative truths, have truth-makers [Russell, by Rami]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
3. Truth / F. Semantic Truth / 2. Semantic Truth
Truth is part of semantics, since valid inference preserves truth [Dummett]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
To prove the consistency of set theory, we must go beyond set theory [Halbach]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
Normally a class with only one member is a problem, because the class and the member are identical [Russell]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Language can violate bivalence because of non-referring terms or ill-defined predicates [Dummett]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The law of excluded middle is the logical reflection of the principle of bivalence [Dummett]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
In a logically perfect language, there will be just one word for every simple object [Russell]
Romulus does not occur in the proposition 'Romulus did not exist' [Russell]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
You can understand 'author of Waverley', but to understand 'Scott' you must know who it applies to [Russell]
There are a set of criteria for pinning down a logically proper name [Russell, by Sainsbury]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Treat description using quantifiers, and treat proper names as descriptions [Russell, by McCullogh]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
A name has got to name something or it is not a name [Russell]
6. Mathematics / C. Sources of Mathematics / 9. Fictional Mathematics
Numbers are classes of classes, and hence fictions of fictions [Russell]
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
Russell's new logical atomist was of particulars, universals and facts (not platonic propositions) [Russell, by Linsky,B]
Russell's atomic facts are actually compounds, and his true logical atoms are sense data [Russell, by Quine]
Logical atomism aims at logical atoms as the last residue of analysis [Russell]
Once you have enumerated all the atomic facts, there is a further fact that those are all the facts [Russell]
Logical atoms aims to get down to ultimate simples, with their own unique reality [Russell]
7. Existence / D. Theories of Reality / 2. Realism
Philosophers should not presume reality, but only invoke it when language requires it [Dummett]
7. Existence / D. Theories of Reality / 4. Anti-realism
We can't make sense of a world not apprehended by a mind [Dummett]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
You can't name all the facts, so they are not real, but are what propositions assert [Russell]
7. Existence / D. Theories of Reality / 8. Facts / b. Types of fact
Russell asserts atomic, existential, negative and general facts [Russell, by Armstrong]
Since 'no bird here' and 'no squirrel here' seem the same, we must talk of 'atomic' facts [Dummett]
7. Existence / D. Theories of Reality / 8. Facts / c. Facts and truths
We know we can state facts, with true statements [Dummett]
7. Existence / D. Theories of Reality / 9. States of Affairs
Modern trope theory tries, like logical atomism, to reduce things to elementary states [Russell, by Ellis]
7. Existence / D. Theories of Reality / 10. Vagueness / d. Vagueness as linguistic
'That is red or orange' might be considered true, even though 'that is red' and 'that is orange' were not [Dummett]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment
'Existence' means that a propositional function is sometimes true [Russell]
10. Modality / A. Necessity / 2. Nature of Necessity
Modal terms are properties of propositional functions, not of propositions [Russell]
12. Knowledge Sources / B. Perception / 5. Interpretation
Perception goes straight to the fact, and not through the proposition [Russell]
12. Knowledge Sources / D. Empiricism / 5. Empiricism Critique
Empirical and a priori knowledge are not distinct, but are extremes of a sliding scale [Dummett]
18. Thought / A. Modes of Thought / 1. Thought
A theory of thought will include propositional attitudes as well as propositions [Dummett]
The theories of meaning and understanding are the only routes to an account of thought [Dummett]
18. Thought / A. Modes of Thought / 6. Judgement / b. Error
The theory of error seems to need the existence of the non-existent [Russell]
18. Thought / E. Abstraction / 8. Abstractionism Critique
To 'abstract from' is a logical process, as opposed to the old mental view [Dummett]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To know the truth-conditions of a sentence, you must already know the meaning [Dummett]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
A justificationist theory of meaning leads to the rejection of classical logic [Dummett]
Verificationism could be realist, if we imagined the verification by a superhuman power [Dummett]
If truths about the past depend on memories and current evidence, the past will change [Dummett]
19. Language / A. Nature of Meaning / 6. Meaning as Use
We could only guess the meanings of 'true' and 'false' when sentences were used [Dummett]
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
Sentences are the primary semantic units, because they can say something [Dummett]
19. Language / C. Assigning Meanings / 3. Predicates
Russell uses 'propositional function' to refer to both predicates and to attributes [Quine on Russell]
19. Language / D. Propositions / 1. Propositions
Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell]
We can't distinguish a proposition from its content [Dummett]
19. Language / D. Propositions / 3. Concrete Propositions
In 1918 still believes in nonlinguistic analogues of sentences, but he now calls them 'facts' [Russell, by Quine]
19. Language / D. Propositions / 6. Propositions Critique
An inventory of the world does not need to include propositions [Russell]
I no longer believe in propositions, especially concerning falsehoods [Russell]
I know longer believe in shadowy things like 'that today is Wednesday' when it is actually Tuesday [Russell]
19. Language / F. Communication / 4. Private Language
The names in a logically perfect language would be private, and could not be shared [Russell]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
Time is the measure of change, so we can't speak of time before all change [Dummett]
27. Natural Reality / D. Time / 1. Nature of Time / h. Presentism
If Presentism is correct, we cannot even say that the present changes [Dummett]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
You can discuss 'God exists', so 'God' is a description, not a name [Russell]