An Axiomatic Version of Fitch's Paradox

Synthese (forthcoming)
Abstract A variation of Fitch’s Paradox is given, where no special rules of inference are assumed, only axioms. These axioms follow from the familiar assumptions which involve rules of inference. We show (by constructing a model) that by allowing that possibly the knower doesn’t know his own soundness (while still requiring he be sound), Fitch’s Paradox is avoided. Provided one is willing to admit that sound knowers may be ignorant of their own soundness, this might offer a way out of the paradox.
Keywords paradox  Fitch's paradox  knowability  Church-Fitch argument  knowability paradox
Categories
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 5,701
External links
  •   Try with proxy.
  • Through your library Configure

    Similar books and articles
    C. S. Jenkins (2009). The Mystery of the Disappearing Diamond. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
    Michael Dummett (2009). Fitch's Paradox of Knowability. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
    Berit Brogaard (2009). On Keeping Blue Swans and Unknowable Facts at Bay : A Case Study on Fitch's Paradox. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
    Otavio Bueno (2009). Fitch's Paradox and the Philosophy of Mathematics. In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.

    Analytics

    Monthly downloads

    Added to index

    2012-01-05

    Total downloads

    58 ( #16,880 of 549,122 )

    Recent downloads (6 months)

    13 ( #5,039 of 549,122 )

    How can I increase my downloads?


    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  is 1 thread in this forum
    2012-02-14
    notation : I use ! for 'not'

    Perhaps you can avoid paradox but you have to admit this very strange proposition :
    K !K x ->  !P K x
    If you know that you ignore (x) it's impossible that you know (x)

    I don't see how it could be compatible with the knowability principle :
    x ->  P K x
    else you can't have
    (x) and (K !K x)

    (excuse me if this message is out of place, I ignore the policy of tis forum,
    excuse also my probable mistakes in english)
    Latest replies: Permanent link: http://philpapers.org/post/6605 Reply

    Other forums