Talk:逻辑

移動自Talk:逻辑

這個比較像字典的條目，建議刪除此頁，重定向逻辑学一條。

移動完畢

对这篇词条的学术性的一些疑问

本人不敢贸然改动词条，只是对这个词条是否具有我所觉得的专业水提一点疑问。

我认为这篇词条可能反映的不是现代学界对逻辑的看法。按照逻辑学家王路的论证，现代我们已经明确的认识到逻辑并不是泛泛地研究推理，而是着眼于那种只要前提为真，结论就不可能为假的那种推理，也就是亚里士多德曾提出过的“必然地得出”。这是在逻辑长期发展中，我们逐渐剔除了不属于逻辑的哲学内容，并且用高度可操作性的符号，像数学那样建立起高度普适性的体系，才认识到并凸显了逻辑的本真。现在任何一门逻辑体系想要建立起来，必须先要完成有可靠性、一致性、完全性等元定理层面的证明，凡没有这样的证明该逻辑体系就得不到承认之事实；以及现代逻辑教科书只包括命题演算、谓词演算、带模态的命题及谓词演算、元定理证明这样的内容，便是逻辑就是“必然地得出”的明证。所以，J S Mill所系统阐述过的那种“归纳逻辑”（现代的归纳逻辑是用现代意义上的逻辑来研究归纳，而不是Mill那种讨论怎样归纳才归纳得好），还有黑格尔首先阐释，并被后人命名为“辩证逻辑”的体系，并不是逻辑的组成部分，因为他们不具备必然地得出的属性，当然不被现代逻辑教科书收录。“非形式逻辑”在逻辑学界得到何等承认度，也都值得怀疑，辩谬也只是逻辑之应用，与逻辑本身有别。这个词条关键就没有体现出现代的逻辑观，它提到了传统的看法——亚里士多德的，康德的；但没有现代的，突破了传统的看法，比如哥德尔的。此外词条把不是逻辑的东西包括进来了，逻辑与现代分析哲学之产生与发展的本质关系没有提到，都是缺陷。此外还有一些错误，比如它说“绝不存在一个同时满足三个性质（相容性、可靠性、完备性）的系统”就是错误的：一阶逻辑就满足全部三个条件。Bay Melody 2010年5月2日 (日) 19:24

• 歡迎任何人在維基百科遵守的原則下編輯任何條目。對提出的關於完備性的錯誤已經進行了更正，非常感謝。寒蟬退士 (留言) 2010年5月3日 (一) 06:16 (UTC)

這是一篇胡思亂想，可以不用理會

任何的邏輯都必需有二個特徵：

１．一元性 ２．實物性

一元性保證了一個邏輯問題的本質存在，而不會淪為空談。 如：Ａ是一個蘋果，則Ａ必然是蘋果，因此蘋果就是蘋果。不會是檸檬。 如果Ａ不是蘋果，則Ａ必然是其它任何水果。

實物性保證了一個邏輯問題的推理能力，而不會淪為謬論。 如：Ａ是一個蘋果，Ｂ也是一個蘋果，因此Ａ和Ｂ兩個蘋果皆為蘋果。 如果Ａ不是蘋果，Ｂ郤是一個蘋果，因此Ａ和Ｂ兩個蘋果皆為蘋果。＜－－－不可能。

有了這兩個基本上生活中可以得知的自然概念，邏輯才會產生功能。 不然所有的問題帶進邏輯中都會產生無法推理跟證明的本質的困境。

接下來要說的是：對立邏輯跟二元邏輯

對立邏輯有一個重要的特徵： 命題法： 中國是一個國家，台灣是一個國家，因此中國跟台灣皆為國家。這個命題成立，因為 用一元性可以得知，如果中國是國家，則中國必然是國家。不可能是其它任何東西。 用實物性可以得知，如果中國不是一個國家，台灣是一個國家，則中國跟台灣皆為國家。＜－－－不可能。

所以我們可以透過邏輯建立一個新的命題。 如果中國不是一個國家，則中國必然不是一個國家。 如果中國不是一個國家，台灣不是一個國家，則中國跟台灣皆不為國家。＜－－－可能。

