1. 程式人生 > >邏輯是“必然的得出”,是“推理的有效性”

邏輯是“必然的得出”,是“推理的有效性”

找到 最好 教學 詳細 第一章 邏輯 多看 邏輯與 進行

輯是“必然的得出”,是“推理的有效性”,是“從前提真保證得出結論真”。通俗的說是研究推理形式(有效性)而不是其負載內容的。對應的功效是刻畫思維中演繹推理這一基本領域的工具。
王路《邏輯的觀念》中有個定義(好像是李小五的),憑記憶寫出(專門背過,但也不能保證無誤):【邏輯就是對形式正確的推理關系進行可靠且完全刻畫的形式推演系統。】這個定義自認為能看懂。李小五在《邏輯哲學九章》一書第一章中對邏輯的定義大多看不懂。
記得王路有篇文章說到日常生活中說的“邏輯”,一般是“道理”的意思。題目中的意思我覺得基本就是如此。最好不要混淆。不是說完全不同,而是要有理論自覺的區分區別。只是這篇文章暫時沒找到。對於邏輯的定義、邏輯的觀念、邏輯與哲學的關系、我國高校的邏輯教學等等問題,他都有不少文章專門詳細論述。

邏輯是“必然的得出”,是“推理的有效性”