略論會(huì)計(jì)數(shù)理邏輯體系

尹智全

[摘? ? 要] 將數(shù)理邏輯取得的重要研究成果引入到會(huì)計(jì)學(xué)科，框架性地構(gòu)造了會(huì)計(jì)數(shù)理邏輯體系。提出會(huì)計(jì)數(shù)理邏輯體系在橫向研究領(lǐng)域分為會(huì)計(jì)語形學(xué)、會(huì)計(jì)語義學(xué)和會(huì)計(jì)語用學(xué);在縱向研究領(lǐng)域分為會(huì)計(jì)對(duì)象語言學(xué)和會(huì)計(jì)元語言學(xué)，在整體研究上應(yīng)具有獨(dú)立性、相容性、可靠性和完備性的特征。論文屬于作者的原創(chuàng)性研究，認(rèn)為創(chuàng)立會(huì)計(jì)數(shù)理邏輯體系具有重要的理論意義和巨大的應(yīng)用價(jià)值。

[關(guān)鍵詞] 會(huì)計(jì)數(shù)理邏輯體系;橫向研究;縱向研究;整體層面研究制

doi ： 10 . 3969 / j . issn . 1673 - 0194 . 2019. 11. 013

[中圖分類號(hào)] F234? ? [文獻(xiàn)標(biāo)識(shí)碼]? A? ? ? [文章編號(hào)]? 1673 - 0194（2019）11- 0029- 02

0? ? ? 前? ? 言

將數(shù)理邏輯的理論和方法應(yīng)用于會(huì)計(jì)學(xué)科，使會(huì)計(jì)學(xué)科被構(gòu)造成一個(gè)具有數(shù)理邏輯形式系統(tǒng)特征的應(yīng)用學(xué)科體系，這是本文所指謂的會(huì)計(jì)數(shù)理邏輯體系。在數(shù)理邏輯看來，任何一個(gè)對(duì)象或者對(duì)象體系均可用符號(hào)（指號(hào)）或符號(hào)系統(tǒng)來表示，符號(hào)可以是自然語言或人工語言，狹義的符號(hào)是指人工語言即形式語言。將會(huì)計(jì)語言系統(tǒng)視為一個(gè)符號(hào)系統(tǒng)，即將其描述成一個(gè)形式系統(tǒng)，對(duì)于會(huì)計(jì)學(xué)科教學(xué)和研究、會(huì)計(jì)處理、會(huì)計(jì)電算化，深刻理解會(huì)計(jì)與審計(jì)等學(xué)科的關(guān)系，具有重要的理論意義和巨大的應(yīng)用價(jià)值。

數(shù)理邏輯取得的一系列研究成果很適合用于構(gòu)造會(huì)計(jì)數(shù)理邏輯體系。

1? ? ? 數(shù)理邏輯把符號(hào)系統(tǒng)劃分為語形、語義和語用三個(gè)方面進(jìn)行研究

