Counterpart-Theoretic Semantics for Modal Logic

- Allen Hazen.
1. :
.
.
2. .
2.1 .
.

.
2.2 ,
. 180
, ,
.
2.3
.
. ?
.
2.4 , .
. ?
, ?

.
. ?
. .
3. .
3.1 :
. , . ,
.
. , .
3.2 :
.

. , x F
x x F -
.
3.3 ,
.
.
. .

.
3.4 :
, .
. 180
, .
, ,
.
. .
.
;;
3.5 :
(entail)
,
.
3.6
.
4.
, .

.
.
.
.
.

1. : .
(1)

xy ( x = y (zx = z zy = z x y ))

 . .
. :
x y , x y .(#)
1.1 :
.
1.2 ? .
. .
? (1) .
. ,
,
. ,
(1) (#) . (#) x y
. (1) , x y (O) ,
x y (O1, O2) .
1.3 (1) :
(1)

xy ( x = y 1 2 ( w I 1 C 1 x I 2 z 1 = z z 2 = z 1 2 ))

(1) .
. (1)
,
. , ,
.
2.
2.1 (2) Rab (3) xRax . a
b , a R
(2) , (3) .
2.2 , (2) (3) (4) Fa (5)

x( Fx Gx) (6) Ga . F G 1
.
. :
. (4)
(5) (7)

Fa (8) x( Fx Gx) . (7) (8)

(9) Ga (9) .
, . (2)
(3) .

2.3
.
- . ~~
.
- . ,
:
.
, .
2.4 ,
. (10) (I am human) .

;
. ,
. ,
. :

.
.
2.5 . ,

.
3. .
. :
Rab a b
R . .
. R .
.
3.1 ?
- .
, .
.

F (a ) a ,

. .

c1 , c2 . F (c1 )
F (c2 ) . F (c1 ) F (c2 ) ?

. ,

Rab Raf (a) , F (a )

:

( Ia @& If (a ) @& W & I & If ( ) & Ca. R f ( )) ( f ( x) : x )

, Rab

1 2 ( Ia @& Ib @& W & I 1 & I 2 & C 1a & C 2 b. R 1 2 ))

.
3.2 . ,
.
.
3.1 ,
. ?
,
. .
4. .
4.1 ,
. -
( ).
. :
.
.
(11) x( yx =

y & ( Fx Fx))
(12) x( yx = y & Fx & Fx)

-
.
1. (Fred Feldman) : there-but-for-grace-of-God.
1.1 .
. . -

,
.
.
1.2 ,
.
, .
1.3 ?
. .

1 2 ( Fa & Gb & W & I 1 & I 2 & C 1a & C 2 b & C 2 a & C 1b & F 2 & G 1 )

.
1.4 ,
.
.
: .

.
2. : .
2.1 .

. ,
. -
, .
2.2 : 180 ,
?
2.3
.
.
.
(2.1)
.
.
2.4 .

:
.
.
2.5 .
- , ,
.
,
.
- , . .
,
. .
,
.
2.6 ?
, .
: . .

1. : )
. ) . )
(?).
2. .
. .
2.1 ()
.
2.2 (representative functions)
. .
.
2.3 , .
2.4 :
,
, .
2.5 . -

.

. -
.