Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, Fred Sommers and Antiphon

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 / D. Assumptions for Logic / 4. Identity in Logic

18897	Predicate logic has to spell out that its identity relation '=' is an equivalent relation [Sommers]
	Full Idea: Because predicate logic contrues identities dyadically, its account of inferences involving identity propositions needs laws or axioms of identity, explicitly asserting that the dyadic realtion in 'x=y' possesses symmetry, reflexivity and transitivity.
	From: Fred Sommers (Intellectual Autobiography [2005], 'Syllogistic')