贵阳师专学报(社会科学版)
貴暘師專學報(社會科學版)
귀양사전학보(사회과학판)
JOURNAL OF GUIYANG TEACHERS' COLLEGE(SOCIAL SCIENCE)
2001年
1期
28-33
,共6页
逻辑%非逻辑%划界标准%正统逻辑%离散数学%两个独立性%制约关系%客观逻辑
邏輯%非邏輯%劃界標準%正統邏輯%離散數學%兩箇獨立性%製約關繫%客觀邏輯
라집%비라집%화계표준%정통라집%리산수학%량개독립성%제약관계%객관라집
逻辑与非逻辑的划界标准是元逻辑的根本问题之一.流行的四种标准全都认定逻辑基础是逻辑.在展开正统的两个演算时所采用的能从已知定理去得出新定理的真正的逻辑事实上并不符合正统数量逻辑.鉴于正统的两个演算只以真值函数、个体-真值函数为研究对象,故而属于离散数学.因此需提出能鉴别这种真正的逻辑的第五种标准--逻辑是人类在认识宇宙时从已知进入新知(从已有客观事件必然过渡到新客观事件的认识)的普遍有效的工具.
邏輯與非邏輯的劃界標準是元邏輯的根本問題之一.流行的四種標準全都認定邏輯基礎是邏輯.在展開正統的兩箇縯算時所採用的能從已知定理去得齣新定理的真正的邏輯事實上併不符閤正統數量邏輯.鑒于正統的兩箇縯算隻以真值函數、箇體-真值函數為研究對象,故而屬于離散數學.因此需提齣能鑒彆這種真正的邏輯的第五種標準--邏輯是人類在認識宇宙時從已知進入新知(從已有客觀事件必然過渡到新客觀事件的認識)的普遍有效的工具.
라집여비라집적화계표준시원라집적근본문제지일.류행적사충표준전도인정라집기출시라집.재전개정통적량개연산시소채용적능종이지정리거득출신정리적진정적라집사실상병불부합정통수량라집.감우정통적량개연산지이진치함수、개체-진치함수위연구대상,고이속우리산수학.인차수제출능감별저충진정적라집적제오충표준--라집시인류재인식우주시종이지진입신지(종이유객관사건필연과도도신객관사건적인식)적보편유효적공구.
