1樓：楊學志
當我們說用邏輯證明的時候，指的是用演繹的方法去推理，也就是三段論。
三段論需要大前提和小前提，但是」狗不是人「這個判斷，本身是乙個大前提，是無法用演繹的方法去證明的。 根據語言資訊理論，」狗「和」人「都是原生概念，它們是基於人的分類能力，用歸納法形成的。這些概念自身具有同一性，也蘊含著」狗「和」人「是不一樣的概念，也就是需要符合矛盾律。
語言資訊理論-原生概念 - 楊學志的文章 - 知乎 https://zhuanlan /p/136846175
2樓：水上的菠蘿
證明的前提是定義。
你定義好，狗不是人，那麼狗就不是人。
你定義了狗是人，那麼狗就是人。
所以，判斷題，歸根結底是定義的問題。
3樓：燃燒
邏輯地證明是什麼意思呢？我姑且認為是依據一定的前提並且按照一定的推理方法來證明乙個命題吧。
那麼想象這樣乙個場景：有一天，咱們祖先突然看到了乙個怪物，它汪汪的叫，搖著尾巴，四肢著地地跑，祖先說：「誒，這怪物我沒見過，就叫它旺財吧」，不久後，祖先發現旺財不會兩足行走，不會說話，不會製造工具，因此，祖先得出了乙個結論：
「旺財不是人」。不久後，又有祖先發現了另乙個怪物，他身上布滿斑點，祖先於是就叫它花花，經過一定時間的觀察，花花不會走路，不會說話，不會製造工具，因此，他們又得出了乙個結論：「花花不是人」。
以此類推，咱們祖先發現了更多的怪物，並且給每乙個都命了名，並且都經過觀察得出了結論：「小白不是人」「來福不是人」……最後，祖先們發現，旺財，花花，小白，來福等等怪物好像都具有一些共同的特徵：它們汪汪的叫，搖著尾巴，四肢著地地跑，於是，祖先們就把它們統一命名為狗，並且得出結論：
「狗不是人」。
如果形式化的話，就是乙個歸納推理：
前提：旺財，花花，小白，來福……是狗
旺財不是人
花花不是人
小白不是人
來福不是人
……結論：
狗不是人
這個命題大概就是這樣得出來的吧，前提是「旺財不是人」……，推理方法是歸納推理。其實我們常識中很多命題都是這樣得出來的，只是我們沒有意識到而已。另外說一下，歸納推理具有或然性，也就是說，就算前提是真的，結論也不一定是保真的，比如說「天鵝不是黑色的」可以通過同樣的方式推理出來，但其實只是還沒有人發現黑天鵝而已。
假如有一天，人們發現了哮天犬，發現哮天犬人形時會兩足行走，會說話，會製造工具，因此得出「哮天犬是人」，那麼「狗不是人」這條命題就被推翻了。。。
4樓：l'origine
你的提問的內容，在我看來，可能包含以下兩個意思中的乙個：
意思一、如何邏輯地證明「這條狗」不屬於人；
意思二、如何邏輯地證明「狗」這個概念與「人」這個概念不相等。
「狗」和「人」都屬於「抽象概念」。它們是對一類事物的統稱。就是說，雖然你能看到「這條狗」，或「那個人」，但你看不到「狗」、「人」這兩個概念（或許你以為自己能看到它們，但你看到的其實是用來表示它們的符號，例如「狗」、「dog」、「人
我們能看到、摸到的「這條狗」屬於「狗」；「那個人」屬於「人」。
在口語中，我們經常說「這條狗」是「狗」；「那個人」是「人」。這種說法雖然表現了「是」這個字的一種用法，但容易引起誤解，因為上述兩個「是」與「把兩個1相加後得到的和是2」中的「是」是不同的。
現在我開始邏輯地證明它不屬於人：
根據我的理解，「人」這個概念的定義就是：人是一種東西，它必須同時具備以下條件：
1.它必然不會自然地帶有乙個長滿毛的尾巴；
2.且，它的耳朵必然不會長在頭頂上；
3.且，它不會僅能發出「旺旺」、「嗷嗷」的叫聲；
...；
我看到的「這條狗」帶有乙個長滿毛的尾巴（或，它的耳朵長在頭頂上；或，它僅能發出上述兩種叫聲），所以，它必定不屬於人。
或許有人會說，我的這種判斷是不準確的。有的狗沒有尾巴，且，其耳朵不長在頭頂上，且，能發出除上述兩種聲音之外的聲音。那麼，我需要說明的是，我們，至少我，判斷「這條狗」是否屬於人的方法，確實就是上述的方法。
另外，在上面，我僅僅給出了3個條件，就完成了判斷。實際上，我可以很輕鬆地給出30個，甚至更多條件，只是限於篇幅不想寫了而已。在那麼多的條件的約束下，我們可以把很多的「這條狗」排除在人之外。
顯然，我用來證明的方法屬於典型的三段論，所以，是符合邏輯的。（當然，也許總會有乙個「這條狗」，它能同時符合我給出的所有的條件。我想，若我真的能看到這樣的乙個「這條狗」，則我還真的有可能證明它屬於人。
當然，那時候我就會改口叫他「這個人」。因此這並不會影響我的上述證明的正確性。）
再看意思二：
請想一下，「兩個概念不相等」是什麼意思？
我認為，任何乙個概念，在用來表述其的語言中，在此語言的使用者能正確地使用其語法，從而完全地排除了任何可能產生的歧義的情況下，必然對應乙個唯一的符號，且對應乙個唯一的意思。比如，在英語中，「狗」這個概念只能對應「dog」這個符號，且只能對應「an animal with four legs and a tail, often kept as a pet or trained for work...」這個含義。
因此，我認為，對於以同乙個語言表述的任意兩個概念，若其符號不相同，或，其所對應的含義不相同，則這兩個概念不相等。
我們來看「狗」和「人」這兩個概念。
顯然，在同乙個語言中，它們的寫法是不相同的。所以，它們不相等。
這個證明的方法屬於典型的三段論，所以，是符合邏輯的。
如何證明邏輯本身是符合邏輯的，但在證明過程中又不能採用一切經由邏輯推到出的基本定理？感覺世界都崩塌了？
王者俱下 為什麼崩塌？因為你的邏輯中只有一。你的世界一直認為所有的一切都有那個一。那個一有嗎？可能有吧。只有不喜歡思考的人才認為自己找的就是那個一，然後欣喜若狂，驗證過後卻發現錯了。思考的人都知道所有的思考只是離那個一更近了一步而不是到達。 鴨鴨精 世界上沒有恆古不變東西，萬事萬物都是變化的。這也就...
如何看待「無法證明即為假」的邏輯
給我多放肉 因為我們遵循乙個很簡單的道理 剃刀原則。有沒有外星人？誰也不能證明有，但誰也不能證明沒有。於是呢？在此基礎上，我們做任何事情都不需要考慮外星人的因素。等於他沒有。我說我會講德語，但一輩子沒有任何人聽到我說德語，寫德語，看德語書，聽德語節目。您信我會德語嗎？如無必要，勿增實體。 geniu...
如何簡單地證明洛倫茲變換？
尋風 證明方法1.設 系 系 相對 系的速度為 初始條件為 時兩系原點重合 故在 系，系的原點滿足方程 故變換式要滿足 時 所以設變換為 由愛因斯坦相對性原理，逆變換滿足 為確定 引入光速不變原理，設 時從原點向 軸正向打出一束光則根據光速不變有 3式帶入2式，4式帶入1式，得到的兩個式子再相乘，得...