昆明师范高等专科学校学报
昆明師範高等專科學校學報
곤명사범고등전과학교학보
JOURNAL OF KUNMING TEACHERS COLLEGE
2006年
3期
10-15,22
,共7页
形式断定逻辑%辩证描述逻辑%认知真值模态逻辑%规范价值模态逻辑%哲学非演算%哲学反演算
形式斷定邏輯%辯證描述邏輯%認知真值模態邏輯%規範價值模態邏輯%哲學非縯算%哲學反縯算
형식단정라집%변증묘술라집%인지진치모태라집%규범개치모태라집%철학비연산%철학반연산
形式逻辑是关于断定的逻辑(Logic),辩证逻辑是关于描述的逻辑(Logos).通过对性质判断的非反否定演算,将形式逻辑的断定否定演算,辩证逻辑的描述否定演算,认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算,都归结为非和反的哲学否定演算.由此,所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了.
形式邏輯是關于斷定的邏輯(Logic),辯證邏輯是關于描述的邏輯(Logos).通過對性質判斷的非反否定縯算,將形式邏輯的斷定否定縯算,辯證邏輯的描述否定縯算,認知模態邏輯的真假斷定否定縯算與規範模態邏輯的對錯斷定否定縯算及其相互間的辯證否定縯算,都歸結為非和反的哲學否定縯算.由此,所述四種相對獨立的邏輯縯算分支就可通過哲學的非反縯算而內在地統一起來瞭.
형식라집시관우단정적라집(Logic),변증라집시관우묘술적라집(Logos).통과대성질판단적비반부정연산,장형식라집적단정부정연산,변증라집적묘술부정연산,인지모태라집적진가단정부정연산여규범모태라집적대착단정부정연산급기상호간적변증부정연산,도귀결위비화반적철학부정연산.유차,소술사충상대독립적라집연산분지취가통과철학적비반연산이내재지통일기래료.