Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Формальные модели в юридической науке и технике. Монография
.pdf
K3. « » (
, , ), K4. , .
, K9.
K4 , NotCounterPower (OE
CounterPower (OE
S), , ( -
x
S) -
x
) . ,
, NotCounterImmunity (OE
CounterImmunity (OE
S), K9 — K5. ,, « -
y
S) -
y
» , ,
.
K16. K5 ( , ) K16
, Immunity (OE
NotImmunity (OE
S).
y
S) -
y
,
. , Claim (x,y,S) {O E
S
y
, x, y S,
. , OE
S - -
y
y (S=« -S=« -=« »), y
x, .
y x
, . . , « », , -
76
,
. ,
,
76
Lindahl L. Stig Kanger’s eory of Rights // Logic, Methodolgy and Philosophy of
Science IX : roceedings of the Ninth International Congress of Logic, Methodology and
Philosophy of Science (August 7–14, 1991). Uppsala, Sweden. 1991. P. 163–165 ; Herres-
tadH., KroghC. Obligations directed from bearers to counterparties // Proceedings of the
Fih International Conference on Articial Intelligence and Law, ICAIL'95 (Maryland, USA,
May 1995). N.-Y., 1995. P. 210–218.
171

, .
, (Power Disability)
«
… », , , , , ,
77
. , , ,
, , .
14. ( )
/
1PE
SޔPExSޔPPassxS
x
x S, S,
()
x , S,
2PE
SޔOExSޔPPassxS
x
, S, -S, -
3PE
SޔPExSޔPPassxS
x
x S, S,
x , S,
4OE
SޔPExSޔPPassxS
x
, S
5OE
6OPass
7OE
Примечание. Pass
S x , S
x
S x S
x
S x , S
x
S : ExSޔExS.
x
77
, , Power (), , ,
(Lindahl L. Position and Change:
AStudy in Law and Logic. P. 51). ответственности
, , S, S, , .. (KangerS. Law and Logic.
P. 165).
, , : Singh M. P. An ontology for commit-
ments in multiagent systems: Toward a unication of normative concepts // Articial Intelligence and Law. Vol. 7. Iss. 1 (March 1999). P. 107 ; McCarty L. T. Ownership: A case study in
the representation of legal concepts ; Sartor G. Fundamental Legal Concepts: A Formal and
Teleological Characterisation / EUI working paper LAW. No. 2006/11. P. 2023.
172

, , . -
, , P E
SޔExS,
x
«» x S.
(. 14).
, 1
(1 3) , .. . 3- , ,
.
7×7=49 ,
35,
.. 9 , .
78
.
« »
79
« »
. , ,
.
, , , , , ..
( ) 80:
SޕEyS)ޔOExSޔOEyS.
O(E
x
, , .
. , , , ,
: , , -
78
Sergot M. A Op. cit. P. 581622.
79
Lindahl L. Hohfeld Relations and Spielraum for Action// Análisis Filosóco. Vol. 26.
Nu.2 (Nov. 2006). P. 325–355.
80
, ,
, , :
(PAޔPB)ĺP(AޔB) (OAޕOB)ĺO(AޕB) . (Sergot M. Op.
cit. P.581622).
173

, ,
. (naked right)
, —
. ,
.
. 15,
81
-
.
15. ,
БЕНТАМ ХОФЕЛЬД КАНГЕР
( , -
Claim
CounterClaim
)
( , -
Right
CounterImmunity
Immunity
)
( )
( )
Duty
Privilege
No-Right
Not CounterFreedom
Not Freedom
Not Power
NotCounterPower
CounterFreedom
Freedom
Power
CounterPower
Not Claim
Not CounterClaim
Not CounterImmunity
Not Immunity
Power
Liability
Disability
Immunity
81
Lindahl L. Position and Change: A Study in Law and Logic. P. 47, 49. . :
Halpin A. Bentham’s Limits and Hohfeld // e Legal Philosophy and Inuence of Jeremy
Bentham: Essays on «Of the Limits of the Penal Branch of Jurisprudence» / ed. G. Tusseau.
London–N.-Y., 2014. P. 196.
174

?
. ,
, , .
, , ,
.
,
,
. ,
« » « » — ,
.
175

IV.
§ 1.
«
(), ()», , ,
, ,
. : ĺ.
- ( ..
-
2
. , . . ,
, , — ,
§2 II
, . .
- 1967 . :
(ĺ)ޔ(ĺ),
C — . ,
, : ,
. ,
. 1989 . :
(ޔ)ޕ(ޔޔ).
1
)
1
Алексеев С. С. : 2 . . 2. ., 1982. . 54
2
Баранов П. П. //
. . . 1. , 2000. . 69.
176

. . . , . . . .
3
, (. 16).
16.
(ĺ)ޔ(ĺ) (ޔ)ޕ(ޔޔ)
00 0 0 0 0
00 1 1 0 0
01 0 1 0 0
01 1 1 0 0
10 0 0 0 0
10 1 0 1 1
11 0 1 1 1
11 1 1 1 0
Примечание. — .
, , :
(ޔޔ)ޕ(ޔޔ),
:
[(ĺ)ĺ]ޔ[(ĺ)ĺ].
: , , , ,
( , , :
).
, . .
-, « (), ()» : ĺ. , : ĺ ĺ, — :
ĺ ĺ. , -
3
Саак А. Э., Иванов Г. И., Ельчанинова Н. Б.
// . « ». , 1998. 1(7). . 291–294.
177

[(ĺ)ޕ(ĺ)]ޔ[(ĺ)ޕ(ĺ)]=1.
, , .
, управомочивающая норма ,
ĺ. ,
. :
[(ĺ)ޕ(ĺ)]ޔ(ĺ)=ĺ.
Обязывающие и запрещающие нормы ,
— .
, ĺ,
, ,
, . :
(ĺ)ޔ[(ĺ)ޕ(ĺ)]=ĺ.
, , ,
, .
4
, (, , ) уполномочивающим. -
:
(ĺ)(ĺ)=a.
,
. .
, , (ĺ)
.
, , (ĺ) (a)
.
§ 2.
, ,
4
Баранов П. П. . . . 69.
178

. , ,
. , , :
1. -
.
5
.
2. ,
, , . , ,
10% , -, - , .
, , ..: 5
41%, 5
10 — 27% 10 — 18%. :
, ,
«
»
6
.
3. , « , »,
,
, -
7
. ,
,
. ,
.
. 158 . :
X
=
1
= 250 . .
X
2
= 1 .
X
3
5
Соковых Ю. Ю. : -
. .… - . . ., 2003. 32 .
6
Кудрявцев В. Н. . . . 82.
7
Иеринг Р. . . . 8.
179

X4=
X
=
5
=
X
6
X
=
7
X
=
8
X
=
9
X
=
10
=
X
11
Y
= 1 . 158
1
Y
= 2 . 158
2
Y
= 3 . 158
3
Y
= 4 . 158
4
. 158 :
X
1 (X3ޕX9
X
1 (X2ޕX5ޕX6
X
1 (X4ޕX7ޕX10ޕX11
X
1
)aY4,
)aY3,
)aY2,
(Y2ޕY3ޕY4)aY1.
,
.1. . 158 , .
X
1X11
Y1Y4 :
180
&
X
&
Y
X
3
X
9
X
2
X
5
X
6
X
4
X
7
X
10
X
11
&
&
4
Y
3
Y
2
1
Y
1
Рис. 11. . 158
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
