每日文摘
首页
›
作家
›
张家龙
›
名言详情
「模态逻辑的研究不仅具有理论意义，而且对计算机科学和人工智能的发展有重要影响。」- 张家龙经典语录
"
模态逻辑的研究不仅具有理论意义，而且对计算机科学和人工智能的发展有重要影响。
张家龙
🏷️ 标签：
逻辑
意义
科学
研究
重要
发展
理论
‹
思维的严谨性来自于逻辑的训练，而非天生的直觉。
逻辑真理是必然的，它不依赖于经验事实，而是由逻辑形...
›
👤 更多 张家龙 经典语录
10句
现代逻辑的发展，不仅推动了哲学研究的深入，也为计算机科学和人工智能提供了理论基础。
张家龙
逻辑真理是必然真理，它不依赖于经验事实，而是由逻辑形式决定的。
张家龙
逻辑学的发展离不开对传统逻辑的批判和超越，现代逻辑正是在这种批判中诞生的。
张家龙
逻辑系统的构建需要严格的形式化方法，这是现代逻辑区别于传统逻辑的重要特征。
张家龙
逻辑学是研究推理形式的科学，它的任务是揭示有效推理的结构和规律。
张家龙
语言哲学的核心问题之一是意义问题，而逻辑分析是解决这一问题的有力工具。
张家龙
现代逻辑的发展不仅推动了哲学研究的深化，也为计算机科学和人工智能提供了理论基础。
张家龙
逻辑学是研究推理形式的科学，它的任务是揭示有效推理的形式结构。
张家龙
逻辑哲学的任务之一是澄清逻辑学的基本概念，如真、有效性、必然性等。
张家龙
现代逻辑的发展不仅推动了哲学研究的深入，也为计算机科学和人工智能提供了重要的理论基础。
张家龙
🏷️ 相关主题推荐
10句
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
在投资中，最重要的是避免犯大错。
张磊
谅解、增援和情谊，比什么都重要。
乔治·华盛顿
你在电视上看见一个小牛出生，出生了以后它几秒钟之后它就想法站起来，常常站不起来，因为站起来立刻就摔倒，然后它又站起来。怎么一个安排，就使得它知道它要站起来，而且失败了以后还可以再尝试，然后等到最后站起来，它就知道要去吃它妈妈的奶，这个母亲跟这个小牛之间的关系，这是一种非常神秘的事情，所以就是自然界非常稀奇的事情非常之多。就使得我想到，现在不是大家都热衷于人工智能吗，他们研究的东西里头也是很稀奇的东西，可是这些东西离小牛跟它母亲之间的复杂的这个关系那还是差得很远呢。我很难想象说是在以后两百年之间，生物学家会对母子之间的 bonding ，能够有深入的了解。
杨振宁
最可厌的人，如果你细加研究，结果总发现他不过是个可怜的人。
张爱玲
管理是一种实践，其本质不在于“知”而在于“行”；其验证不在于逻辑，而在于成果；其唯一权威就是成就。
彼得·德鲁克
人生的全部意义包含在这两个词上——“等待”和“希望”。
大仲马
我们要树立人生目标，这样我们才知道生活的航向，才能懂得生活还有新的追求。但是比树立目标重要的是用行动去实现所谓的目标，只有下定决心，历经学习，奋斗，成长这些不断的行动，才有资格摘下成功的甜美果实。
李开复
人生中最重要的不是把成功当作资本，傻子也会这样做的。重要的是从失败中崛起，并受益，这可是需要聪明的才智，也正是智者和傻瓜的区别。
卡耐基
人的生存是可怕的，且总无意义：一个搞恶作剧的人可能成为它的厄运。我要向人们讲授生存的意义，这意义就是超人，是乌云里的闪电。
尼采
🔥 热门推荐
10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟
但愿同入梦。
琼瑶
悲伤就是知识
拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶
人人为我，我为人人。
列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
首页
›
作家
›
💬 查看更多
40句相邻名言
人工智能的逻辑基础，本质上是对人类推理模式的抽象与扩展。
刘晓力
逻辑学与人工智能逻辑研究专家
逻辑的严格性不仅体现在形式上，更体现在对问题本质的把握上。
刘晓力
逻辑学与人工智能逻辑研究专家
在逻辑与认知的交汇处，我们才能更清晰地看到人类理性的边界与可能。
刘晓力
逻辑学与人工智能逻辑研究专家
逻辑学不仅是思维的规范，更是理解世界的基本工具。
刘晓力
逻辑学与人工智能逻辑研究专家
人工智能的逻辑基础研究，是连接人类理性与机器智能的桥梁。
刘晓力
逻辑学与人工智能逻辑研究专家
哲学逻辑的探索，本质上是对人类思维极限的挑战。
刘晓力
逻辑学与人工智能逻辑研究专家
The study of logical systems in AI is not just about algorithms, but about understanding the essence of reasoning.
刘晓力
逻辑学与人工智能逻辑研究专家
逻辑学不仅是关于推理的学问，更是关于思维自由的学问。
鞠实儿
逻辑学与语言哲学研究专家
语言的意义不在于符号本身，而在于符号与世界的关联方式。
鞠实儿
逻辑学与语言哲学研究专家
哲学的任务之一是澄清语言的混乱，而逻辑学则是这一任务的工具。
鞠实儿
逻辑学与语言哲学研究专家
The study of logic is not merely about correct reasoning, but about the freedom of thought.
鞠实儿
逻辑学与语言哲学研究专家
形式语义学的核心在于揭示语言表达式的系统性与精确性。
鞠实儿
逻辑学与语言哲学研究专家
形式语义学的核心任务在于揭示语言表达与实在之间的精确对应关系。
鞠实儿
逻辑学与语言哲学研究专家
语言哲学的根本问题不是语言如何描述世界，而是语言如何构造世界。
鞠实儿
逻辑学与语言哲学研究专家
The study of logic is not merely about correct reasoning, but about the liberation of thought.
鞠实儿
逻辑学与语言哲学研究专家
在逻辑的世界里，没有权威，只有论证的力量。
鞠实儿
逻辑学与语言哲学研究专家
形式语义学的核心任务是为自然语言提供精确的逻辑表达。
鞠实儿
逻辑学与语言哲学研究专家
语言哲学的研究应当从逻辑分析入手，逐步深入到意义的本质。
鞠实儿
逻辑学与语言哲学研究专家
逻辑的真理性不在于其形式，而在于其与现实的契合度。
鞠实儿
逻辑学与语言哲学研究专家
思维的严谨性来自于逻辑的训练，而非天生的直觉。
鞠实儿
逻辑学与语言哲学研究专家
逻辑真理是必然的，它不依赖于经验事实，而是由逻辑形式决定的。
张家龙
中国著名逻辑学家
语言哲学的核心问题之一是意义问题，而逻辑分析是解决这一问题的有力工具。
张家龙
中国著名逻辑学家
逻辑悖论的解决不仅需要技术上的创新，更需要哲学上的深刻反思。
张家龙
中国著名逻辑学家
逻辑学是研究推理形式的科学，它的任务是揭示有效推理的结构和规律。
张家龙
中国著名逻辑学家
逻辑学的发展离不开对传统逻辑的批判和超越，现代逻辑正是在这种批判中诞生的。
张家龙
中国著名逻辑学家
逻辑学是研究推理形式的科学，它的任务是揭示有效推理的形式结构。
张家龙
中国著名逻辑学家
逻辑真理是必然真理，它不依赖于经验事实，而是由逻辑形式决定的。
张家龙
中国著名逻辑学家
逻辑学的发展经历了从传统逻辑到现代逻辑的转变，这一转变是革命性的。
张家龙
中国著名逻辑学家
逻辑学不仅是一门科学，更是一种思维方式，它教会我们如何清晰、严密地思考问题。
陈波
逻辑学与分析哲学研究专家
分析哲学的精髓在于对语言的精确分析，通过语言分析来澄清哲学问题。
陈波
逻辑学与分析哲学研究专家
科学哲学的任务是揭示科学活动的本质和规律，为科学的发展提供方法论指导。
陈波
逻辑学与分析哲学研究专家
哲学问题的解决往往不是通过发现新的事实，而是通过重新组织我们已知的东西。
陈波
逻辑学与分析哲学研究专家
分析哲学的魅力在于它试图用最清晰的语言表达最深刻的思想。
陈波
逻辑学与分析哲学研究专家
科学哲学的任务是揭示科学活动的本质和规律，而不是为科学提供辩护或批判。
陈波
逻辑学与分析哲学研究专家
逻辑真理是必然的，但它的必然性不是来自经验，而是来自语言和思维的形式结构。
陈波
逻辑学与分析哲学研究专家
哲学问题的解决往往不在于给出一个答案，而在于澄清问题本身。
陈波
逻辑学与分析哲学研究专家
逻辑学不是关于思维的科学，而是关于命题之间关系的科学。
王路
逻辑学与语言哲学研究专家
语言哲学的核心问题不是语言如何表达世界，而是语言如何与世界相关联。
王路
逻辑学与语言哲学研究专家
认知科学的研究表明，逻辑思维并非人类唯一的理性形式。
王路
逻辑学与语言哲学研究专家
真值不是命题的属性，而是命题与世界的关系。
王路
逻辑学与语言哲学研究专家
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