語形學(xué)是關(guān)于符號(hào)相互之間的形式關(guān)系的研究;語義學(xué)是關(guān)于符號(hào)與其所指謂的對(duì)象之間的關(guān)系的研究;語用學(xué)是關(guān)于符號(hào)與其使用者之間的關(guān)系的研究。即：在對(duì)一個(gè)語言系統(tǒng)進(jìn)行研究時(shí)，如果明顯地涉及了語言的使用者，則屬于語用學(xué)范圍;如果不涉及語言的使用者而僅涉及符號(hào)表達(dá)式與其所指謂的對(duì)象之間的關(guān)系，則屬于語義學(xué)范圍;如果僅涉及符號(hào)表達(dá)式之間的關(guān)系，不涉及語言使用者和表達(dá)式的指謂，則屬于語形學(xué)范圍[1]。根據(jù)數(shù)理邏輯對(duì)符號(hào)的研究領(lǐng)域劃分，會(huì)計(jì)數(shù)理邏輯體系在橫向研究領(lǐng)域可分為會(huì)計(jì)語形學(xué)、會(huì)計(jì)語義學(xué)和會(huì)計(jì)語用學(xué)。各會(huì)計(jì)分錄、會(huì)計(jì)賬簿及其相互之間的數(shù)量關(guān)系、鉤稽關(guān)系，以及各會(huì)計(jì)報(bào)表及其相互之間的數(shù)量關(guān)系、鉤稽關(guān)系，相當(dāng)于會(huì)計(jì)語形學(xué)，它要求準(zhǔn)確體現(xiàn)會(huì)計(jì)數(shù)量的鉤稽關(guān)系。會(huì)計(jì)核算是會(huì)計(jì)處理的核心任務(wù)，因此，會(huì)計(jì)語形學(xué)在會(huì)計(jì)系統(tǒng)中居于中心地位。為此，應(yīng)借鑒數(shù)理邏輯的形式化方法（包括初始符號(hào)、合式公式形成規(guī)則、公理系統(tǒng)或自然推理系統(tǒng)等），突出會(huì)計(jì)語形學(xué)的研究，將會(huì)計(jì)語言轉(zhuǎn)換成形式語言，將會(huì)計(jì)交易或事項(xiàng)、會(huì)計(jì)要素及其數(shù)量關(guān)系轉(zhuǎn)換成簡明的函數(shù)表達(dá)式和邏輯公式，并將該等函數(shù)表達(dá)式和邏輯公式構(gòu)成一個(gè)具有數(shù)量鉤稽關(guān)系的演算系統(tǒng)。這是實(shí)現(xiàn)會(huì)計(jì)電算化、人工智能化的關(guān)鍵途徑。各會(huì)計(jì)分錄、會(huì)計(jì)賬簿及其會(huì)計(jì)報(bào)表所指謂的各會(huì)計(jì)交易或事項(xiàng)及會(huì)計(jì)要素之間的語義關(guān)系，屬于會(huì)計(jì)語義學(xué)，它要求會(huì)計(jì)分錄、會(huì)計(jì)賬簿及會(huì)計(jì)報(bào)表所反映的會(huì)計(jì)交易或事項(xiàng)及會(huì)計(jì)要素符合可靠性、重要性、實(shí)質(zhì)重于形式等會(huì)計(jì)信息質(zhì)量要求。為此，在會(huì)計(jì)教學(xué)中，要述明會(huì)計(jì)學(xué)科與會(huì)計(jì)客觀對(duì)象之間的反映與被反映關(guān)系，在會(huì)計(jì)處理實(shí)務(wù)中，對(duì)會(huì)計(jì)交易或事項(xiàng)、會(huì)計(jì)要素確認(rèn)時(shí)，要以會(huì)計(jì)準(zhǔn)則為依據(jù)、以會(huì)計(jì)事實(shí)為準(zhǔn)繩，按會(huì)計(jì)準(zhǔn)則和會(huì)計(jì)事實(shí)實(shí)事求是地確認(rèn)和計(jì)量，避免會(huì)計(jì)信息的虛假、重大遺漏和誤導(dǎo)，保證會(huì)計(jì)信息的質(zhì)量要求。例如，會(huì)計(jì)政策中的追溯重述法或未來適用法，體現(xiàn)了會(huì)計(jì)確認(rèn)和計(jì)量應(yīng)正確反映會(huì)計(jì)主體經(jīng)濟(jì)活動(dòng)實(shí)際內(nèi)容的要求，屬于會(huì)計(jì)語義學(xué)的具體應(yīng)用。如果涉及會(huì)計(jì)分錄、會(huì)計(jì)賬簿及會(huì)計(jì)報(bào)表等與其使用者之間的關(guān)系，則屬于會(huì)計(jì)語用學(xué)，它要求會(huì)計(jì)信息在數(shù)量準(zhǔn)確性和真實(shí)可靠性的基礎(chǔ)上，特別要求會(huì)計(jì)信息與其會(huì)計(jì)主體和使用者之間具有相關(guān)性。為此，會(huì)計(jì)主體責(zé)任人員應(yīng)緊密聯(lián)系會(huì)計(jì)主體實(shí)際和會(huì)計(jì)信息使用者的根本需求，使輸出的會(huì)計(jì)信息便于會(huì)計(jì)信息使用者清晰理解、正確判斷和合理運(yùn)用，使會(huì)計(jì)信息與會(huì)計(jì)目標(biāo)相符，即實(shí)現(xiàn)會(huì)計(jì)信息的應(yīng)用價(jià)值效能。

2? ? ? 數(shù)理邏輯把語言劃分為對(duì)象語言和元語言兩個(gè)方面進(jìn)行研究

