Abstract

Although ‘Rxx’ and ‘Rxy’ are both applications of a two-place predicate to a pair of terms, ‘Rxx’ resembles a one-place predicate in that all one needs to evaluate it is an assignment to ‘x’. A similar point applies to the sequences ‘Fx’, ‘Gx’ and ‘Fx’, ‘Gy’ – even though neither is a one-place predicate. Kit Fine’s semantic relationalism aims to extract a common idea uniting these comparisons, and to use it to provide a Millian solution to Frege’s Puzzle.