Erratum to: Inexpressible properties and Grelling’s antinomy
Philos Stud (2010) 151:329–330
DOI 10.1007/s11098-010-9592-2
ERRATUM
Erratum to: Inexpressible properties and Grelling’s
antinomy
Benjamin Schnieder
Published online: 31 July 2010
Ó Springer Science+Business Media B.V. 2010
Erratum to: Philos Stud (2010) 148:369–385
DOI 10.1007/s11098-008-9329-7
Unfortunately, negation signs are missing throughout the article. The following
passages are affected:
Page 374
Barber$ The said barber shaves himself $ the said barber shaves himself,
should read
Barber$ The said barber shaves himself $ : the said barber shaves himself,
Page 374
Set$ The said set contains itself $ the said set contains itself,
should read
Set$ The said set contains itself $ : the said set contains itself,
Page 377
Predicate$ The said predicate applies to itself $ the said predicate applies to
itself.
The online version of the original article can be found under doi:10.1007/s11098-008-9329-7.
B. Schnieder (&)
Institut für Philosophie, Humboldt-Universität zu Berlin, Unter den Linden 6, Berlin 10099,
Germany
e-mail:
123
330
B. Schnieder
should read
Predicate$ The said predicate applies to itself $ : the said predicate applies to
itself.
Page 383
The derivation should read:
1
(1)
P* exists
A
2
(2)
t expresses P*
A
2, Ex
(3)
Vx (t applies to x $ x has P*)
2, Ex
1, DN
(4)
Vx (x has P* $ : x applies to x)
1, DN*
1, 2, DN, Ex
(5)
Vx (t applies to x $ : x applies to x)
3, 4 FOPL
1, 2, DN, Ex
(6)
t applies to t $ : t applies to t
4 VE
1, DN, Ex
(7)
: t expresses P*
6,2 FOPL (RAA)
1, DN, Ex
(8)
Vy : y expresses P*
6, VI
Page 384
The derivation should read:
1
(1)
a is a member of S
A
2
(2)
Vy (y is a member of S ? (a bears R to y $ : y bears R to y))
A
3
(3)
Vx (x is a member of S ? (x bears R to x _ : x bears R to x))
A
1,2
(4)
a bears R to a $ : a bears R to a
2VE; 1,2 MPP
1,3
(5)
a bears R to a _ : a bears R to a
3VE; 1,3 MPP
6
(6)
a bears R to a
A
6,4 $E
1,2,6
(7)
: a bears R to a
1,2,6
(8)
a bears R to a & : a bears R to a
7,8 &I
9
(9)
: a bears R to a
A
1,2,9
(10)
a bears R to a
9,4 $E
1,2,9
(11)
a bears R to a & : a bears R to a
9,10 &I
1,2,3
(12)
a bears R to a & : a bears R to a
5,6,8,9,11 _E
123
(...truncated)
