帕特里克·斯科托·迪卢西奥 逻辑系统和形式。 (英语) Zbl 0973.03043号 迈克尔·安德森(编辑)等人,《图表的理论和应用》。2000年9月1日至3日在苏格兰爱丁堡举行的2000年图表第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1889, 117-131 (2000). 摘要:提出了这样一个问题:使用图表表示的逻辑系统在哪些方面和程度上是“正式的”?我建议将“形式”规则描述为那些可以简化为对表示本身进行简单的构造性操作的规则。那么,形式系统就是那些使用这种形式规则的系统。有人认为,这种“形式性”特征是应对某种认识论挑战的特定策略的基础。对一些图表和异构逻辑系统进行了形式化测试,结果表明任何健壮的异构系统都不太可能是形式化的。然后,本文的分析提供了一些图表系统与语言系统的显著差异的原则性说明。关于整个系列,请参见[兹比尔0947.00039]. 引用于1文件 MSC公司: 03B99号 一般逻辑 03B30型 经典理论基础(包括逆向数学) 软件:LPL软件 PDF格式BibTeX公司 XML格式引用 \textit{P.S.di Luzio},莱克特。注释计算。科学。1889117-131(2000年;兹bl 0973.03043)