Combining Texts

All the ideas for 'Causality: Production and Propagation', 'Models and Reality' and 'Elements of Mathematical Logic'

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

8 ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
8942 Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Lukasiewicz, by Fisher]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13655 The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
9915 V = L just says all sets are constructible [Putnam]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913 The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
9914 It is unfashionable, but most mathematical intuitions come from nature [Putnam]
26. Natural Theory / C. Causation / 4. Naturalised causation
8412 A causal interaction is when two processes intersect, and correlated modifications persist afterwards [Salmon]
26. Natural Theory / C. Causation / 5. Direction of causation
8413 Cause must come first in propagations of causal interactions, but interactions are simultaneous [Salmon]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
8411 Instead of localised events, I take enduring and extended processes as basic to causation [Salmon]