Combining Texts

Ideas for 'works', 'Modal Logic' and 'Foundations of Two-Dimensional Semantics'

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

display all the ideas for this combination of texts

---

1 idea

8. Modes of Existence / A. Relations / 4. Formal Relations / a. Types of relation

14974	A relation is 'Euclidean' if aRb and aRc imply bRc [Cresswell]
	Full Idea: A relation is 'Euclidean' if aRb and aRc imply bRc.
	From: Max J. Cresswell (Modal Logic [2001], 7.1.2)
	A reaction: If a thing has a relation to two separate things, then those two things will also have that relation between them. If I am in the same family as Jim and as Jill, then Jim and Jill are in the same family.