Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Формальные модели в юридической науке и технике. Монография

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
   K3. «  ­ » (     ,   ,  ­         ­),   K4. ,  .    ,    K9.     K4 ,     NotCounterPower (OE   CounterPower (OE
S),  ,  ( -
x
S) -
x
 )      . ­ ,              ,   NotCounterImmunity (OE  CounterImmunity (OE
S),  K9 —  K5. ,, « -
y
S) -
y
»  ,     ­   ,           .       K16.  K5 (     ­,       )  K16  ,      Immunity (OE  NotImmunity (OE
S).
y
S) -
y
,        
 . ,   Claim (x,y,S) {O E
S
y
   ,      x, ­    y   S,         . ,  OE
S  -  -
y
  y   (S=« -S=« -=« ­»),      y     x,      .      yx       , . .     ­, «  »,   , -
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- tadH., KroghC. Obligations directed from bearers to counterparties // Proceedings of the Fih International Conference on Articial Intelligence and Law, ICAIL'95 (Maryland, USA, May 1995). N.-Y., 1995. P. 210–218.
171
     ,     . ,    (Power  Disability)     «      …   »,      ,  ­   ,    , ­  ,    , ­     
77
.  , ,  ,
  ,  ,  .
 14.    ( )
  
/
1PE
SޔPExSޔPPassxS
x
x    S,  S,
     () x   ,    S, 
2PE
SޔOExSޔPPassxS
x
 ,   S,  -S,  -  ­ 
3PE
SޔPExSޔPPassxS
x
x    S,  S,
     x   ,   S, 
4OE
SޔPExSޔPPassxS
x
 ,    S  
 5OE 6OPass
7OE
Примечание. Pass
S x  ,   S
x
S x      S
x
S x  ,    S
x
S    : ExSޔExS.
x
77
,      , ­   Power (), , ,        (Lindahl L. Position and Change: AStudy in Law and Logic. P. 51).      ответственности        , ,  ­      S,     S, ­  , ..    (KangerS. Law and Logic. P. 165).          , ,   : Singh M. P. An ontology for commit- ments in multiagent systems: Toward a unication of normative concepts // Articial Intel­ligence 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. 2023.
172
 , ,   .   -
  ,      ,   ­   P    E
SޔExS,
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. 581622.
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 Inuence 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
1X11
 Y1Y4      :
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  
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]