您好,欢迎来到中国知网! [ 登录] [注册]
时政杂谈|财经理财|家居装饰|人文精神|人物巡礼|文化交流|服饰美容|我爱我家|家庭收藏|数字生活|文粹欣赏|法制天地
数据加载中......
数理逻辑的方法论意义初探
蒋冬梅 ; 逻辑与语言学习 1994 年 06 期
<正> 数理逻辑是古典形式逻辑的发展,它是用数学的方法研究推论有效性的判定方法和原则的科学,也被称为符号逻辑、现代逻辑。数理逻辑的创立起源于十七世纪的数学家莱布尼兹所提出的宏大构想:建立一个“普通的符号语言”,即类似数学符号的“通用语言”,利用它来进行“思维的演算”。十九世纪初,英国数学家布尔发表了《逻辑的数学分析》一书,他用代数方法处理逻辑问题,建立了逻辑代数。(本文共计 3 页)
查看全文
关于我们 CNKI荣誉 版权公告 客服中心 在线咨询 用户交流 用户建议

京ICP证040431号 互联网出版许可证 新出网证(京)字008号
© 2021 中国知网(CNKI) 京公网安备11010802014875号
《中国学术期刊(光盘版)》电子杂志社有限公司
KNet平台基础技术由KBASE 10.0提供.