Combining Texts

All the ideas for 'fragments/reports', 'The Establishment of Scientific Semantics' and 'Causal and Metaphysical Necessity'

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

19 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 / 3. Logical Truth
15091 Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker]
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]
8. Modes of Existence / B. Properties / 1. Nature of Properties
15095 A property's causal features are essential, and only they fix its identity [Shoemaker]
15097 I claim that a property has its causal features in all possible worlds [Shoemaker]
8. Modes of Existence / C. Powers and Dispositions / 3. Powers as Derived
15094 I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker]
10. Modality / A. Necessity / 5. Metaphysical Necessity
15099 If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker]
10. Modality / D. Knowledge of Modality / 1. A Priori Necessary
15101 Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / a. Conceivable as possible
15098 Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker]
15100 Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker]
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
15096 'Grue' only has causal features because of its relation to green [Shoemaker]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
26. Natural Theory / D. Laws of Nature / 5. Laws from Universals
15093 We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]