形式邏輯的創造者

⑴ 形式邏輯和非形式邏輯的區別

1、定義不同

形式邏輯：研究人的認識知性階段思維規律的學說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規律也是思維形式和思維內容的統一。

非形式邏輯：泛指能夠用於分析、評估和改進出現於人際交流、廣告、政治辯論、法庭辯論以及報紙、電視、網際網路等大眾媒體之中的非形式推理和論證的邏輯理論。

2、發展歷史不同

形式邏輯：已經歷了2000多年的歷史，19世紀中葉以前的形式邏輯主要是傳統邏輯，19世紀中葉以後發展起來的現代形式邏輯，通常稱為數理邏輯，也稱為符號邏輯。

非形式邏輯：興起於20世紀70年代的北美，奠基人為拉爾夫·約翰遜和安東尼·布萊爾。他們於1977年合著的《邏輯的自我辯護》是較早強調非形式推理的具體例子的導論性著作。

1978年由他們組織的首屆國際非形式邏輯研討會以及所編輯的《非形式邏輯通訊》（後改名為《非形式邏輯》）標志著非形式邏輯作為一門獨立學科的正式誕生。

3、研究不同

形式邏輯：在研究方法上，形式邏輯企圖將建立在有限思維內容之上的的思維形式推廣到思維的全部，這顯然是不可能的。要證明這一點，不妨假設形式邏輯確實是完備的邏輯。那麼不難發現，這種自詡為人類邏輯的典範的邏輯居然不考慮人的情感與好惡，

這種自認為最善於解釋的邏輯竟然用「因為A理論不符合形式邏輯的甲要求，所以它是錯的」這種本質上是「因為錯的，所以錯的」，或者說「因為不符合我，所以錯了」這種神學式的言論，

這種立志無所不包的邏輯至少在生活事件面前是慘白無力——就可以斷定這絕不是一種可以完整反映人類思維的邏輯。

非形式邏輯：非形式邏輯的主要研究對象是普通人在現實生活中所使用的真實的論證。論證是人們用於交流、傳播、表達思想的重要載體，是用以說服並影響他人觀點和立場的有力工具，是進行理性探討深化認識的主要形式。

好的論證有說服力，讓人無可辯駁，而糟糕的論證則蒼白無力。有的論證貌似合理，有很大的迷惑性，實則經不起推敲，在邏輯上站不住腳。非形式邏輯致力於發現 、 分析和發展人們在日常生活中運用與分析論證的標准、程序和模式，它並不先天地排斥形式化方法，

但鑒於形式化方法在普通人的日常生活的應用極為有限，非形式邏輯與傳統邏輯學研究的形式化取向自然是大異其趣。

⑵ 形式邏輯，如何將A→B→C中箭頭全部轉換為V，即或者的形式

A→B→C 等價於 A且非B或C
以下為解釋：
A或B 有三種情況（選A ，選B，選AB）即 A、B中至少選一個。所以不選A，就一定要選B。所以 非A→B 。
即：A或B 等價於 非A→B。
同理，在 非A或B中，不選非A（即選A）就要選B，則 A→B。
如果要A→B→C，用整體替換的方法，可以得出A且非B或C。
首先A→B 為 非A或B，則A→B→C 變成 非A或B→C，這其實又是一個A→B樣式的等式，把 非A或B 想像成 A ，把C想像成B，則得到
非A或B→C 等價於 （非（非A或B））或C，
再利用德摩根定律把括弧去掉，得到最終等式
A且非B或C
且和或的推理我也學了好久才懂，希望能給你幫助。

⑶ 辨證邏輯之長與形式邏輯之短的作者是誰本人非常佩服作者的才華,能與作者(我的郵箱是[email protected])

http://www..com/s?tn=myie2&ch=3&ie=utf-8&bs=%E8%BE%A9%E8%AF%81%E9%80%BB%E8%BE%91%E4%B9%8B%E9%95%BF%E4%B8%8E%E5%BD%A2%E5%BC%8F%E9%80%BB%E8%BE%91%E4%B9%8B%E7%9F%AD&f=8&rsv_bp=1&wd=%E8%BE%A9%E8%AF%81%E9%80%BB%E8%BE%91%E4%B9%8B%E9%95%BF%E4%B8%8E%E5%BD%A2%E5%BC%8F%E9%80%BB%E8%BE%91%E4%B9%8B%E7%9F%AD+%E4%BD%9C%E8%80%85&rsv_sug3=6&rsv_sug1=6&rsv_sug4=128&inputT=3607

⑷ 形式邏輯的試題

「我們是中國人」，這句話里的「中國人」是非集合概念，因為「中國人」在這句話里是適內用於「我們」容之中的每一個人。
「中國人是勤勞勇敢的」，這句話里的「中國人」是集合概念，因為這句話並不是說某一個具體的中國人是勤勞勇敢的，而是把「中國人」當做一個整體來對待。

