Leibniz: Dream of Reason and Utopia of Computational Logic -Kim,
Seong-Woo - , ( ) 1. , 1646 7 1 . . . , . . . 15 _ _ . (1661-6 ) .
, . () . . . 15 . , . . . (1666-7) . . . , . . . . . . , , , . 1672
. . . ( ) . , . . . . . . . . , . . . . . , . . . , , .
. , , , . . 1716 . . , , , , , , , , , . . . . . 15,000 . . . .
1684 ???, , Meditationes de cognitione, veritate et ideis??? 1686
??? Discoure d e m?aphysque??? . 1846 . 1704 ??? ??? ???()??? . ,
50 1765 . 1710 ??? Th?dic???? . , . . . ??? Monadologie??? ???
Principes de la nature et de la grce???. 1714 . 2. . , . . . .
(15,000 ) . . . . . . _ _ _ _ _ _. . . . . . . . . (Perception) . ,
. _ _ . ( Verstand, Understanding, ent endement) (intellectus) . .
. ()
. . () . ( , , ). . . . . . . . . _ ._ . . ( , ). . . . . _ _ .
. . . . . _ , . . , , . . . _ _ . . . , . . ( ) . . , , () . . . .
. . , . . . (why) , ?(how) . . . . . .
. , . , . . ( ) . _ . , . . . _ _ . (l'harmonie prtablie) . , ()
. . . 3. . . (l'art d'inventer) (l'ar t de demonstrer) . . , - (
?????? ) . _ _. . . , , . ( ) . . . , . . (la veritable methode)
(l'art d'inventer) (la science general) . . . , (nous) . , . . . ,
, . . ( , ) . , . . . . ._ , . . (characteristica universalis) . .
(ars combinatorica),
_ _ . (calculus ratiocinator) . (characteristica universalis), .
. . . 19 20 , , . (Die symbolische Logik) _ _(ma thematische Logik)
_ _(Logistik) . _ _ (exact Logic) _ _(formal Logic) . ? _ (statica
universi). ._ ( . ). . , . , . . ( ), . _ _ _ _ . _ _ . . (sich
verirrende Rationalismu s) _ _ . 4. . ?_ , . . , ( ) . , . (le
principe de la contradiction) (le princi pe de la Raison
suffisante) . , , . . () () . (, ) ( ) . , . . . . (Clark) . _ .
(une Enontiation) . A A A . , . . . ..... (la Divinit_)
, , (la force) . , . , . . . _ _ . , . . , . ( ) . , , , () . .
() . (notio virium seu virtutis, die Kraft, la force) . _ (vis
activa, ), (entelecheia) . . . . , ( ) . . 1) , 2) , 3) (la force
active primitive, entelecheia) . . . (statica) (dynamica) . . (how)
(why) . . , . (why=) (how)=) . . . . . , . . , . , () . . ( ) . . .
. . ( ) . . . . . .
. . . . . . . . . ( ) ( ) . , . . , . 5. . . _ . , , ._ . . , ,
. . . . . . . . . , . () , . . . , . , , . . . 6. ( ) ( ) . . . , (
, , , ) (, , , ) . , . , . . . . .
, , . . . . 7. . , . . () ? . . . ( ) . . () . . . , . , . . , .
- . , . . _ _ . , , _ _ , _ _ . , , . - . , () _ _ . () . . _ , . ,
. ...... . , ._ _ , _ . ?
? Leibniz Werke, Wissenschaftliche Buchgesellschaft, 1989. "The
Twenty-Four Statements", in M. Heidegger, The End of Philosophy,
Harper & Row, 1973. "The Method of Mathematics", in Readings on
Logic, ed. I. M. Copi and J. A. Gould, Macmillan, 1992. The
Monadology and Other Philosophical Writings, trans. by Robert
Latta, Oxford University Press, 1951. LEIBNIZ-OEUVRES, ?it?s par
Lucy Prenant, Aubier Moutaigue, 1972. Logical Papers: A Selection,
trans. G.H. Parkinson, Oxford University Press, 1966. La
Monadologie, edition ?ablie par E. Boutroux, LGF, 1991. ??? ???, ,
, 2007.
??? ???, , , 2003. ??? ???, , , 2005.
Leibniz Critical Assessment, ed. Woolhouse, Routledge, 1994.
Hegel, Vorlesungen ?er die Geschichte der Philosophie, Frankfurt am
Main 1979. Heidegger, Metaphysische Anfangsgr?de der Logik im
Ausgang von Leibniz (Summer semester 1928) , hrsg. von K. Held,
Vittorio Klostermann, 1978, 2nd edn 1990. Russel, The History of
Western Philosophy, A Touchstone Book, 1972. Hampshire, The Age of
Reason, New American Library, 1956.
, ???, ???, , , 2004. ??? ???, _ , , 1990. , ??????, , , 2000. ,
??? ???, , 2007. , ??? ()???, , 2001.
, ??? ???, _ , , , 1994. , ??? ???, , , 1995. , ??? ???, , ,
1984. Husserl, Die Krisis der europ?schen Wissenschaften und die
transnszendentale Ph?ominologie, hrsg. von W. Biemel, Springer,
1962.
