普通邏輯-普通邏輯的對象學(xué)習(xí)普通邏輯的意義(ppt)
普 通 邏 輯
第一章 引論
本章學(xué)習(xí)重點(diǎn):
普通邏輯的對象
學(xué)習(xí)普通邏輯的意義

第一節(jié) 普通邏輯的對象
邏輯學(xué)是由古希臘的亞里士多德Aristotle 創(chuàng)立的，發(fā)展到今天已經(jīng)成為包括多種類型和多個(gè)分支的學(xué)科。
“普通邏輯 ”
普通邏輯作為一門課程以介紹傳統(tǒng)形式邏輯和古典歸納邏輯為主，也介紹一些簡單的邏輯方法，同時(shí)介紹一些現(xiàn)代形式邏輯和現(xiàn)代歸納邏輯的基礎(chǔ)知識。
概括地說，普通邏輯主要研究思維的邏輯形式，同時(shí)也研究思維的邏輯規(guī)律和簡單的邏輯方法。
⒈思維和思維形式 Form of thinking
思維是人腦對于客觀世界的間接的、概括的反映。邏輯是以思維為研究對象的，但它不研究思維的一切方面。
思維有內(nèi)容和形式兩個(gè)方面，邏輯不研究思維的內(nèi)容，只研究思維的形式方面。思維形式即思維內(nèi)容的表現(xiàn)形式，有概念（concept） 、命題（proposition ）（判斷）和推理（inference）等。
⒉思維的邏輯形式
思維活動(dòng)主要是推理，研究思維的形式方面也就是研究推理的形式結(jié)構(gòu)。
推理的前提和結(jié)論是命題，因而也要研究命題的形式結(jié)構(gòu)。
命題和推理的形式結(jié)構(gòu)就是思維的邏輯形式。
邏輯對于思維的形式結(jié)構(gòu)也只是關(guān)心它們所表現(xiàn)的思維的真假關(guān)系，不關(guān)心它們的其他方面，例如邏輯不研究思維形式結(jié)構(gòu)與思維內(nèi)容的關(guān)系。
①邏輯形式 Logical form
邏輯形式是指命題和推理的形式結(jié)構(gòu)。
命題的形式結(jié)構(gòu)：
“所有S是P”；“如果p則q”。
推理的形式結(jié)構(gòu)：
所有M是P，
有的S是M，
所以，有的S是P。
②邏輯形式的構(gòu)成
變項(xiàng)表示思想內(nèi)容，用字母p、q、r……表示，可以代換不同的概念或復(fù)合命題的子命題或任意命題。
常項(xiàng)表示數(shù)量關(guān)系的量詞或命題聯(lián)結(jié)詞，在一個(gè)邏輯形式中保持不變。邏輯常項(xiàng)規(guī)定著邏輯形式，區(qū)分不同的邏輯形式要看常項(xiàng)。
所 有 S 是 P 如 果 p 那么 q
⒉思維的邏輯規(guī)律 Logical law
邏輯形式的規(guī)律性在于：有一類邏輯形式在任意代入下都表達(dá)真實(shí)的思想內(nèi)容，這類邏輯形式稱為邏輯規(guī)律。例如“S是S”、“并非P并且非P”等。
另一類思維形式結(jié)構(gòu)在任意代入下都表達(dá)虛假的思想內(nèi)容，這類思維形式結(jié)構(gòu)稱為邏輯矛盾。例如“有S不是S”、“P并且非P”等。
此外，還有一類思維形式結(jié)構(gòu)在有的代入下表達(dá)真實(shí)的思想內(nèi)容，在有的代入下表達(dá)虛假的思想內(nèi)容。例如“所有S是P”、“如果p那么q”等。
合乎邏輯
邏輯學(xué)論證、運(yùn)用邏輯規(guī)律，發(fā)現(xiàn)和排除邏輯矛盾，使人的思維具有結(jié)構(gòu)上的正確性，即合乎邏輯。
邏輯規(guī)律是保證邏輯形式正確性所必須遵守的最起碼的思維法則，包括三條，即同一律、矛盾律和排中律。
邏輯規(guī)律是從正確的邏輯形式中總結(jié)概括出來的，對各類邏輯形式的正確運(yùn)用，具有某種普遍性的意義，故上述三條規(guī)律被稱為邏輯形式的基本規(guī)律。
⒊簡單的邏輯方法
普通邏輯研究的邏輯方法主要是指：概括、限制、定義、劃分、探求因果聯(lián)系的邏輯方法等等。
之所以稱為簡單的邏輯方法，完全是相對于辯證思維的邏輯方法而言的。
二、邏輯形式與語言形式
思維的邏輯形式總是和一定語言形式相對應(yīng)。但不能把語言形式與邏輯形式混為一談。
第一，同一種邏輯形式可以用不同的語言形式來表達(dá)；
第二，同一個(gè)語言形式在不同場合可以表達(dá)不同的邏輯形式。
自然語言與人工語言
語言可以分為自然語言和人工語言。
自然語言Natural language(日常語言)是人類進(jìn)行和表達(dá)日常思維的語言。漢語、英語、日語等等，都是自然語言。自然語言有兩個(gè)重要特點(diǎn)：第一，自然語言是人們在長期社會(huì)實(shí)踐中約定俗成的；第二，自然語言通常有歧義，同一語詞、語句在不同語境下可以表達(dá)不同含義。
人工語言Artificial language是人類為進(jìn)行某種科學(xué)研究，通過嚴(yán)格定義的方式而專門創(chuàng)立的語言。數(shù)學(xué)語言是一種典型的人工語言。邏輯學(xué)所運(yùn)用的人工語言，稱為符號語言。符號語言區(qū)別于自然語言的重要特征是:前者排除歧義。

