您当前的位置:首页 > 论文详情

逻辑后承语义定义探析

摘要: 塔斯基在论文《论逻辑后承概念》中以逻辑后承的两个直观考虑为出发点,基于满足等语义概念给出了逻辑后承语义定义,并认为这一定义与逻辑后承的通常用法相一致。然而,埃切门迪却批评塔斯基的语义定义在概念上未把握住逻辑后承的必然性,因而与通常的逻辑后承概念不一致。埃切门迪的批评在学界引起广泛讨论,其中,吉拉·谢尔独创性地以逻辑性完善了塔斯基逻辑后承语义定义,并在为逻辑性提供同构不变标准的基础上,较为全面、彻底、深刻地反驳了埃切门迪的批评,在逻辑和哲学上都具有重要意义。

Abstract: In the paper“On the Concept of Logical Consequence”,Tarski gave a semantic definition of logical
consequence based on satisfication,from two intuitive considerations. He declared this definition is consistent
with the common usage of logical consequence. However,Etchemendy criticizes Tarski’s semantic definition
does not grasp the necessity of logical consequence conceptually,therefore,it is inconsistent with the common
usage of logical consequence. Etchemendy’s criticisms arouse widely academic discussion. Among the
discussion,Gila Sher’s plan originally improves Tarski’s semantic definition with logicality,and by providing
isomorphism-invariance criterion for logical constants, she refutes Etchemendy’s criticisms in a more
comprehensive,thorough and profound way,which is of important significance in both logic and philosophy.

版本历史

[V1] 2025-04-22 22:04:16 PSSXiv:202504.02585V1 下载全文
点击下载全文
在线阅读
许可声明
metrics指标
  •  点击量3
  •  下载量0
  • 评论量 0
评论
分享
收藏