哲學/邏輯導論/前言
據我所知，目前還沒有一個真正好的邏輯入門書籍線上或印刷版。所以現在是時候嘗試寫一本了。我從這裡那裡學到了一些零碎的知識，然後當我上邏輯研究生課程時，我感到有些吃力。對我來說，這篇書評是一段發現之旅，為了寫它，我需要確切地知道所有部分是如何組合在一起的，發現我知識中的漏洞並找出如何填補它們很有趣。
我並沒有解決世界上所有問題的答案，但我相信，如果人們對推理過程有所瞭解，他們將更有能力應對這些問題。如果這篇書評能幫助一些人做到這一點，我將感到非常高興。當然，知識和學習可以用來製造更致命的武器和更壓迫的暴政，但它也可以用來阻止這些事情。我把我的希望寄託在理性上和人類的善良上，因為如果這些是假神，我們就沒有多少希望了。
到目前為止，我已經投入了大部分精力，並且看到這種情況在一段時間內將繼續下去，所以我認為這是“我的”作品，有優點也有缺點。我已經看到這個邏輯導論從一個指向無處可去的紅色連結發展到今天的狀態。然而，維基是一個集體努力，所以有些人會說把這個作品稱為“我的”是不公平的。所有格充滿著歧義。如果你想參與進來，請隨時行動。例如，目前有一些地方說明了結果，但需要寫出證明。
我經常使用“我”這個詞。這使風格保持非正式和易於理解，而使用被動語態則不會。無論如何，為了大膽地做出一個哲學斷言，沒有說話者的命題是一個神話，所以總是有第一人稱，即使這不是明確的。（嗯，我們可以談談計算機生成的資訊的狀態，或者談談海灘上的石頭碰巧排列成一個完整的句子。）
在做數學時，命題是否有說話者的問題可能不像我們談論其他事物時那麼重要。邏輯需要超越數學的（相對）安全領域，來處理可能涉及經驗的、道德的、情感的、審美的等命題。然而，我的背景是數學傳統，這是我最擅長寫作的領域。此外，邏輯華夏公益教科書的想法本身就是一個革命性的想法——一本不處理傳統以數學為中心的邏輯核心的邏輯華夏公益教科書入門，對於人們來說，接受起來就太革命了。
邏輯學家有時試圖將推理數學化，有時試圖推理數學。這兩個都是值得的目標，但我們應該記住，後者的目標在範圍上是有限的。當人們試圖將數學中行之有效的原理應用於外部事物時，它會導致困難。例如：使用量詞來將微積分建立在堅實的概念基礎上是一個相當巧妙的成就，而使用量詞在羅素的描述理論中看起來可能相當笨拙，儘管羅素嘗試這一舉動值得稱讚。
有很多章節都可以被採用。我目前正在處理命題演算。當我做完這些後，我就可以寫謂詞演算章節，但如果你認為你勝任這項任務，請隨意行動。或者你可以開始一個新的章節，在謂詞演算章節之後，證明哥德爾的不完備性定理，然後討論這個結果所帶來的深遠的影響。如果你等足夠長的時間，我可能會自己做這件事，但我可能會發現自己正處於自己能力的邊緣。
如果有人能夠承擔起撰寫時態邏輯、模態邏輯或其他任何型別的邏輯演算的責任，我將非常高興，並且會成為你的第一批讀者之一。此外，還需要撰寫關於經典邏輯的文章，到目前為止，它只是在開始闡述命題演算之前簡明扼要地說出了需要說的話。
這是一本入門書，所以我儘量少做假設。我儘量不製造一堵不透明的術語牆，並邊走邊解釋術語。英語可能不是所有讀者的第一語言，因此寫作必須簡潔明瞭。由於我們所做的大部分工作都可以被描述為對推理過程進行數學建模，因此需要一些數學能力。如果你能加、減、乘、除，那麼你就有足夠的知識了。如果你知道歐幾里得是誰，那就更好了。
感謝維基媒體基金會提供使這項工作成為可能的基礎設施。
--publunch 18:40, 2004年11月18日 (UTC)
上一級：邏輯目錄