從羅素的邏輯主義立場(chǎng)看他的類(lèi)型論

1、單位代碼! Q §3 §學(xué) 號(hào)S 2 Q Q 塑1 2西南蟲(chóng)謦碩士學(xué)位論文k 羅素的邏輯主義立場(chǎng)看他的類(lèi)型論論文作者：謝時(shí)國(guó)指導(dǎo)教師：唐曉嘉教授學(xué)科專業(yè)：邏輯學(xué)研究方向：現(xiàn)代邏輯提交論文日期：2 0 0 6 年4 月論文答辯日期：2 0 0 6 年6 月學(xué)位授予單位：西南大學(xué)中國(guó)·重慶2 0 0 6 年5 月T h e t r a n s f o r m a t i o no f t h e t h e o

2、 r yo f t y p e sM a j o r ：l o g i cW r i t e r ：X i e s h i g u oA b s t r a c tT h e t h e o r y o f t y p e sw a s a n i m p o r t a n to u t c o m eo ft h e d e v e l o p m e n to fR u s s e l l ’Sp h i l o s o p h

3、ya n d l o g i c ，a n dI t i sc l o s e l yl i n k e d ．w i t hh i s l o g i c p o s i t i o n ．I tc a n b e s a i dt h a tt h et h e o r yo ft y p e s i sam e a n s t oa c h i e v eR u s s e l l ’Sd r e a m 。B e g i n n

4、 i n gw i t h a n a l y z i n g R u s s e l l ' s o p i n i o no fm a t h e m a t i c ，t h i s a r t i c l e a n a l y z et h ei m p a c t o n h i s s u b s e q u e n t s t u d i e s ．H e b e l i e v e s t h a t a 1

5、1 p u r e m a t h e m a t i c s a r e t h o s ep r o p o s i t i o n ，l i k e ”P(pán) —q ”．I n R u s s e l l ’S o p i n i o n ，m a t h e m a t i c sa n dl o g i ch a v et h e s a m ed i s c i p l i n e s ，b u t d i f f e r e

6、n ts t a g e s ．R u s s e l lh a v e t r i e dt o m a k em a t h e m a t i c a ld e r i v e df r o ml o g i c ，t h e r e b ya c h i e v i n g h i sl o g i cp o s i t i o n ．T ot h a t e n d ，h eb e g a n w r i t i n gt h

7、 e ”P(pán) r i n c i p i aM a t h e m a t i c a ”，b u tt h e nh ed i s c o v e r e daq u e s t i o n ，w h i c ha tt h et i m e s e e m e di n s u r m o u n t a b l e”R u s s e l l p a r a d o x ．?！疘 n o r d e r t O c o m p l

8、e t e t h e ”P(pán) r i n c i p i a M a t h e m a t i c a ’”S w r i t i n g ．h ec r e a t i v e l yp u t f o r w a r dt h et h e o r yo ft y p e s ．．T h e n ，t h i s a r t i c l e d e t a i l e d t h e s i m p l e t y p e t h

9、 e o r y ’Sb u i l d i n g ，a n d a n a l y z e di t s C O r ec o n c e p t s ，i n c l u d i n g t y p e ，f u n c t i o no fp r o p o s i t i o no r d e r s ．W ek n o w t h a tt h e s i m p l et h e o r yo ft y p e sh a

10、v ea l r e a d ye l i m i n a t e dR u s s e l lp a r a d o x ，b u tw h y R u s s e l li n t r o d u c e dt h et h e o r yo fo r d e r t y p e s ．T h e r e f o r e ，t h i sa r t i c l ef i r s tc o m p a r a t i v e a n

11、a l y z et h e b r a n c h e s bb e t w e e n s i m p l et y p et h e o r ya n d t h et h e o r yo fo r d e rt y p et h e n d e s c r i b e dt h er e a s o ni st h a tR u s s e l lw a n tt O，h o l do nh i sp e r s p e c

12、t i v eo ft h ep o s i t i o no fp h i l o s o p h y ，f r o ms i m p l et h e o r yo ft y p e st Ot h et h e o r yo fo r d e rt y p e si s a n e c e s s i t ya c r o s s ．F i n a l l y , t h ea r t i c l ec a m e t oR u

13、s s e l l ’Sr e s p o n s e ．I nt h ef i f t h p a r t o ft h ef o u n d a t i o n ，a r t i c l eg i v e a e v a l u a t i o n ．b o t hf r o mp h i l o s o p h i c a la n ds e v e r a ll o g i c a l r e a s o n sK e y w