论文部分内容阅读
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。
直觉主义逻辑上的Friedman-Sheard理论
【摘 要】
：
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证
【机 构】
：
四川师范大学逻辑与信息研究所,四川师范大学马克思主义学院,南开大学哲学院
【出 处】
：
逻辑学研究
【发表日期】
：
2018年2期
【基金项目】
：
国家社会科学基金项目“公理化真理论研究”（项目编号：12BZX059）
其他文献
意大利学者的一项研究显示，妊娠中期补铁与妊娠期糖耐量受损及高血压相关，因此对补铁的潜在不利影响可能需要更进一步探讨。该论文发表于《美国妇产科杂志》[Am J Obstet Gynec
马克思主义认为,权威可以从政治性和社会性去理解,具有双重性。权威是人类社会中的一种必然现象,但其政治性会随着人类社会的发展而逐渐消失,社会性会逐渐凸现。马克思主义指
目的：探讨三切面正交法对胎儿面部畸形进行筛查的价值。方法：利用HD14000对2896例孕16—36周的胎儿面部进行i切面正交法检查。结果：2873例胎儿前额、双跟、鼻、口唇、下颌能清晰
抗感染药是当今临床应用最广泛的一大类药品,在世界处方药市场消费中名列第2位,仅次于心血管药物;从全国医药商业50个销售额领先药品的统计可见,前10位药品中除葡萄糖输液外,
<正> 近日笔者的杂牌声卡在WinXP下存在杂音,检查许久也未发现问题所在。论坛里一位高人说也许是“硬件加速”惹的祸。于是打开“控制面板”,双击“声音和音频设置”,在“音
1．对于发病12h内就诊的ST段抬高心肌梗死（STEMI）患者，对其肇事血管进行血运重建是适当的。2．对于发病12～24h就诊的STEMI患者，有持续症状、严重心力衰竭、血液动力学或心电不稳定者，进
【摘 要】随着教育的不断发展，如今素质教育已被全面推行，而高中英语是对学生基础英语的培养，因此，在高中英语教学中渗透文化意识的培养是极为重要的。高中英语教师应了解学生的文化渗透现状；了解学生对文化知识的兴趣度和重视度；了解学生平时是通过何种方式获取文化背景知识的；培养学生重视文化渗透意识，使学生深入了解文化内涵，促进学生英语水平的整体提升。同时，高中英语教师在教学过程中，应意识到文化渗透的重要性，
【摘 要】在素质教育的背景下，学生思想和品行教育的重要性胜过知识教育，因此，在初中阶段思想品德课程不可忽视，有利于学生思想、品德以及人格的完善，促进学生全面发展。但是思想品德课程偏于理论性，学生通常感觉枯燥乏味，对课程缺乏兴趣，再加上不是考试重点，许多学生学习时敷衍了事，偏离了课程开设的初衷，因此，在初中思想品德课堂上采取有效措施激发学生的学习兴趣对这一课程教学的开展意义重大。 【关键词】初中思