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

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

.pdf
Скачиваний:
0
Добавлен:
07.09.2026
Размер:
1 Мб
Скачать
☆
     (  ), ­       ,  ­   .        . ,          ,           , ­   . ,        (    ­)       .
      ­      ,   ­,        . ,         ­       ­.     ,    ­        . ,         ,     ­  ,         : «  ,      ».     ­          , ­ ,         ­     .
 «» ,      ,       ,     .  ­            ,    .    « »    —      ,    ,   —     ,  ,      ,    ,     ­ .   ,          . ,         ,    ,      ,       -
141
   .    ­           .
 ,   ,  ­,        ­  .    ,      ,             ,     .    ­        ;    ,   , ­     .
§ 3.   1826–1832 
      ­    XIX .,       I,     I         ,   1826–1832 . ­     ...      «    ­ ,     ­   »  . .   . .  ( —  ).      —    ..: «       ­     ,                   . ­            .          ,    -   ,   ­    . ,   ­   -  I .  , ,         ,   ,  : „ 
14
,  
14
Энциклопедический  . .   . . . ., 1890–1907.
URL: www.vehi.net/brokgauz ( : 10.04.2012).
142
,     “.   ,
15
   »
.
 . .    1827 ., ,  ­  ,    ­ 53  «» (   ,    30    )
16
.  ..   1997., ,   ,   -   . ­   ,    ,    ­ ,      ­   .
  ..,      ­  «    ­  :   ,    ,     », «        -
17
,   »
. ,   20 ­,      51  15 ,     . ,     ­, , , ..  1865 . ,  ­          ­   «  , , ,     ,   »
18
.           ,    lex posterior,   ­ «   ,   …  ,      »,   «      » 19. ,
15
Подготовка и принятие законов   .    28–29  1997 . URL: http://www.nasledie.ru/ vlact/5_7/5_7_2/one_zas/article.php?art=37 ( : 29.07.2010).
16
КоданС.В.   .      -         XIX . —  XX. //  . 2007.  1. . 179.
17
 . .189.
18
. : Свод законов //   . .  ... ., 1890–1907. URL: http://www.vehi.net/brokgauz ( :
10.04.2012).
19
Кодан С.В. . . . 182.
143
       ­         ,  « ,  ,        »,     (1857.)   5      .      ,     ,   1916.       ­ .       —  - , «       ,   ­    .  ,  , ­    ,    ­    »,   .
           .       ­  :
—    (    ­        ,    XVIII .);
—     (   — ­ I,   ,     -I,   ,     -,   ,     ­       ­);
—    (  — ­   —    -
20
)
;
—       (  —     ­    ,    ­   );
—    (  ,  ,       1862.:             ,           I).
  ,      ­,       -
20
       .
144
, ..  1862 .          ,  «          ­,  ,          ,      ,  -             »
21
. ,            ;    ,      ..,   -.,   -.,   -,   -,   ­,         ,   .   (   ) ­, ,   ,          , ­        .
§ 4.:      
     «Of laws in general» ,         (­  «», «»  . .)   - .)   -.)   ­     ,  : запрещение, обязательство иразрешение.     ­, ,   ,    .  ,  ,—    ,    ­, ,      ­      ;           ,           
       ­ .        : ­ ,    (O), (F)
