略论会计数理逻辑体系
- 格式：pdf
- 大小：1.32 MB
- 文档页数：2
CHINAMANAGEMENTINFORMATIONIZATION/略论会计数理逻辑体系尹智全渊广东扬权律师事务所袁广东深圳518000冤［摘要］将数理逻辑取得的重要研究成果引入到会计学科袁框架性地构造了会计数理逻辑体系遥提出会计数理逻辑体系在横向研究领域分为会计语形学尧会计语义学和会计语用学曰在纵向研究领域分为会计对象语言学和会计元语言学袁在整体研究上应具有独立性尧相容性尧可靠性和完备性的特征遥论文属于作者的原创性研究袁认为创立会计数理逻辑体系具有重要的理论意义和巨大的应用价值遥
［关键词］会计数理逻辑体系曰横向研究曰纵向研究曰整体层面研究制doi:10.3969/j.issn.1673-0194.2019.11.013
［中图分类号］F234［文献标识码］A［文章编号］1673-0194渊2019冤11-0029-02
［收稿日期］2019-03-19
园前言将数理逻辑的理论和方法应用于会计学科袁使会计学科被构造成一个具有数理逻辑形式系统特征的应用学科体系袁这是本文所指谓的会计数理逻辑体系遥在数理逻辑看来袁任何一个对象或者对象体系均可用符号渊指号冤或符号系统来表示袁符号可以是自然语言或人工语言袁狭义的符号是指人工语言即形式语言遥将会计语言系统视为一个符号系统袁即将其描述成一个形式系统袁对于会计学科教学和研究尧会计处理尧会计电算化袁深刻理解会计与审计等学科的关系袁具有重要的理论意义和巨大的应用价值遥数理逻辑取得的一系列研究成果很适合用于构造会计数理逻辑体系遥员数理逻辑把符号系统划分为语形尧语义和语用三个方面进行研究语形学是关于符号相互之间的形式关系的研究曰语义学是关于符号与其所指谓的对象之间的关系的研究曰语用学是关于符号与其使用者之间的关系的研究遥即院在对一个语言系统进行研究时袁如果明显地涉及了语言的使用者袁则属于语用学范围曰如果不涉及语言的使用者而仅涉及符号表达式与其所指谓的对象之间的关系袁则属于语义学范围曰如果仅涉及符号表达式之间的关系袁不涉及语言使用者和表达式的指谓袁则属于语形学范围咱员暂遥根据数理逻辑对符号的研究领域划分袁会计数理逻辑体
系在横向研究领域可分为会计语形学尧会计语义学和会计语用学遥各会计分录尧会计账簿及其相互之间的数量关系尧钩稽关系袁
以及各会计报表及其相互之间的数量关系尧钩稽关系袁相当于会计语形学袁它要求准确体现会计数量的钩稽关系遥会计核算是会计处理的核心任务袁因此袁会计语形学在会计系统中居于中心地位遥为此袁应借鉴数理逻辑的形式化方法渊包括初始符号尧合式公式形成规则尧公理系统或自然推理系统等冤袁突出会计语形学的研究袁将会计语言转换成形式语言袁将会计交易或事项尧会计要素及其数量关系转换成简明的函数表达式和逻辑公式袁并将该等函数表达式和逻辑公式构成一个具有数量钩稽关系的演算系统遥这是实现会计电算化尧人工智能化的关键途径遥各会计分录尧
会计账簿及其会计报表所指谓的各会计交易或事项及会计要素之间的语义关系袁属于会计语义学袁它要求会计分录尧会计账簿及会计报表所反映的会计交易或事项及会计要素符合可靠性尧
重要性尧实质重于形式等会计信息质量要求遥为此袁在会计教学中袁要述明会计学科与会计客观对象之间的反映与被反映关系袁
在会计处理实务中袁对会计交易或事项尧会计要素确认时袁要以会计准则为依据尧以会计事实为准绳袁按会计准则和会计事实实事求是地确认和计量袁避免会计信息的虚假尧重大遗漏和误导袁
质量的数据分析袁验证了营业利润普遍较低尧现金流量结构不合理的事实遥
主要参考文献咱员暂李昌龙援允在在公司利润质量研究咱阅暂援合肥院安徽大学袁圆园员苑援咱圆暂华径援中国物流类上市公司利润质量分析咱允暂援北京航空航天大学学
报院社会科学版袁圆园员圆渊员冤援
咱猿暂周丽娜援基于现金流量的上市公司利润质量评价研究咱阅暂援杭州院浙江工业大学袁圆园员圆援
咱源暂杜鹃援如何分析企业利润质量咱允暂援管理荟萃袁圆园员员渊圆冤援
咱缘暂华径援中国物流类上市公司利润质量分析咱允暂援北京航空航天大学学
报院社会科学版袁圆园员圆渊员冤援
咱远暂张新民援从报表看企业数字背后的秘密咱酝暂援北京院中国人民大学出版
社袁圆园员苑援
中国管理信息化悦hinaManagementInformationization
2019年6月
第22卷第11期Jun.袁2019
Vol援22袁No援11
29/CHINAMANAGEMENTINFORMATIONIZATION
保证会计信息的质量要求遥例如袁会计政策中的追溯重述法或未来适用法袁体现了会计确认和计量应正确反映会计主体经济活动实际内容的要求袁属于会计语义学的具体应用遥如果涉及会计分录尧会计账簿及会计报表等与其使用者之间的关系袁则属于会计语用学袁它要求会计信息在数量准确性和真实可靠性的基础上袁特别要求会计信息与其会计主体和使用者之间具有相关性遥为此袁会计主体责任人员应紧密联系会计主体实际和会计信息使用者的根本需求袁使输出的会计信息便于会计信息使用者清晰理解尧正确判断和合理运用袁使会计信息与会计目标相符袁即实现会计信息的应用价值效能遥圆数理逻辑把语言划分为对象语言和元语言两个方面进行研究野被研究对象的语言称对象语言袁噎噎讨论对象语言时所使用的语言称为元语言遥冶咱圆暂例如袁运用汉语去讲述英语的国际会计准则袁此时英语国际会计准则是被研究的语言袁称为对象语言曰而汉语是用以讲述英语国际会计准则的语言袁称为元语言遥又如袁对于个别财务报表和合并财务报表而言袁前者和后者可分别视为对象语言和元语言遥有时袁对象语言和元语言是同一种语言袁例如在会计汉语教学中袁用汉语去讲述汉语会计袁此时的汉语就既是对象语言又是元语言遥但在该会计汉语教学中袁实际上使用了两种不同层次的语言遥如在总论部分袁关于财务会计目标尧会计基本假设和会计基础尧会计信息质量要求尧会计要素等内容袁通常属于会计元语言袁其他各章的具体内容袁通常属于会计对象语言遥在数理逻辑中袁所构造的形式系统和逻辑演算袁它们是对象语言曰而为了构造形式系统和逻辑演算袁通常需要使用自然语言渊如汉语冤加上一些特别符号袁此时所使用的该自然语言及特别符号袁即为元语言遥需注意的是袁对象语言和元语言的区分是相对的袁元语言本身又可成为另一种语言的对象语言袁如审计报告对于会计报表而言袁它是元语言曰但对审计报告的评价而言袁如中国证券会对有关会计师事务所出具的某虚假审计报告的行政处罚决定袁属于审计报告的元语言袁该审计报告则属于对象语言遥在会计语言中区分对象语言和元语言袁将会计学科的纵向研究区分为会计对象语言学和会计元语言学袁有利于清楚地区分会计学科语言和表述会计学科的教学语言袁促使用最简洁尧清晰的教学元语言袁全面尧准确地表述会计科学的内涵和外延袁提高会计教学效果曰有利于合理设计会计处理各环节尧层次的分工袁明确各会计人员的主体责任的划分曰有利于构造明晰的会计形式系统和精确的核算体系袁使会计处理全面实现人工智能化遥猿数理逻辑的元逻辑理论关于形式系统的整体层面要求具有独立性尧相容性尧可靠性和完备性的特征独立性是指袁一个公式集合酝是独立的袁如果酝中每一个公式粤都不能根据给定的推演规则从酝中用其他公式推演出来遥相容性又称一致性或协调性袁它是指袁令酝是一个公式集袁如果不存在公式粤袁使得酝推出粤并且酝推出￢粤袁那么称公式集酝是相容的遥如果存在公式粤袁使得酝推出粤并且酝推出￢粤袁那么称公式集酝是不相容的咱猿暂遥可靠性是指袁当从前提酝出发袁利用推理规则形式渊语法冤推出粤时袁那么一定也可以从前提酝
出发袁语义推出粤遥直观地说袁由形式推理规则推出的结论能够在实际推理中得到反映袁所以这些形式推理规则是可靠的遥完备性是指袁当从前提酝出发袁语义推出粤时袁那么一定也可以从前提酝出发袁利用推理规则形式推出粤遥这说明实际中的任何推理都可以在形式推理系统中进行符号化描述袁因此所构建的形式推理系统完全反映了实际推理咱源暂遥可靠性和完备性反映了语形推
理和语义推理的等价关系遥可靠性和完备性表明袁语形推理不会导致不正确的语义推理袁这称为经典逻辑的可靠性曰语形推理穷尽了语义的正确推理袁这称为经典逻辑的完备性遥由此体现了数理逻辑系统语形和语义构造的完美映照咱缘暂遥
会计数理逻辑体系的整体层面研究应体现独立性尧相容性尧
可靠性和完备性的特征遥如会计科目系统就同时兼备了这四性要求院各会计科目名称及其相应编号袁类似于单个的身份证号码袁均具有唯一性袁因而在整体层面体现了独立性特征曰会计科目在会计账簿或财务报表中袁清晰地显示了类尧项尧科尧子目的区别及各科目间的联系袁呈现为一个和谐共融的符号语言系统袁因而具有相容性的整体层面特征曰会计科目编号系统袁能够全面尧
准确地反映会计主体经济业务的内容尧性质与意义袁因而在会计学科整体层面具有可靠性特征曰同时袁会计主体所有经济业务的内容尧性质与意义袁都在会计科目中得到了恰当的反映和记录袁
因而会计学科整体层面具有完备性特征遥又如袁企业会计准则体系中的会计政策系统袁是企业进行会计处理的尺度性规范体系袁
在会计学科整体层面应同时兼备独立性尧相容性尧可靠性和完备性的特征袁缺一不可遥但每个具体的会计政策袁体现的主要是独立性特征曰其他如借贷记账法尧权责发生制等核心基础概念袁除具有在会计学科领域的突出独立性特征外袁在会计学科领域还同时具有相容性尧可靠性和完备性的总体特征遥会计主体在会计处理过程中袁在整体层面应兼顾野四性冶要求袁编制的会计信息袁
必须具备真实性尧完整性和准确性的总体信息质量要求袁尤其要注意会计信息整体协调袁前后可比袁不可顾此失彼尧相互矛盾遥特别地袁个别会计主体的会计信息袁应体现其个体特色即独立性遥
当然袁会计数理逻辑体系及其整体层面要求必须随着实践和时代变化而不断调整和更新袁因此袁会计数理逻辑体系是一个具有无限生命力的开放性学科体系遥
主要参考文献咱员暂周礼全援逻辑要要要正确思维和成功交际的理论咱酝暂援北京院人民出版社袁圆园园员院圆圆-圆猿援
咱圆暂陆钟万援面向计算机科学的数理逻辑咱酝暂援第2版.北京院科学出版社袁
圆园员员院猿援咱猿暂李娜援数理逻辑的思想和方法咱酝暂援天津院南开大学出版社袁圆园园远院员怨圆袁员苑怨援咱源暂闫林援数理逻辑基础与粒计算咱酝暂援北京院科学出版社袁圆园园苑院56.咱缘暂邢滔滔援数理逻辑咱酝暂援北京院北京大学出版社袁圆园园愿院圆圆远援
会计研究30