“被研究對(duì)象的語言稱對(duì)象語言，……討論對(duì)象語言時(shí)所使用的語言稱為元語言?！盵2]例如，運(yùn)用漢語去講述英語的國際會(huì)計(jì)準(zhǔn)則，此時(shí)英語國際會(huì)計(jì)準(zhǔn)則是被研究的語言，稱為對(duì)象語言;而漢語是用以講述英語國際會(huì)計(jì)準(zhǔn)則的語言，稱為元語言。又如，對(duì)于個(gè)別財(cái)務(wù)報(bào)表和合并財(cái)務(wù)報(bào)表而言，前者和后者可分別視為對(duì)象語言和元語言。有時(shí)，對(duì)象語言和元語言是同一種語言，例如在會(huì)計(jì)漢語教學(xué)中，用漢語去講述漢語會(huì)計(jì)，此時(shí)的漢語就既是對(duì)象語言又是元語言。但在該會(huì)計(jì)漢語教學(xué)中，實(shí)際上使用了兩種不同層次的語言。如在總論部分，關(guān)于財(cái)務(wù)會(huì)計(jì)目標(biāo)、會(huì)計(jì)基本假設(shè)和會(huì)計(jì)基礎(chǔ)、會(huì)計(jì)信息質(zhì)量要求、會(huì)計(jì)要素等內(nèi)容，通常屬于會(huì)計(jì)元語言，其他各章的具體內(nèi)容，通常屬于會(huì)計(jì)對(duì)象語言。在數(shù)理邏輯中，所構(gòu)造的形式系統(tǒng)和邏輯演算，它們是對(duì)象語言;而為了構(gòu)造形式系統(tǒng)和邏輯演算，通常需要使用自然語言（如漢語）加上一些特別符號(hào)，此時(shí)所使用的該自然語言及特別符號(hào)，即為元語言。需注意的是，對(duì)象語言和元語言的區(qū)分是相對(duì)的，元語言本身又可成為另一種語言的對(duì)象語言，如審計(jì)報(bào)告對(duì)于會(huì)計(jì)報(bào)表而言，它是元語言;但對(duì)審計(jì)報(bào)告的評(píng)價(jià)而言，如中國證券會(huì)對(duì)有關(guān)會(huì)計(jì)師事務(wù)所出具的某虛假審計(jì)報(bào)告的行政處罰決定，屬于審計(jì)報(bào)告的元語言，該審計(jì)報(bào)告則屬于對(duì)象語言。在會(huì)計(jì)語言中區(qū)分對(duì)象語言和元語言，將會(huì)計(jì)學(xué)科的縱向研究區(qū)分為會(huì)計(jì)對(duì)象語言學(xué)和會(huì)計(jì)元語言學(xué)，有利于清楚地區(qū)分會(huì)計(jì)學(xué)科語言和表述會(huì)計(jì)學(xué)科的教學(xué)語言，促使用最簡潔、清晰的教學(xué)元語言，全面、準(zhǔn)確地表述會(huì)計(jì)科學(xué)的內(nèi)涵和外延，提高會(huì)計(jì)教學(xué)效果;有利于合理設(shè)計(jì)會(huì)計(jì)處理各環(huán)節(jié)、層次的分工，明確各會(huì)計(jì)人員的主體責(zé)任的劃分;有利于構(gòu)造明晰的會(huì)計(jì)形式系統(tǒng)和精確的核算體系，使會(huì)計(jì)處理全面實(shí)現(xiàn)人工智能化。

3? ? ? 數(shù)理邏輯的元邏輯理論關(guān)于形式系統(tǒng)的整體層面要求具有獨(dú)立性、相容性、可靠性和完備性的特征

獨(dú)立性是指，一個(gè)公式集合M是獨(dú)立的，如果M中每一個(gè)公式A都不能根據(jù)給定的推演規(guī)則從M中用其他公式推演出來。相容性又稱一致性或協(xié)調(diào)性，它是指，令M是一個(gè)公式集，如果不存在公式A，使得M推出A并且M推出￢A，那么稱公式集M是相容的。如果存在公式A，使得M推出A并且M推出￢A，那么稱公式集M是不相容的[3]?？煽啃允侵?，當(dāng)從前提M出發(fā)，利用推理規(guī)則形式（語法）推出A時(shí)，那么一定也可以從前提M出發(fā)，語義推出A。直觀地說，由形式推理規(guī)則推出的結(jié)論能夠在實(shí)際推理中得到反映，所以這些形式推理規(guī)則是可靠的。完備性是指，當(dāng)從前提M出發(fā)，語義推出A時(shí)，那么一定也可以從前提M出發(fā)，利用推理規(guī)則形式推出A。這說明實(shí)際中的任何推理都可以在形式推理系統(tǒng)中進(jìn)行符號(hào)化描述，因此所構(gòu)建的形式推理系統(tǒng)完全反映了實(shí)際推理[4]?？煽啃院屯陚湫苑从沉苏Z形推理和語義推理的等價(jià)關(guān)系?？煽啃院屯陚湫员砻?，語形推理不會(huì)導(dǎo)致不正確的語義推理，這稱為經(jīng)典邏輯的可靠性;語形推理窮盡了語義的正確推理，這稱為經(jīng)典邏輯的完備性。由此體現(xiàn)了數(shù)理邏輯系統(tǒng)語形和語義構(gòu)造的完美映照[5]。

