搜索结果: 1-15 共查到“哲学 Logic”相关记录55条 . 查询时间(0.127 秒)
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 ...
Is logic just last in line for the execution?Logic,holism,and the constitutive a priori
Quine Carnap Conventionalism Philosophy of Logic Holism Relativized apriori
2016/6/15
I argue that Quine’s early critique of Carnap’s conventionalism is in serious tension with the holism of "Two Dogmas of Empiricism", since his critique of convention- alism makes a compelling case for...
On the mathematical nature of logic,featuring P.Bernays and K.Godel
Bernays Goedel Godel Philosophy of Logic Philosophy of Mathematics
2016/6/15
The paper examines the interrelationship between mathematics and logic, arguing that a central characteristic of each has an essential role within the other. The first part is a reconstruction of and ...
Logic,Geometry And Probability Theory
quantum logic-lattice theory-geometry of quantum mechanics-quantum probability
2016/6/13
We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quant...
An Introduction to Partition Logic
logic of partitions Boolean logic of subses propositional logic subset-quotient set duality quantum mechanics
2016/6/13
Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of class...
The Paraconsistent Logic of Quantum Superpositions
quantum superposition paraconsistent logic interpretation of quantum mechanics
2016/6/12
Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the mult...
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...
On the connection between the categorical and the modal logic approaches to Quantum Mechanics
Quantum Mechanics Category Theory Modal Logic
2016/6/12
This thesis aims at connecting the two research programs known as Categorical Quantum Mechanics and Dynamic Quantum Logic. This is achieved in three steps. First we define a procedure to extract a Mod...
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.