由全球位网民共同编写而成。共计 词条文字
 
逻辑学 分类
 
制约逻辑

制约逻辑

当代逻辑的新领域--制约逻辑 数学逻辑 二千三百年前,古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑,为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初,经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力,吸收莱布尼兹的成果,建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统,这是逻辑学发展史上的第二座里程碑。   1968...[ 阅读全文]

查看本类更多词条>>

此分类暂无分类人物

 
发表讨论  
标题:
内容:
(请输入图中验证码) 看不清,换一个
查看更多>>

Copyright © 2005-2009 hudong.com Ltd. All Rights Reserved. 互动在线 版权所有

输入词条名称,以;分隔

投诉原因:
本分类词条不完善/不准确
本分类长期未更新
本分类内容栏目有误
本分类涉及违反法律法规的内容
本分类涉及广告内容
其他投诉意见:

申请本类专家:

互动百科现已成为一个各类专家与维客交流的平台,如果您拥有本分类相关的学历或资历,您可以通过申请成为网站专家。 当您成为专家以后可以很方便的以对词条作出点评,为全球最大中文百科做出您的贡献,感谢您的申请。

如您确定有意申请,请填写如下资料:

 

您的投诉已经成功提交,感谢您对互动分类工作的支持,3天之内,互动百科站务委员会将给出投诉处理结果。  查看详情