0.前言?

西方哲學(xué)史的筆記我還沒寫完，又給自己開一個(gè)新坑。

這是督促自己寫寫筆記看看書的自嗨欄目，所以有很多只有我自己能看懂的符號(hào)和省略。

綠色表示定義 黃色表示重點(diǎn)?

閑話休提

本文配合音樂?深窓の令嬢 食用更佳

緒論

第一節(jié)、邏輯學(xué)的對(duì)象

?

一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)

思維科學(xué)：揭示思想的本質(zhì)和規(guī)律

思維科學(xué)包括：邏輯學(xué) 心理學(xué) 腦精神生理學(xué) 哲學(xué)認(rèn)識(shí)論 人工智能等

邏輯學(xué)的研究對(duì)象：思維形式

思維分為內(nèi)容和形式

思維形式：思維內(nèi)容的存在和聯(lián)系方式，由邏輯常項(xiàng)和邏輯變項(xiàng)兩個(gè)要素組成，是撇開思維具體內(nèi)容的邏輯抽象。

邏輯常項(xiàng)：思維形式中的不變成分，決定思維的邏輯內(nèi)容

邏輯變項(xiàng)：思維形式中的可變部分，承載思維的具體內(nèi)容

Eg,所有楊樹是落葉喬木——所有S是P

所有….是… 邏輯常項(xiàng)? S P 邏輯變項(xiàng)

其中邏輯變項(xiàng)可以分為：詞項(xiàng)變項(xiàng)和命題變項(xiàng)（句子）

?

二、思維形式的規(guī)律性

思維形式不表達(dá)具體的思維內(nèi)容，所有沒有真假。而用具體的詞項(xiàng)和命題代入思維形式中的邏輯變項(xiàng)，思維形式就被賦予了具體內(nèi)容，就有了真假。

思維的規(guī)律性（=邏輯規(guī)律）：有一類思維形式，在任意的代入下，表示真實(shí)的思想。

Eg.所有的S是S

邏輯矛盾：有一類思維形式，在任意的代入下，表示虛假的思想。

邏輯學(xué)運(yùn)用邏輯規(guī)律，排除邏輯矛盾，使人的思維具有形式上的正確性

邏輯學(xué)的主題：判斷推理的有效性

第二節(jié)、思維、語言和邏輯

一、思維、語言和邏輯

思維的基本形式：概念、判斷、推理

思維以抽象概括的形式反映世界，思維是抽象的，如果要以思維研究對(duì)象，必須將思維“物化”，取得思維的直接現(xiàn)實(shí)性。于是，我們需要一個(gè)物化的具有直接現(xiàn)實(shí)性的媒介——語言。

語言：思維的直接現(xiàn)實(shí)、是思維的物質(zhì)外殼。

邏輯學(xué)通過對(duì)語言的分析、探討思維的形式

語言的層次性：作為邏輯學(xué)研究對(duì)象的語言 和 作為邏輯學(xué)研究工具的語言

對(duì)象語言：作為邏輯學(xué)研究對(duì)象的語言

工具語言（元語言）：作為邏輯學(xué)研究工具的語言

Eg.中國(guó)人用中文（工具語言）去學(xué)習(xí)英語（對(duì)象語言）

?

二、自然語言和符號(hào)語言

語言是一個(gè)符號(hào)系統(tǒng)

有三個(gè)基本要素：基本符號(hào)、語形規(guī)則（什么樣的基本符號(hào)串是合式的）、語義規(guī)則（對(duì)語言符號(hào)賦予意義）

Eg.26個(gè)字母（基本符號(hào)） 拼寫 語序等字母的組合方式（語形規(guī)則） 語言所表達(dá)的意思（語義規(guī)則）

語言：自然語言和人工語言

Eg. 漢語 和 數(shù)學(xué)

自然語言：長(zhǎng)期社會(huì)實(shí)踐中約定俗稱的 常常有歧義 同一個(gè)語句或語詞往往表達(dá)多種語義

語境（語用）：使自然語言產(chǎn)生歧義的各種因素的統(tǒng)稱

人工語言：人類進(jìn)行某種科學(xué)研究 嚴(yán)格定義? 排除歧義 高度抽象 嚴(yán)格定義

形式系統(tǒng)：用形式語言構(gòu)造的邏輯系統(tǒng)

?

三、傳統(tǒng)邏輯和現(xiàn)代邏輯

西方傳統(tǒng)邏輯：概念論、詞項(xiàng)邏輯（三段論）、古典命題邏輯和古典歸納邏輯

現(xiàn)代邏輯（狹義的數(shù)理邏輯、符號(hào)邏輯）：一階邏輯、模型論、公理集合論、遞歸論、證明論。

廣義的數(shù)理邏輯還包括：高階邏輯、各種非經(jīng)典邏輯、現(xiàn)代歸納邏輯。

現(xiàn)代邏輯和傳統(tǒng)邏輯在研究對(duì)象上沒有任何不同，并且都以自然語言作為對(duì)象語言，區(qū)別在于，傳統(tǒng)邏輯的工具語言主要是自然語言，而數(shù)理邏輯的工具語言主要是符號(hào)語言。

以是否使用形式化和形式化方法，梳理邏輯又分為形式化的與非形式化的兩部分

數(shù)理邏輯的基礎(chǔ)：一階邏輯（=一階謂詞邏輯=狹義謂詞邏輯） 是傳統(tǒng)邏輯的直接發(fā)展

第三節(jié)、邏輯學(xué)的性質(zhì)和作用

一、邏輯學(xué)的性質(zhì)：基礎(chǔ)性、工具性、人類性

二、邏輯學(xué)的作用：有助于正確的認(rèn)識(shí)