×
配件，梅尔文

FOIL公理化。 （英语） Zbl 1114.03014号

螺柱日志。 84，第1期，1-22页（2006年）; 更正同上，85，第2号，275（2007）。
摘要：在早先的一篇论文[“一阶内涵逻辑”，Ann.Pure Appl.logic 127，No.1–3，171–193（2004；Zbl 1061.03024号)]，我给出了一个简单的一阶内涵逻辑（称为FOIL）的语义和表规则，在这个逻辑中，对象和内涵都显式地存在，并且可以被量化。强度是非刚性的，在FOIL中表示为从状态到对象的（部分）函数。范围界定机制，即谓词抽象，是用来消除歧义的句子，比如断言晨星和晚星的必要同一性，这在某种意义上是正确的，在另一种意义上是不正确的。
在本文中，我讨论了FOIL公理化的问题。我从一个有趣的子逻辑开始，其中包含谓词抽象和等式，但没有量词。在[M.配件，“命题与一阶之间的模态逻辑”，J.Log。计算。12，第6期，1017–1026（2002年；Zbl 1017.03008号)]如果底层模态逻辑至少为K4，则表明该子逻辑是不可判定的，尽管在其他情况下它是可判定的。给出的公理化对于没有对称条件的标准逻辑是完全的。总体情况不得而知。在此之后，给出了完整FOIL的公理化，这在观点发生变化后很简单。

引用于1文件

MSC公司：

03B45 模态逻辑（包括规范逻辑）

关键词：

内涵逻辑;模态逻辑;表格;谓词抽象;公理化

引文：

Zbl 1061.03024号;Zbl 1017.03008号
PDF格式BibTeX公司 XML格式引用
\textit{M.Fitting}，螺柱日志。84，第1号，1--22（2006；Zbl 1114.03014）
全文： 内政部

参考文献：

[1] Fitting，M.C.，“一阶逻辑模态逻辑”，摘自D.Jacquette（编辑），《哲学逻辑指南》，第27章，马萨诸塞州马尔登市布莱克威尔，2002年，第410-421页·Zbl 1111.03303号
[2] Fitting，M.C.，“命题与一阶之间的模态逻辑”，《逻辑与计算杂志》，12:1017–10262002·Zbl 1017.03008号 ·网址：10.1093/log.com/12.6.1017
[3] Fitting，M.C.，Types，Tableaus，and Gödel’s God，Kluwer，2002年。勘误表http://come.lehman.cuny.edu/fitting/errata/errata.html .
[4] Fitting，M.C.，“内涵逻辑——超越一阶”，载于V.F.Hendricks和J.Malinowski（编辑），《逻辑趋势：逻辑研究50年》，Kluwer学术出版社，2003年，第87–108页·Zbl 1048.03014号
[5] Fitting，M.C.，“一阶内涵逻辑”，《纯粹与应用逻辑年鉴》127:171–1932004年·Zbl 1061.03024号 ·doi:10.1016/j.apal.2003.11.014
[6] Fitting，M.C.和R.Mendelsohn，一阶模态逻辑，Kluwer，1998年。平装本，1999年。勘误表http://come.lehman.cuny.edu/fitting/errata/errata.html .
[7] 加林，D.，《内涵和高阶模态逻辑》，北荷兰人出版社，1975年·Zbl 0341.0204号
[8] Garson，J.W.，“模态逻辑中的量化”，载于D.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》，第2卷，D.Reidel，1984年，第249-307页·Zbl 0875.03050号
[9] Hughes，G.E.和M.J.Cresswell，《模态逻辑的伴侣》，伦敦梅休出版社，1984年·Zbl 0625.03005号
[10] Hughes，G.E.和M.J.Cresswell，《模态逻辑新导论》，Route-ledge，伦敦，1996年。
[11] Kracht，M.和O.Kutz，模态谓词逻辑的语义II，模态个体，在R.Kahle（编辑），意向性中重新审视。2000年10月27日至29日在慕尼黑举行的会议记录，逻辑讲义。A.K.，Peters，2003年。出现·Zbl 1090.03005号
[12] Montague，R.，“关于某些哲学实体的性质”，《一元论》53:159-1961960。重印于[17]，148–187。
[13] Montague，R.，“语用学”，收录于R.Klibansky（编辑），《当代哲学：概览》，佛罗伦萨，《意大利新编辑》，1968年，第102–122页。重印于[17]，95-118。
[14] Montague，R.，“语用学和内涵逻辑”，Synthèse 22:68–941970年。转载于[17]，119–147·Zbl 0228.02017 ·doi:10.1007/BF00413599
[15] Stalnaker，R.和R.Thomason，“一阶模态逻辑中的抽象”，《理论》34:203-2071968年·doi:10.1111/j.1755-2567.1968.tb00351.x
[16] Thomason，R.和R.Stalnaker，“模态和参考”，Nous 2:359-3721968年·doi:10.2307/2214461
[17] Thomason，R.H.（编辑），《形式哲学》，理查德·蒙塔古论文集，耶鲁大学出版社，纽黑文和伦敦，1974年·Zbl 0264.02008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。