三、有效性與可靠性
邏輯學(xué)研究的核心課題，是推理及其有效性的判定，即要回答什么樣的推理是正確的，什么樣的推理是錯(cuò)誤的，如何判定它們。
在一個(gè)演繹推理中，當(dāng)所有的前提為真(Truth)時(shí)，其結(jié)論必然為真。這樣的演繹推理形式就是有效的，否則便是無效的。
推理的有效性，指的是推理形式的有效或無效，它只與推理形式有關(guān)，而與推理前提的內(nèi)容的真或假是無關(guān)的。
但是，一個(gè)推理要保證得到一個(gè)真實(shí)的結(jié)論，不僅要求推理形式有效，而且要求推理的前提真實(shí)，二者缺一不可。

在歸納推理和類比推理中，前提與結(jié)論的聯(lián)系不是必然的，而是或然的，即使前提都真，結(jié)論也未必真，前提只能為結(jié)論提供一定程度的支持。
推理的前提可以都是真實(shí)的，但卻不能保證結(jié)論一定真實(shí)，它的真實(shí)前提只是為結(jié)論的真實(shí)提供一定程度的支持。支持的程度越大，結(jié)論的可靠性程度越高。
因此，普通邏輯研究推理的中心任務(wù)是：保證演繹推理形式的有效性，提高歸納推理和類比推理結(jié)論的可靠性程度。
第二節(jié) 邏輯學(xué)的性質(zhì)和作用
一、邏輯學(xué)的性質(zhì)
⒈基礎(chǔ)性 人類的一切思維活動(dòng)和知識領(lǐng)域都要應(yīng)用邏輯，離不開邏輯。在學(xué)科分類中，邏輯學(xué)屬于基礎(chǔ)科學(xué)。
⒉工具性 人類的思維、認(rèn)識和表達(dá)都要借助與邏輯。邏輯學(xué)既是表述和論證的工具，又是認(rèn)識的工具。
⒊全人類性 邏輯沒有民族性、沒有階級性，是全人類共同擁有的。
二、邏輯學(xué)的作用
邏輯（普通邏輯）是人類認(rèn)識與交際的必要工具，是探求真理、駁斥謬誤的輔助方法。學(xué)習(xí)邏輯：
一、 可以獲得探求新知識的工具；
二、有助于表達(dá)的準(zhǔn)確性和交際的有效性，減少或避免思維表達(dá)中的謬誤；
三、有助于識別和駁斥謬誤、揭露詭辯。

