Rudolf Carnap’sThe Logical Structure of the World
✍ Scribed by Hannes Leitgeb
- Publisher
- Springer Netherlands
- Year
- 2009
- Tongue
- English
- Weight
- 105 KB
- Volume
- 28
- Category
- Article
- ISSN
- 0167-7411
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
This paper follows the paper of Gaifman (1979), published in Erkenntnis. Two aspects of Gaifman's solution of the raven paradox are unsatisfactory: Firstly, the use of a subjective probability is unsatisfactory because its choice is arbitrary. Secondly, Gaifman's solution is not symmetric concerning
We consider first order modal logic C firstly defined by Carnap in "Meaning and Necessity" [1]. We prove elimination of nested modalities for this logic, which gives additionally the Skolem-Löwenheim theorem for C. We also evaluate the degree of unsolvability for C, by showing that it is exactly 0 .