Abstract
The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system.
Similar content being viewed by others
References
Davidson D. (1967) The logical form of action sentences. In: Rescher N. (eds). The logic of decision and action. Pittsburgh University Press, Pittsburgh PA, pp. 81–95
Frege G. (1984) On concept and object. In: McGuiness B. (eds). Collected papers on mathematics, logic, and philosophy. Blackwell, Oxford, pp. 182–194
Kálmán L. (1996) Strong compositionality. In: Dekker P., Stokhof M. (eds). Proceedings of the 10th Amsterdam colloquium. University of Amsterdam, Amsterdam, pp. 465–478
Montague R. (1974) Universal grammar. In: Thomason R. (eds). Formal philosophy: Selected papers of Richard Montague. Yale University Press, New Haven
Mulligan K., Simons P., Smith B. (1984) Truth-makers. Philosophy and Phenomenological Research 44: 287–321
Vermeulen K., Visser A. (1996) Dynamic bracketing and discourse representation. Notre Dame Journal of Formal Logic 37: 321–365
Visser, A. (2003). Context modification in action. Artificial Intelligence Preprint Series, Utrecht University, Department of Philosophy, available at: www.phil.uu.nl/preprints/ckipreprints/PREPRINTS/preprint043.pdf.
Zadrozny W. (1994) From compositional to systematic semantics. Linguistics and Philosophy 17: 329–342
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Erdélyi-Szabó, M., Kálmán, L. & Kurucz, A. Towards a natural language semantics without functors and operands. J of Log Lang and Inf 17, 1–17 (2008). https://doi.org/10.1007/s10849-007-9039-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10849-007-9039-0