最後，再建立一個新的命題。 如果中國是一個國家，台灣是一個國家，所以中國統一台灣，台灣統一中國。這個命題成立，因為。 一元性跟實物性皆存在。

這是一個對立邏輯，因為不是台灣統一中國，就是中國統一台灣。因為 如果中國是一個國家，中國卻實可以統一台灣這個國家。 如果台灣是一個國家，台灣卻實可以統一中國這個國家。

什麼是二元邏輯？

從上面的命題可以得知，任何的在現實生活中產生的問題經過邏輯的思考後，其命題都要符合一元性跟實物性。 怎麼樣才能將命題實現成二元邏輯的形式？

台灣是一個國家，台灣可以統一中國這個國家。也就是說台灣統一中國這國家。這個命題是成立＜－－可能。 然而，台灣是一個國家，台灣可以獨立中國這個國家。意思是說台灣獨立之後，台灣還是一個國家的一元性存在，而且台灣是一個國家的實物性依然存在。

所以，台灣不是統一中國這個國家，就是台灣獨立中國這個國家。命題成立（你也可以講台灣離開中國或台灣獨立中國，或是台灣統一中國或是台灣孤立中國） 反之，中國不是統一台灣這個國家，就是中國獨立台灣這個國家。命題成立（你也可以講中國離開台灣或中國獨立台灣，或是中國統一台灣或是中國孤立台灣）

問題的關鍵在於，一個邏輯的思考中你使用了什麼邏輯的運算思維。你用統一這個詞，他必然就有一個二元的相對詞就是獨立。如果不論真正現實中的情況，這些邏輯命題都可以成立。

這就是一個最好的例題，說明了。二元邏輯的命題。

一般來說，你可以稱對立邏輯為相對邏輯。相對論就是一個相對邏輯。愛因斯坦試著用兩個相對但是相同的實物；光來解譯能量傳送其中的變化現像。 而你也可以稱二元邏輯是一個絕對邏輯。牛頓力學就是一個絕對邏輯。牛頓試著用一個絕對但也是相同的實物；以太來解譯能量傳送其中的變化現像。

從以上的論點得知，AND ,OR ,XOR ,NOR ,NOT 這些數學上的邏輯在生活中使用的可靠性。以及推論的有效性。

唯物辯證法可能是一個對立邏輯。但是唯物辦證建立在一個唯物的實物上來論證問題。可能是會產生問題的。因為唯物辯證中，強調唯物的性質。他本身可能是一個有矛盾的邏輯。統一對立律就徹底展現了同樣的問題會有兩種不同的性質。質量互變律說明了任何的問題如果要達成實物性那必然就有得有失。唯物的條件不一定永恒存在，也不一定永恒不變。如果實物性是有得有失不是絕對存在的。那如何進行否定之否定這個推論呢？如果一開始就不存在，也就是一元性不存在。那跟本就不會有問題，何必用邏輯來推論？

實務上來說，唯物辯證提供了一個機會讓人可以合理使用邏輯針對問題進行反向思考。可是並沒有提供一個有效的解答。 解答的來源反而是在質量互變律過程中，一個有效的創造跟一個非實物事件的發生。創造可以解決問題，也可能解決舊問題而產生新問題，而一個非實物事件的發生也可以改變統一對立律中不平衡的狀態。讓所有的事物達到平衡，或產生一個新的不平衡。那這樣，唯物辯證還有意義嗎？因為最後原本的問題非但沒有進入否定之否定的情況中，而是被忘記或消失。這等於是沒有解決問題，也等於讓問題自我消滅。 　　 MACINTOSH 2011,3,6

因明逻辑要留有姓名？

1 历史久远 2 民国章太炎等做过比较研究，如今“因明学”词条里也有因明逻辑云云 3 谷歌严格搜索“因明逻辑”得到三万结果，已经达到“形式逻辑”的3%，不乏CNKI收录的文章里直言此语 Mahengrui1（留言） 2020年7月28日 (二) 15:09 (UTC)