Combining Texts

Ideas for 'Mathematics is Megethology', 'Foundations without Foundationalism' and 'works'

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

display all the ideas for this combination of texts

---

2 ideas

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

13632	Finding the logical form of a sentence is difficult, and there are no criteria of correctness [Shapiro]
	Full Idea: It is sometimes difficult to find a formula that is a suitable counterpart of a particular sentence of natural language, and there is no acclaimed criterion for what counts as a good, or even acceptable, 'translation'.
	From: Stewart Shapiro (Foundations without Foundationalism [1991], 1.1)

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

10816	We can use mereology to simulate quantification over relations [Lewis]
	Full Idea: We can simulate quantification over relations using megethology. Roughly, a quantifier over relations is a plural quantifier over things that encode ordered pairs by mereological means.
	From: David Lewis (Mathematics is Megethology [1993], p.18)
	A reaction: [He credits this idea to Burgess and Haven] The point is to avoid second-order logic, which quantifies over relations as ordered n-tuple sets.