「In logic, as in life, it is essential to distinguish between what is possible and what is necessary.」- 扬·武卡谢维奇经典语录

In logic, as in life, it is essential to distinguish between what is possible and what is necessary.

扬·武卡谢维奇

👤 更多扬·武卡谢维奇经典语录 10句

In logic, as in life, we must distinguish between what is possible and what is necessary.

扬·武卡谢维奇

Logic is the foundation of philosophy, and philosophy is the foundation of science.

扬·武卡谢维奇

The history of logic is the history of the liberation of thought from the constraints of language.

扬·武卡谢维奇

Logic is the foundation of all sciences, and the art of reasoning is the most valuable of all arts.

扬·武卡谢维奇

The principle of contradiction is not a law of thought but a law of being.

扬·武卡谢维奇

The truth of a proposition does not depend on our knowledge of it.

扬·武卡谢维奇

Logic is the foundation of philosophy, but philosophy is not logic.

扬·武卡谢维奇

A true proposition is one that corresponds to reality, not merely to our beliefs about reality.

扬·武卡谢维奇

A true proposition is one that corresponds to reality, not merely to our thoughts.

扬·武卡谢维奇

The history of logic is the history of the liberation of the human mind.

扬·武卡谢维奇

李娟

但愿同入梦。

琼瑶

悲伤就是知识

拜伦

表面看起来糟糕的事，本质上却往往并非如此。

塞涅卡

我绝不坚信这个时代没有放之四海而皆准的正义和良善的价值观，它们不仅仅有，而且不是朝令夕改流动无常的，它们是稳定而永恒的。

亚历山大·索尔仁尼琴

我们根本没想到要怀疑或轻视“历史的启示”；历史就是我们的一切。

恩格斯

奇花与丽日争妍，翠竹共青天斗碧。

吴承恩

大家礼义教子弟，小家凶恶训儿郎。

周希陶

真理就是自由人的祖国。真理不存在于丑化了的现实里。生命的第一个行动就是创造的行动。在争论中是不分高贵卑鄙，也不管称号姓氏的，重要的只是真理，在它面前人人平等。

罗曼·罗兰

人人为我，我为人人。

列宁

40句相邻名言

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.

索尔·克里普克

现代模态逻辑创始人之一

Possible worlds are stipulated, not discovered by powerful telescopes.

索尔·克里普克

现代模态逻辑创始人之一

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.

扬·武卡谢维奇

创立波兰逻辑学派，贡献命题逻辑与模态逻辑

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.

阿隆佐·邱奇

提出λ演算，影响计算理论

The λ-calculus is a formalism for representing functions and their application.

阿隆佐·邱奇

提出λ演算，影响计算理论

The λ-calculus is, in essence, a theory of functions and their application.

阿隆佐·邱奇

提出λ演算，影响计算理论

The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.

阿隆佐·邱奇

提出λ演算，影响计算理论

The problem of deciding whether two λ-expressions are equivalent is unsolvable.

阿隆佐·邱奇

提出λ演算，影响计算理论

The λ-calculus is not merely a formalism but a language in which computations can be expressed.

阿隆佐·邱奇

提出λ演算，影响计算理论

The discovery of the antinomy of the liar and of related antinomies has led to the realization that the intuitive notion of truth is not as simple as it appears at first sight.

阿隆佐·邱奇

提出λ演算，影响计算理论

🎲 随机 · 灵感闪现 ✨ 名言如星，拾光而行