Combining Texts

Ideas for '(Nonsolipsistic) Conceptual Role Semantics', 'The Idea of Justice' and 'Mathematics is Megethology'

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 / 2. Logical Connectives / d. and

12597	I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman]
	Full Idea: Principles of implication imply there is not a purely probabilistic rule of acceptance for belief. Otherwise one might accept P and Q, without accepting their conjunction, if the conjuncts have a high probability, but the conjunction doesn't.
	From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2)
	A reaction: [Idea from Scott Soames] I am told that my friend A has just won a very big lottery prize, and am then told that my friend B has also won a very big lottery prize. The conjunction seems less believable; I begin to suspect a conspiracy.

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.