邏輯新引 筆記

2021-09-07 20:48:16 字數 2768 閱讀 1895

殷海光先生的《邏輯新引》 這本書非常好,去年得知,看了個開頭,沒看完。 今年一定要看完, 已經排了乙個計畫, 一周至少看一講, 那麼最遲5月份看完。 做總結,要不然 太容易忘了,而且不方便複習!

這一講大概過下,是個引子

邏輯是必然有效的推論規律的科學

如果我們要確定乙個推論究竟是對的或是錯的,唯一可靠的辦法是看他是否合於 邏輯推論的 法則

不相容而又不窮盡的名詞,肯定其一可以否定其餘

比如說某個人美時,可以推論他不醜,

不可由 否定 其一而 肯定其餘

比如, 說某人 不美時 就不能一定說他醜, 因為 他也許說不上美醜,而是中等人

說某個語句的真假, 是說 基於經驗的真假,也就是 是否符合事實

殷海光先生下的定義是: 在事物層面只有有無可言,而無真假可言;

到了語言層次, 才發生真假問題

邏輯的推論 所涉及的不是經驗語句之真假問題,而是決定哪些規律可以保證推論有效的問題

在邏輯推論時, 不僅不應求助於經驗, 而且應該盡可能將經驗撇開。有高度抽象思考能力的數學家或者邏輯學家 無不如此

推論的對錯 與 語句的真假是 平行的,各不相干

純邏輯的運用思考,離開經驗的知識越遠越好。如果乙個人的思想不能離不開圖畫、影像,那麼他的思維能力一定非常有限

前提 無論是真還是假,推論對時,結論無論真假都一定是對的

從來不能夠 從錯的推論得到 對 的結論

用字母t代表真, f 代表假, v 代表隊對(valid), i 代表錯(invalid)

? 表示真假不定

推理, 英文是 reasoning , 以某一理 為根據。

比如氣象學家 按照 氣象學規律進行推理

將一切推理中的作為特殊前提的 理 抽掉, 所剩下的共同的 推 之程式, 就是推論。

推論是一切理所共同具有的中心程式, 而推理是推論的周邊。

邏輯所研究的, 是一切推理所必須依據的推論型式

乙個語句, 只有落在推論場合, 才發生是否合於邏輯的問題。

推論必須藉著 蘊涵關係而來 , 假設前提為真, 那麼結論為真, 這一關聯之中, 結論 隨 前提 而來, 於是, 前提和結論之間的這種關係, 叫做 蘊涵關係。

蘊涵關係可以存在於 語句和語句之間, 也可以存在於 名詞和名詞之間。 前者如 「一切政客是機智的」 蘊含著 「有些政客是機智的」; 後者如 金屬 蘊涵 礦物 這一概念。

注意: 不要把 蘊涵直接理解成 集合的包含 概念。

a 蘊涵 b 記為

a ⊃b

a\supset b

a⊃b推論就是將 前提的結論 演繹出來

基本的推論原則:

如 p且

p⊃q,

則q

如p 且 p \supset q, 則q

如p且p⊃q

,則q選取推論中的語句是 選取語句, 比如某某是浙江人或者江蘇人

相容: 如果兩個語句 或者 名詞 或者 表示性質的字眼 可以同時成立, 那麼 就說 二者 相容

窮盡:兩個或者兩個以上的選項盡舉在乙個範圍內的所有可能, 那麼此時 稱為 窮盡

把不窮盡的當成窮盡的就可能犯推理錯誤

如果是窮盡的, 那麼 可以否定其一 而 肯定 另一

邏輯根本不問 哪些名詞 是否相容 與 是否 窮盡

相容而窮盡: 可藉否定其一而肯定其另一, 但不能借肯定其一而肯定或者否定 其 另一

相容而不窮盡, 既不能 借 肯定其一而肯定或者否定其另一, 又不能 借否定 其一 而肯定 或 否定 其 另一

不相容 而窮盡, 既能 借肯定其一而 否定其 另一, 又能借 否定其一 而 肯定其 另一

不相容 而 又不窮盡, 可以借 肯定其一 而 否定其另一, 但不能借 否定其一 而 肯定或者 否定 其另一

條件語句的形式為

如果p , 那麼q

p ⊃q

p \supset q

p⊃q注意,這裡不是在說因果。 邏輯的正身 根本 不過問 因果關聯

邏輯學家 規定 什麼真假情況下 p⊃q

p \supset q

p⊃q 為真

注意, 是規定, 不是 因果關係

p 叫做前件(antecedent), q叫做後件(consequent)

前件對於後件而言, 有兩種關係: 充足條件 ;充足又必須條件(也就是數學上說的充分必要條件)

後件對於前件 而言,乃必須條件, 就是必要條件

這三種條件的定義和數學上完全一樣, 就不把書上的定義抄在 這裡了

如果前件為後件充足條件,且後件為前件必須條件(按數學上的定義, a是b的充分條件,那麼b就是a的必要條件啊),那麼有四條推論規律

1 從 前件真 可推論 後件真

2 從 前件假 不可推論 後件 真或假

3 從 後件真 不可推論 前件 真或假

4 從 後件加 可以推論 前件 必假

如果前件是的充要條件, 那麼 推論規律對稱:前件真那麼後件真,前件假那麼 後件假; 後件真那麼前件真,後件假那麼 前件假

二難式 的基本形式有四種

1 如果甲則丙;如果乙則丙

甲或乙所以: 丙

2 如果甲則乙;如果甲則丙

非乙或非丙

所以: 非甲

3 如果甲則乙, 如果丙則丁

甲或丙所以: 乙或丁

4 如果甲則乙;如果丙則丁

非乙或非丁

所以: 非甲或非丙

反駁二難式的方法有三:

1 否認前件是後件的充分條件

2 否認選取語句是 互不相容 或是 共同窮盡的

3 作乙個二難式 使結論 與之相反

邏輯回歸筆記

cost函式 邏輯回歸的代價函式,其實跟線性回歸有很大的不同。首先不僅僅是hypothesis函式的定義跟線性回歸很不一樣,理解邏輯回歸的最重要的一點就是先理解hypothesis函式。hypothesis的解釋是 在引數 下,輸入向量x對應y 1的概率 這裡,y 1 和y 0 就是我們分類的依據。...

C 筆記1引用

include 標準命名空間 包含很多標準定義 using namespace std const double pi 3.14 圓class mycircle 獲取圓的面積 double gets void main 引用 void main 指標交換值 void swap1 int a,int ...

新特性筆記

特點 framgent 它不是activity,也不是四大元件之一,不需要androidmanifest.xml註冊,好比是乙個縮小版的activity,有著自己的介面和生命週期方法,以及接受屬於它自己的輸入事件 fragment 在 android 3.1版本中引入,片段可以復用 fragment...