, . , , , . ( ). , , , - , , , .
1973 . . , . , , .. , , . , , [ , .15. . 1973.].
, , , , () , .
. XIIIXIV . (12351315) , , , . . , . , , , .
(. 1235 . 1315) - , , . , . (ars magna) . , . , . , (., , , , , , . .) (., , , , . .). , . (. ) .
|
|
. XVII . , . (16461716). XIX . . (18351882).
300 , . , , , .
XVI . :
|- [(⌐p⊃p) ⊃p], (2.1)
, . : , ⌐ ( ⌐ ) ( ⊃ ), , , .
- (15881679). , , , . , , . . - , .
(Hobbes) (15881679) . -, . , , . ; [532, . 143].
(IV . . .). , , - . , (), , . () , , , , .
. (), . , , , - , . , , - ; , , , , .
, . , , , , . . , , .
|
|
. . , () ().
(15961650), , , , , . : , .... , , . , - . , , , .
. . (1646 1716) De arte combinatoria ( ), 1666 ., . .. . , , . . .. calculus ratiocinator Logica Mathematica.
, .. . .. , , , . . , . , : ; , , .
, . , .. . , , , , , , . , .. , XVIII .
XIX . 1847 . . (18151864) The Mathematical Analysis of Logic ( ), 1854 . Investigation of the Laws of Thought...( ), . . , . .
. (1 0) . . , , (x,y,z,) , , . , .
|
|
, . , ,
, . , , :
1) , ;
2) ;
3) ;
4) .
, . , .. , . . .
1847 , . ..., . (18061871) , (Formal Logic, or the Calculus of Inference, Necessary and Probable), , . , ( , , ). :
1) , :
≡ A , (2.2)
/\ , V , , ≡ .
2) , :
v ≡ ⌐ /\ ⌐. (2.3)
(. disjunctio , , ) , (.) , (., ; ). () . - , , , .
, , , . '
( , ), , , . , ., : , , . , . , , . -. , , . - :
|
|
,
, ( . vel, ). »; ». , , . .
, . , q :
Apq.
, , , , . , , , . - , , : , . » , , : ; : 1) ; 2) , ; 3) , . , : = 1 (), 0 ().
= 0 (), = = 0.
7, 0, :
. ( , , (1) (0)) , , , - , , 1 0, 0 1 0 0, , 1 1. 1 1 2, 1 1 1.
, U- : , .
( , , ), , , , , . , ., . ( ) ( ). , ; , [12].
, (. conjunctio , ) , (.) , (., 2 2< < 3) , , , , , . ., -, () , - , , . , .
:
,
, . : »; ». () . , , , . , , , , , , - : , .: . : : - , , ., .
|
|
: & ( . ), ( . , . ), : & , : ..
. » , . . , : .
, , , .
, . , q : Cpq.
, |. :
(.), .
» : , .
. , , ; , ; , ; , .
, ». , » , : 1) , ; 2) , ;
1) . » : . , : », , () , ». , » :
, :
= 1 (), 1; = 0 () .
: , , .. (-), . , : , .
1, 0, :
, . . , , , . :
D ≡ 1 0 1 1 ≡ 0.
( ) , , . 1X1 1, 0 X 0, 0 X 1 1 X 0 0
, - ( ), (, , , , . .). ., : 11 . , . , , - , , , , , , . (.) , , , .
. . . . . .. (18351882) (1864), (1869) (1874) , , , , . . . , , , , .
(. classis ) , . , , . , , . . , - : , , , . (, ) (, ), (, ) ( , , , 8 ). (, ).
, (A∪) (⋂). . , .
: , , , , , , , . , , , . .
(. association- ) , () , , ; , , ; . , :
( + b) + = + (b + ) ;
(b) = (b) .
:
:
( ) ≡ ( ),
: ( ) ( );
:
( ) ≡ ( ),
: ( ) ѻ ( ). , , ,
, , , - , ≡ .
, , .
(. commutativus , ) , , , , . , , . , (); () . :
+ = + .
:
= .
,
(. aequalis valentis ; ) , ~ , ~ () , ; , , , , . ., , .
~ : , ... : , , , , , , ; J5, ; 5.
, : , , , , .
~ » , .
: ↔, ⇄, ≡ .:
↔ B; ⇄ ; ≡ B.
, ..., ... , , ( ), .
(. implicite ) , , ..., ...; , ». :
→ ,
, - , → , . → » : () .
:
⊃ ,
⊃ ().
( , »), , (), , ( ») (), . : , , →» .
, , . . ; , , , . (, b, ,...), - (, , ...).
, - , , . , . , , ; , , (. . ), [ . .-.,1971].
, (), . , . : , : ̻. : , : ̻.
, . . , : ϵ .
. .
: ; , . :
1) , ⊃ ;
2) ⊃ , ⊃ , ≡ ;
1877 . . (18411902) , (Der Operationskreis des Logikkalkiils).
, , .. (18461907). ., .. ., (1884), . . . , , , Principia Mathematica . .. . . .. . .
.. . , , , . . , : , , , , , , , , . . . , .. , . , ( ) .
.. :
(,b,,...) , :
( , b . .) ;
(...) , , , b . .;
ab, b . . , ( , ..) .
: b = ba :(ab) = (b).
, . .. ; ( ) . . .. :
0 ( ) , ;
1 , , .
,
+ 0 = ; *1 = .
. , , , : oj.
, , .. , =. :
1) = b , : + = b + ;
2) = b , : ad = bd;
3) = b , b b.
.. . , , , , , , .
, .. , . , , , . , , , .
. , . .. , .. (18691947) . , , , .
. (18391914). : , , , , , .
XIX XX . . (18481925). (1879) , , , . . . . . 18931903 . , . 1919. . . . , , . , , , . .
(. semanticos ) , , . , , , , , . . . (18391914) . (18481925), . , . , . , . , . , . .
() (). , ( , , , , .). . , , , . . ( , , , .).
,
(. quantum ) (.) , () (). :
1. ∀x, , . : ..., ∀ () , () , ∀ () , , , () .
( alle ). , , : ∀ ( , ). : , , , , .
:
(), (), .
, , , , , , . .
2. ∃, , .
: , ... ∃ () , () , ∃ (), () .
( existieren ). , , , : ∃ ( , ).
: , .
:
E x,
, , , , ., , . .
(∀ ∃) . ∀ ∃ ( . , z,,..), (., ∀, ∃ . .).
. 1879 v. . , . , , .
(1858 1932). :
⊃ ; U ; /\ ; ϵ .
. . . . 18951905 . . , .
1903 . . , , , : modus ponens (modus , , ; ponens ) , , , .
MODUS PONENS , :
( /\ (→)) →, (2.4)
, , /\ , → - (). (2.4) : , () , , , , , .
modus ponens .
modus ponens (. 372-.287 ..).
1903 . Principia Mathematica ( ) (19101913), . . (18611947). , . : ( ), , . . . , . . - , , , .
, , . . . 19301931 . . ø , , , . . .
. . (1928) 1947 . . , , : , , . ., , , . , , , , ; . , .
XX . , , , . . , , . .
, , . , (1933) - , . (. 1902) [40]; (1942 1947) . .
, (3 ) . , . (18781956). 1964 . , . . (1920) . , . , . , . , . . , . . , . . , . , . . , . .
. . . . , . . .
, (. . ). XIX . , .
. , . , , ,
. , (.. ).
(.. , .. ). . , . , . . , . .
(, , , , , , , , . .), . , [12].