會(huì)計(jì)數(shù)理邏輯體系的整體層面研究應(yīng)體現(xiàn)獨(dú)立性、相容性、可靠性和完備性的特征。如會(huì)計(jì)科目系統(tǒng)就同時(shí)兼?zhèn)淞诉@四性要求：各會(huì)計(jì)科目名稱及其相應(yīng)編號(hào)，類似于單個(gè)的身份證號(hào)碼，均具有唯一性，因而在整體層面體現(xiàn)了獨(dú)立性特征;會(huì)計(jì)科目在會(huì)計(jì)賬簿或財(cái)務(wù)報(bào)表中，清晰地顯示了類、項(xiàng)、科、子目的區(qū)別及各科目間的聯(lián)系，呈現(xiàn)為一個(gè)和諧共融的符號(hào)語言系統(tǒng)，因而具有相容性的整體層面特征;會(huì)計(jì)科目編號(hào)系統(tǒng)，能夠全面、準(zhǔn)確地反映會(huì)計(jì)主體經(jīng)濟(jì)業(yè)務(wù)的內(nèi)容、性質(zhì)與意義，因而在會(huì)計(jì)學(xué)科整體層面具有可靠性特征;同時(shí)，會(huì)計(jì)主體所有經(jīng)濟(jì)業(yè)務(wù)的內(nèi)容、性質(zhì)與意義，都在會(huì)計(jì)科目中得到了恰當(dāng)?shù)姆从澈陀涗?，因而?huì)計(jì)學(xué)科整體層面具有完備性特征。又如，企業(yè)會(huì)計(jì)準(zhǔn)則體系中的會(huì)計(jì)政策系統(tǒng)，是企業(yè)進(jìn)行會(huì)計(jì)處理的尺度性規(guī)范體系，在會(huì)計(jì)學(xué)科整體層面應(yīng)同時(shí)兼?zhèn)洫?dú)立性、相容性、可靠性和完備性的特征，缺一不可。但每個(gè)具體的會(huì)計(jì)政策，體現(xiàn)的主要是獨(dú)立性特征;其他如借貸記賬法、權(quán)責(zé)發(fā)生制等核心基礎(chǔ)概念，除具有在會(huì)計(jì)學(xué)科領(lǐng)域的突出獨(dú)立性特征外，在會(huì)計(jì)學(xué)科領(lǐng)域還同時(shí)具有相容性、可靠性和完備性的總體特征。會(huì)計(jì)主體在會(huì)計(jì)處理過程中，在整體層面應(yīng)兼顧“四性”要求，編制的會(huì)計(jì)信息，必須具備真實(shí)性、完整性和準(zhǔn)確性的總體信息質(zhì)量要求，尤其要注意會(huì)計(jì)信息整體協(xié)調(diào)，前后可比，不可顧此失彼、相互矛盾。特別地，個(gè)別會(huì)計(jì)主體的會(huì)計(jì)信息，應(yīng)體現(xiàn)其個(gè)體特色即獨(dú)立性。當(dāng)然，會(huì)計(jì)數(shù)理邏輯體系及其整體層面要求必須隨著實(shí)踐和時(shí)代變化而不斷調(diào)整和更新，因此，會(huì)計(jì)數(shù)理邏輯體系是一個(gè)具有無限生命力的開放性學(xué)科體系。

主要參考文獻(xiàn)

[1]周禮全.邏輯——正確思維和成功交際的理論[M].北京：人民出版社，2001：22-23.

[2]陸鐘萬.面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯[M].第2版.北京：科學(xué)出版社，2011：3.

[3]李娜.數(shù)理邏輯的思想和方法[M].天津：南開大學(xué)出版社，2006：192，179.

[4]閆林.數(shù)理邏輯基礎(chǔ)與粒計(jì)算[M].北京：科學(xué)出版社，2007：56.

[5]邢滔滔.數(shù)理邏輯[M].北京：北京大學(xué)出版社，2008：226.