Click Here ">
« September 2007 »
S M T W T F S
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30
You are not logged in. Log in
Entries by Topic
All topics  «
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Wednesday, 26 September 2007

Topic: Polemics

ON A SIDE EFFECT OF SOLVING FITCH’S PARADOX BY TYPING KNOWLEDGE

By Volker Halbach

 

It has been proposed to block Fitch’s paradox by disallowing a predicate or sentential operator of knowledge that can be applied to sentences containing the same predicate or operator of knowledge. Furthermore it has been claimed that this move is not ad hoc as there is independent motivation for this restriction, because this restriction provides a solution also to paradoxes arising from selfreference like the paradox of the Knower. A solution to paradoxes arising from selfreference is only needed if knowledge is treated as a predicate that can be diagonalized. However, if knowledge and possibility are conceived as such predicates with type restrictions, a new paradox arises. Very basic, jointly consistent assumptions on the predicates of knowledge and possibility yield an inconsistency if (a typed version of) the verifiability principle is added.

[read more]

Analysis 68 (2008), to appear


Posted by Tony Marmo at 19:29 BST
Updated: Wednesday, 26 September 2007 19:31 BST

View Latest Entries