邏輯演算與形式化方法

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

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

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

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

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

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

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

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

淺談邏輯陷阱及其應(yīng)對(duì)方法04-27

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

走出形式化的困境04-29

為什么實(shí)驗(yàn)方法和邏輯方法對(duì)科學(xué)特別重要?04-29

科學(xué)邏輯方法在創(chuàng)造思維活動(dòng)中的運(yùn)用04-28