Re: [討論] 生命本質
推
05/04 16:37,
05/04 16:37
→
05/04 16:38,
05/04 16:38
→
05/04 16:39,
05/04 16:39
→
05/04 16:39,
05/04 16:39
→
05/04 16:40,
05/04 16:40
不知道這篇要不要PO去邏輯版
課本上的範例:
每一個大一學生都不認識任何大二學生
每一個大二學生都認識陸存仁
黃孝文是大一學生而陸存仁是足球選手
------------------------------------
有的足球選手不是大二學生
1
令: F (一元述詞): 大一學生
2
K (二元述詞): 認識
a : 陸存仁
b : 黃孝文
1
P (一元述詞): 足球選手
論證可以寫成:
1 1 2
(x)[F x-->(y)(S y-->-K xy)]
1 2
(x)(F x-->K xa)
1 1
F b 且(這個記號電腦打不出來) P a
-------------------------------------
1 1
[Ex(反Ex,這個記號電腦也是打不出來)](P x且-S x)
推論如下:
1 1 2
[1] (1) (x)[F x-->(y)(S y-->-K xy) : P
1 2
[2] (2) (x)(F x-->K xa) : P
1 1
[3] (3) F b且P a : P
1 1 2
[1] (4) F b(y)(S y-->-k by) : US (規則)
1 2
[1,3] (5) (y)(S y-->-K by) : 3,4, SI (規則)
1 2
[1,3] (6) S a-->-K ba : US
1 2
[2] (7) F b-->K ba : US
1 1
[1,2,3] (8) P a且-S a : 3,6,7, SI
1 1
[1,2,3] (9)(反E) (P x且-S x) : EG
故得證之
邏輯就是要把日常語言精確的翻譯成數學形式
簡單說一下:(算小八卦吧)
亞里斯多德有創造一套逆否命題之類的和有三段論證
到了中世紀,西方殘留亞里斯多德的東西只剩下亞里斯多德的邏輯和修辭學
聖多馬斯也有把他精緻化
過了中世紀到文藝復興,亞里斯多德非邏輯的其他東西才重新傳回來西方世界
也就是現在看到的文本...
到了近代弗雷格為了替數學找基礎,所以轉而向邏輯尋找根源
但在邏輯問題上又會碰到語言之類的問題,所以他的邏輯有一堆判斷真假值的東西
但他處理完這個後就放手沒什麼在管
羅素接著他的工作,後來維根斯坦去找弗雷格的時候,弗雷格要他去找羅素
也就是如此維根斯坦才跑去英國
現在看到的邏輯,是從維根斯坦,羅素,維也納學圈他們弄出來的
後來影響了人工語言和人工智慧這些東西...
--
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.117.179.55
※ 編輯: kuopohung 來自: 140.117.179.55 (05/04 23:28)
推
05/04 23:37, , 1F
05/04 23:37, 1F
→
05/04 23:54, , 2F
05/04 23:54, 2F
→
05/04 23:57, , 3F
05/04 23:57, 3F
→
05/04 23:57, , 4F
05/04 23:57, 4F
推
05/05 03:14, , 5F
05/05 03:14, 5F
以實際例子來向pride829說明邏輯是什麼? 在幹麻? 之類的...
→
05/05 03:15, , 6F
05/05 03:15, 6F
至少到了聖多馬斯年代,亞里斯多德在西方流傳下來的只有邏輯和修辭學而以吧
→
05/05 03:20, , 7F
05/05 03:20, 7F
我只是要說明,弗雷格起個開頭,但他興趣不在這裡,後來的工作由羅素他們接手
→
05/05 06:19, , 8F
05/05 06:19, 8F
推
05/05 15:06, , 9F
05/05 15:06, 9F
→
05/05 15:07, , 10F
05/05 15:07, 10F
應該吧
聖多馬斯拿潛質說來論證上帝和五路論證其實都是亞里斯多德的翻版
→
05/05 15:09, , 11F
05/05 15:09, 11F
我指的是語言
推
05/05 17:58, , 12F
05/05 17:58, 12F
→
05/05 17:59, , 13F
05/05 17:59, 13F
→
05/05 17:59, , 14F
05/05 17:59, 14F
→
05/05 18:00, , 15F
05/05 18:00, 15F
→
05/05 18:00, , 16F
05/05 18:00, 16F
→
05/05 18:40, , 17F
05/05 18:40, 17F
推
05/05 18:41, , 18F
05/05 18:41, 18F
→
05/05 18:43, , 19F
05/05 18:43, 19F
推
05/05 18:47, , 20F
05/05 18:47, 20F
→ pride829:我也是沒一個專精上面那些東西 最多平時看些科普 05/02 23:50
→ pride829:現在看到有人說我盲從我當然感冒了 05/02 23:51
→ pride829:雖然不知道這跟主題有什麼關係 但哲學到底什麼時候 05/02 23:51
→ pride829:幫到科學來著?我以為實驗精神就是要排除那些文字的玩意 05/02 23:51
其實放個大絕,所有的學科都是從哲學分化出來的這就夠了
不過會一整個離題就是了
推 pride829:其實我覺得我們常常發生的情況:某人提出A論點 05/03 19:25
→ pride829:然後另外一個人提出B論點 並沒有反駁到A論點 接著就 05/03 19:25
→ pride829:開始戰起B來 然後彼此都看不太懂對方在講什麼 05/03 19:25
→ pride829:另外我說的排除文字是指口語化的那些東西 樓主說的沒錯 05/03 19:26
→ pride829:公式當然一定要文字來表達阿 05/03 19:27
主要是在回這裡
你講的不是邏輯
PS:語言哲學也有在討論這塊
推 pride829:如果有這種人的話確可稱為愚蠢 不過這種人好像不多吧 05/03 00:02
→ pride829:呃 關於物理學或是什麼高深的玩意不是不懂就是謙虛的人 05/03 00:02
其實拿一堆東西: <<歐洲的科學危機>><<啟蒙的辯證>><<科學革命的結構>>
等等...之類的也可以回吧
→ pride829:會師心自用的應該只有推銷生機飲食之類的傢伙...嘿嘿 05/03 00:03
→ pride829:再不然就是什麼氣功大師之類的 05/03 00:04
→ pride829:我不是說都是假的 不過九成九都是偽科學 還嘴硬 05/03 00:04
這裡的話
你應該先去了解
實證主義-->邏輯實證主義-->否證論-->科學歷史主義-->科學無政府主義-->etc..
脈絡和起源
如何談論和批判科學的...
好了,您該去讀書了
→
05/05 19:36, , 21F
05/05 19:36, 21F
沒有意外的話,他是在美國唸博班,主攻邏輯和英美分析這一塊
我講的東西剛好是他的專長
自己是唸歐陸的,作的是政治哲學的東西
分析和進階邏輯我不熟
基礎邏輯是大一必修,語言哲學剛好這學期有課去旁聽
對這塊領域只是沾醬油而已
※ 編輯: kuopohung 來自: 140.117.179.55 (05/05 19:48)
推
05/05 19:49, , 22F
05/05 19:49, 22F
→
05/05 19:49, , 23F
05/05 19:49, 23F
→
05/05 19:53, , 24F
05/05 19:53, 24F
→
05/05 19:54, , 25F
05/05 19:54, 25F
討論串 (同標題文章)
本文引述了以下文章的的內容:
討論
7
102
完整討論串 (本文為第 7 之 25 篇):
討論
7
102
討論
1
2
討論
2
44
討論
11
87
討論
1
5
討論
3
15
討論
7
25
討論
2
25
討論
0
1
討論
1
9