哲学 >>> 哲学 >>> 逻辑学 >>> 逻辑学其他学科 >>>
搜索结果: 1-11 共查到逻辑学其他学科 logic相关记录11条 . 查询时间(0.096 秒)
After several years of successful cooperation, Tsinghua University and the University of Amsterdam have decided to strengthen their ties in the form of a joint research center for logic, the first of ...
The Knowability Paradox is a logical argument showing that if all truths are knowable in principle, then all truths are, in fact, known. Many strategies have been suggested in order to avoid the parad...
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller 2013). We introduce a framework of branching histories to take account of indeterminism. Ou...
The paper is about an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general an...
In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentione...
This is Part I of a two-part essay introducing case-intensional first-order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting fro...
Logic of gauge     Weyl  gauge theory  Yang-Mills  connections       2016/5/27
The logic of gauge theory is considered by tracing its development from general relativity to Yang-Mills theory, through Weyl's two gauge theories.
We present a streamlined axiom system of special relativity in first-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how ...
A MINI-GUIDE TO LOGIC IN ACTION     MINI-GUIDE  LOGIC  ACTION       2009/7/23
Classical logic is about propositions which we can know or believe, and unchanging inferential relationships between them. But inference is first and foremost an activity, for which propositions are m...
1 Guarded Quantification in Least Fixed Point Logic McColm,Gregory; Journal of Logic, Language and Information; 0925-8531; 200424 ; 13卷1 期 ; 61-110 页 文摘: We develop a variant of Least Fixed Point ...
Our program committee has been pleasantly surprised by the many interesting contributions, covering a large area of research. The selection has been hard. We are happy to announce that the following p...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...