߼ѧ

ѧ
˼ѧ
Ƽѧ
йѧ
ѧ
߼ѧ

ĶTOP10

˼ά
ʿڸڶͳһѧ˵ıȽо
˹ܿ߼ѧķչ
˼ά
ѧ˼롷
˼άij߼֤
ѧ߼϶ѧ
Peirce*߼еļż
ܳζѧ۷ѧζѧм
˵ģӦĬάظ˹̹ѧ

ݽ´ŷ
ĵ
¼
ܽ㱨ƻ
÷дָ
֤ȯй
ծг
о֤ȯͶ
Ͷʾ
ʾ
гӪ
ɱ
CPAҵѧ
սԾιѧ
ɱѧ
Դ
˰
˰˰
˰ծо
оѧ
йѧ
¾ѧҵ
ʾѧ
طչս
ó
ùҵս
гӪ
ҵоҵĻ
ĻĻ
ͳĻѧ
ѧѧ
Ӱ
ѧ
˿ũо
ѧʷѧ
ѧѧ
ͳѧѧ
ҵͨ
ˮѧϹѧ
ѧͨѧ
Ӧ
ѧ
оѧ
ѧ˼ѧ
Ƽѧйѧ
ѧ߼ѧ
ʱ
˼
ѧ˾ƶ
÷
ҽѧҽѧ
ٴҽѧҩѧ
ԱѶ
ϰָ
ָѧ
Peirce*߼еļż

δ֪ ԴӦд ʱ2005-12-29¹վ

    ִ߼׷ݵĵFrege (Lebnizߵĵλ)̸ִ߼ǻȻҵPeanoRussellWhiteheadWittgensteinCarnap(άҲѧʱ)Quineˣ˾Ϊǹճִ߼硣һǺġ߼ѧִ߼IJϷչDZ˼оߣFischZemanHinttikaȣǶһֱӵȴִ̲߼֮ķ磬Ϊ֮ȨԵһӦֵ»оһBooleʼPeirceSchröderֱCarnapTarskiSkolemάֵһ·ߣɿǶ߼оһ;򷽷approachPeirceоѧߣ..FischһһʵΣBoole-Peirce-Schröder (ǼдΪ£У)·߲DZFrege-Peano-Russell-Whitehead (ǼдΪƣУ)·ȡ𣿲ֻDZڸˡ 

    ڣ£УӴͳУPeirce1839---1914λҪ⵹ΪŰ˼άͶѧ߼ʷϺߵʵӰ죨ѧJamesDeweyMeadLewis޲Ӱ죬ŷ޴½K.O.Apel˵˼ҲֱԴPeirceҲΪĹ㷺ѧ߼ѧ֮⣬ѧѧѧѧѧزѧѧȵȣҪΪִ߼ʷϵʵԵĹסѾͳĶ漰߼ףΪֹPeirceѧߵоɹµǵȻĺҪģʽ߼ҪǶԴͳ߼ĸĽ߼ϵ߼߼ν߼ֵ߼ģ̬߼߼߼ѧ߼Լ߼ʷо 

    Peirceڵ߼о1865굽Լ1885꣩Ҫ߼ڵʱ߼մã׷ߺܶ࣬VennSchröderDe Morgonˣ֮о໥֮йع׵ķɲοKnealeġ߼ѧķչҪ໥ġPeirceһλ߶дµͻΪѧBenjamin PeirceʱѧһȨĶӣPeirceҲһѧңڴ߼еӦãӦ֣ѡۡΪʵĴоʵϣʱķ߼߼algebra of logic 

  

    Peirceִ߼оʵϾǴ߼һ(analogy)֡ơǰᣬȾǶԴеķŵѡ񡣲ͬ߼о߶ԼѡǻǴӴԭⲻ룬ǶԴеط߼ϵĸĽPeirce߼оõѡȡҪļеPeirce˶ԵеPeirceͬͬʱʹãеBPSͳеģ 

     һڣinclusion in  isas small asš<ǡܡһַд롣Ҫһ㣬Peirce˶ᵽҲоձע⡣Peirce˳ƣһH.McCollͬʱġPeirce塰< 

    1A < AAʲô

    2 A < BB < CA < C

