逻辑学动态与评论.第一卷.第二辑

选项

图书信息

PDF阅读

网页阅读

收藏纠错引文

逻辑学动态与评论.第一卷.第二辑

Trends and Reviews in Logic Vol.1，No.2，Nov.2022

ISBN：978-7-5227-1089-1

出版日期：2022-11

页数：223

字数：241.0千字

点击量：2585次

中图法分类：

出版单位：

中国社会科学出版社

关键词：

专题：

PDF试读网页试读立即荐购

折扣价：¥46.8 [6折] ~~原价：¥78.0~~ 立即购买电子书

图书简介

主办单位中国逻辑学会江苏省逻辑学会承办单位南京大学现代逻辑与逻辑应用研究所主编：张建军副主编：郭佳宏　顿新国（常务）编辑委员会成员（按姓氏笔画为序）：王文方　王克喜　宋方敏　杜国平张力锋　张建军　张顺陈坤陈新仁　罗琼鹏　胡星铭　郭佳宏袁永锋　夏素敏　顿新国　潘天群在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中的函数）。因而...

展开