邏輯演算與形式化方法

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

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

【邏輯演算與形式化方法】相關(guān)文章：

關(guān)于辯證邏輯形式化問題04-28

水庫調(diào)洪演算方法比較與改進04-29

飛機結(jié)構(gòu)試驗載荷演算方法研究04-27

相對論的產(chǎn)生與形式化方法04-29

聯(lián)合演算何以可能04-29

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

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

走出形式化的困境04-29

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

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