作者查詢 / zoneline

總覽項目：發文 | 留言 | 暱稱

作者 zoneline 在 PTT 全部看板的留言(推文), 共141則

限定看板：全部

看板排序：

全部W-Philosophy71logic39Atheism31<< 收起看板(3)

首頁

尾頁

Re: [請益] 證明a=b,then b=a

[ logic ]11 留言, 推噓總分: 0

作者: zoneline - 發表於 2013/12/22 05:54(12年前)

6^F→zoneline:我不寫是因為太花時間，而且我猜你看不懂，所以才一直提12/22 08:05

7^F→zoneline:供來源。我反問你一個問題，你可不可以證明Law of12/22 08:05

8^F→zoneline:identity那條規則？12/22 08:05

Re: [請益] 證明a=b,then b=a

[ logic ]10 留言, 推噓總分: +1

作者: susophist - 發表於 2013/12/22 02:09(12年前)

1^F推zoneline:感覺我會愈打愈多，我現在也沒辦法拿到林正弘的《邏輯》12/22 03:28

2^F→zoneline:就先不回答你的問題。只有一個地方我必須要問，你說二階12/22 03:29

3^F→zoneline:邏輯「incomplete」，指的是Gödel的incomplete還是12/22 03:30

4^F→zoneline:semantically incomplete？可以給我這樣講的source嗎12/22 03:31

5^F→zoneline:謝謝12/22 03:31

6^F→zoneline:btw,你最後的論證是正確沒錯，因為那I規則其實是把數龜12/22 03:33

7^F→zoneline:提的axiom 2改成推論規則。12/22 03:34

8^F→zoneline:哥德爾的不完備性是對一階邏輯也成立的，但是一階邏輯是12/22 05:56

9^F→zoneline:語意完備。你說不完備應該是semantic incompleteness12/22 05:57

10^F→zoneline:http://goo.gl/Wft74X 也就是連結裡三項當中的第二項12/22 05:58

Re: [請益] 證明a=b,then b=a

[ logic ]6 留言, 推噓總分: 0

作者: susophist - 發表於 2013/12/18 03:03(12年前)

1^F→zoneline:他沒說「自反性就是等同性」，他說的是：第一條axiom在講12/19 20:26

2^F→zoneline:等同關係是reflexive12/19 20:26

3^F→zoneline:第二條其實是axiom schema，可能是為了簡化才沒講吧12/19 20:44

4^F→zoneline:source: Hunter, Geoffrey. metalogic, pp.195-6.12/19 20:45

5^F→zoneline:順帶一提，你的證明不用歸謬法也可以，刪掉2,11,1212/19 20:53

6^F→zoneline:就是簡單一點的direct proof12/19 20:53

Re: [請益] 請問禮貌與陳述的關係

[ W-Philosophy ]7 留言, 推噓總分: 0

作者: kiddingsa - 發表於 2012/12/05 21:28(13年前)

1^F→zoneline:Grice自己就明言, Be polite或許是一條maxim，但那跟你12/05 21:49

2^F→zoneline:講的那四條supermaxims根本沒關係12/05 21:49

5^F→zoneline:重點是the cooperative principle底下的四條supermaxims12/07 00:51

6^F→zoneline:根本不是在講禮貌12/07 00:52

[請益] 一道邏輯題目

[ logic ]9 留言, 推噓總分: +2

作者: th11yh23 - 發表於 2012/11/28 00:02(13年前)

9^F→zoneline:答案是「非」，例「若小明愛小王，則單身漢是男性」12/07 00:54

[請益] 可以反駁我嗎？

[ logic ]6 留言, 推噓總分: 0

作者: ntuguy - 發表於 2012/06/06 18:57(13年前)

6^F→zoneline:(1)沒有蘊涵「有些東西是甜的」06/08 21:38

Re: [討論] 如果小木偶說...

[ logic ]11 留言, 推噓總分: +3

作者: hirabbitt - 發表於 2012/02/26 22:00(14年前)

2^F→zoneline:沒有悖論02/27 01:26

10^F→zoneline:它又沒有在「證明」甚麼03/02 01:26

Re: [請益] 反證法

[ logic ]4 留言, 推噓總分: +2

作者: Favonia - 發表於 2011/12/25 23:31(14年前)

1^F→zoneline:Godel12/25 23:38

2^F推zoneline:i see12/26 02:34

Re: [情報] Alvin Plantinga's New Book

[ Atheism ]26 留言, 推噓總分: +10

作者: MathTurtle - 發表於 2011/12/16 20:01(14年前)

23^F推zoneline:Plantinga 相信對 God 的信念是"a basic belief", 而基01/10 00:05

24^F→zoneline:礎論者相信有 basic belief, 為甚麼會說他是反基礎論者?01/10 00:06

[請益] 語句轉換成等同於A、E、I、O的命題

[ logic ]6 留言, 推噓總分: +1

作者: tingshan0924 - 發表於 2011/11/06 22:26(14年前)

1^F→zoneline:不對11/07 20:14

2^F→zoneline:老實說你上網查一下三段論，不然圖書館找些基礎邏輯書，11/07 20:15

3^F→zoneline:花點時間看，大概也會知道答案，不要再丟這種題目了11/07 20:16

首頁

尾頁