Combining Texts

Ideas for 'fragments/reports', 'The Inference to the Best Explanation' and 'Mathematics is Megethology'

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

display all the ideas for this combination of texts

---

1 idea

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.