相關詞條
-
制約邏輯
制約邏輯是傳統的形式邏輯與正統數理邏輯(現代邏輯)有機結合的產物，它運用現代邏輯提供的嚴格精密的數學方制約邏輯法，去構造一個能確切地體現傳統形式邏輯的深...
-
邏輯學
教授推薦，林邦瑾在美國數學會刊物《文摘》上發表論文《制約邏輯簡介...非常敏感。當林邦瑾的簡短論文《制約邏輯簡介》在美國剛發表不久，聯邦德國...簡介 邏輯學邏輯學就是關於思維規律的學說。邏輯和邏輯學的發展，經過了...
簡介 邏輯學 制約邏輯 當代邏輯的新領域--制約邏輯 附釋六 附釋五 -
邏輯學[哲學專業術語]
發表論文《制約邏輯簡介》。1985年12月，林邦謹的專著《制約邏輯...，當然會較一般人通常對於邏輯的看法為高。制約邏輯創立者 1968年，中國...——制約邏輯，向前兩座豐碑提出了挑戰。1978年，在中國邏輯學界元老沈有鼎教授...
釋義 特點 歷史起源 對稱邏輯學 研究對象 -
龔啟榮
社科聯委員、貴州省科協第四屆委員、貴州制約邏輯學會理事長、貴州省邏輯教學...，認定該項目的“一些成果居國際領先水平”（見《貴州省科技進步獎獲獎項目簡介...
-
循環推理
簡介運用現代邏輯方法構造能確切體現傳統邏輯的深刻正確的主導思想的制約系統的科學。 制約系統中的制約關係就是據以進行不循環論證的推理格式的理論核心。制約系統是制約邏輯形式化公理系統。制約關係是其基本概念，這種關係即...
簡介 -
葛宇寧
人物簡介葛宇寧，2004年畢業於河南理工大學法學本科專業，取得法學學士學位；2004—2005年在鄭州電子信息職業技術學院工作，政治課教師...制約邏輯學會會員、中國邏輯學會法律邏輯專業委員會會員。個人經歷2006年...
人物簡介 個人經歷 科研成果
