Skip to main content

An Epistemic Logic Based on Change and the Paradox of Unknowability

  • Conference paper
  • First Online:
  • 1195 Accesses

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 115))

Abstract

Unknowable paradox threatens any theory that entails the principle of knowability. In this paper, I argue that the propositional attitude “knowing” is a a state that is undergoing change when we know something that was unknown before. And the unknowable paradox is in fact a denial of this change by contradictions. There are consistent and inconsistent theories for modeling change. In a view of physicalism, we propose to relate this propositional attitude to the present time of possible worlds based on the fact that the tense of its definition in order to avoid a inconsistent theory of change. It shows that theorem 5 of Fitch turns out to be that if there is an unknown truth now then it is unknown now that it is unknown truth now. It is compatible with the principle of knowability because speaking specially, it is still possible that it is known in a future time that it is an unknown now.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Beall, J.C.: Fitch’s Proof, Verificationism, and the Knower Paradox. Australas. J. Philos. 78, 241–247 (2000)

    Article  Google Scholar 

  2. Brogaard, B., Salerno, J.: Fitch’s Paradox of Knowability (2002), http://plato.stanford.edu/entries/fitch-paradox/

  3. Brogaard, B., Salerno, J.: Clues to the Paradoxes of Knowability: Reply to Dummett and Tennant. Analysis 62, 143–150 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  4. Chris, M.: Change (2006), http://plato.stanford.edu/entries/change/

  5. Cozzo, C.: What We Can Learn from the Paradox of Knowability. Topoi 13, 71–78 (1994)

    Article  MathSciNet  Google Scholar 

  6. DeVidi, D., Kenyon, T.: Analogues of Knowability. Australas. J. Philos. 81(4), 481–495 (2003)

    Article  Google Scholar 

  7. DeVidi, D., Solomon, G.: Knowability and Intuitionistic Logic. Philosophia 28, 319–334 (2001)

    Article  Google Scholar 

  8. Dummett, M.: What is a Theory of Meaning? In: Evans, G., McDowell, J. (eds.) Truth and Meaning, ch. 4. Clarendon Press (1976)

    Google Scholar 

  9. Fitch, F.: A Logical Analysis of Some Value Concepts. J. Symbolic. Logic 28, 135–142 (1963)

    Article  MathSciNet  Google Scholar 

  10. Hand, M.: Knowability and Epistemic Truth. Australas. J. Philos. 81(2), 216–228 (2003)

    Article  Google Scholar 

  11. Hand, M., Kvanvig, J.: Tennant on Knowability. Australas. J. Philos. 77, 422–428 (1999)

    Article  Google Scholar 

  12. Hart, W.D.: The Epistemology of Abstract Objects: Access and Inference. Pro. Aristot. Soc. 53, 153–165 (1979)

    Google Scholar 

  13. Hart, W.D., McGinn, C.: Knowledge and Necessit. J. Philoso. Logic 5, 205–208 (1976)

    MathSciNet  MATH  Google Scholar 

  14. Hegel, G.: 1812, Wissenschaft der Logik, see A. Miller (tr) Hegel’s Science of Logic. Allen and Unwin, London (1969)

    Google Scholar 

  15. Kvanvig, J.: The Knowability Paradox and the Prospects for Anti-Reality. Nous 29, 481–499 (1995)

    Article  MathSciNet  Google Scholar 

  16. Mackie, J.L.: Truth and Knowability. Analysis 40, 90–92 (1980)

    Article  Google Scholar 

  17. Melia, J.: Anti-Realism Untouched. Mind 100, 341–342 (1991)

    Article  MathSciNet  Google Scholar 

  18. Nozick, R.: Philosophical Explanations, ch. 3, Cambridge (1981)

    Google Scholar 

  19. Percival, P.: Fitch and Intuitionistic Knowability. Analysis 50, 182–187 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  20. Percival, P.: Knowability, Actuality and the Metaphysics of Context- Dependence. Australas. J. Philos. 69, 82–97 (1991)

    Article  Google Scholar 

  21. van Inwagen, P.: Metaphysics (2007), http://plato.stanford.edu/entries/metaphysics/

  22. Rabinowicz, W., Segerberg, K.: Actual Truth, Possible Knowledge. Topoi 13, 101–115 (1994)

    Article  MathSciNet  Google Scholar 

  23. van Benthem, J.: What One Come to Know. Analysis 64(2) (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lei Liu .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag GmbH Berlin Heidelberg

About this paper

Cite this paper

Liu, L. (2012). An Epistemic Logic Based on Change and the Paradox of Unknowability. In: Wu, Y. (eds) Software Engineering and Knowledge Engineering: Theory and Practice. Advances in Intelligent and Soft Computing, vol 115. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25349-2_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25349-2_49

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25348-5

  • Online ISBN: 978-3-642-25349-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics