经典逻辑视野下的非经典否定da.pdf

96 * 余俊伟 ( 中国人民大学哲学院 北京 100872) [ ] B81 [ ] A [] 1002- 8862( 20 10) 07- 0096- 05 , , ; , , , , , , , , [ 1] , , 一 , , !∀ ( p): 10 9 ; , , p n n n p ( x = y + z n 3; q) 1995 1985, , , ; , , q q , , 1995, q [ 2] q : , , , , * 2009 # ## ( : 经典逻辑视野下的非经典否定 97 , , , , , ; q q q: q, , , q , , , , ; , : ~ , , A, A: A [ 3] A , , , , , () , , , , , , , [ 4] , , , , , , 二 , , , p∃ ( q∃ q), p∃ ( q% q) , , , A BA B , A∃ B, A B , , , , , , , , , : p% q p q, , , F , K, R, * ∋, ( K, R K , * K 98 !哲学动态∀2010年第 7期 , w, x, y, z( K : ( 1) w** = w; ( 2) R ww; ( 3) Rwww; ( 4) * * 2 2 2 2 Rw xy, Rwy x ; ( 5) R w xy, Rw xy; ( 6) R wxyz, R w yxz, R K , 2 : R wxyz, , a( K Rwxa RayzK , , M , K, R, * , V ∋ , , V K ( K ) , , R , * ( 1) ( 4) , A w * * , A w w,