˵ĶȻδֿϵͰڹϵΪʽ߼Ŀģȴ㹻ġPeirceڷž߼ϵŵ㣺ȣԭķֻܱijڣ˵ijﲻڣʹðںͷǰڣ <ıĶעͣҪһϷһߣGriffin(һֹ) <˼ǣڲGriffinͬ <ıĶעͣҪһϷһߣˮġ˼ΪڲˮĶPeirceرĽͺʹǰЩһֱ۵Ĵͳеʴ⣻ͬʱš<ĽҲʹ뵽߼ой㷺õʵ̺šʵʵ̺Peirceиıӡx< yƵyıĶעͣҪһĸϷһߣx <ܣΣڲоõȺŻֵš = һָӸӣŸںcomprehension(depth)Ĺϵ֮£<Ϊ򵥷㣬ǿ˵A=B̺A<Bȴܷ˵ʵA <BB< AһA= BƩ˵ = ˡʵϰ˼ÿһ˶Ǻˡ͡ÿһ˶Ƿˡ⣬Peirceʹϵʡ<ѧ壬Ȼ߼ϺζѧеĹеϵǽ߼׵ķ 

    Peirceġ<ţһֵһᡣ̸һϵʵʱPeirce׿мʶꡣ˵ڰcontainingϵǿŲͬͨ<⣬Ӷõ֮ƽеļ߼ѧ˵ a<´ bΪaͬbһСaͬijһСʱbͬһһС֮⣬a b֮ûʲôͬǿɵõѧ߼ѧa<´´ bΪbaaνijbν֮⣬a b֮ûʲôͬõģһͽ߼ѧa<´´´ bʾbaĺУߵĺв֮ͬ⣬a bûʲôͬôǵõĽ߼ѧһֽͣһʾˡ<̺߼ѧеĻԵҪãһҲһΪرĽǶ֤߼Ķ͡⣬ģ۵˼ҲűϵǺϡ 

inclusiveµ߼ӣΪ+ıĶעͣҪһ·һţʱֱá+ʹáPeirce߼ӣ

1A< A +ıĶעͣҪһ·һţ B

2B<A + ӡעͣҪһ·һţB

3A<CB<CA + ӡעͣҪһ·һţB<C

š +ıĶעͣҪһ·һţ Peirce1867ģPeirceƣJevons1864꣬R.Grassmann1872꣬Schröder1877꣬McColl1877Ҳ̶һ÷໥Ƿ⣬ʹá+ıĶעͣҪһ·һţѲͬһҲdz˵ӵ߼ӣִ߼˵ȡƩ硰ŷ +ıĶעͣҪһ·һţ ͵ˡͱʾŷ˺͹͵һ𣬶뾡취һѹ͵˼ΡBooleVennǾͻдɡŷ+ ıĶעͣҪһ·һţŷ˵Ĺ͵ˡ򡰷ǹ͵˵ŷ+ıĶעͣҪһ·һţ͵ˡ߼˵ȻֲҪ鷳  

ԡ1⡣ͬĸDe MorgonģһPeirce߼ϰѡ1limited universe of discourse޵ȫan unlimited universeΪ򽫰߼ϿܵһȫУÿһȫ⣬ԵģǼٵģÿһس⣬ǻģġǵ̸漰ȫǵǾϿܵģʷϴڵģij鹹磬һֹ۵ΪBPS·ߵһɫ֮23ȥķ߼ѧHerbrandһܲһʶһ澫оѧԭϵͳĻϣν߼ִ߼ͻסʵϣ߼ʷһֹ۵֧˰ۣģ̬߼ģۡ߼ѧԪ߼۵ڵһϵۡȻʶȻͬĹ۵ȷʵڹȥԼڵ߼ѧдڣΪ͵Wittgensteinԡһⶼʽ͡߼ĽּܡǻһʶʵǵԣΪֻһȻԻ˹ԣһһӦΪǶκϵͳֻһֽͣκʱǶΨһ֮ȥ˵Լ 

ġš ǽͨķгPeirceһЩţ߼ȼֵ = ıĶעͣҪһ·һţϵĵȺ𣬵Peirceںܶʱ򣬸ɴдΪ = ֻ߼š=ıĶעͣҪһ·һţһ߼ˣΪΪ

1AB< A

2AB< B

3C<AC<BC<AB

Уwhat it isΪx< 1xʲôޣnothingΪ0 < xxʲôڡAıĶעͣҪһĸϷһڳϵİԲ < BӡעͣҪһĸϷһߣУAıĶעͣҪһϷһڳϵİԲʾһЩABıĶעͣҪһϷһߣʾB  ʷţֱͦС͡һЩУϷŵĹʽ x (1y) = 0; x y = 0; x y  0;  x (1y)  0ǻΪϤġ 

  

3

