PL EN

Journal

## Organon F. medzinárodný časopis pre analytickú filozofiu

2015 | 22 | 3 | 358 – 377
Article title

### THE SEMANTICS OF EMPIRICAL UNVERIFIABILITY

Authors
Content
Title variants
Languages of publication
EN
Abstracts
EN
Pavel Cmorej has argued that the existence of unverifiable and unfalsifiable empirical propositions follows from certain plausible assumptions concerning the notions of possibility and verification. Cmorej proves, it the context of a bi-modal alethic-epistemic axiom system AM4, that (1) ρ and it is not verified that ρ is unverifiable; (2) ρ or it is falsified that ρ is unfalsifiable; (3) every unverifiable ρ is logically equivalent to ρ and it is not verifiable that ρ ; (4) every unverifiable ρ entails that ρ is unverifiable. This article elaborates on Cmorej’s results in three ways. Firstly, we formulate a version of neighbourhood semantics for AM4 and prove completeness. This allows us to replace Cmorej’s axiomatic derivations with simple model-theoretic arguments. Secondly, we link Cmorej’s results to two well-known paradoxes, namely Moore’s Paradox and the Knowability Paradox. Thirdly, we generalise Cmorej’s results, show them to be independent of each other and argue that results (3) and (4) are independent of any assumptions concerning the notion of verification.
Keywords
EN
Year
Volume
Issue
Pages
358 – 377
Physical description
Contributors
author
• Slovak Academy of Sciences, Klemensova 19, 811 09 Bratislava, Slovakia
References
Document Type
Publication order reference
Identifiers