搜索结果: 1-15 共查到“哲学 LOGIC”相关记录23条 . 查询时间(0.031 秒)
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 ...
International Conference Truth,Logic,and Philosophy征文启事
International Conference Truth,Logic,and Philosophy 征文
2017/3/14
International Conference Truth,Logic,and Philosophy征文启事。
清华大学-阿姆斯特丹逻辑学联合研究中心(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...
The Fifth International Conference on Logic, Rationality and Interaction (LORI-V)
Fifth International Conference Logic, Rationality Interaction
2014/11/3
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the und...
![](http://www.firstlight.cn/upload/imgfile/20102/25/2010225105316.jpg)
The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or p...
该刊目的是建立一个广泛而灵活的编辑政策,刊登与哲学逻辑和概念分析逻辑的应用相关的论文。