10

()

()

,
,
Modus tollendo ponens


(1561-1626)

. 22 1561 .


() (1573-1575)


(1576-1579)

( 1579 .)
( 1584 .)

( 1613 .)
-
( 1617 .)
- (1618-1621)
. 9 1626 .


(1561-1626)

,

(1- . 1597, 2- . 1612, 3-

. 1625)
(1609)

.-.

(1751, , -)

(1605)
(1620)
(1622)
(1623)
(1623-1624?)

 ()

. .
.

,
,
,
.
,
,
,
.

, ,
,

.



:
(

).
,
,
, .
,
,
.

. .
.

.
,
, ,

.
,
,
,
,
,
,

...



:
,
, ,
.

, .

, .
,
,
, ,
,
, .


()

. .
.

,

.
,

,
.
.

.


.


()
:
,

( ):
,
(,
);
,
(, , , ).

(, ,
..),
,
.

. .
.

, , ,

,

.
,
, ,

,

,

.

. .
.

.

,

,
.
.

,
,
.
, .

. .
.

.
.

,
.

, ,

,
.

. .
.

,
,
,
,

.
,
,



.

(., deductio, )
,
..

()
().

(., inductio, )
,

,
,
- .

()

()




( )

( )

()

(
)

, ,

, ,
...

...
.

( )

( )

( )

. .
.

,
.
, ,

,
.
,
, . ,


,
, ,
.

. .
.

,
,
,
,
,
, ,
. <>

,

, ,
.

.

. .
.

,
,

.



- .



, :
1. , .
2. , , , ,
.
3. .
4. .
5. . .
6. .
7. .
8. .
9. .
10. , ,
, , , ,
.
11. ,
.
12. , .
13. , , , , , ,
.



, :
14. , , , ,
(, , ), ,
15. , .
16. , , , ,
, ; ;
.
17. , , , ,
, , ,
, .
18. , .
19.,
, - .
, .
20., ; ,
.
21. .
22. ,
.
23. . . , .



, :
24.
, ,
, .
.
25. , , , ,
. ., ( ,
), ,
.
26. ,
, , , , , -
, , ,
, .
27. .
28. .

:
,
,
.

... , ,

( )

.
.

:
,
,
.

.
,
, .
, ,
,
.
, -,
,
, ,
.

- (= - = )
(= = ).

10

, , ,
- ,

. .
.

-,
,
,
,
, ,
.

.
,


,
.

,
,
, ,

.

( ) .
,

,
, , .
(
),
.

, (
)

, ,
, .

. .

,
, , ,
;


, .
, .

,
,
. ,
, .

, , ...

,

.

.

,

.
...


,
1
2
3
4
5

, , ,
- ,

. .
.

-,

,

.



,

.


( )
,
,
, , ,
.

(
) , ,
,
- , ,
- ,
,
- , ,
, .
,

( ),
( )
,
,
.


Modus tollendo ponens
Modus tollendo ponens

,

.

-
,

,
(.. , ,

,
),

,


(, ,
, ),

()
.