Combining Texts

Ideas for 'Summa totius logicae', 'Protrepticus (frags)' and 'Introduction to Mathematical Philosophy'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

3. Truth / C. Correspondence Truth / 1. Correspondence Truth

9107	A proposition is true if its subject and predicate stand for the same thing [William of Ockham]

3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth

14454

An argument 'satisfies' a function φx if φa is true [Russell]

3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth

16300

Ockham had an early axiomatic account of truth [William of Ockham, by Halbach]