邏輯類型 logical types
邏輯的研究對象因邏輯類型而異，不同的邏輯類型正是由于研究對象或研究方法的不同而形成的。
對于邏輯可作狹義和廣義兩種解釋：
狹義的邏輯只研究必然性推理，也叫演繹推理。廣義的邏輯不僅研究必然性推理，還研究或然性（概然性）推理，主要是歸納推理。
邏輯也研究一些專門的方法，如：演繹方法、歸納方法及其它屬于邏輯應(yīng)用的方法。

㈠形式邏輯 Formal logic
形式邏輯是研究必然性推理的，也叫演繹邏輯。
形式邏輯有傳統(tǒng)形式邏輯和現(xiàn)代形式邏輯。
⒈傳統(tǒng)形式邏輯
傳統(tǒng)形式邏輯主要是指亞里士多德的邏輯和斯多葛學(xué)派的邏輯。
傳統(tǒng)形式邏輯對各種推理都提出了相應(yīng)的規(guī)則，根據(jù)這些規(guī)則可以識別一個(gè)具體的推理在形式上是否正確，對于分析日常的簡單的推理來說，具有便于運(yùn)用、容易理解的長處。
但是，傳統(tǒng)形式邏輯不適應(yīng)現(xiàn)代科學(xué)技術(shù)對邏輯學(xué)所提出的要求，即使是分析日常思維它也不是足夠的。

第一，它是使用自然語言表述命題形式和推理形式的，而自然語言的語詞和語句每有歧義，使用有歧義的詞句表示命題形式難免模糊不清。
第二，傳統(tǒng)形式邏輯把推理的格式固定化，對前提和結(jié)論的數(shù)目和形式、對前提和結(jié)論中的詞項(xiàng)的數(shù)目都有規(guī)定。這種情況導(dǎo)致傳統(tǒng)形式邏輯只能處理少數(shù)幾種推理，應(yīng)用面比較窄。
第三，傳統(tǒng)形式邏輯只限于討論主謂句式的命題，而關(guān)系命題以及含有關(guān)系命題的推理，則在它的研究視野之外，這也限制了它的應(yīng)用范圍。
⒉現(xiàn)代形式邏輯
現(xiàn)代形式邏輯是傳統(tǒng)形式邏輯的直接延展，是傳統(tǒng)形式邏輯的精確化、嚴(yán)格化和完善化，它首先指的是數(shù)理邏輯命題演算和謂詞演算那一部分。
廣義的數(shù)理邏輯還包括現(xiàn)在總稱為哲學(xué)邏輯的各種非經(jīng)典邏輯，如模態(tài)邏輯、多值邏輯、直覺主義邏輯、認(rèn)知邏輯等等。
㈡歸納邏輯 Inductive logic
歸納邏輯是研究歸納推理的。歸納推理有古典歸納推理和現(xiàn)代歸納推理。
⒈古典歸納邏輯
古典歸納推理主要指的是培根（F.Bacon, 1561-1626）和密爾（J.S.Mill,1806-1871）所創(chuàng)立的邏輯。
古典歸納邏輯所考察的各種歸納推理或歸納方法簡單易行，在經(jīng)驗(yàn)自然科學(xué)中有一定實(shí)用價(jià)值。但是，古典歸納邏輯對歸納推理的研究是有許多缺陷的。

第一，它對歸納推理的類型和形式缺乏足夠的研究，只是提出了一些初步的歸納方法，要運(yùn)用這些方法得出比較可靠的結(jié)論，需要滿足許多條件和假設(shè)，對于這些條件沒有給予充分的考察。
第二，它對歸納結(jié)論的或然真的程度缺乏精確研究，沒有真正從邏輯上分析歸納前提與結(jié)論的概然關(guān)系。
⒉現(xiàn)代歸納邏輯
自19世紀(jì)中葉開始，概率論的方法被引入了歸納邏輯的研究，運(yùn)用概率論的方法對歸納結(jié)論的或然性作出精確計(jì)算，標(biāo)志著古典歸納邏輯開始向現(xiàn)代歸納邏輯過渡。至20世紀(jì)20年代，在歸納邏輯的研究中又使用邏輯演算方法建立概率演算，這標(biāo)志著現(xiàn)代歸納邏輯的真正誕生。




普通邏輯-普通邏輯的對象學(xué)習(xí)普通邏輯的意義(ppt)