Skip to main content
Log in

Are Logical Languages Compositional?

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper I argue that in contrast to natural languages, logical languages typically are not compositional. This does not mean that the meaning of expressions cannot be determined at all using some well-defined set of rules. It only means that the meaning of an expression cannot be determined without looking at its form. If one is serious about the compositionality of a logic, the only possibility I see is to define it via abstraction from a variable free language.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Fine, Kit, A Defense for Arbitrary Objects. Number LXVII in Proc. of the Aristotelian Society, 1983.

  2. Fine, Kit, Arbitrary objects and natural deduction. Journal of Philosophical Logic 14, 1985.

  3. Fine Kit.: Semantic relationism. Blackwell, London (2007)

    Book  Google Scholar 

  4. Kracht, Marcus, Notes on Substitution in First–Order Logic, in Uwe Scheffler (ed.), First-Order Logic 75, Logos Verlag, Berlin, 2004, pp. 155–172.

  5. Kracht Marcus: The Emergence of Syntactic Structure. Linguistics and Philosophy 30, 47–95 (2007)

    Article  Google Scholar 

  6. Kracht Marcus: Interpreted Languages and Compositionality. Springer, Number 89 in Studies in Linguistics and Philosophy (2011)

    Book  Google Scholar 

  7. Machover Moshé: Set theory, logic and their limitations. Cambridge University Press, Cambridge (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Marcus Kracht.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kracht, M. Are Logical Languages Compositional?. Stud Logica 101, 1319–1340 (2013). https://doi.org/10.1007/s11225-013-9535-y

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-013-9535-y

Keywords

Navigation