搜索结果: 1-11 共查到“逻辑学其他学科 logic”相关记录11条 . 查询时间(0.14 秒)
清华大学-阿姆斯特丹逻辑学联合研究中心（Tsinghua University-University of Amsterdam Joint Research Centre for Logic）
清华大学-阿姆斯特丹逻辑学联合研究中心 Tsinghua University-University of Amsterdam Joint Research Centre for Logic
2016/8/9
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 in the light of a Logic for Pragmatics
knowability logic for pragmatics antirealism undecidedness
2016/6/12
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...
BH-CIFOL:Case-intensional first order logic.(II) Branching histories
modal logic extension/intension intensional predication and quantification sortal tracing substance indeterminism branching
2016/6/12
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...
The square of opposition in orthomodular logic
square of opposition modal orthomodular logic classical consequences
2016/5/30
In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentione...
CIFOL:Case-intensional first order logic.(I) Toward a theory of sorts
modal logic extension/intension intensional predication and quantification sortal tracing substance
2016/5/27
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.
A logic road from special to general relativity
first-order logic axiomatization foundation of relativity theory
2016/5/27
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...