《人文素質教育教材系列:邏輯》為“人文素質教育教材系列”之一,系統地介紹了邏輯這門學科的基本知識。全書共分十一章,內容包括:邏輯基本規律;定義;論證;複合命題及其推理;簡單命題及其推理;歸納推理;類比推理等。《邏輯》內容豐富,講解通俗易懂,具有很強的可讀性。
基本介紹
- 中文名:人文素質教育教材系列:邏輯
- 作者:王莘
- 出版社:北京大學出版社
- 出版時間:2009年04月01日
- 頁數:279 頁
- 定價:29 元
- 開本:16 開
- 裝幀:平裝
- ISBN:9787301150757
邏輯(2009年北京大學出版社出版)一般指本詞條
《人文素質教育教材系列:邏輯》為“人文素質教育教材系列”之一,系統地介紹了邏輯這門學科的基本知識。全書共分十一章,內容包括:邏輯基本規律;定義;論證;複合命題及其推理;簡單命題及其推理;歸納推理;類比推理等。《邏輯》內容豐富,講解通俗易懂,具有很強的可讀性。
邏輯(logic)是一個音譯詞,指的是思維,是一個外來詞語音譯。狹義上,邏輯即指思維的規律,理清事物的本身。廣義上,邏輯泛指規律,包括思維規律和客觀規律。邏輯包括形式邏輯和數理邏輯(符號邏輯)。形式邏輯包括歸納邏輯與演繹...
狹義上邏輯既指思維的規律,也指研究思維規律的學科即邏輯學。廣義上邏輯泛指規律。學科劃分 證明方法 直接證明 直接證明就是從論據的真實直接推出論題的真實的一種證明方法。間接證明 間接證明又稱反證法,它是通過證明反論題的虛假,從而判明我們所要證明的論題真實的一種證明方法。運用間接證明方法進行證明,一般有...
邏輯學是研究思維的學科。所有思維都有內容和形式兩個方面。思維內容是指思維所反映的對象及其屬性;思維形式是指用以反映對象及其屬性的不同方式,即表達思維內容的不同方式。從邏輯學角度看,抽象思維的三種基本形式是概念,命題和推理。釋義 邏輯學有廣義和狹義之分。狹義的邏輯學指:研究推理的科學,即只研究如何...
邏輯 思維活動中有一個概念是常常被人們提到的,它就是——邏輯。那么,什麼是邏輯呢?客觀邏輯與主觀邏輯 如果我們把邏輯視為“道理”的系統結構,那么它就可以衍生出兩大邏輯領域:一是客觀自然所遵循的“道理”(客觀邏輯);二是主觀思維所遵循的“道理”(主觀邏輯)。由於主觀思維是建立在人的大腦物質基礎之上...
邏輯推理學包括一階邏輯推理和時序邏輯推理兩種。一階邏輯推理是一種典型的基於規則的推理方法。該方法的推理機制非常簡單,利用謂詞構建靜態的推理規則庫。當進行推理時,首先向引擎輸入已知的初級上下文信息,通過一致性驗證後,與規則進行比較,如果相同,那么給出對應規則結果的高級上下文信息,否則提示沒有成功。時序...
《邏輯》是2021年北京大學出版社出版的圖書,作者是王莘。內容簡介 本書詳細介紹了邏輯學的研究對象和性質,論述了邏輯學的基本概念、判斷和推理中的不同形式及其規則,闡述了邏輯的規律和運用邏輯的方法,並附有針對性很強的思考題,力求使學生系統掌握和理解邏輯學的基本知識、基本原理和推理技巧,培養科學思維素質,...
所謂“形式邏輯”就是指傳統邏輯,狹義指演繹邏輯,廣義還包括歸納邏輯。所謂邏輯是思維的規律,邏輯學是關於思維規律的學說,思維規律是思維內容與思維“形式”的統一。“形式”邏輯也是從內容和“形式”的統一上來研究思維規律的學說,因而絕不是什麼純“形式”的邏輯。正好像傳統把概念說成是思維的“形式”是混淆了...
《邏輯》是2010年4月中國人民大學出版社出版的圖書,作者是金岳霖。本書所介紹的主要是邏輯中的演繹法,全書前兩部分是對傳統邏輯的介紹與批評,第三部分介紹了一個現代西方數理邏輯系統,第四部分則就關於邏輯系統的種種問題進行了深入的探討。內容簡介 作者以深厚的學術功底、縝密的邏輯思維,將枯燥的邏輯理論娓娓道...
本書是初等邏輯的教科書,在內容上,包括語句邏輯以及量限邏輯等重要領域,敘述簡潔而緊湊;在方法上,則採用自然演繹法,設計一套由前提導出結論的推論規則,適合初學者入門使用。作者簡介 學歷:台灣大學法律系畢業 美國加州柏克萊大學哲學博士 經歷:台灣大學哲學系講師、副教授、教授 美國普林斯頓大學哲學系傅爾布萊特...
把用高電平表示邏輯1,低電平表示邏輯0的規定稱為正邏輯。反之,把用高電平表示邏輯0,低電平表示邏輯1的規定稱為負邏輯。正邏輯與負邏輯的概念 用電平的高和低表示邏輯值1和0的關係並不是唯一的。既可以規定用高電平表示邏輯1、低電平表示邏輯0,也可以規定用高電平表示邏輯0,低電平表示邏輯1。這就引出了正...
邏輯架構,作為一門形式科學,通過對推論的形式系統和自然語言論證二者的研究,邏輯研究和分類語句和論證的結構。概念 邏輯架構 經典邏輯標識已經被最深入的研究和最廣泛的使用的一類形式邏輯。它們被特徵化為一些性質;非經典邏輯缺乏一個或多個這種特性,它們是:1:排中律;2:無矛盾律;3:蘊涵的單調性和蘊涵的冪等性;...
邏輯主義( logicism)亦稱“邏輯斯提”。即“數學哲學中的邏輯主義”。數學基礎和數理邏輯研究三大派別之一。主張數學是邏輯的延伸。他們只研究概念間的純邏輯關係,從邏輯學可推導出全部數學,全部數學可以歸結為邏輯學。其代表人物是弗雷格、羅素、懷特海。弗雷格相信全部數學都能從基本的邏輯規律推演出來,認為集合論具有...
為了解決第三次數學危機, 羅素提出了邏輯主義的綱領, 並得到一些著名的邏輯學家的支持, 成為數理邏輯中的三大學派之一。理論內容 20世紀初, 在邏輯和數學中發現了許多悖論, 包括羅素本人所發現的悖論(後被稱為羅素悖論) 。這些悖論動搖了數學的基礎, 史稱第三次數學危機。為了解決悖論, 並實現邏輯主義論題, ...
邏輯法是人們認識推理事物的一種思維方法.它包括比較,分析與綜合,論證推理等方面,在日常生活和很多正式場合發揮很大作用。,邏輯方法簡稱邏輯法。所謂邏輯方法:就是:以邏輯規律為指導,根據事實材料,下定義,形成概念,作出判斷, 進行推理,構成理論體系的方法體系。定義 直接推理法指直接推理是由一個前提推導出一個...
現代邏輯是指數理邏輯和套用數理邏輯而形成的邏輯系統。定義 現代邏輯指邏輯發展的最高階段,即對稱邏輯。邏輯的發展經過形式邏輯與辯證邏輯兩大階段,辯證邏輯的發展經過矛盾邏輯與對稱邏輯兩大階段。對稱邏輯既指對稱的思維規律與思維方式,也指研究人的整體思維規律的學說。對稱邏輯以對稱規律為基本的思維規律,是思維...
《邏輯——從三段論到不完全性定理》是2016年科學出版社出版的圖書,作者是熊明。內容簡介 本書以公理化思想為主導,從亞里士多德的三段論到哥德爾的不完全性定理,闡述傳統邏輯與現代邏輯的基本理論。全書以有效推理的形式化作為軸線,分別展開三段淪的自然演繹系統、命題邏輯和一階邏輯的解析樹以及自然演繹系統等公理化...
歸納邏輯在一般的邏輯教科書上通常被定義為:從特殊到一般的邏輯推理,也常被稱之為一種或然性推理,或擴展性推理。這些定義是從歸納邏輯的特點上對其進行定義的,沒有反映出其實質。如果按其實質,我認為可以作這樣的定義:所謂歸納邏輯是指人們以一系列經驗判斷或知識儲備為依據,尋找出其遵循的基本規律或共同規律...
邏輯圖,是指所有活動及它們之間依賴關係的圖解表示。直觀反映了兩個項目活動之間或一個項目活動和一個里程碑之間的依賴關係。引證解釋 一、邏輯圖由許多邏輯圖形符號構成。它與真值表及表達式一樣,是描述邏輯函式的一種方法。z=x+y x=ab y=ac 邏輯圖如下所示:(a)與-或電路(b)與非-與非電路 (c)雙軌輸入...
邏輯思維的基本規律亦稱“思維基本規律”,即同一律、矛盾律、排中律,以及由萊布尼茨所提出的充足理由律,它們構成了理性思維最基本的前提與預設,是理性的對話、交談能夠進行下去的最起碼前提,分別確保理性思維具有確定性、一致性、明確性和論證性。不過,關於充足理由律是不是邏輯基本規律,存在著不同的爭論意見,並且...
邏輯錯誤,一般指思維過程中違反形式邏輯規律的要求和邏輯規則而產生的錯誤。如“偷換概念”、“偷換論題”、“自相矛盾”等。邏輯規律 邏輯有其自身的規律,不管使用什麼概念和命題,進行何種推理和論證,都必須遵守最基本的邏輯規律;否則,人們的思維就會出現錯誤。常見的邏輯錯誤有偷換概念、偷換論題、自相矛盾、模稜...
二階邏輯允許有各種解釋;它經常被認為包含在域的子集上,或在來自這個域到自身的函式上的量化,而不只是在這個域的個別成員之上。例如,如果這個域是所有實數的集合,通過如下書寫你可以在一階邏輯中斷言每個實數的加性逆元的存在性 但你需要使用二階邏輯來斷言實數的最小上界性質:並在點的位置插入一個陳述,如果...
在形式邏輯中,邏輯運算符或邏輯聯結詞把語句連線成更複雜的複雜語句。例如,假設有兩個邏輯命題,分別是“正在下雨”和“我在屋裡”,我們可以將它們組成複雜命題“正在下雨,並且我在屋裡”或“沒有正在下雨”或“如果正在下雨,那么我在屋裡”。一個將兩個語句組成的新的語句或命題叫做複合語句或複合命題。簡介 ...
命題邏輯是指以邏輯運算符結合原子命題來構成代表“命題”的公式,以及允許某些公式建構成“定理”的一套形式“證明規則”。相對於謂詞邏輯,它是量化的並且它的原子公式是謂詞函式;和模態邏輯,它可以是非真值泛函的。演算是用來證明有效的公式(就是說它的定理)和論證(argument)的邏輯系統。它是公理或公理模式的...
邏輯順序,即按照事物或事理的內部聯繫及人們認識事物的過程來安排說明順序,這種順序常用於事理說明文。事物的內部聯繫包括因果關係、層遞關係、主次關係、總分關係、並列關係等;認識事物或事理的過程則指由淺入深、由具體到抽象等等。這是常見的說明順序之一。釋義 邏輯順序是非常常見、普遍的說明順序之一。邏輯順序即...
數字邏輯是數字電路邏輯設計的簡稱,其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的,這些邏輯部件按其結構可分為組合邏輯電路和時序邏輯電路。組合邏輯電路是由與門、或門和非門等門電路組合形成的邏輯電路;時序邏輯電路是由觸發器和門電路組成的具有記憶能力的邏輯電路。...
邏輯原理是命令要完成一件事並通過模擬(規律)組合/+分散來完成這件事情(規律)。邏輯原理 由智慧型原理 智慧型=組合+分散+儲存 推出:邏輯=模擬+組合+分散 (規律模擬)--組合/+分散==邏輯 從表象看來 程式的含義:程式=為完成命令的規律 理論慨括:規律通過規律完成規律.簡化後:邏輯=模擬+組合+分散 有智慧型的...
無窮邏輯是由一般無窮邏輯、無窮深邏輯、無窮可容邏輯、無窮機率邏輯等構成的邏輯群。它們是經典一階邏輯沿著四個方面之一作無窮擴張的邏輯。概念 無窮邏輯是由一般無窮邏輯、無窮深邏輯、無窮可容邏輯、無窮機率邏輯等構成的邏輯群。它們是經典一階邏輯沿著四個方面之一作無窮擴張的邏輯,即(1)沿邏輯聯結詞(合取和...
規範邏輯亦稱“義務邏輯”、“道義邏輯”、“倫理邏輯”。被稱為廣義模態邏輯的 --神。研究含有必須、允許等規範詞的規範命題以及規範演繹系統的現代邏輯分支。14世紀的羅伯特·霍爾科特已討論過模態邏輯和義務邏輯之間的相似之處。萊布尼沃提出過必須履行的、允許的、禁止的和可選擇的等義務概念。康德提出過義務世界的...
Logic,主要用作名詞,主要意思為“邏輯,(做某事的)道理;推理方法”等。單詞釋義 英 [ˈlɒdʒɪk] 美 [ˈlɑːdʒɪk] n. 邏輯,(做某事的)道理;推理方法,邏輯學;(事實或事件的)規律,相互聯繫;(計算機或電器的)邏輯操作 [ 複數 logics ]短語搭配 fuzzy logic 模糊邏輯 pro...