Combining Texts

Ideas for 'Mathematical Methods in Philosophy', 'Lectures 1930-32 (student notes)' and 'talk'

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

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / E. Structures of Logic / 1. Logical Form

18741	Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
	Full Idea: Logical formalization forces the investigator to make the central philosophical concepts precise. It can also show how some philosophical concepts and objects can be defined in terms of others.
	From: Horsten,L/Pettigrew,R (Mathematical Methods in Philosophy [2014], 2)
	A reaction: This is the main rationale of the highly formal and mathematical approach to such things. The downside is when you impose 'precision' on language that was never intended to be precise.

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not

18723	We may correctly use 'not' without making the rule explicit [Wittgenstein]
	Full Idea: Correct use does not imply the ability to make the rules explicit. Understanding 'not' is like understanding a move in chess.
	From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], B XII.1)

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and

18718	Saying 'and' has meaning is just saying it works in a sentence [Wittgenstein]
	Full Idea: When we say that the word 'and' has meaning what we mean is that it works in a sentence and is not just a flourish.
	From: Ludwig Wittgenstein (Lectures 1930-32 (student notes) [1931], B VIII.2)