《現代邏輯學問題》是中國人民大學出版社出版的圖書，作者是(日)末木剛博。
基本介紹
- 中文名：現代邏輯學問題
- 作者：(日)末木剛博
- 出版時間：1983年7月
- 出版社：中國人民大學出版社
- 頁數：216 頁
- 定價：0.72 元
- 裝幀：平裝
- 統一書號：2011-109
- 分類：中圖分類 : B81
現代邏輯學問題
相關詞條
- 現代邏輯學問題
《現代邏輯學問題》是中國人民大學出版社出版的圖書，作者是(日)末木剛博。...
- 現代邏輯學
《現代邏輯學》是現代李樹琦、蔡春庚、蔣艷華編著的一部哲學著作。內容簡介 本書系重慶出版社《現代社會科學叢書》之一，全書內容分為九章和一個附錄。第一章緒論首先指出：“現代邏輯”是跟“傳統邏輯”相對而言的，傳統邏輯又主要是指...
- 反事實條件句邏輯
反事實條件句邏輯是現代邏輯分支之一。研究反事實條件句的邏輯特性及與之有關的邏輯推理問題。在日常語言中，條件句可以分為直陳的條件句和虛擬的條件句兩類，以虛擬語氣形式出現的條件句就稱為反事實條件句。運用數理邏輯方法對反事實條件句...
- 悖論(邏輯學詞語概念)
隨著現代數學、邏輯學、物理學和天文學的快速發展，又有不少新的悖論大量湧現，人們在孜孜不倦地探索，預計他們的成果將極大地改變我們的思維觀念。自指類悖論 以下諸例都存在著一個概念自指或自相關的問題：如果從肯定命題入手，就會...
- 道義邏輯
道義邏輯是現代邏輯分支之一。廣義模態邏輯的一種。研究含有必須、允許等道義詞的道義命題以及道義演繹系統。14世紀的霍爾科特已討論過模態邏輯和道義邏輯之間的相似之處。萊布尼茨提出過必須履行的、允許的、禁止的和可選擇的等道義概念。康...
- 語言與現代邏輯
語言哲學和語言邏輯 語言邏輯是現代語言學和現代邏輯學交叉發展起來的新興學科。語言邏輯研究語言和語言學中的邏輯學問題，同時也研究邏輯學的語言基礎問題。語言邏輯按照語形學（syntax）、語義學（semantics）和語用學（pragmatics）的研究...
- 現代邏輯學講義
現代邏輯學講義：模態邏輯 第1章公理化系統 1公理化系統協調性和諧性 2初等系統 3基本系統 4退化系統 5其他一些重要的系統 第2章強推演、一致性與極大一致性 1強推演 2S-一致性與極大性 第3章關係語義與可靠性定理 1關係語義 2...
- 關係邏輯
邏輯有時也指邏輯學.邏輯學是研究推理規律的理論.邏輯學分古典邏輯和現代邏輯.邏輯又有演繹邏輯,歸納邏輯,形式邏輯,非形式邏輯等不同類型.邏輯推理中的已知條件和結論都是可以判斷真假的命題.如果把命題作為最基本的成分,只研究命題推理...
- 多值邏輯與連續邏輯
多值邏輯是正在發展中的現代科學領域之一。多值邏輯與古典邏輯中真值只能取“真”、“假”兩值不同，它可以取三個，四個，……，直至無限個。因而從哲學、邏輯學的角度，存在如何解釋各個真值的意義，以及多值邏輯和古典的二值邏輯的...
- 現代邏輯引論
引言概述了現代邏輯的涵義、範圍，從內涵和外延兩個方面，較為充分地作了論述，對現代邏輯作了界定。引言還從邏輯學與數學、邏輯學與哲學、邏輯學與語言學、純邏輯學四個方面較為詳細地闡述了現代邏輯學的發展趨勢。第一章至第四章，...
- 規範邏輯
規範邏輯亦稱“義務邏輯”、“道義邏輯”、“倫理邏輯”。被稱為廣義模態邏輯的 --神。研究含有必須、允許等規範詞的規範命題以及規範演繹系統的現代邏輯分支。14世紀的羅伯特·霍爾科特已討論過模態邏輯和義務邏輯之間的相似之處。萊布尼沃...
- 哥德爾不完全性定理(數理邏輯術語)
哥德爾是奧地利裔美國著名數學家，不完備性定理是他在1931年提出來的。這一理論使數學基礎研究發生了劃時代的變化，更是現代邏輯史上很重要的一座里程碑。該定理與塔爾斯基的形式語言的真理論，圖靈機和判定問題，被讚譽為現代邏輯科學在...
- 形式邏輯(邏輯學術語)
形式邏輯已經歷了2000多年的歷史，19世紀中葉以前的形式邏輯主要是傳統邏輯，19世紀中葉以後發展起來的現代形式邏輯，通常稱為數理邏輯，也稱為符號邏輯。傳統邏輯 傳統邏輯通常把命題分為直言命題、選言命題和假言命題，並研究這幾種命題的...
- 制約邏輯
制約邏輯是傳統形式邏輯與正統數理邏輯（現代邏輯）有機結合的產物，它運用現代邏輯提供的嚴格精密的數學方法，去構造一個能確切地體現傳統形式邏輯的深刻正確的主導思想的非正統的制約邏輯系統。主要特點 既具有傳統形式邏輯的深刻而正確的...
- 邏輯學(哲學分支學科)
總之，現代邏輯科學實則是一門與數學等自然科學有緊密聯繫，也與社會科學有一定關聯的實證科學和思維科學。由此，學習現代意義上的邏輯科學，不僅是接受現代邏輯的教育，也是接受自然科學的教育。產生與發展 邏輯學已有二千多年的歷史，其發源...
- 形式化:現代邏輯的發展
本書在介紹了數學的形式化、邏輯學的形式化、現代邏輯基礎之後，著重介紹了現代邏輯的三個劃時代的成果：哥德爾不完全性定理，塔斯基的形式語言真理論，圖錄機和判定問題的內涵、意義及其影響。作者認 出版信息 人民出版社1987年5月版，14...
- 邏輯學若干問題研究
喜讀全國高等師專教材《普通邏輯》知己知彼，發展邏輯學——介紹《今日邏輯科學》應按照邏輯的本來面目討論邏輯——評《形式邏輯與數理邏輯比較研究》勇敢者的心路——評王方名學術論文選《邏輯探索》關於直言命題的換位 向現代邏輯前進—...
- 多值邏輯
多值命題邏輯與適當的量詞理論結合在一起，就構成多值謂詞邏輯。對布爾值邏輯說來，已證明了，經典謂詞演算的公理和推理規則在每一布爾值邏輯中都成立。套用領域 現代邏輯的一個研究領域。在古典邏輯中，一命題只能取“真”、“假”二...
- 邏輯與哲學:現代邏輯導論
霍華德·卡哈尼（Howard Kahane,1928—2001）,美國著名邏輯教育家，曾先後任教於堪薩斯大學、馬里蘭大學等。主要代表作：《邏輯與哲學：現代邏輯導論》（1969年第一版，至第六版為獨立作者，以後各版與他人合作），《六個歸納問題》（1962...
- 現代邏輯導論
霍華德·卡哈尼（Howard Kahane,1928—2001）,美國著名邏輯教育家，曾先後任教於堪薩斯大學、馬里蘭大學等。主要代表作：《邏輯與哲學：現代邏輯導論》（1969年第一版，至第六版為獨立作者，以後各版與他人合作），《六個歸納問題》（1962...
- 邏輯與哲學:現代邏輯導論(第九版)
《邏輯與哲學：現代邏輯導論（第九版）》是一本2017年09月15日中國人民大學出版社出版的圖書，作者是保羅·蒂德曼。內容簡介 該書是迄今為止國際上最暢銷的現代邏輯基礎教程（沒有“之一”）。該教程是面向那些需要關於邏輯學既嚴格而又...
- 計算機科學中的現代邏輯學
《計算機科學中的現代邏輯學》是2001年9月科學出版社出版的圖書，作者是王元元。內容介紹 1989年科學出版社出版了《計算機科學中的邏輯學》，該書於1992年獲國家優秀教材獎，1997年被國家教委列為“九五“規劃重點發展教材。根據教材建設...
- 邏輯學:從形式邏輯到非形式邏輯
五 “初等邏輯”與“非初等邏輯 第四章 弗雷格的形式語言思想 一 概念與函式 二 量詞與普遍性 三 含義和意謂 四 邏輯學與真 第五章 弗雷格的形式系統 一 初始符號 二 初始公理 三 傳統邏輯和現代邏輯 四 邏輯研究與邏輯教學 第...
- 靜態邏輯和動態邏輯
傳統的邏輯學家們把太多的精力投入到對舊體系的細化與修飾上，卻沒有人想到低頭關注一下邏輯學大廈的地基是否有問題。源於亞里士多德的傳統形式邏輯就像是古代的鍊金術，而不是現代的化學學科。它雖然是源頭，包含了許多真知灼見，但卻...
- 形式邏輯學
亞里士多德的工具論是形式邏輯發展的基礎。可以說沒有工具論就沒有形式邏輯。邏輯研究能夠提高一個人的理解、分析、評價和構造論證的能力。因為這個原因，邏輯為現代大學的教學做出了重大的貢獻。定義 “形式邏輯學”是關於“形式邏輯”即...
- 非形式邏輯
符號邏輯的誕生對20世紀整個西方哲學的影響無疑是革命性的，對當代數學、計算機科學和 語言學的發展也產生了巨大的推動作用。然而，形式邏輯，包括古典的範疇邏輯和現代符號 邏輯，與人們的日常生活和思維活動之間的距離相當疏遠。首先，形式...
- 命題函項
這個概念是現代邏輯學即數理邏輯的起點，而這個起點要歸功於弗雷格。基本信息 {轉自中山大學黃敏教授的微博} 例題 下面介紹弗雷格是如何分析命題的。弗雷格通過對函式的語義學研究對命題進行分析的基本模式。看這樣一個函式式：（1）y=x...
