切换用户
查看图书详细信息
3，查看图书网页阅读
京公网安备11010202010100号
引文
×GB/T 7714-2015 格式引文
张建军.逻辑学动态与评论.第一卷.第二辑[M].北京：中国社会科学出版社,2022
MLA 格式引文
张建军.逻辑学动态与评论.第一卷.第二辑.北京,中国社会科学出版社:2022E-book.
APA 格式引文
张建军(2022).逻辑学动态与评论.第一卷.第二辑.北京：中国社会科学出版社
图书简介
主办单位中国逻辑学会 江苏省逻辑学会承办单位南京大学现代逻辑与逻辑应用研究所主 编：张建军副 主 编：郭佳宏 顿新国（常务）编辑委员会成员（按姓氏笔画为序）： 王文方 王克喜 宋方敏 杜国平 张力锋 张建军 张顺 陈坤 陈新仁 罗琼鹏 胡星铭 郭佳宏 袁永锋 夏素敏 顿新国 潘天群在19世纪下半叶，数学家们开始研究不同系统或结构中代数与几何公理的“可满足性”。模型论作为数理逻辑的分支，便是这些研究的一个结果。许多重要的结论由勒文海姆（L.Loewenheim）、斯科伦（T.Skolem）与哥德尔（K.Gödel）在1915年之后得出，这甚至要早于塔斯基在20世纪30年代早期对满足与真的直觉概念的精确界定。模型论的成熟形式由塔斯基在20世纪50年代提出，并由此成为数理逻辑教科书中真概念的标准定义。在模型论中，真被定义为一个给定语言L中的语句和一个集合论结构W之间的一种关系。通常L是一个一阶语言。L与W之间的关系由一个解释函数I所建立，它将L中的非逻辑常项映射到W中的X域上（也即函数I将个体常项映射为X中的元素，将谓词映射为X的子集以及映射为X中的关系，并将函数符号映射为X中的函数）。因而...
作者简介
图书目录
相关推荐
-
图书 逻辑学动态与评论．第一卷．第一辑
作者：张建军
图书 逻辑学动态与评论．第一卷．第一辑
-
2
图书 逻辑学动态与评论.第二卷.第一辑
作者：张建军
图书 逻辑学动态与评论.第二卷.第一辑
-
3
图书 逻辑学动态与评论.第二卷.第二辑
作者：张建军
图书 逻辑学动态与评论.第二卷.第二辑
-
4
图书 东方社会法评论（第一卷）
作者：李炳安
图书 东方社会法评论（第一卷）
-
5
图书 超绝发生学原理（第一卷）
作者：钱捷
图书 超绝发生学原理（第一卷）
-
6
图书 中国经济学手册.第一卷
作者：谢伏瞻 蔡昉 黄群慧
图书 中国经济学手册.第一卷
-
7
图书 民主法治评论2012年第一卷
作者：胡水君
图书 民主法治评论2012年第一卷
-
8
图书 剑桥古代史.第一卷.第二分册，中东地区早期历史
作者：（英）I.E.S.爱德华兹 C.J.嘉德（C.J.Gadd） N.G.L.哈蒙德（N.G.L.Hammond） 刘健
图书 剑桥古代史.第一卷.第二分册，中东地区早期历史
-
9
图书 伊犁河流域额鲁特人托忒文文献荟萃．第一辑：第一卷：蒙古语
作者：叶尔达
图书 伊犁河流域额鲁特人托忒文文献荟萃．第一辑：第一卷：蒙古语
-
10
图书 伊犁河流域额鲁特人托忒文文献荟萃．第一辑：第二卷：蒙古语
作者：叶尔达
图书 伊犁河流域额鲁特人托忒文文献荟萃．第一辑：第二卷：蒙古语
豆瓣评论