Journal of Logic, Language and Information 17 (1):1-17 (2008)
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.
|Keywords||Completeness Compositionality Decision algorithm Finite axiomatisability Finite entailment problem Function/argument metaphor Measurements Natural language semantics Pieces of evidence|
|Categories||categorize this paper)|
References found in this work BETA
Collected Papers on Mathematics, Logic, and Philosophy.Gottlob Frege - 1991 - Wiley-Blackwell.
Formal Philosophy; Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven: Yale University Press.
The Logical Form of Action Sentences.Donald Davidson - 1967 - In Nicholas Rescher (ed.), The Logic of Decision and Action. University of Pittsburgh Press.
From Compositional to Systematic Semantics.Wlodek Zadrozny - 1994 - Linguistics and Philosophy 17 (4):329 - 342.
Dynamic Bracketing and Discourse Representation.Albert Visser & Kees Vermeulen - 1996 - Notre Dame Journal of Formal Logic 37 (2):321-365.
Citations of this work BETA
No citations found.
Similar books and articles
Inconsistency Theories of Semantic Paradox, by Douglas Patterson.Berit Brogaard - 2009 - Philosopher's Digest.
Logical Reasoning in Natural Language: It is All About Knowledge. [REVIEW]Lucja Iwańska - 1993 - Minds and Machines 3 (4):475-510.
Syntactic Semantics: Foundations of Computational Natural Language Understanding.William J. Rapaport - 1988 - In James H. Fetzer (ed.), Aspects of AI. Kluwer Academic Publishers.
Natural Language Processing Using a Propositional Semantic Network with Structured Variables.Syed S. Ali & Stuart C. Shapiro - 1993 - Minds and Machines 3 (4):421-451.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Added to index2009-01-28
Total downloads19 ( #246,659 of 2,071,348 )
Recent downloads (6 months)1 ( #396,087 of 2,071,348 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.