「Possible worlds are stipulated, not discovered by powerful telescopes.」- 索尔·克里普克经典语录

"

Possible worlds are stipulated, not discovered by powerful telescopes.

索尔·克里普克 索尔·克里普克
💡 解读： 可能世界是被规定的，而不是通过强大的望远镜发现的。
👤 更多 索尔·克里普克 经典语录 5句
There is no special problem about proper names in fiction.
索尔·克里普克 索尔·克里普克
A priori truths are not necessarily truths known independently of experience.
索尔·克里普克 索尔·克里普克
The concept of identity is not a concept that we learn from experience.
索尔·克里普克 索尔·克里普克
The distinction between the a priori and the a posteriori is epistemic, not metaphysical.
索尔·克里普克 索尔·克里普克
The meaning of a name is its bearer.
索尔·克里普克 索尔·克里普克
🔥 热门推荐 10句
但是在这里，真正属于我的世界只有脚下的小路那么宽。我一步也不会离开这条路。我从不曾需要多么宽阔的通道，能侧身而过就足够了。像鸟在天空侧身飞翔，鱼在大海里侧身遨游，我从来不曾渴望过全部的世界。我只是经过这个世界，去向的一个小小的所在。我只依赖熟知的事物而生活，我心有牵挂，不想迷路，不想回不了家。我在山野里，游荡在节制之中。但已经感到足够的自由。
李娟 李娟
但愿同入梦。
琼瑶 琼瑶
悲伤就是知识
拜伦 拜伦
表面看起来糟糕的事，本质上却往往并非如此。
塞涅卡 塞涅卡
我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。
亚历山大·索尔仁尼琴 亚历山大·索尔仁尼琴
我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。
恩格斯 恩格斯
奇花与丽日争妍，翠竹共青天斗碧。
吴承恩 吴承恩
大家礼义教子弟，小家凶恶训儿郎。
周希陶 周希陶
人人为我，我为人人。
列宁 列宁
真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。
罗曼·罗兰 罗曼·罗兰
首页 › 作家 › 💬 查看更多 40句相邻名言
Every good mathematician is at least half a philosopher, and every good philosopher is at least half a mathematician.
戈特洛布·弗雷格 戈特洛布·弗雷格
提出谓词逻辑，影响现代逻辑学
The thought is the sense of the sentence.
戈特洛布·弗雷格 戈特洛布·弗雷格
提出谓词逻辑，影响现代逻辑学
Logic is the science of the most general laws of truth.
戈特洛布·弗雷格 戈特洛布·弗雷格
提出谓词逻辑，影响现代逻辑学
The laws of logic are not psychological laws, but laws of the laws of thought.
戈特洛布·弗雷格 戈特洛布·弗雷格
提出谓词逻辑，影响现代逻辑学
The laws of logic are not psychological laws, but laws of truth.
戈特洛布·弗雷格 戈特洛布·弗雷格
提出谓词逻辑，影响现代逻辑学
The world is rational.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
Either mathematics is too big for the human mind or the human mind is more than a machine.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
The more I think about language, the more it amazes me that people ever understand each other at all.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
Time is the only dimension in which we can perceive change.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
The meaning of the world is the separation of wish and fact.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
Time is the means by which we prevent everything from happening at once.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
A philosophical error is much more serious than a mathematical one.
库尔特·哥德尔 库尔特·哥德尔
提出不完备定理，奠定数理逻辑基础
The good life is one inspired by love and guided by knowledge.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
To be without some of the things you want is an indispensable part of happiness.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
The whole problem with the world is that fools and fanatics are always so certain of themselves, and wiser people so full of doubts.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
The time you enjoy wasting is not wasted time.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
Fear is the main source of superstition, and one of the main sources of cruelty. To conquer fear is the beginning of wisdom.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
The fundamental cause of the trouble is that in the modern world the stupid are cocksure while the intelligent are full of doubt.
伯特兰·罗素 伯特兰·罗素
分析哲学创始人，逻辑学巨匠
A priori truths are not necessarily truths known independently of experience.
索尔·克里普克 索尔·克里普克
现代模态逻辑创始人之一
The concept of identity is not a concept that we learn from experience.
索尔·克里普克 索尔·克里普克
现代模态逻辑创始人之一
The meaning of a name is its bearer.
索尔·克里普克 索尔·克里普克
现代模态逻辑创始人之一
There is no special problem about proper names in fiction.
索尔·克里普克 索尔·克里普克
现代模态逻辑创始人之一
The distinction between the a priori and the a posteriori is epistemic, not metaphysical.
索尔·克里普克 索尔·克里普克
现代模态逻辑创始人之一
Logic is the foundation of philosophy, and philosophy is the foundation of science.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
The principle of contradiction is not a law of thought but a law of being.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
In logic, as in life, it is essential to distinguish between what is possible and what is necessary.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
The history of logic is the history of the liberation of thought from the constraints of language.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
A true proposition is one that corresponds to reality, not merely to our beliefs about reality.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
Logic is the foundation of all sciences, and the art of reasoning is the most valuable of all arts.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
In logic, as in life, we must distinguish between what is possible and what is necessary.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
The history of logic is the history of the liberation of the human mind.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
A true proposition is one that corresponds to reality, not merely to our thoughts.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
Logic is the foundation of philosophy, but philosophy is not logic.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
In logic, as in life, it is not enough to be right; one must also be understood.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
The truth of a proposition does not depend on our knowledge of it.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
Modal logic is not just about necessity and possibility, but about the structure of reasoning itself.
扬·武卡谢维奇 扬·武卡谢维奇
创立波兰逻辑学派，贡献命题逻辑与模态逻辑
The fact that a certain proposition can be deduced from a certain set of axioms by means of a certain system of rules does not in itself make it true.
阿隆佐·邱奇 阿隆佐·邱奇
提出λ演算，影响计算理论
A function is a rule of correspondence by which when anything is given (as argument) another thing (the value of the function for that argument) may be obtained.
阿隆佐·邱奇 阿隆佐·邱奇
提出λ演算，影响计算理论
The λ-calculus is, in essence, a purely abstract theory of functions.
阿隆佐·邱奇 阿隆佐·邱奇
提出λ演算，影响计算理论
The fundamental concept of the λ-calculus is that of a function, regarded as a rule of correspondence.
阿隆佐·邱奇 阿隆佐·邱奇
提出λ演算，影响计算理论
🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行