每日文摘
首页
›
作家
›
邹崇理
›
名言详情
「类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。」- 邹崇理经典语录
"
类型逻辑语法证明，自然语言的结构可以通过精致的逻辑工具得到优雅刻画。
邹崇理
🏷️ 标签：
逻辑
证明
可以
语言
‹
模态逻辑的兴起表明，逻辑学必须超越真值条件，探索可...
认知科学的发展为传统逻辑问题提供了新的解决路径。
›
👤 更多 邹崇理 经典语录
10句
认知科学的发展为逻辑学提供了新的研究视角和方法论。
邹崇理
逻辑系统的构建应当兼顾表达力与可计算性。
邹崇理
模态逻辑的兴起表明，逻辑学必须超越真值条件，探索可能性与必然性的疆域。
邹崇理
科学哲学的任务不仅是解释科学理论的结构，还要揭示科学进步的合理性。
邹崇理
形式语义学的核心在于通过数学方法刻画自然语言的意义。
邹崇理
语言的意义不仅在于其指称，更在于其在特定语境中的使用和功能。
邹崇理
科学哲学的任务是理解科学活动的本质及其方法论基础。
邹崇理
哲学逻辑的任务在于揭示思维与语言之间的深层关联。
邹崇理
逻辑学不仅是研究推理形式的科学，更是人类理性思维的基础工具。
邹崇理
逻辑系统的构造应当兼顾表达力与可计算性。
邹崇理
🏷️ 相关主题推荐
10句
能做事的做事，能发声的发声。有一分热，发一分光，就令萤火一般，也可以在黑暗里发一点光，不必等候炬火。
鲁迅
一个人，出生了，这就不再是一个可以辩论的问题，而只是上帝交给他的一个事实；上帝再交给我们这个事实的时候，顺便保证了它的结果。所以死不是一件急于求成的事，死是一个必然会将临的节日。
史铁生
你在电视上看见一个小牛出生，出生了以后它几秒钟之后它就想法站起来，常常站不起来，因为站起来立刻就摔倒，然后它又站起来。怎么一个安排，就使得它知道它要站起来，而且失败了以后还可以再尝试，然后等到最后站起来，它就知道要去吃它妈妈的奶，这个母亲跟这个小牛之间的关系，这是一种非常神秘的事情，所以就是自然界非常稀奇的事情非常之多。就使得我想到，现在不是大家都热衷于人工智能吗，他们研究的东西里头也是很稀奇的东西，可是这些东西离小牛跟它母亲之间的复杂的这个关系那还是差得很远呢。我很难想象说是在以后两百年之间，生物学家会对母子之间的 bonding ，能够有深入的了解。
杨振宁
一个女人在用一生的辛勤、最美好的青春，来维护一个承诺，她的虚荣是可以理解的，任何话，说多了就很廉价。
陈果
信心，既然不需要事先的许诺，自然也就不必有事后的恭维，它的恩惠唯在渡涉苦难的时候可以领受。
史铁生
管理是一种实践，其本质不在于“知”而在于“行”；其验证不在于逻辑，而在于成果；其唯一权威就是成就。
彼得·德鲁克
你的自尊心受损，我可以了解，气激难受，是，我明白，但发泄过后，请继续生活，我们哪有浪费时间的奢侈。
亦舒
有了学问，好比站在山上，可以看到很远很多东西；没有学问，如在暗沟里走路，摸索不着，那会苦煞人。
毛泽东
俯仰天地间，触目俱浩浩。箪瓢有余乐，此意良匪矫。幽哉阳明麓，可以忘吾老。
王阳明
在某些心灵中，过失可以象罪恶那么严重于是自己的想象又反过来对自己的良心起作用，年青的姑娘就这样往往把罪恶夸大，因而就扩大了处罚的范围。
巴尔扎克
🔥 热门推荐
10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟
但愿同入梦。
琼瑶
悲伤就是知识
拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶
人人为我，我为人人。
列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰
首页
›
作家
›
💬 查看更多
40句相邻名言
语言哲学的研究告诉我们，语言的界限就是我们世界的界限。
陈波
逻辑学与分析哲学研究专家
逻辑的力量在于它能够将复杂的论证分解为简单的步骤，从而使我们能够清晰地看到其中的谬误。
陈波
逻辑学与分析哲学研究专家
逻辑学不是关于思维的科学，而是关于推理的科学。
王路
逻辑学与语言哲学研究专家
分析哲学的核心在于对语言的逻辑分析。
王路
逻辑学与语言哲学研究专家
科学哲学的任务是揭示科学活动的理性结构。
王路
逻辑学与语言哲学研究专家
The study of logic is the study of the principles of correct reasoning.
王路
逻辑学与语言哲学研究专家
哲学问题的解决往往依赖于对语言的澄清。
王路
逻辑学与语言哲学研究专家
逻辑是哲学的基础，没有逻辑的哲学就像没有地基的建筑。
王路
逻辑学与语言哲学研究专家
分析哲学的核心在于清晰性，而清晰性是通过逻辑分析实现的。
王路
逻辑学与语言哲学研究专家
科学哲学的任务不仅是解释科学，还要为科学提供方法论的支持。
王路
逻辑学与语言哲学研究专家
逻辑学不仅是工具，更是思维方式，它帮助我们更清晰地认识世界。
王路
逻辑学与语言哲学研究专家
哲学问题的解决往往依赖于逻辑的精确性，而不是模糊的思辨。
王路
逻辑学与语言哲学研究专家
逻辑是哲学的本质，哲学是逻辑的应用。
王路
逻辑学与语言哲学研究专家
分析哲学的核心在于对语言的清晰性和精确性的追求。
王路
逻辑学与语言哲学研究专家
科学哲学的任务是揭示科学活动的逻辑结构。
王路
逻辑学与语言哲学研究专家
逻辑不是关于思维的规律，而是关于命题之间的关系的规律。
王路
逻辑学与语言哲学研究专家
哲学问题的解决往往依赖于对语言表达的澄清。
王路
逻辑学与语言哲学研究专家
哲学逻辑的使命在于揭示语言、思维与实在之间的深层关联。
邹崇理
逻辑学与分析哲学研究专家
认知科学的发展为传统逻辑注入了新的活力，使得形式化方法能够更贴近人类实际思维过程。
邹崇理
逻辑学与分析哲学研究专家
模态逻辑的兴起表明，逻辑学必须超越真值条件，探索可能性与必然性的疆域。
邹崇理
逻辑学与分析哲学研究专家
认知科学的发展为传统逻辑问题提供了新的解决路径。
邹崇理
逻辑学与分析哲学研究专家
形式化方法在自然语言语义分析中具有不可替代的作用。
邹崇理
逻辑学与分析哲学研究专家
逻辑系统的构造应当兼顾表达力与可计算性。
邹崇理
逻辑学与分析哲学研究专家
哲学逻辑的任务在于揭示思维与语言之间的深层关联。
邹崇理
逻辑学与分析哲学研究专家
认知科学的发展为逻辑学提供了新的研究视角和方法论。
邹崇理
逻辑学与分析哲学研究专家
形式语义学的核心在于通过数学方法刻画自然语言的意义。
邹崇理
逻辑学与分析哲学研究专家
逻辑系统的构建应当兼顾表达力与可计算性。
邹崇理
逻辑学与分析哲学研究专家
语言哲学的核心问题之一是如何理解意义与指称的关系。
鞠实儿
逻辑学与语言哲学研究专家
认知科学的跨学科性质要求我们打破传统学科界限，以更开放的视角探索心智的奥秘。
鞠实儿
逻辑学与语言哲学研究专家
The study of logic is not just about formal systems, but about the very nature of human reasoning.
鞠实儿
逻辑学与语言哲学研究专家
哲学问题的解决往往需要多学科的协作，单一视角难以触及问题的核心。
鞠实儿
逻辑学与语言哲学研究专家
哲学问题的解决往往需要跳出传统框架，从新的视角重新审视。
鞠实儿
逻辑学与语言哲学研究专家
逻辑学不仅是关于推理的学问，更是关于思维结构的探索。
鞠实儿
逻辑学与语言哲学研究专家
认知科学的跨学科性质要求我们打破传统学科的界限。
鞠实儿
逻辑学与语言哲学研究专家
The study of logic is not just about formal systems, but about understanding the nature of human reasoning.
鞠实儿
逻辑学与语言哲学研究专家
哲学问题的解决往往需要多学科的协同努力。
鞠实儿
逻辑学与语言哲学研究专家
分析哲学的精髓在于将复杂问题分解为可操作的简单问题。
张建军
逻辑学与认知科学专家
科学方法论的核心不是证明真理，而是排除谬误。
张建军
逻辑学与认知科学专家
逻辑悖论的解决往往需要跳出传统思维框架。
张建军
逻辑学与认知科学专家
The clarity of thought is the first step towards philosophical rigor.
张建军
逻辑学与认知科学专家
🎲 随机 · 灵感闪现
✨ 名言如星，拾光而行