用這兩句話，可以舉一個反面例子（分不清同一個概念是在集合意義下還是非集合意義下使用的錯誤）：
中國人是勤勞勇敢的。
我們是中國人。
所以，我們是勤勞勇敢的。

⑸ 什麼是形式邏輯和辯證邏輯，如何用最簡單的例子解釋下

（一）抄形式邏輯
所謂形式邏輯是襲在「質」的規定不變的情況下,對「質」的同態性表述.它反映的是事物的「象素」、是量的積累.也就是說,形式邏輯的推演表現的是事物自身的等同性,即在推演的過程中,事物的質的規定不能從一種質的規定變化為另一種質的規定.以下棋為例,若規定是中國象棋,則在下棋（對奕）的過程中,「馬走日字」
的規定不能變.如果一個下棋的人,一會馬走日字,一會又走田字,對自己怎麼有利就怎麼走,這是不能允許的.在數學的演繹過程中,無論如何變化,等式的兩端必須相等.也就是說,在演繹的過程中要素要保持自身的質的不變性

⑹ 形式邏輯和非形式邏輯的區別

形式邏輯是一門以思維形式及其規律為主要研究對象，同時也涉及一些簡單的版邏輯方法的科學。 概念、判斷、權推理是形式邏輯的三大基本要素。非形式邏輯是邏輯的一個分支，其任務是講述日常生活中分析、解釋、評價、批評和論證建構的非形式標准、尺度和程序。
簡單說，形式邏輯是按照一定的邏輯推理規則，按照一定的步驟進行推理，而形式邏輯是我們日常生活中常用的邏輯思維推理。

⑺ 求金岳霖的《形式邏輯》，PDF格式的可以，謝謝。。。 我的郵箱是[email protected]

樓主你好，書已經發好了（18755開頭的Q郵箱發出），請注意查收哦~ 如有問題請在線追問我，我會盡快解決如果滿意還望順手採納哦(*^__^*) ,謝謝.祝開心...

⑻ 形式邏輯學的創造者是誰

形式邏輯在歐洲的創始人是古希臘的亞里士多德。亞里士多德的建立了第一個邏專輯系統，即三段屬論理論。其論述形式邏輯的代表作有《形而上學》和《工具論》。繼亞里士多德之後，麥加拉-斯多阿學派邏輯揭示出命題聯結詞的一些重要性質，發現了若干與命題聯結詞有關的推理形式和規律，發展了演繹邏輯。
在中國，形式邏輯的產生基本與歐洲同時。代表學派有墨家與名家，此外還有儒家的荀子。

⑼ 形式邏輯中的SAP、SIP、SEP、SOP的英文原文是什麼

S是subject，P是predicate。

SAP，全稱是subject affirmatvie predicate，全稱肯定命題，A是affirmatvie，拉丁語里是a-fir-mo，取第一個母音，A。全稱肯定命題反映了主項的所有外延全都具有某種性質，表示形式為：所有S是P，

SEP，全稱是subjectnegativepredicate，全稱否定命題，E是negative，拉丁語里是ne-go，取第一個母音，E。全稱否定命題反映了主項的所有外延全都不具有某種性質，表示形式為：所有S不是P，縮寫為SEP。

SIP，特稱肯定命題，I是affirmatvie，拉丁語里是a-fir-mo，取第二個母音I。特稱肯定命題反映了主項的一部分外延都具有某種性質，表示形式為：有的S是P，縮寫為SIP。

SOP，特稱否定命題，O還是negative，拉丁語里是ne-go，取第二個母音O。特稱否定命題反映了主項的一部分外延全都不具有某種性質，表示形式為：有的S不是P，縮寫為SOP

(9)形式邏輯的創造者擴展閱讀：

形式邏輯也叫普通邏輯。研究思維形式及其規律的科學。它是一門工具性質的科學，是人們認識事物、表達思想時經常運用的一種必要的邏輯工具。

人的認識在理性階段要實現對客觀世界的反映，就要實現思維內容和思維形式的統一，否則，就不能實現這個反映。

思維內容就是思維所反映的對象及其屬性，形式就是對某個對象反映的方式，也就是用詞語表達的概念、用語句所表達的判斷和用復句所表達的推理等。

⑽ 怎樣理解形式邏輯三大基本規律的普遍適用性

同一律、不茅盾律、排中律是形式邏輯思維的三條基本規律.同一律規定在同版一思維過權程中關於同一對象的同一思想自身都具有同一性,使用的思想概念、判斷必須保持確實內容.不矛盾律要求人們在同一思維過程中,必須保持思想前後一致.否則就會自相矛盾,犯邏輯矛盾的錯誤.排中律則要求在同一思維過程中關於同一對象的兩個相互矛盾的思想不能同假,必有一真.也就是說面對互相矛盾的思想不能夠同時加以否定,必須在是與非之間作出選擇,不能含糊不清.