Abstract
The old conception of logical form did not survive the problems that emerged in connection with the dichotomy between natural language and logically perfect language. After Frege, Russell, and Wittgenstein, the ideal of logical perfection lost traction. However, the spirit of that conception did not die with its letter. Many philosophical works have been inspired by the thought that sentences must be paraphrased in a suitable language to elucidate their logical form. This chapter explains how the idea of logical form has evolved, as it dwells on two far-reaching developments that marked the analytic tradition. One concerns the characterization of the language that is expected to display logical form, the other concerns the understanding of natural language itself.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Davidson’s program is outlined in Davidson (1984).
- 3.
Davidson (1968), p. 131.
- 4.
The assumption is explicitly stated in Montague (1970), p. 222.
- 5.
This is the method adopted in Montague (1973). The formal language employed by Montague is unlike L in many respects: it is higher order, it is intensional, and it includes the lambda operator. However, as far as the application of Tarski’s method is concerned, it is essentially like L.
- 6.
The categorial grammar adopted by Montague is a version of that originally proposed in Ajdukiewicz (1935).
- 7.
- 8.
Davidson (1967). Note that although it is plausible to assume that the inference from (5) to (6)–(8) is formally valid, that assumption doesn’t single out Davidson’s account of logical form uniquely. There may be alternative explanations that are no less formal.
- 9.
Davidson defends his view of logical form in Davidson (1970).
- 10.
References
Ajdukiewicz, K. (1935). Die syntaktische Konnexität. Studia Philosophica, 1, 1–27.
Bar-Hillel, Y. (1954). Indexical expressions. Mind, 63, 359–379.
Davidson, D. (1967). The logical form of action sentences. In N. Rescher (Ed.), The logic of decision and action (pp. 81–95). Pittsburgh: University of Pittsburgh Press.
Davidson, D. (1968). On saying that. Synthese, 19, 130–146.
Davidson, D. (1970). V. Action and reaction. Inquiry, 13, 140–148.
Davidson, D. (1984). Inquiries into truth and interpretation. Oxford: Clarendon Press.
Kamp, H. (2015). Using proper names as intermediaries between labelled entity representations. Erkenntnis, 80, 263–312.
Kaplan, D. (1977). Demonstratives. In J. Perry, J. Almog, & H. Wettstein (Eds.), Themes from Kaplan (pp. 481–563). New York: Oxford University Press. 1989.
Lewis, D. (1970). General semantics. In Philosophical papers (Vol. I, pp. 189–229). Oxford: Oxford University Press. 1983.
Montague, R. (1968). Pragmatics. In Formal philosophy (pp. 95–118). New Haven: Yale University Press. 1974.
Montague, R. (1970). Universal grammar. In Formal philosophy (pp. 222–246). New Haven: Yale University Press, 1974.
Montague, R. (1973). The proper treatment of quantification in ordinary English. In Formal philosophy (pp. 247–270). New Haven: Yale University Press. 1974.
Quine, W. V. O. (1948). On what there is. Review of Metaphysics, 2, 21–36.
Tarski, A. (1936). On the concept of logical consequence. In Logic, semantics, metamathematics (pp. 409–420). Indianapolis: Hackett. 1983.
Tarski, A. (1933). The concept of truth in formalized languages. In Logic, semantics, metamathematics (pp. 152–278). Indianapolis: Hackett. 1983.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Iacona, A. (2018). Formal Languages and Natural Languages. In: Logical Form. Synthese Library, vol 393. Springer, Cham. https://doi.org/10.1007/978-3-319-74154-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-74154-3_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74153-6
Online ISBN: 978-3-319-74154-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)