搜索结果: 1-15 共查到“逻辑学 logic”相关记录15条 . 查询时间(0.104 秒)
Call for Papers: International Conference Hintikka, Logic, and Philosophy
Logic Philosophy
2018/3/22
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 ...
清华大学-阿姆斯特丹逻辑学联合研究中心（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 ...
2016.10.15-16:Call for Papers International Conference Paradoxes, Logic, and Philosophy
Conference Paradoxes Logic Philosophy
2016/3/9
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...