̸PeirceЩۣȻܸȫ۾оÿһŶԻͻԵĹסǣʷ߼ʷܰŪһ֡ƼơʷijּǰʱֺܱͬFregeġ֡͡ڷ֮󣬲űRussellCarnapȸӣPeirce˱Fregeøѧϵʵ֮ҲJamesΪʵı桱ǣRussell˵ͨPeirceʵĴʼˡֿҪơִʵ岻dzPeircedzW.JamesΪPeirce˵ĻʵЧ壨pragmaticismJamesʵ壨pragmatismûжϵοPeirce߼ֻڱJamesʱѰˡ֡ 

  Peirceо״ڹΪ⡣ѧϣᵽʵ壬Ȼ̸JamesֻжJames˲Ż֪PeirceҶǶPeirceԾͣJames׶Σͨ׿ѧ־ϵƪ£ʹǵĹס͡ȷ߼ϣҲûиãĿǰҲijһ־ҵһƪԳһļ飻Fregeȣִ߼̸Fregeȴ̸Peirceѵ˵PeirceIJҪ𣿵ȻǣоԼѧҺ߼ѧңBethLewisTarskiCopiHintikkaȵȣ۵ʵѾһ㡣ΪPeirce߼µļӦĿǰ߼ѧӣ 

ȣӦȷPeirceBPS·ڴalgebraic approachģȫͬFregeĹaxiomatic approach·ߡPeirceר̸߼ϵͳĿġֻ߼۵оinvestigationǽһ㡱Ϊ߼ƵϵͳӦǾܷģanalyticalΪܶIJ裬Ƕչʾھһķ֮¡ˣDzPeirceҵڻFregePeanoRussell˵ν׼ϵͳ㡣PeirceǾԣƣУҴͳĹ۵ͱ׼Ҫȫִ߼۵㣺ֱ׼ͷDZ׼߼߼ѧѧ߼ڵڷչŵִ߼˼룬߼ĺģΧ߼Ŀģ跨Чԣʵǵġƫʶǵһʶչ˵Peirceȷۣʵ漰߼оӽǵתչκʱǶǧҪ߼ʽϵͳĽḻ̵߼оͬ߼оǼȲڷĹϷͬҲǽijŵĴ㣬Ҫţõһֶκ͹߶߼Ŀģ߼ЧԵ߼׷ 

ΣPeirceӶAristotle߼Ͷ߼ʷϸоPeirceԼ߼ͼݣԼ Kant۵ԷչԼ߼о߼̬ʼDzƫŲȱġ߼ѧĹϵϣ߼ܹѧͬѧҲܹ߼ӶFrege Russell߼ͬڶһ߼̬ϣPeirceQuineFregeҲţƣ˭֪һ߼˭Ͷ߼⣬ȫ߼Ҳֻһ߼ͬһֻڶ߼ϵͳеһ跨һ߼ĸΪ̵ĻչһΧ˵˵ѧʾΨһձЧģ߼ѧ֮ΪҪġ 

ٴΣPeirceԴʽ˼ɰģ۵ȫҪ塣PeirceԼ߼㣬עǵĽͣţҪIJʲôʽϵͳDZڵʵڣrealitiesǿɵظݲͬѡDzͬϵͳ 

Peirceڶ߼оγɵķ߼ϵͳĿļ߼о˼룬ʹûоʹôķţֲȡͼgraphţγĴжͼϵͳ¡ãմﵽˡ߼a broad sense of logic--ţsign꣨iconicity۵ʶжͼexistential graphsۣڽڼͼʾչ֮󣬱Ӧ˹IBMһоJohn Sowaһַչһͼconceptual graphs 

    Peirceһϵй۵㣬ڽ촦߼ѧǰصHintikka..eijenoortõҺӦǰPeirceΪԵģ۹۵һ׼Աintegral memberԴHusserlᣬԿFregeHeideggerġΪԵ߼logic as languageĴͳĹ۵ǣʵԵΨһͣڶܵ磬Ӷģ̬߼ĺϷԣĿжԻš桱޷˵ineffable 

  

 Ҫ     

Peirce,Charles Sanders  Collected Papers Of Charles Sanders Peirce  edited by Charles Hartshorne and Paul Weiss  The Belknap Press Of Harvard University Press ,1931-1935. 

Peirce,Charles Sandes  Writings of CHARLES S. PEIRCE ( A Chronological Edition )  edited by Edward C. Moore ,Indiana University Press 1984. 

Peirce,Charles Sanders  logic , symbolic logic  Dictionary of Philosophy and Psychology edited by James Mark Baidwin, The Macmillan Company, 1925. 

Peirce,Charles Sanders  Philosophical Writings of Peirce  selected and edited by Justus Buchler, Dover Publications,Inc.,1955. 

Hintikka,Jakko Lingua Universalis vs. Calculus Ratiocinator  Kluwer Academic Publishers,1997.