收藏 纠错 引文

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

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

ISBN:978-7-5227-1089-1

出版日期:2022-11

页数:223

字数:241.0千字

点击量:6205次

定价:78.00元

中图法分类:
出版单位:
关键词:

图书简介

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

展开

作者简介

展开

图书目录

本书视频 参考文献 本书图表

相关词

人物

地点

请支付
×
提示:您即将购买的内容资源仅支持在线阅读,不支持下载!
您所在的机构:暂无该资源访问权限! 请联系服务电话:010-84083679 开通权限,或者直接付费购买。

当前账户可用余额

余额不足,请先充值或选择其他支付方式

请选择感兴趣的分类
选好了,开始浏览
×
推荐购买
×
手机注册 邮箱注册

已有账号,返回登录

×
账号登录 一键登录

没有账号,快速注册

×
手机找回 邮箱找回

返回登录

引文

×
GB/T 7714-2015 格式引文
张建军.逻辑学动态与评论.第一卷.第二辑[M].北京:中国社会科学出版社,2022
复制
MLA 格式引文
张建军.逻辑学动态与评论.第一卷.第二辑.北京,中国社会科学出版社:2022E-book.
复制
APA 格式引文
张建军(2022).逻辑学动态与评论.第一卷.第二辑.北京:中国社会科学出版社
复制
×
错误反馈