搜索结果: 1-15 共查到“科学哲学 LOGIC”相关记录15条 . 查询时间(0.093 秒)
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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...
On the connection between the categorical and the modal logic approaches to Quantum Mechanics
Quantum Mechanics Category Theory Modal Logic
font style='font-size:12px;'>
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...
Intuitionistic quantum logic of an n-level system
quantum logic topos theory intuitionistic
font style='font-size:12px;'>
2009/3/25
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for ...
Quantum superposition principle justified in a new non-Aristotelian finitary logic
Quantum superposition entanglement non-classical logic
font style='font-size:12px;'>
2008/4/22
In the proposed non-Aristotelian finitary logic (NAFL), truths for formal propositions can exist only with respect to axiomatic theories, essentially as temporary axiomatic declarations in the human m...
The Logic of Confirmation and Theory Assessment
Hempel Carnap logic of confirmation
font style='font-size:12px;'>
2008/4/21
This paper discusses an almost sixty year old problem in the philosophy of science -- that of a logic of confirmation. We present a new analysis of Carl G. Hempel's conditions of adequacy (Hempel 1945...
An Introduction to Pavel Tichy and Transparent Intensional Logic
Pavel Tichy intensional semantics de dicto de re TIL
font style='font-size:12px;'>
2008/4/1
Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in...
Pictures of Sounds: Wittgenstein on Gramophones and the Logic of Depiction
Models Language Logic of Depiction Wittgenstein
font style='font-size:12px;'>
2008/3/31
The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier-than-air flight and...
Pictures of Sounds: Wittgenstein on Gramophone Records and the Logic of Depiction
Models Language Logic of Depiction Wittgenstein
font style='font-size:12px;'>
2008/3/31
The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier-than-air flight and...
Pictures of Sounds: Wittgenstein on Gramophone Records and the Logic of Depiction
Models, Language, Logic of Depiction, Wittgenstein, Logical structure, Pictorial Form, Picture
font style='font-size:12px;'>
2011/9/8
The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier-than-air flight and...
Pictures of Sounds: Wittgenstein on Gramophones and the Logic of Depiction
Models, Language, Logic of Depiction, Wittgenstein, Logical structure, Pictorial Form, Picture
font style='font-size:12px;'>
2011/9/8
The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier-than-air flight and...
An Introduction to Pavel Tichy and Transparent Intensional Logic
Pavel Tichy intensional semantics de dicto de re TIL transparent intensional logic
font style='font-size:12px;'>
2011/9/7
Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in...