22
.
21
. : Свод законов //   . . 
... ., 1890–1907. URL: http://www.vehi.net/brokgauz ( :
10.04.2012).
22
Bentham J. Of Laws in General / ed. H. L. A. Hart. London, 1970. P.93–109,
153–183.
145
  (P),    (A),      ,   ,      ; ,  OA(x) ,   A     x.     A    A ( ): FA {A,  .    -  A      A ( ): OA {A,  .  ,    - :       () , ­ —   () .     ,   OA {A,           . ,       (..    A,      )     свобода   ; ­   «свобода»   «право»,        .   ­    «право обслуживания» (right to service): ,   x    y  , -  ,  y   x    A ( ,  x  y      , ,  , ).
      ­  (  O, F, P O)  ,       «/ S / P».   -       .           ­  ,      x   S,   ,   . 7а
23
,           « » ,  « ». . 7б     .
.
23
        ­    ,     ­  .   ,   . 7a   , .: Клини С.  . .,
1972. . 168, 170–171.
146
xA(x)
 х  A
xA(х)
 х   A
 A(x)

A(x){FA(х)

xA(х)
 х
  А
а) б)
Рис. 7.  (а)   (б) 
xA(х)
 х
 А
A(х){А(х)


A(х){А(х)


, ,  х «»   -
,   A      (, ­ ),   xA(х)     ­    «   x   », . .   ,   ­ A(х)      ,   «    ».   ,   ,   ­   .   ­   :       ,   — .     ,   :   ,     .      ,      .  ­   :   ­   ,    .      ,      ,      ,   .
            ,  ,       ­,        ­ .
    ,   ­   ,    , ..   ­   - .            .        . Противоречием   ,  ­ ,  различием—   
147
.   .  24     ­ (  )   ­ .    ,    ­       .
 S —   . ,          ,  .­   (. 9).
 9.    (. )
PS OS FS PS OSFS PS PSޔOS PSޔPSPSޔOSPSޔFS OS PSޔOS OSޔFS OSޔPSOSޔOS FS PSޔFS OSޔFS FSޔPSFSޔFS PS PSޔPSOSޔPSFSޔPSPSޔOS OS PSޔOSOSޔOSFSޔOSPSޔOSOSޔFS
S PSޔFSOSޔFSFSޔFSPSޔFSOSޔFS
F
   FS {OS  PS {OS, -
    :
 10.   
1
S O1SޔO2S O1SޔO2S O1SޔO2S
O
1
S O1SޔO2S O1SޔO2S O1SޔO2S
O
1
S O1SޔO2S O1SޔO2S O1SޔO2S
O
1
S O1SޔO2S O1SޔO2S O1SޔO2S
O
          ,    ­   (    ­   ):
O2S O2S O2S O2S
1
SޔO2S.
1. O
 S запрещено (  O
1
S {F1S)     обяза-
тельно  . , . 2 . 42     -
       ­    .    ,          ,
24
Петров А.     :  -
    . ., 2010. 198 .
148
        ,       .332   ­  .
1
SޔO2S, или P1SޔO2S.
2.O
 S необязательно     обязательно  . ,     ,      :       .
1
3.O
SޔO2S, или P1SޔO2S.
 S разрешено (  O
1
S{P1S)     обяза-
тельно  .       
     ,  ­     , ­  (. .   )     .
1
4.O
SޔO2S, или P1SޔO2S.
 S необязательно     запрещено  .  ,      S,   -S,   -,   ­   S.   S  S  ,  ,  .
5.O1SޔO2S, или P1SޔO2S.
 S разрешено     запрещено  . , .575       , ­    3 . ,    6 . 1 .17   «    ­ »      ­       ­   .
1
6.O
SޔO2S, или P1SޔP2S.
 S разрешено     необязательно  .  ,   S,   S.     ­,    свободу   ­ S.
§ 5.. :  
 ,        между двумя сторонами,        ,        ..  -
149
 ,     ­      ,   ,        .
       ­      (   ).            ,  ­           .         . ­    ,  «»    «»       in personam,   in rem.          ,      ­ ,    ,      
25
.       - -      - -     - -     - -    - -    - -   - -   - -  - -  - - - - - -- -- - - --
       -       -      -      -     -     -    -    -   -   -  -  - - --
26
  27 ,    
  
28
.      ,  -     ,  -     ,  -    ,  -    ,  -   ,  -   ,  -  ,  -  ,  - ,  - ,  -,  -,  - - -­     « »   ,      
29
    .               ,    .
 ,               ­  ,      ­ ,     ­.          -
25
Sreenivasan G. A Hibrid eory Of Claim-Rights // Oxford Journal of Legal Studies.
Vol. 25. Iss. 2 (1 July 2005). P. 257–274.
26
May W. E. e Dierence Between a «Right» and a «Liberty» and the Signicance of this Dierence in Debates Over Public Policy on Abortion and Euthanasia // Catholic Social Science Review. Vol. 7 (2002). P. 115–127.
27
Jones A. J. I, Parent X. Normative-informational positions: a modal-logical Ap­proach// Articial Intelligence and Law. Vol. 16. Iss. 1 (March 2008). P. 7–23.
28
Pörn I. Action eory and Social Science: Some Formal Models // Synthese Library. Vol. 120. Dordrecht-Boston, 1977. 138 p.
29
Balkin J. M. e Hohfeldian Approach To Law And Semiotics // University of Miami Law Review. Vol. 44. No. 5 (May 1990). P. 1119–1142.
150
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]