邏輯演算與形式化方法

邏輯演算對推理形式有效性的研究,比傳統邏輯更抽象、更嚴格,其原因是形式化方法的運用.形式化方法包括構造形式系統(語法的)和對該系統進行解釋(語義的)兩個階段.以一階邏輯演算K L系統為例,形式化方法的前期階段,又包括符號化和系統化兩個步驟:符號化是用特制的人工語言符號將推理形式或演繹關系公式化;系統化是在符號化基礎上構造形式系統,即用系統給定的公理和變形規則推導出一系列定理的形式證明系統,這是邏輯演算的主要內容.形式化方法的后期階段或第三步驟是對系統的解釋,也稱模型化.經過解釋,該系統的符號、公式有了內涵,從而就有了更普遍的適用價值.純形式的邏輯演算的性質、意義和作用也因此變得十分清晰.

作 者： 孫明湘 李霞飛   作者單位： 中南大學政治學與行政管理學院,湖南,長沙,410083  刊 名： 中南大學學報(社會科學版)  英文刊名： JOURNAL OF CENTRAL SOUTH UNIVERSITY(SOCIAL SCIENCE)  年，卷(期)： 2003 9(1)  分類號： B813 O141  關鍵詞： 邏輯演算   形式化   形式系統   解釋  

【邏輯演算與形式化方法】相關文章：

關于辯證邏輯形式化問題04-28

水庫調洪演算方法比較與改進04-29

飛機結構試驗載荷演算方法研究04-27

相對論的產生與形式化方法04-29

聯合演算何以可能04-29

淺談邏輯陷阱及其應對方法04-27

試探論辯中“問”與“答”的邏輯方法04-27

走出形式化的困境04-29

為什么實驗方法和邏輯方法對科學特別重要?04-29

科學邏輯方法在創造思維活動中的運用04-28