哲学 >>> 哲学 >>> 逻辑学 >>> 逻辑史 形式逻辑 哲理逻辑 语言逻辑 归纳逻辑 辩证逻辑 逻辑学其他学科
搜索结果: 1-15 共查到逻辑学 logic相关记录15条 . 查询时间(0.046 秒)
No registration fee. The conference will providethree days (August21-23)ofaccommodationfor all registered participants ofthe conference. Wewill also provide one day (August21 or 23) of sightseeing in ...
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 ...
Invited Speakers: Professor Gila Sher (University of California in San Diego, USA) Professor Greg Restall (the University of Melbourne, Australia) Professor Roy Sorensen (Washington University in S...
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...
From their first beginnings in ancient Greece and India, logic and the study of language have been closely entwined. Logic takes its source in the process of reasoning; language is the basic means for...
The Centre for Logic, Language and Computation was established in February 2001. CLLC consists of people from mathematics, computer science, philosophy and linguistics. Mathematics and computer scien...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...