Variations on a Montagovian theme
نویسنده
چکیده
What are the objects of knowledge, belief, probability, apriority or analyticity? For at least some of these properties, it seems plausible that the objects are sentences, or sentence-like entities. However, results from mathematical logic indicate that sentential properties are subject to severe formal limitations. After surveying these results, I argue that they are more problematic than often assumed, that they can be avoided by taking the objects of the relevant property to be coarse-grained (“sets of worlds”) propositions, and that all this has little to do with the choice between operators and predicates.
منابع مشابه
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many sorted higher order logic. Word meaning is depicted by lambda terms of second order lambda calculus (Girard’s system F) with base types including a type for propositions and many types for sorts of a many sorted logic. This framework is able to integrate...
متن کاملDistributional Semantics: A Montagovian View
This paper describes the current status of research in Distributional Semantics looking at the results from the Montagovian tradition stand point. It considers the main aspects of the Montagovian view as binoculars to observe those results, in particular: compositionality, syntax-semantics interface, logical words and entailment. To this end, it reviews some work that aims to tackle those issue...
متن کاملТема «предопределение» в вариациях лермонтовского «Фаталиста» «The theme “predestination” in the variations of Lermontov’s “Fatalist”»
Тема «предопределение» в вариациях лермонтовского «Фаталиста» Кошемчук Татьяна Александровна Профессор кафедры лингвистики и международных коммуникаций юридического факультета Санкт-Петербургского государственного аграрного университета. Санкт-Петербург, Россия. (дата получения: март 2016 г.; дата принятия: июль 2016 г.) Анн...
متن کاملThe Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics∗
We present a framework, named the Montagovian generative lexicon, for computing the semantics of natural language sentences, expressed in many-sorted higher order logic. Word meaning is described by several lambda terms of second order lambda calculus (Girard’s system F): the principal lambda term encodes the argument structure, while the other lambda terms implement meaning transfers. The base...
متن کاملAn integrated strategy for vehicle active suspension and anti-lock braking systems
In this paper, a decentralized integrated control structure ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Synthese
دوره 190 شماره
صفحات -
تاریخ انتشار 2013