本書用公理化方法研究哲學的核心概念“真”，即將真視為一個不通過其他概念來定義的初始概念，通過一組公理與規(guī)則研究真的演繹系統(tǒng)，及其相關的結果。全書分為四個部分，第一部分是基礎，簡述了一些數(shù)學上預備性的記號約定，并概述了研究公理化真理論的某些動機。第二、三部分分別是類型化的真理和類型自由的真理，給出了公理化真理論及與之相關

本書按照預備知識、基礎、進階、一階模態(tài)邏輯共分為四個部分。第一部分為讀者準備了集合論、命題邏輯和一階邏輯的基礎知識。第二、三部分分別介紹了命題模態(tài)邏輯的形式語義、公理系統(tǒng)、表列系統(tǒng)和模態(tài)語義，以及模態(tài)邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態(tài)邏輯和復雜一階模態(tài)邏輯。書中有大量的例子和練習，

西方邏輯在貴州的傳播、發(fā)展既有輝煌的歷程，也有坎坷的經歷，既凸顯了西方邏輯在中國傳播、發(fā)展的共同性，又呈現(xiàn)出差異性。從學術史研究的維度看，西方邏輯在貴州傳播、發(fā)展的歷史，無疑是中華學術史寶庫中的重要個案，同時也是貴州學術史研究的重要內容之一。通過考察貴州這一個案，揭示其發(fā)展規(guī)律及特點，總結得失，既可豐富中國邏輯史的研究

黑格爾的《邏輯學》是西方哲學史上最晦澀難讀的著作之一。本書對《邏輯學》的基本思想進行了簡要的、比較系統(tǒng)的概括和闡述。本書對于研究西方哲學的學生和教師曾經產生過巨大的影響。

本書旨在為所有愿意認真理性思考的青年學者系統(tǒng)性地解釋確保思維和表達正確性的邏輯學�？梢哉f邏輯學是每一位愿意認真理性思考者的必備工具。它的雛形是古希臘哲學家亞里士多德所鍛造的形式邏輯。它是經過自十七世紀以來數(shù)百年演化以及融合了萊布尼茨、布爾、弗雷格、康托爾、哥德爾、塔爾斯基等杰出貢獻的智慧產物。本書將向讀者解釋該系統(tǒng)工具

本書主要內容為管理類聯(lián)考邏輯應試輔導用書，涉及參加MPA、MBA、會計碩士、工程碩士等幾個專業(yè)學位綜合能力考試科目的內容，具體包含邏輯推理和常識判斷等邏輯應試歷年真題解析。

本書是邏輯考試輔導專家、名師楊武金教授，編寫的一本供管理類聯(lián)考綜合能力邏輯考試考生復習的教材，目的是為考生了解歷年真題，獲取高分。管理類聯(lián)考邏輯試題內容從根本上可以分為三部分：形式推理、非形式推理和論證分析。本書包含這三方面的內容，通過附帶真題的講解，并配套編寫模擬練習，為考生指明方向。

本書主要內容為管理類聯(lián)考邏輯應試輔導用書，涉及參加MPA、MBA、會計碩士、工程碩士等幾個專業(yè)學位綜合能力考試科目的內容，具體包含邏輯推理和常識判斷等，試卷有50道邏輯推理試題結構，本書主要是進行考前邏輯知識講解掌握，對考點進行分類精講，同時配以適當?shù)木毩曨}進行講解訓練。

我國邏輯學家、哲學家金岳霖曾說：邏輯是生活中找尋并滿足其愿望的實際工具，沒有邏輯，我們的生活將十分沉重，以致幾乎是不可能的。很多人都認為邏輯學寬廣且枯燥深奧，不容易學習更不容易運用。本書作者認為，邏輯在生活中無處不在，邏輯時刻服務于我們的生活，即便很多人對其沒有清楚的概念。作者在本書以碎片化的文本形式、貼近生活的案例和

邏輯力是人類大腦理性分析和判斷的基礎，對于成人有助于更好地解決日常生活中的復雜實際問題，對于學生有助于準確快速解決數(shù)理化等學科問題。不管你天生聰明與否，邏輯力都可以通過后天的學習和訓練得以提升。這本書列舉了45道題目，它們非常有趣卻又能讓人腦洞大開，需要用嚴密的邏輯推理以及靈光一現(xiàn)的反常識靈感才能解開。作者也提供了獨辟