Combining Texts

All the ideas for 'Noneism or Allism?', 'The Meaning of the Word' and 'works'

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

---

11 ideas

3. Truth / A. Truth Problems / 2. Defining Truth

6710	You can only define a statement that something is 'true' by referring to its functional possibilities [James]

3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth

22305

If the hypothesis of God is widely successful, it is true [James]

5. Theory of Logic / A. Overview of Logic / 2. History of Logic

11022

Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read]

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

11065

The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna]

11023

The logical connectives are 'defined' by their introduction rules [Gentzen]

11213

Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen]

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

15533

We can quantify over fictions by quantifying for real over their names [Lewis]

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification

15534

We could quantify over impossible objects - as bundles of properties [Lewis]

6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic

10067

Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave]

7. Existence / A. Nature of Existence / 1. Nature of Existence

15532

'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis]

7. Existence / A. Nature of Existence / 2. Types of Existence

15535

We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis]