|
《Begriffsschrift》1879年版
|
弗雷格的著作《概念文字》，其標題的德語原文是：
《Begriffschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens》
先解釋一下每個單詞：
Begriffsschrift：複合名詞，由der Begrift（概念，項，意念，思想，感知）和die Schrift（字體，字形，字型，寫作、書面、文件記錄、腳本，文書，文檔）兩個單詞構成，意思是將思想、概念用文字、語言、書面形式表達。
arithmetischen：形容詞，算術的（arithmetic）
nachgebildete：過去分詞，被複制的，被模仿的，仿真的
Formelsprache：複合名詞：公式語言，由公式（die Formel）和語言（die Sprache）構成；
reinen：形容詞，純粹的
Denken：名詞：思想，思維，觀念；
連起來，就是：用文字表達的概念：一種表達純粹思想的、以算術爲藍本的（作爲模仿對象的）公式語言。
英語的翻譯是：Concept-script: a formula language, modeled upon that of arithmetic, for pure thought
這本書是弗雷格第一本關於邏輯學的著作，也是邏輯學史上最重要的著作（沒有之一）。這本書僅僅有88頁，（大師的開創性或科普性著作似乎都不長，華羅庚的《數學歸納法》僅僅56頁）。這本著作對邏輯學的基礎性貢獻有如下幾點：
1. 首次提出真值函項的命題演算（truth-functional propositional calculus）；
2. 首次用函數和參數（function and argument）分析命題，用以替代亞氏邏輯的主詞、謂詞方法；
3. 首次闡述了完整的量詞理論（the theory of quantification）；
4. 首次建立了一個邏輯系統，在這個系統中所有的推理只根據表達式的形式（a system of logic in which derivations are carried out exclusively according to the form of expressions）
5. 首次將自己的邏輯系統應用到數學中數列的研究（mathematical sequence）。
可以說，上述的成果任何單單一項就可以青史留名，並可以寫成大部頭的書。
未完待續，容後補充。
難得一見：用編程語言Haskell學習數理邏輯
2015-01-24 03:43:58 來自: 賽義甫(大道無門，千差有路)
《The Haskell Road to Logic, Math and Programming》
http://book.douban.com/subject/1769322/
如果你正在學習數理邏輯、如果你恰好懂Haskell編程，那麼這本書就是爲你準備的。通過使用Haskell語言，你可以通過“做實驗”學習數理邏輯。本書內容包括了命題邏輯、量詞，證明論，集合、關係、函數、歸納與遞歸，數論、多項式和有限集和無限集。
書中有大量的習題，使得邏輯學習變成了實驗課。雖是英文的，但很容易理解，因爲生僻單詞不太多。只要隨着講解把例題和練習從頭到尾跟到底，一定收穫不淺。當然，最好在進入每個專題之前，先要在概念上對學習對象有充分的理解。
不過要求門檻較高，如果不懂Haskell或者想通過此書學習Haskell編程而不是數理邏輯，本書不適合。
如果想學習Haskell編程，最好的書應當是《Learning you a Haskell for Great Good》。作者是Miran Lipovaca，斯洛文尼亞一名計算機專業的學生。此書最大特點是很少講理論，而是帶着你一步步深入Haskell的各種奇妙結構。
本書最理想的是使用方法是：身邊一本數理邏輯的教科書，一本Haskell的參考書加上本書。
另外，不管你是文科、理科，如果對數理邏輯感興趣，強烈推薦學一門函數式編程語言，最佳選擇是Haskell或Common Lisp，因爲數理邏輯中的許多內容，光靠讀書是不夠的，有些概念只有通過“實踐”才能體會更深。
邏輯學
邏輯學家的看家法寶。數學和邏輯的書很難看懂，也就是這個原因。對於這些符號公式的受害者，我建議你們去看看現代邏輯學鼻祖 Frege 的一些論文（特別是Begriffsschrift）。看看他是如何用直觀的圖形來描述最抽象的邏輯，看看他如何指出數學所用的語言給人們的理解帶來的混亂。也許從他的文章你會發現，原創的思想其實往往比二手的容易理解很多。豆瓣小站
http://site.douban.com/145723/room/3728984/