Combining Philosophers

Ideas for Lawrence B. Lombard, David Lewis and Owen Flanagan

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

display all the ideas for this combination of philosophers

---

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.