當代形式邏輯引論

當代形式邏輯引論

《當代形式邏輯引論》是一本由龔啟榮等編著的教科書。 

圖書信息

作 者:龔啟榮 等著

出 版 社:電子工業出版社
出版時間:2009-3-1
版 次:1
頁 數:272
字 數:480000
印刷時間:2009-3-1
開 本:16開
紙 張:膠版紙
印 次:1
I S B N:9787121084157
包 裝:平裝

內容簡介

作為真正的邏輯科學的傳統形式邏輯源遠流長,具有始終深深地植根於和自然語言形影不離的普通邏輯思考實際、在理論上堅持論證不許循環等深刻正確的主導思想,向人類認識世界、改造世界提供效能卓著的從已知獲取新知的工具。《當代形式邏輯引論》原創性地研究並清晰而準確地闡述了概念、命題、邏輯定理、邏輯證明,以及在各方面的套用。

圖書目錄

引言
一、邏輯科學在現代科學中的地位
二、傳統形式邏輯與數理邏輯
三、當代形式邏輯語義學、語構學、語用學
四、當代形式邏輯的研究領域、哲學思想和理論觀點
第1篇 客觀世界的邏輯結構和邏輯規律
第1章 當代形式邏輯語義學基礎(1)——客觀世界的項和事件
1.1 客觀世界的集
1.2 客觀世界的N目組、N目組集和N元關係
1.3 客觀世界的N元函式關係
1.4 客觀世界的項(TERM)
1.5 客觀世界的原子事件
1.6 客觀世界的真值函式關係與純真值複合事件
1.7 客觀世界基本的非純真值聯結關係——充分條件關係及其兩個獨立性
1.8 客觀世界的導出的非純真值聯結關係和非純真值複合事件
1.9 客觀世界的事件
第2章 當代形式邏輯語義學基礎(2)——客觀世界的邏輯結構和邏輯規律
2.1 客觀世界的邏輯結構
2.2 客觀世界邏輯規律的種類
2.3 客觀世界的邏輯定律
2.4 客觀世界的邏輯法則
第3章 邏輯規律是客觀世界的規律
3.1 邏輯規律概述
3.2 邏輯規律不是思維自身的規律
3.3 邏輯規律不是符號自身的規律
3.4 邏輯規律是且只能是客觀世界的規律
第2篇 邏輯思考 概念
第4章 邏輯思考概述
4.1 邏輯思考的定義
4.2 邏輯思考的內容
4.3 邏輯思考的形式化
4.4 邏輯思考、思考對象、語言載體的關係
第5章 概念
第3篇 命題
第6章 原子命題 純真值複合命題
第7章 非純真值複合命題
第4篇 邏輯定理
第8章 推理和導出
第9章 非推導邏輯定理
第5篇 傳統形式邏輯直言命題及其推導理論簡介
第10章 傳統形式邏輯直言命題
第11章 傳統形式邏輯直言命題推導
第6篇 邏輯證明及其認識論意義
第12章 邏輯證明與證實
第13章 邏輯證明的認識論意義
第7篇 對邏輯科學發展的進一步研究
第14章 對傳統形式邏輯讀物中一些問題的討論
第15章 關於邏輯證明哲學意義的深入探討
第16章 當代形式邏輯基礎理論在軍事管理中的套用研究實例
結語 邏輯科學的定義
後記
參考文獻

相關詞條

熱門詞條

聯絡我們