《形式化：現代邏輯的發展》是現代朱水林編著的一部哲學著作。
《形式化：現代邏輯的發展》是現代朱水林編著的一部哲學著作。內容簡介本書以形式化為主線，在追溯邏輯發展史的同時，闡述了現代邏輯的孕育、形成和發展，從哲學的角度把握了整個邏輯學的內在統一性，並以通俗易懂非邏輯化的語言，對數理...
現代邏輯是指數理邏輯和套用數理邏輯而形成的邏輯系統。定義 現代邏輯指邏輯發展的最高階段，即對稱邏輯。邏輯的發展經過形式邏輯與辯證邏輯兩大階段，辯證邏輯的發展經過矛盾邏輯與對稱邏輯兩大階段。對稱邏輯既指對稱的思維規律與思維方式，也指研究人的整體思維規律的學說。對稱邏輯以對稱規律為基本的思維規律，是思維...
形式化方法在古代就運用了,而在現代邏輯中又有了進一步的發展和完善。這種方法特別在數學、計算機科學、人工智慧等領域得到廣泛運用。它能精確地揭示各種邏輯規律,制定相應的邏輯規則,使各種理論體系更加嚴密。同時也能正確地訓練思維、提高思維的抽象能力。發展過程 軟體形式化方法最早可追溯到20世紀50年代後期對於程式...
而傳統邏輯一開始就不是什麼“純思維形式”的科學。傳統邏輯的創始人亞里士多德認為判斷的主詞和賓詞的聯繫就反映了事物之間的客觀關係，列寧說他的邏輯學是尋求、探索，它接近於黑格爾的邏輯學。後來傳統邏輯的發展，與其說被“形式”主義化了，還不如說是被歪曲化了。因為，根據恩格斯的傳統邏輯和辯證邏輯的關係是...
《形式邏輯要現代化——家龍師談邏輯》是2018年11月01日科學出版社出版的圖書，作者是劉新文、賈青。內容簡介 本書收集了張家龍研究員從1978年開始發表的部分論文和演講報告，分上、下兩篇。上篇主要涉及我國邏輯教學和研究的現代化問題，下篇是張家龍研究員在數理邏輯、模態邏輯、邏輯哲學領域中的重要研究成果。圖書...
邏輯學有廣義和狹義之分。狹義的邏輯學指：研究推理的科學，即只研究如何從前提必然推出結論的科學。廣義的邏輯學指：研究思維形式，思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大，是一種傳統的認識，與哲學研究有很大關係。整個邏輯學科的體系非常龐大複雜，如：傳統的、現代的和辯證的、演繹的、歸納...
邏輯學的發展 本文從自然語言、半形式化語言和形式化語言的特徵看邏輯學的發展。自然語言 自然語言文字的一個重要特徵 : 人們在日常生活中所使用的語言文字，可以分為拼音語言文字和非拼音語言文字兩大類。英語語言文字、俄語語言文字、法語語言文字、德語語言文字、義大利語語言文字、西班牙語語言文字等都是拼音語言語言...
《現代邏輯引論》是1989年上海人民出版社出版的圖書，作者是朱水林。內容簡介 主要講述了現代邏輯的涵義、範圍，從內涵和外延兩個方面，較為充分地作了論述，對現代邏輯作了界定。現代邏輯是傳統邏輯發展的最新階段，是用形式化的方法研究思維的形式結構及其規律的學科。當今，現代邏輯處於蓬勃發展時期。幾十年來，它的...
邏輯演算的思想，也就是數理邏輯最初的思想，首先由 G.W.萊布尼茨明確提出，又經 G.布爾、（F.L.）G.弗雷格、B.A.W.羅素和A.N.懷特海等加以發展和完善。現代數理邏輯的研究已遠遠超出了邏輯演算的範圍而發展成為四個主要分支──模型論、公理集合論、遞歸論和證明論。形式 由於形式推理在公理化數學中用得最...
《求實邏輯九章：形式邏輯的最新發展》是2010年九州出版社出版的圖書，作者是解脫。內容簡介 求實邏輯就是從概念外延間的關係方面研究思維的結構及其規律的科學。研究思維的結構及其規律，必須從概念外延間的關係出發，也只有從概念外延間的關係出發，才能做到“求實”。對於已經學過形式邏輯的讀者來說，了解並掌握求實...
幾何代數是現代數學發展的重要成果，可以作為數學物理的統一描述語言，是描述機器人機構的理想數學理論。本項目研究基於幾何代數的機器人機構學高階邏輯建模、驗證理論和方法，包括幾何代數空間的高階邏輯建模；幾何代數中幾何對象以及剛體運動的形式化表達；基於幾何代數的機器人機構運動特性形式化分析與驗證方法。本項目將...
一、邏輯科學在現代科學中的地位 二、傳統形式邏輯與數理邏輯 三、當代形式邏輯語義學、語構學、語用學 四、當代形式邏輯的研究領域、哲學思想和理論觀點 第1篇 客觀世界的邏輯結構和邏輯規律 第1章 當代形式邏輯語義學基礎（1）——客觀世界的項和事件 1.1 客觀世界的集 1.2 客觀世界的N目組、N目組集和N...
前者導致“軟體工程”的出現和發展，後者則推動了形式化方法的深入研究。經過30多 年的研究和套用，如今人們在形式化方法這一領域取得了大量、重要的成果，從早期最簡單的形式化方法一階謂詞演算方法到現在的套用於不同領域、不同階段的基於邏輯、狀態機、網路、進程代數、代數等眾多形式化方法。形式化方法的發展趨勢...
《邏輯學引論》是2004年1月東南大學出版社出版的圖書，作者是陳愛華。內容簡介 本書既融思想性,科學性,審美性和趣味性為一體,又有形式邏輯的形式化,公式化,精確化特徵,形成了多維立體寬廣視野。第一，引進現代邏輯發展中的批判性思維向度,並在習題中編排了相關的套用練習,為讀者進行MBA，MPA，GCT-ME等批判性思維...
機率邏輯的一種現代類型。它的特點是運用現代的邏輯與數學工具，主要是運用數理邏輯與機率理論對歸納邏輯、歸納方法進行形式化、數量化的研究。亞里士多德在論述歸納問題時曾提出過類似於機率的頻率解釋的思想。G.W.萊布尼茲則用三值（0，1，1/2）近似地刻畫過機率的特性，並提出要將機率作為邏輯的一個分支。簡介 ...
現代不同的科學領域所套用的歸納方法不盡相同。如在設計科學實驗時用培根、密爾的歸納方法與數理統計相結合的方法，在醫學和經濟學中多套用數理統計。現代歸納邏輯在理論方面的一種發展趨勢，就是用數理邏輯的工具對歸納推理進行系統的、形式化的研究，構造出各種歸納邏輯的公理系統。機率邏輯和模態歸納邏輯就是其中的...
