Combining Texts

All the ideas for 'Hilbert's Programme', 'Supervenience' and 'The Establishment of Scientific Semantics'

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

18 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
13338 '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
13337 A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
13335 Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski]
13336 A language containing its own semantics is inconsistent - but we can use a second language [Tarski]
5. Theory of Logic / I. Semantics of Logic / 4. Satisfaction
13339 A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski]
13340 Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski]
5. Theory of Logic / K. Features of Logics / 2. Consistency
13341 Using the definition of truth, we can prove theories consistent within sound logics [Tarski]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
17809 Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17810 The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
7. Existence / C. Structure of Existence / 5. Supervenience / a. Nature of supervenience
16039 Supervenience: No A-difference without a B-difference [Bennett,K]
16043 Supervenience is non-symmetric - sometimes it's symmetric, and sometimes it's one-way [Bennett,K]
7. Existence / C. Structure of Existence / 5. Supervenience / b. Types of supervenience
16047 Weak supervenience is in one world, strong supervenience in all possible worlds [Bennett,K]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16040 Aesthetics, morality and mind supervene on the physical? Modal on non-modal? General on particular? [Bennett,K]
16044 Some entailments do not involve supervenience, as when brotherhood entails siblinghood [Bennett,K]
16046 Reduction requires supervenience, but does supervenience suffice for reduction? [Bennett,K]
7. Existence / D. Theories of Reality / 6. Physicalism
16049 Definitions of physicalism are compatible with a necessary God [Bennett,K]
10. Modality / A. Necessity / 6. Logical Necessity
16042 The metaphysically and logically possible worlds are the same, so they are the same strength [Bennett,K]
27. Natural Reality / C. Space / 3. Points in Space
17811 The natural conception of points ducks the problem of naming or constructing each point [Kreisel]