( , ).
26
(-- )
(Auguste Comte 17981857), ( ), , , , .
. , , , . , , ( , ?, ?). , , . .
: ( ), ( , : , , , , , , , , , , , ), ( )
, . ?, ?. . .
, .
, , ( )
1.
2.
3.
4.
5.
6. ( )
7.
-- , . , , - . : , , .
(, , ) . , , . . (/). , . 藫 ( ). . . . . 1300 --- ( : , , ). 1300-1800. 19 , .
|
|
. , . ( !). , , .
(1820-1903)
, .
, , . ( , , ), - . , , . , .
, , .
, :
1. , , ( , )
2. (-: , , ,
: , , , , )
( ).
, , , ,-- .
:
1. : , , ( ).
2. , : , , .
3. , : , .
( ). . , .
. : , , . , .
|
|
: , , .
(18061873) , . , ( ). , . .
(eliminate , , 1):
1. : ABC d
MBF d
MBC d
, B -- d, (. . d)
A,B,C,F,M d. d . , . : . , . , , , .
.
2. ABC d
ABCM d
, -- d
2. :
ABC d AC d
MBF d MF d
MBC d MC d
d
.
3. , - (, )
ABC1 d1
ABC2 d2
ABCn dn
, C -- d,
. , . , .
: . .
( , ).
4.
ABC xyz
A x
B y
, C -- z
1 , () (), . , .
: .
ABC abcd
A a
B b
C c
, , d.
: -. , , , - .
-- 2 (,
, (18831916) ( ) (1843-1896). , .
. - , . , , .
|
|
, -- . . , ( ) . .
, . . , . . , , , .
. , , , . , , . (, , ; , , , -- .)
. , .
, , . , .
, , . : , () . . , . , , , .
( )
20- . (1872-1970) . , , . , , (- ). , .
,
( , , ), ( )3.
. . , , . , .
|
|
2 -
3 (. ) - (. ) ( )
, . , , . . , .
, . , ( -- ). , ( , 4.). , , , .
.
(), . ( ) ( , ) , . . , , ( ).
4 , . 94
28
50- . , , .
(1902-1994).
.
() . , , ( , ). , , , .
- (modus tollens)
Modus tollens , . modus tollens . :
ab, b
----------, .. b, b ,
a .
: ab, b, .. b b ,
a--? , .
, , . () .
, .
1. (essence ) , . . :
1)
2)
3) .
, , .
2. , (, ). , . , , . 95
() (, , )
-,
α,β,
a, b.
: ,
|
|
3. . , . , . ( , ). .
2 ( ), , , .
.
( ).
, .
, . ( , . , ). , ( , , 1 2 ). , .
, : P1 TTEEP2, P1, P2, , җ (tentative theory), ŗ (error elimination).
1 , . , . ( ), . . , , . ( , )
2 , . . ( , )
A,B,C,
c a,b,c
() a,b,c
αβ
() a,b,c
αβ
(. 1922)
. .
, . . , . , , , .
, . ( - - ). . , , , , . . ( ) , . , , ( : -- ; ).
, . . , , , (v/c0). , , , : , - .
, . . , . . , , .
: , , ? : .
(1922-1974) , .
- . () () . , , (. ), .
- , -- , ( ; : β , - . , ).
, , .
, , .
, , . , (. ). . .
, , , - . . - , , .
(1924-1994) .
. , , . , . . , , , . , , , . Anything goes -- .
. ( ) , .
.
( )
1.
πραγμα -- , . , , , , , . . 70 . , , .
2.
, , , (, , , ). . (, - ( ) , . ).
3.
. : , .
...........................................................................................................................................................
. () , ( ) . , , .
( ), .
. , , . () .