Intensional logic for a Montague grammar

• Authors: Agnieszka Kułacka

Title variants

Logika intensjonalna dla gramatyki Montague’a

• Languages of publication: EN

Abstracts

Artykuł przedstawia język logiki intensjonalnej, którego Montague używał jako niebezpośredniego środka interpretacji wyrażeń języka naturalnego. Wszystkie reguły zdefiniowane przez Richarda Montague’a, i poprawione przez Gamuta (1991) i przez autorkę, są zilustrowane własnymi przykładami, podobnie jak w Kułacka (2011). Najpierw wprowadzony zostaje rachunek lambda, używany przy kompozycji wyrażeń logicznych i ich typów, po czym następuje opis składni i semantyki sztucznego języka logiki intensjonalnej

• Publisher: Księgarnia Akademicka
• Journal: LingVaria : Półrocznik Wydziału Polonistyki UJ poświęcony zagadnieniom języka i językoznawstwa
• Year: 2011
• Issue: 2(12)
• Pages: 9-22

Contributors

author

Agnieszka Kułacka

• King’s College London, London

References

• Dowty D.R., Wall R.E., Peters S., 1981, Introduction to Montague Semantics, London.
• Gamut L.T.F., 1991, Logic, Language and Meaning. Intensional Logic and Logical Grammar, Chicago.
• Kułacka A., 2011, Syntax of a Montague Grammar, “LingVaria” nr. 1 (11), p. 9–23.
• Montague R., 2002, The Proper Treatment of Quantification in Ordinary English, [in:] P. Portner and B. Partee (eds.), Formal Semantics. The Essential Readings, Padstow.
• Morrill, G.V., 1994, Type Logical Grammar. Categorial Logic of Signs, London.