机读格式显示(MARC)

• 000 01709nam 2200385 450

• 001 0000378180

• 005 20201116121400.0

• 010 __ |a 978-7-03-064604-0 |d CNY88.00

• 021 __ |a CN |b 01-2020-0884

• 099 __ |a CAL 012020040830

• 100 __ |a 20200409d2020 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a b a 001yy

• 106 __ |a r

• 200 1_ |a 逻辑后承概念 |A luo ji hou cheng gai nian |f (美) 约翰·埃切门迪著 |g 马亮, 杜国平, 曾文杰译

• 210 __ |a 北京 |c 科学出版社 |d 2020

• 215 __ |a 181页 |c 地图 |d 24cm

• 225 2_ |a 应用逻辑与逻辑应用研究前沿译丛 |A ying yong luo ji yu luo ji ying yong yan jiu qian yan yi cong

• 312 __ |a 原文题名取自版权页

• 320 __ |a 有书目 (第142-143页) 和索引

• 330 __ |a 后承的直观概念不能被任何单独的演绎系统所捕捉, 因此对于"后承"并不意味着在这个或那个演绎模式中的可推导性。本书由一个单一的, 扩展的推论组成。推论的结论是, 塔斯基关于后承的分析, 或者说逻辑后承的标准的语义学说明是错误的。这一关于逻辑真理和逻辑后承的说明不能捕捉哪怕是接近于捕捉任何逻辑属性的前理论概念。这个说明将既是产出不足的 (undergenerate) 又是产出过多的(overgenerate): 它将宣称某些推论是无效的而实际上是有效的, 并且宣称另一些是有效的而事实上是无效的。

• 333 __ |a 逻辑学、数学、计算机科学、哲学和语言学的研究者和爱好者

• 410 _0 |1 2001 |a 应用逻辑与逻辑应用研究前沿译丛

• 510 1_ |a Concept of logical consequence |z eng

• 606 0_ |a 推理 |A tui li

• 690 __ |a B812.23 |v 5

• 701 _1 |c (美) |a 埃切门迪 |A ai qie men di |c (Etchemendy, John) |4 著

• 702 _0 |a 马亮 |A ma liang |4 译

• 702 _0 |a 杜国平 |A du guo ping |4 译

• 702 _0 |a 曾文杰 |A zeng wen jie |4 译

• 801 _0 |a CN |b WHUTL |c 20200526

• 905 __ |a XATU |d B812.23/11

• 920 __ |a 261060 |z 1

• 998 __ |a WHUT