您现在的位置是:首页 > 词典 > 新名词

符号逻辑协会

分类:新名词408字

美国研究符号逻辑的学术团体。创立于1936年,会址设在罗得岛州的首府普罗维登斯。其宗旨是探索和批判地研究形式逻辑或数理逻辑以及与之有密切联系的有关学科。该协会通常在12月份举行年会,夏季会议则在欧洲举行。协会的会员不只来自美国,80年代会员约有1500人。它的出版物为《符号逻辑杂志》。在该学会的推动下,美国对符号逻辑的研究一直兴盛不衰,并涌现出许多具有世界影响的学者,如著名的实用主义哲学家、逻辑学家莫里斯为代表的一些人,试图在他们提出的符号学中把卡尔纳普的“逻辑句法”理论与语义学、以及跟实用主义主张的把语言当作一种交际工具结合起来。到了50年代 ......     (共408字)    [阅读本文]>>

其他相关分类

推荐内容

  • 新名词

    文恩图解

    英国数学家文恩用交叉圆圈来表示概念间外延关系的一种图解。如:图(一)中的斜线表示既是A又是B的部分是不存在的,既没有“A”是“B”(一)没有“A”是“B”图(二)中圆圈相交部分中的“+”表示有的“A”是

    231字 55
  • 新名词

    永假公式

    一个真值形式(或真值函数)对其中各命题变元无论取什么样的真值,都使该真值形式(或真值函数)所取的值是恒假的,则称为永假公式。例如,p∧p就是一个矛盾式,用真值表表示如下:从表中看出,对命题p无论取什么值

    217字 59
  • 新名词

    欧拉图解

    瑞士数学家欧拉用圆圈来表示概念间的外延关系的一种图解。如以图(一)表示全同关系,图(二)表示上属关系,图(三)表示下属关系,图(二)、(三)表示从属关系,图(四)表示交叉关系,图(五)表示全异关系。欧拉

    275字 98
  • 新名词

    逻辑符号系统

    数理逻辑中不但有不同的系统,也有各种不同的符号体系。除变元外,命题逻辑中所使用的符号有两大类,一类是联结词符号,另一类是作分组用的符号。联结词符号。联结词采用的符号目前在数理逻辑中尚未取得一致,常用的几

    303字 49
  • 新名词

    谓词逻辑的应用

    用谓词符号表示语句,用谓词演算中的推理规则及定理处理科学及现实生活中的一些逻辑关系问题。这是谓词逻辑应用的主要方面。举个例子。求证“如果有一个儿子,那么就有一个父亲”这一推理在逻辑上正确。证明:引入谓词

    1776字 52
单篇阅读全文
知识稻田10年专业运营,值得您的信赖

限时特价:4.99元/篇

原价:10元
微信支付
VIP会员
畅享全站1000万篇资源,全文阅读

半年卡:58.00元/180天

原价:158元
VIP开通详情
VIP资源中心  
常见问题
欢迎使用微信支付
扫一扫微信支付
微信支付:6.97
微信支付中,请勿关闭窗口
微信支付中,请勿关闭窗口
支付成功
已获得文章阅读权限
确定