作者查詢 / zoneline

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

作者 zoneline 的總覽 (PTT發文,留言,暱稱)

發文數量: 14

收到的『推』: 26 (22.4%)

收到的『→』: 90 (77.6%)

收到的『噓』: 0 (0.0%)

留言數量: 141

送出的『推』: 27 (19.1%)

送出的『→』: 114 (80.9%)

送出的『噓』: 0 (0.0%)

使用過的暱稱: 1

zoneline 在 PTT 最新的發文, 共 14 篇

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

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

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

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

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

作者: zoneline - 發表於 2013/12/21 18:27(10年前)

Re: [請益] 如何在model裡詮釋modal logic

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

作者: zoneline - 發表於 2012/06/04 01:25(12年前)

Re: [閒聊] 智商、邏輯與理性？

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

作者: zoneline - 發表於 2011/09/16 03:39(12年前)

Re: [心得] 我唯一知道的事...

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

作者: zoneline - 發表於 2011/09/04 20:57(12年前)

zoneline 在 PTT 最新的留言, 共 141 則

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

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

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

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(10年前)

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(10年前)

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(11年前)

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(11年前)

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

zoneline 在 PTT 的暱稱紀錄, 共 1 個

暱稱：人來人往

文章數量：14