Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Процессуальная логика.pdf
ИНСТИТУТ ФИЛОСОФИИ
РОССИЙСКОЙ АКАДЕМИИ НАУК
ЯРОСЛАВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ИМ. П.Г. ДЕМИДОВА
А.В. СМИРНОВ, В.К. СОЛОНДАЕВ
ПРОЦЕССУАЛЬНАЯ
ЛОГИКА
Москва
2019
!"###$%&
'()**+*),*-
) . /0
1*1*23
*24*23!4#*5&
+)*23
Смирнов А.В., Солондаев В.К.
6)**378 9 5: +!: ; <0
$$$'-!=;*
>?@A=##=B##C
:
+14#*+/*,*.86.!
4*.!.8 DEFGHE!.+/+ '37 *3I#
*8-JDEFGHEKLFEMNOP'37,*8-JDEFGHEKLFEQDHNO!
3.+P6/,37.R/*8,*,373#
,**3R*)7,!#!,;R*,
373, *)**37, ! 6# 373/
RS.8S+*.73#
34*+,*/RI*3*,*!!
!T!1*1 37*.!.8DEFGHE!*#
*28 .+*7 /R SR . 3, SR, .
<4*7 37 *.8 R/ 2
T*+7*24* **8 .34*7 8
8+U8))RV$R3!4**38
#6#3R7/8,!/R*#
*3,6#/UU*/**8))S6./
*/!/+/6#,*21*1
УДК 165.12
ББК 87.153.30
W5:+!=
W:!=
W *31*15&!=
WX%!=
W$$$
'-!=
СОДЕРЖАНИЕ
:
%Y8=
.'*3I*9,*-=
ZEFGHE)**7
6**.4)**B
[**7!.V38
8.*7.7*
373**R*+/*80T
Y8*.80)**7*8.*7
(*28=
%\*+=
$R*+/**8=
<**8
.37/**8
)8.37
6*/+86#*2
]S4B
(3
ВВЕДЕНИЕ
:8 # *+*8 +! 4 +! * 3SI,!
,*7*3I*3^81*1*8R#
+.S4*8+!433SI,+.+#
.7;*V*8,&*,4*47RT+$.+#
* .+* .7 *3I* U +
.3+/S*81*1/! 8 T*3 #!
+24V/,*UV4+*T#
38! R. 883 RI R/R/#
.+5R/,.!+RI*S!
S481*1!3*R8!R3*3I*U
+*+S$R/+..4*8
*T+SI3R,1*1*,*+/**30U,
+!R.3*!*3I*3
&T ;* 3R! *+/ +!
.3+/8*7+;7R7U*S,.3.
S*+S3*7S*3I*U#
+*8.IV;3R+!4TU,!
.*8I,*+^R2*+/*2T*
:#/2! T +0+/+I+*8+3./+
++!./+*/+!2U,.<**7
+R/ *V*8 U71*1*,,!3S *8
*7.3S1.!T;3R!+*+/
:SR+*343.347#*/,+!#
+ +/ V+ *V +/ /*+
.7+#*++! +*7 +
V+! *+ / R33I *++ U : T+
*+/*.8+183++<T+#
3*,;+!**+!U'T++ *8.! 3*7 *! * U, *37R, '+- +
+8!3*78**+J+1#
8P!T+)+*U!4**\
*8.7T*U+3+++S*8.4!7
:
*+*+*! 3.+! 2**! *+! R3.+
/2**+2./2,!.+/+*V*8
;*+1*8.88 +3 'T+- '+-++J
++PT,4.8.8+18 V4
)7 ** *8+ 31
1*'32+2-
#/2! T + *+/* *RI, *8.*
$47 R7U,! .+! 4 . *S *S .7 +/
3+ +, 4*_ ! ! V S2!
./V3.+U!53`#
!*3**83R/!*V3*S
]+S!;83+!4R/37*S:*3S +
+*7TRa8/,+
:+ *+/*b 5 + *+/*! 4! *+/.34+.*#
3S + 4*7 + /+ ,3S# 3*,4*7! #
8+*7! ,# .! /, .8 + *./7
3SI * +! ; 3,4* +R3#
*27 *+^* * R37 8*8
.V, 3, <*! 51
+S*T*R3347*8!R3#
7R3 *.7RR3R+!.;.+
7 +, +V+ ! . ]+
*, :*, 7 *8!.*
\4* *8 +3 +87*8 373/ 373!
T2T2!443!T+8*.#
! *73 8 . T2 /2 3#
7/2*3RaR*+!;488R
.+R/*+/*
RV*7 ** * + 47 3R
*U*.*738U++
^* +/ *+*8 'R47 4*7 *+3-! 7 +3! 4
3R/;3,#3,3*!*U#
R8.7*.+,!;4.+! +
.* '+/- ; T + '+/-! / R/ +/+!
!4+/8*,*,.!+.4
8**8<3**!48+/.R//+!#
*V/+ .+! 28! *,8 *7! *+8 *#
/+ # R+! .*/ SR+3 4334U*
*7*3SRT+
:
Y83RV*7 ** * +!#
**+!*+ J+**+*+
P**3*7S***U'X-
:7+/R33I**7.U+S
*+/* ,*7/7+3!4+*V*8+
*+/+++8*,+,.!+3!48*#
8;*+/,!4*8+8.7#
*8.3c8+//,7!/,4*3S*#
33;*./!3!+8+*8*!4#
R+!4#34+! /,/,++
*V++**20 8# +/; !
8#; !8#47*!8 #;4#
V/!+3#;3.78!+3#;!8#;*
2! *34,+73U.!;*+8 *V
T*4*++R.!+/;*+/!**#
8)!+*34R8I8*8!*+8
3+8+!*SI,*4*+++*
R.!4 /,.*!*8*3
4*,.*4*+++*^*
**7'X-4**3S*3*#
*3SI*+
.T232 *U)8 + **/*7R/
2 &U * .+ U7 R8
3+T+*3+!*S47!U33#
*72!;7S*R!*V+/+/
*4+*8*+!4*R/2*5*
,*3.!*4#+/*7!4+
# V *R8 ! +/ /!+/* *
#
+U*8*RI,.+*!4++*8
3RV****++/3
3.V+!4*+* +/S.!8!T. #
*8**47!R3+V./4*!#
/2,*3S./ ./_ !+/ *1+33+ .
*+88!4R/R]+! *+*!
*88+)7/+
$++T37R*87*&./R+8 3RV#
*7!#/2!***U+_!#
/2! ***U'X-\!*,*#
/!*,U1*1*R+/_*3,;*+/*/!
:
*+/ 8! / * +/ .V+ . 4/
4R/7+_T'+-+/+7+3!
4T3R877U+*88!
U+/U8U8</++!S,3
**+2 *R8!+/ *+*V T+ +7 #
+3!43R/**T232,
$3R3*8T8!/2+/;S!3 #
IRI*!;++R/73/!**.#
V+2b (R/, /!R3*/#
+# 4*+ 4+ R4*+ +2.++
***_R/+373/++!#
/+/3*+!*).38*7I8*7RI*/2
/2*3I* &3++!4+ .I73S43.#
8;8V*+*8*,$*V*80T
3R8! R./2+/;+/ ++7RI #
*! 3*S*8 R8 373/+ +! / +/
3/*+4*!**.7;328*73R
+
373T,R3+7*8**R*+/*#
8 '+/*-R3+ +7*.*+/*#
*!+*+/*/+'$*+/*/+- #
+#/*+*+/*T*0 '*+/*-; /*U
.44#IVT+32!T4*+#
S&! '*+/**7- *++ *+ R/+*+/*
T * &+! .3 4 .++ 8./ 8 +8
*+/*/!.++;R**+/*/!28T*+/*#
/+S+# *+/*08+S!42 .V4!
+S!4T;47!28+S!4+*#
. '+/*- R3 +7*8 T+ *+/*0
U,+!*3I*+/*3/!* #
*8!8+8_*)8/+;
*V8/+)!*,*X+3+7!
4 8 8*+4*8**7 4+3
+/!8+S!4 //, R3
*3! *7.3S*3/,!*3/, #
1 *3 X +3 .7! 4
*)!*!R!8.S!4T
+,;83;R**+/*
+*../2* +2 U243*0 )!
: =
.2!1+!*8.7/23*/2JRV.#
/,**,bPI3I,
4!/!*8+*34;/*./!3+#
S 7*8 3SI+ + ! ! +#
*+/*'.S-!4+!+7!+#
!/,R1.4*2*,*)!.2
1+/:.+d/+S4**R**+/*#
7 +!T+8+*+7*8]*7+
R/7.4,)/+34+/+ *V
8)*3I*3!*3I*3+R**+/*#
8 +74**R+33*+/*#
8!/,**3Ra#+*#
+ +/ R3+ R 7 , T,
+7T*+/*8.+/+8./
+ *+/* T* ; **+3.!*7 R/
*,R/_RT++/++/*#
T+!'44*+- *+/* *! '4-'#
-;.7/2! .8+/2!;R3 *7*
.*7!++/++3!8+3733
**R*+/*8
373/!SI+78./+3*7!
*. *.! 4. R7/ R7/ +2 #
.+/!*S3*3++3*,!.,U83#
SI+3 +3 S8+! 8 'R- *8+ ,
373/! S + *+/*/+ 8 * 8 + +/
3*+3*7+!43SI,+4+/
*V+*8+*+/+8*,*,.`T
*
8 * 7/88S*8RI#
**V/+! *7*3S/373, #
&*,4*47 RT+ 6*3/ *+
*U'X-!8SIU+..#
! + .7 '**, 3*,- ^**,
+*+/*!4,;*!*73.#
*T3*8373/+ +^*#
*8 3*** +*+/*! 4 ! 7
!.8+'**-**R8RI*+;
+RI*++!/,**3SI+373 #
/++*1+$/T*3
J*+*'X-P4*;R7U,*!
:
.*7+/++/*./R*38&*
*3 4*8 J*33R 1*1*8P 2 #
*7! *7! *.7!4*8 5 4*
/3+!472*+/++*)#
.7*8 *7 *V 3*U + ^*#
*83*;T3*R/44!#
SIV*+S1*
T+ 3+*3+! *78+/+ U*.#
373/+ +! R8*8,</3/
7+!4+!+!4*^*
;2U,4!.4!2U,+R/7#
2+^**.*R!.4!*3 #
2+4* ) .! *73 +
.7*8*,..^*+/,S**
#*!.4!S*7R*.^*+32#
+*! *33R87I3 0#
*R"++3+!4+*#
* ** :8 R7U U*/
/7 3!3+!4+32++.7*8*8
*aR/+!R7*8+*.483!3+!
4*+**8R33./7S]+*7
+* ! +V*R8 ! *R8V!
.+88*R\+*474*7S**,3*#
!V,U*.373/++#
R2+, 8 U, 3*U, .3I* U
+! **7! * 3*,4*7! *8#
*!;+/.7**3S3*3!1+3+3S
373/++88SI3S*R8U++.#
.!U+
:/8 3R.!T **8 3**V
R/43RV*7+!4!/+R.+#
*/SI8 +!:7 * +3*,4.+*7!+
38SI8!!6+34*74
!3..+*7++*+
3./7S!*+!+34.#
48 .*S4,!! * 3#3./!.4!
3./ + *!*73 . *S4V7
R* *+*;*+*+*!
**R83./7 +/, S*0. #