. , . , .
, .
() | () | |||
(, .)[135] | ||||
, , , - | , , | --- | , , , | , .. |
-, , - -. , - , , - [136], , -. .
-. . . , .
. , , . , , - . . , - .
|
|
de re de dicto. , de dicto , . de re , . . . .
( , ) ( ) - . , - , : , . , -. , , - , ).
, , ( , , ) .
.
[X]nO(a1) [O(a1)]iO(a1)
X, x Y, y , . , , .
- . :
[O(a1...)]nO(x1...) [O(a1)]iO(a1)
- , . - .
:
[X(y1...)]iO(a1...) [O(a1)]iO(a1)
( ) .
|
|
, . :
[X(y1,y2...)]iO(a1,a2...) [O(a1,a2)]iO(a1,a2)
-- , , -, - , -, . - . , .
, ( ).
, . , , , , . .
[X(y1,y2...)]eO(a1,a2...) [O(a1,a2)]eO(a1,a2)
- - -, -- - . , , - (-) [137].
. , , , , , , , , , -, . , .
- - , . (, ), (, ), ( , ) - , , - , .
- . - ( ) - . () . ( ), () , .