弗雷格原理是命題邏輯中的一個原理。指複合語句的真值是成分語句真值的函式。在討論邏輯聯結詞時,可以看到一個特點:對簡單語句給予任一真值的組合時,真值聯結詞的選擇就完全決定了複合語句的真值。
當把真值作為語句的外延時,以上也可以表述成:整體的外延是部分的外延的函式。儘管對弗雷格實際上是否精確地表述了這個原理,人們還有某些疑慮,但一般還是把它稱為弗雷格原理。
弗雷格原理是命題邏輯中的一個原理。指複合語句的真值是成分語句真值的函式。在討論邏輯聯結詞時,可以看到一個特點:對簡單語句給予任一真值的組合時,真值聯結詞的選擇就完全決定了複合語句的真值。
弗雷格原理是命題邏輯中的一個原理。指複合語句的真值是成分語句真值的函式。在討論邏輯聯結詞時,可以看到一個特點:對簡單語句給予任一真值的組合時,真值聯結詞...
在數學、語義學和語言哲學中,複合性原理是指,一個複雜表達式的意義是由其各組成部分的意義以及用以結合它們的規則來決定的。...
在數理邏輯中弗雷格命題演算是第一個公理化的命題演算。它由弗雷格發明,他還在1879年發明了謂詞演算,作為他的二階謂詞邏輯的一部分(儘管查爾斯·桑德斯·皮爾士首次...
《弗雷格邏輯哲學與現代數理邏輯思潮》是2006年中國社會科學出版社出版的圖書,作者是郭澤深。該書深入細緻地梳理了弗雷格邏輯哲學思想和現代數理邏輯思潮,並深刻反思了...
要想由邏輯推出數學,第一步是推出“數”來,這件事皮亞諾及弗雷格都做了。羅素在消除悖論之後,成功地用“類”來定義1。這個過程極為繁瑣費力,一直到《數學原理...