Skip to main content

Logical Knowledge vs Knowledge of Logical Form

  • Chapter
  • First Online:
Logical Form

Part of the book series: Synthese Library ((SYLI,volume 393))

  • 462 Accesses

Abstract

This chapter spells out some major epistemological implications of the truth-conditional view, which concern the relation between logical knowledge and knowledge of logical form. The interesting fact that will emerge is that the truth-conditional view provides a perspective on such relation that radically differs from the approach traditionally associated with the syntactic notion.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 99.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Notes

  1. 1.

    To be precise, (N1) should be phrased as the rule that distinct objects are denoted by distinct names, if denoted at all, and (N1) should be phrased as the rule that distinct names must denote distinct objects, if they denote at all. For the sake of simplicity, here and in what follows we will use the shorter formulation.

  2. 2.

    Russsell (1998), p. 58.

  3. 3.

    Wittgenstein (1992), 5.53.

  4. 4.

    Boghossian (1992), pp. 20–22.

  5. 5.

    Kaplan outlines his view in Kaplan (1990). Voltolini (1997) discusses the hypothesis that an identity sentence in which the same graphic type occurs twice but refers to different things is formalized as a = b.

  6. 6.

    The book is old-fashioned because almost nobody uses the epithet ‘the Stagirite’ nowadays.

  7. 7.

    In Wittgenstein’s words, the individual constant a is a “real” name, what ‘Aristotle’ and ‘The Stagirite’ have in common, see Wittgenstein (1992), 3.3411.

  8. 8.

    Kripke (1979), pp. 254–265.

  9. 9.

    Kripke (1979), p. 257.

  10. 10.

    Kripke (1979), pp. 257–258.

  11. 11.

    Kripke (1979), pp. 265–266.

  12. 12.

    MacFarlane (2004), p. 23, suggests a solution along these lines. Sainsbury and Tye (2012), pp. 132–134, handles the puzzle in similar way, although it does not explicitly describe Peter’s cognitive deficiency in terms of ignorance of logical form.

  13. 13.

    According to Wittgenstein (1992), 4.243, one cannot understand two names without knowing whether they denote the same thing.

  14. 14.

    MacFarlane (2004), p. 22, aptly suggests that the normativity of logic is consistent with the possibility that the logical form of an argument is not epistemically transparent.

  15. 15.

    Here I follow Sainsbury and Tye (2012), p. 184.

  16. 16.

    Here, again, I follow Sainsbury and Tye (2012), pp. 134–135.

  17. 17.

    Boghossian (1994), p. 42.

References

  • Boghossian, P. (1992). Externalism and inference. Philosophical Issues, 2, 11–28.

    Article  Google Scholar 

  • Boghossian, P. (1994). The transparency of mental content. Philosophical Perspectives, 8, 33–50.

    Article  Google Scholar 

  • Kaplan, D. (1990). Words. Proceedings of the Aristotelian Society, 64, 93–119.

    Google Scholar 

  • Kripke, S. (1979). A puzzle about belief. In A. Margalit (Ed.), Meaning and use (pp. 239–283). Dordrecht: D. Reidel.

    Chapter  Google Scholar 

  • MacFarlane, J. (2004). In what sense (if any) is logic normative for thought? unpublished draft.

    Google Scholar 

  • Russell, B. (1998). The philosophy of logical atomism. La Salle: Open Court.

    Google Scholar 

  • Sainsbury, M., & Tye, M. (2012). Seven puzzles of thought and how to solve them. New York: Oxford University Press.

    Book  Google Scholar 

  • Voltolini, A. (1997). Contingent and necessary identities. Acta Analytica, 19, 73–98.

    Google Scholar 

  • Wittgenstein, L. (1992). Tractatus logico-philosophicus. London: Routledge.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Iacona, A. (2018). Logical Knowledge vs Knowledge of Logical Form. In: Logical Form. Synthese Library, vol 393. Springer, Cham. https://doi.org/10.1007/978-3-319-74154-3_6

Download citation

Publish with us

Policies and ethics