Combining Texts

Ideas for 'fragments/reports', 'Causal Powers' and 'Axiomatic Theories of Truth'

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

display all the ideas for this combination of texts

---

2 ideas

6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory

16308	Set theory was liberated early from types, and recent truth-theories are exploring type-free [Halbach]
	Full Idea: While set theory was liberated much earlier from type restrictions, interest in type-free theories of truth only developed more recently.
	From: Volker Halbach (Axiomatic Theories of Truth [2011], 4)
	A reaction: Tarski's theory of truth involves types (or hierarchies).

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / e. Psychologism

15211	There is not an exclusive dichotomy between the formal and the logical [Harré/Madden]
	Full Idea: The assumption that there is an exclusive dichotomy between the formal and the psychological is, in our view, an error of enormous consequence.
	From: Harré,R./Madden,E.H. (Causal Powers [1975], 1.I.A)
	A reaction: I agree entirely with this, and am opposed to the Fregean view of the matter. The psychology is the bridge between the physical world and the logic. Frege had to be a platonist, so that the formalism could latch onto something.