1樓：陳平
邏輯是思維能力，是理性認識的工具。它沒有古今之分，只有符號語言之別。按其應用可分為形式邏輯和數理邏輯。
現代人由於缺乏哲學訓練，只接受科學訓練，他們對形式邏輯的應用一知半解，粗暴的將形式邏輯定義為傳統邏輯，將數理邏輯定義為現代邏輯。實際上是對邏輯的認識不足所致。
詞項實際上是命題的語言結構，一般分為主詞和謂詞，主詞是物件的指稱，謂詞是物件的認識，格式:主詞+謂詞=命題，表述為:某某是(非)什麼。
某某和什麼就叫詞項，是表達認識的肯定或否定，起連線和確定的作用，一般歸入謂詞之中。
主詞:某某(認識物件的指稱)。
謂詞:是什麼(主體對物件的認識)
這就叫詞項。詞項可以被應用拓展成符號化，數位化，和公式化，這就衍生出數理邏輯。也就是所謂的現代邏輯。實際上它只是邏輯在數學上的應用而已。
詞項則被符號和數字取代，做出公式來表述命題。
a=1，a=b+c等等都是數理命題。分析判斷變成了符號，等價符號=或≠，包含符號、或等等。
形式邏輯一般用在形上學的思考和分析。它向人證明形上學命題的真假或演繹形上學命題的推理過程。
數理邏輯一般用在形而下學的思考和分析。它向人證明數學命題的真假或演繹數理命題的推理過程。
請問邏輯學中的類與數學中的集合有何區別？
qiudjun 前提要弄清楚 1.數學以數為研究物件，即把事物抽象為數 邏輯以語句和語句裡的概念為研究物件 二者不同。2.概念也可能有某些關心的數量特徵，就有可能會發生交叉，但完全是兩回事 3.邏輯的集合體講的是語言中概念表達整體事物的情況，前面的回答說得很清楚。4.題主從邏輯上犯了混淆概念的錯誤。...
流浪地球中是不是有個邏輯的問題？
人民英雄李田所 但是生態之所以能執行是因為重聚變技術提供了能源，太Sunny也是核聚變反應的產物，核聚變可以提供替代品，但是不聚變怎麼行呢，關閉行星發動機這種主要用於推動行星的裝置只是減少資源消耗，不是不再消耗資源，資源是會用完的，必須節省著用啊 講佢多謝烏蠅哥啊 我是個文科生，那就強答一下吧，地球...
數理邏輯中的量詞消去定理與超濾模型定義的具體數學表現是什麼？
馬蹄北去的回答已經說得很好了。關於量詞消去昨天正好在想Chevalley s Theorem on constructible sets乙個證明 Marker Corollary 3.2.8 比較顯然，不知道這個符不符合題主所指的 代數性質 這個版本裡的證明本質上用到了少乙個coordinate的p...