Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Anti-Semite and Jew' and 'Ontology and the Ambitions of Metaphysics'

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


41 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
Metaphysics is (supposedly) first the ontology, then in general what things are like [Hofweber]
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
'Fundamentality' is either a superficial idea, or much too obscure [Hofweber]
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 / 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 / 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 / 1. Redundant Truth
'It's true that Fido is a dog' conjures up a contrast class, of 'it's false' or 'it's unlikely' [Hofweber]
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]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
Since properties can have properties, some theorists rank them in 'types' [Hofweber]
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 / 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 / c. Names as referential
Maybe not even names are referential, but are just by used by speakers to refer [Hofweber]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
'Singular terms' are not found in modern linguistics, and are not the same as noun phrases [Hofweber]
If two processes are said to be identical, that doesn't make their terms refer to entities [Hofweber]
5. Theory of Logic / G. Quantification / 1. Quantification
The inferential quantifier focuses on truth; the domain quantifier focuses on reality [Hofweber]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
Numbers are used as singular terms, as adjectives, and as symbols [Hofweber]
The Amazonian Piraha language is said to have no number words [Hofweber]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
The fundamental theorem of arithmetic is that all numbers are composed uniquely of primes [Hofweber]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
How can words be used for counting if they are objects? [Hofweber]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Logicism makes sense of our ability to know arithmetic just by thought [Hofweber]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neo-logicism
Neo-Fregeans are dazzled by a technical result, and ignore practicalities [Hofweber]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
Supervenience offers little explanation for things which necessarily go together [Hofweber]
7. Existence / D. Theories of Reality / 3. Reality
Reality can be seen as the totality of facts, or as the totality of things [Hofweber]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
There are probably ineffable facts, systematically hidden from us [Hofweber]
9. Objects / A. Existence of Objects / 6. Nihilism about Objects
Our perceptual beliefs are about ordinary objects, not about simples arranged chair-wise [Hofweber]
10. Modality / B. Possibility / 9. Counterfactuals
Counterfactuals are essential for planning, and learning from mistakes [Hofweber]
19. Language / A. Nature of Meaning / 1. Meaning
The "Fido"-Fido theory of meaning says every expression in a language has a referent [Hofweber]
19. Language / A. Nature of Meaning / 7. Meaning Holism / c. Meaning by Role
Inferential role semantics is an alternative to semantics that connects to the world [Hofweber]
19. Language / C. Assigning Meanings / 1. Syntax
Syntactic form concerns the focus of the sentence, as well as the truth-conditions [Hofweber]
19. Language / C. Assigning Meanings / 3. Predicates
Properties can be expressed in a language despite the absence of a single word for them [Hofweber]
'Being taller than this' is a predicate which can express many different properties [Hofweber]
19. Language / C. Assigning Meanings / 4. Compositionality
Compositonality is a way to build up the truth-conditions of a sentence [Hofweber]
19. Language / D. Propositions / 1. Propositions
Proposition have no content, because they are content [Hofweber]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Without propositions there can be no beliefs or desires [Hofweber]
19. Language / D. Propositions / 3. Concrete Propositions
Do there exist thoughts which we are incapable of thinking? [Hofweber]
19. Language / F. Communication / 5. Pragmatics / a. Contextual meaning
'Semantic type coercion' is selecting the reading of a word to make the best sense [Hofweber]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
'Background deletion' is appropriately omitting background from an answer [Hofweber]
23. Ethics / F. Existentialism / 6. Authentic Self
Authenticity is taking responsibility for a situation, with all its risks and emotions [Sartre]