This book sets out the foundations, methodology, and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs. Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a (...) categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. For the first time, the book systematises categorial thinking into a unified program which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate, and research levels. (shrink)

Klarheit in betreff dieser Sätze anstrebt, d. i. Einsicht in das Wesen der bei dem Vollzug und den ideal-möglichen Anwendungen solcher Sätze ins Spiel tretenden Erkenntnisweisen und der mit diesen sich wesensmäßig konstituierenden Sinngebungen und objektiven Gel- 1 11 S tungen • Sprachliche Erörterungen gehören r nun sicherlich zu den 1 r philosophisch I unerläßlichen Vorbereitungen für den Aufbau der [A 4] reinen Logik, weil nur durch ihre Mithilfe die eigentlichen Objekte der logischen Forschung und, in weiterer Folge, die wesentlichen (...) Arten und Unterschiede dieser Objekte zu unmißverständlicher 10 Klarheit herauszuarbeiten sind. Es handelt sich dabei aber nicht um 12 grammatische Erörterungen im r empirischen, auf irgendeine historisch gegebene Sprache bezogenen Sinn, sondern um Erörterun gen jener allgemeinsten Art, die zur weiteren Sphäre einer objekti ven Theorie der Erkenntnis und, was damit innigst zusammen- 13 15 hängt, einer rreinen Phänomenologie der Denk- und Erkenntniserlebnisse gehören. rDicse, wie die sie umspannende reine Phänomenologie der Erlebnisse überhaupt, hat es ausschließlich mit den in der Intuition erlaßbaren und analysierba ren Erlebnissen in reiner Wesensallgemeinheit zu tun, nicht aber mit 20 empirisch apperzipierten Erlebnissen als realen Fakten, als Erlebnis sen erlebender Menschen oder Tiere in der erscheinenden und als Erfahrungsfaktum gesetzten Welt. Die in der Wesensintuition direkt erfaßten Wesen und rein in den Wesen gründenden Zusammenhän ge bringt sie deskriptiv in Wesensbegriffen und gesetzlichen 25 Wesensaussagen zu reinem Ausdruck. Jede solche Aussage ist eine 1 14 apriorische im vorzüglichsten Sinne des Wortes. (shrink)

We provide an algorithm for determining a categorial grammar from linguistic data that essentially uses unification of type-schemes assigned to atoms. The algorithm presented here extends an earlier one restricted to rigid categorial grammars, introduced in [4] and [5], by admitting non-rigid outputs. The key innovation is the notion of an optimal unifier, a natural generalization of that of a most general unifier.