198現代邏輯入門

ISBN:957-603-143-5

朱水林編著
160

現代邏輯是傳統邏輯的新發展。十七世紀萊布尼茨是現代邏輯的最早開拓者。本世紀二十年代，哥德爾一階邏輯完備性定理的證明，標誌著現代邏輯的完成。當前發展迅速，由於與數學、自然科學、哲學、語言學相互之間廣泛的滲透，產生了許多綜合成果，現代邏輯已成長為門類眾多的學科。作者從事邏輯學研究、教學多年，深感社會需要普及化的現代邏輯，然而現代邏輯是一門形式的、嚴密論證的學科，如果作刻板的陳述，往往令人望而生畏，故本書用一種突出自然語言描述，突出邏輯思想闡述的方法，向讀者和大、中學學生介紹現代邏輯。
小學高年級用書國中用書高中用書 中學數學教師用書大專用書
適用適用適用