Combining Texts

All the ideas for 'Function and Concept', 'teachings' and 'The Semantic Conception of Truth'

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


38 ideas

1. Philosophy / E. Nature of Metaphysics / 5. Metaphysics beyond Science
Some say metaphysics is a highly generalised empirical study of objects [Tarski]
1. Philosophy / F. Analytic Philosophy / 1. Nature of Analysis
Disputes that fail to use precise scientific terminology are all meaningless [Tarski]
2. Reason / D. Definition / 1. Definitions
For a definition we need the words or concepts used, the rules, and the structure of the language [Tarski]
3. Truth / A. Truth Problems / 2. Defining Truth
Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski]
A definition of truth should be materially adequate and formally correct [Tarski]
A rigorous definition of truth is only possible in an exactly specified language [Tarski]
We may eventually need to split the word 'true' into several less ambiguous terms [Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski]
In the classical concept of truth, 'snow is white' is true if snow is white [Tarski]
Scheme (T) is not a definition of truth [Tarski]
Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski]
Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski]
We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth
The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski]
Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski]
The metalanguage must contain the object language, logic, and defined semantics [Tarski]
3. Truth / F. Semantic Truth / 2. Semantic Truth
If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
We need an undefined term 'true' in the meta-language, specified by axioms [Tarski]
3. Truth / H. Deflationary Truth / 1. Redundant Truth
Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
Semantics is a very modest discipline which solves no real problems [Tarski]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt]
4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables
Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
First-level functions have objects as arguments; second-level functions take functions as arguments [Frege]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
Relations are functions with two arguments [Frege]
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
The Liar makes us assert a false sentence, so it must be taken seriously [Tarski]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege]
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Frege takes the existence of horses to be part of their concept [Frege, by Sommers]
8. Modes of Existence / B. Properties / 10. Properties as Predicates
Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege]
9. Objects / A. Existence of Objects / 3. Objects in Thought
The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege]
18. Thought / D. Concepts / 3. Ontology of Concepts / c. Fregean concepts
Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman]
An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale]
A concept is a function whose value is always a truth-value [Frege]
18. Thought / D. Concepts / 4. Structure of Concepts / a. Conceptual structure
Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman]
19. Language / B. Reference / 5. Speaker's Reference
I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege]
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The Ontological Argument fallaciously treats existence as a first-level concept [Frege]
29. Religion / C. Spiritual Disciplines / 3. Buddhism
Nagarjuna and others pronounced the world of experience to be an illusion [Nagarjuna, by Armstrong,K]