1、計(jì)算機(jī)應(yīng)用于會(huì)計(jì)工作的邏輯基礎(chǔ)問(wèn)題是會(huì)計(jì)信息系統(tǒng)領(lǐng)域的根本性理論問(wèn)題；這一問(wèn)題的解決有助于為會(huì)計(jì)信息技術(shù)開(kāi)發(fā)建立一個(gè)科學(xué)理論上的基礎(chǔ)，自覺(jué)地引導(dǎo)技術(shù)開(kāi)發(fā)的走向。在計(jì)算主義看來(lái)，計(jì)算機(jī)為什么能夠應(yīng)用于會(huì)計(jì)工作與人類會(huì)計(jì)工作者為什么能夠按程序去完成會(huì)計(jì)工作有著相同的實(shí)質(zhì)，即兩者都是對(duì)信息的計(jì)算過(guò)程；基于計(jì)算主義的哲學(xué)觀，初步探討了計(jì)算機(jī)得以理解會(huì)計(jì)過(guò)程語(yǔ)義并幫助人們完成會(huì)計(jì)工作的邏輯基礎(chǔ)。 在緒論部分，討論了“世界的本質(zhì)是圖靈機(jī)計(jì)算

2、”這一泛計(jì)算主義命題的邏輯基礎(chǔ)及經(jīng)驗(yàn)證據(jù)，闡述了我們堅(jiān)持計(jì)算命題的理由，并確立了以會(huì)計(jì)語(yǔ)言概念為切入點(diǎn)的研究思路。第2章我們具體地分析了Godel定理、Church-Turing命題、泛計(jì)算主義命題，并結(jié)合語(yǔ)言學(xué)相關(guān)理論提出了會(huì)計(jì)范疇系統(tǒng)的家族相似性、會(huì)計(jì)語(yǔ)言的社會(huì)建構(gòu)特性等基本觀點(diǎn)。第3章進(jìn)一步具體地討論了會(huì)計(jì)對(duì)企業(yè)利益關(guān)系人財(cái)富分配集體意向性的表達(dá)的邏輯過(guò)程，分析了計(jì)算機(jī)理解會(huì)計(jì)語(yǔ)義的概念基礎(chǔ)。第4章我們運(yùn)用第3章所得邏輯模型考察了