哲学动态
哲學動態
철학동태
Philosophical Trends
2010年
7期
96~100
,共null页
逻辑视野 否定说 弗协调逻辑 直觉主义逻辑 经典逻辑 直观性 清晰
邏輯視野 否定說 弗協調邏輯 直覺主義邏輯 經典邏輯 直觀性 清晰
라집시야 부정설 불협조라집 직각주의라집 경전라집 직관성 청석
直觉主义逻辑中的否定有直观而清晰的含义，意为“不可能”，其强于经典否定；而相干逻辑与弗协调逻辑中的否定缺乏直观性。一般地，非经典否定只有在能够借助经典否定说明的情况下才能获得清晰的含义。我们定义一个从弗协调逻辑到经典逻辑的半嵌入映射，
直覺主義邏輯中的否定有直觀而清晰的含義，意為“不可能”，其彊于經典否定；而相榦邏輯與弗協調邏輯中的否定缺乏直觀性。一般地，非經典否定隻有在能夠藉助經典否定說明的情況下纔能穫得清晰的含義。我們定義一箇從弗協調邏輯到經典邏輯的半嵌入映射，
직각주의라집중적부정유직관이청석적함의，의위“불가능”，기강우경전부정；이상간라집여불협조라집중적부정결핍직관성。일반지，비경전부정지유재능구차조경전부정설명적정황하재능획득청석적함의。아문정의일개종불협조라집도경전라집적반감입영사，
