Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран



Скачать 411.65 Kb.
страница5/6
Дата07.11.2012
Размер411.65 Kb.
ТипЛекция
1   2   3   4   5   6

Категории ИП Категории естественного языка


Формула - Предложение

Предикат - Глагол, Существительное (нарицательное), Прилагательное

Термы

Константа - Имя собственное

Переменная - Местоимение (он, она, оно)

==========

(больше нет) - Глагольная Группа, Именная Группа, неполная Именная Группа, Группа Прилагательного, Детерминатор, Предлог, Предложная Группа, Наречие

Чтобы преодолеть хотя бы часть такого рода трудностей, Монтегю предложил использовать в качестве «промежуточного» логического языка язык интенсиональной логики. Многие дополнительные (по отношению к ИП) средства языка интенсиональной логики уже описывались раньше. Некоторые средства, как и вся их комбинация (интенсиональная логика), были, видимо, предложены самим Монтегю.

Мы продолжим на следующей лекции, в Приложении к которой будет приведено описание языка интенсиональной логики, его синтаксиса и семантики.

Литература


Апресян Ю.Д. 1970, Лексическая семантика. Синонимические средства языка. М.: Наука.

Апресян Ю.Д. 1986, Дейксис в лексике и грамматике и наивная модель мира. Семиотика и информатика. Вып. 28, 5-33.

Апресян, Ю.Д. (1990) “Лексикографический портрет глагола выйти” , Вопросы кибернетики. Язык логики и логика языка. Москва. Перепечатана в Апресян, Ю.Д. (1995) Избранные труды, Т. II: Интегральное описание языка и системная лексикография. Москва, Школа “Языки Русской Культуры”. 485-502.

Апресян Ю.Д. 1994 О языке толкований и семантических примитивах. Известия АН, серия литературы и языка, №4. (Цитируется по Ю.Д. Апресян, Избранные труды, т. II, М.:Школа «Языки русской культуры», М. 1995, 466-484).


Борщев В.Б. и Л.В. Кнорина (1990) «Типы реалий и их языковое восприятие», в «Язык логики и логика языка», Москва. 106-134.

Борщев В.Б. (1994) Формальный язык как часть естественного. НТИ, Серия 2, № 9, 27-31

Борщев В.Б. (1996) Естественный язык – наивная математика для описания наивной картины мира. Московский лингвистический альманах 1, 1996.203-225.

Борщев В.Б. (1998) Язык и схемы. НТИ, Серия 2, № 11,1998, 1-5.

Жолковский А.К., Мельчук И.А. (1967) О семантическом синтезе. Проблемы кибернетики. Вып. 19.

Мельчук И.А. (1974) Опыт теории лингвистических моделей «Смысл <==> Текст. М.

Мельчук И.А., Жолковский А.К. (1984) Толково-комбинаторный словарь современного русского языка. Вена

Bach, Emmon. (1986) Natural language metaphysics.
In Logic, Methodology, and Philosophy of Science VII, eds. Ruth Barcan Marcus, Georg J.W. Dorn and Paul Weingartner, 573-595. Amsterdam: North-Holland.

Bach, Emmon (1989), Informal Lectures on Formal Semantics. State University of New York Press, Albany.

Dowty, David (1979) Word Meaning and Montague Grammar, Dordrecht:Reidel.

Dowty, David, R. Wall and S. Peters (1981), Introduction to Montague Semantics, Dordrecht: Reidel.

Frege, Gottlob (1892) "Ueber Sinn und Bedeutung", Zeitschrift fuer Philosophie und philosophische Kritik 100, 25-50. Translated as "On sense and reference", in P.T. Geach and M.Black, eds., Translations form the Philosophical Writings of Gottlob Frege. Oxford: Blackwell (1952), 56-78.

Gamut, L.T.F. (1991), Logic, Language, and Meaning. Vol I: Introduction to Logic; Vol II: Intensional Logic and Logical Grammar. University of Chicago Press, Chicago and London.

Lewis, David (1970) "General semantics" Synthese 22, 18-67; reprinted in D.Davidson and G.Harman (eds.), Semantics of Natural Language. Dordrecht: Reidel (1972), 169-218.

Link, Godehard (1983) "The logical analysis of plurals and mass terms: a lattice-theoretical approach", in R.Bauerle, Ch.Schwarze, and A.von Stechow, eds., Meaning, Use, and Interpretation of Language, Walter de Gruyter, Berlin, 302-323.

Mel'chuk, Igor' A. and Aleksandr K. Zholkovsky (1984) Explanatory Combinatorial Dictionary of Modern Russian, Semantico Syntactic Study of Russian Vocabulary, Vienna: Wiener Slawistischer Almanach.

Montague, Richard (1970b) "English as a Formal Language", in B. Visentini et al, eds. Linguaggi nella Societa e nella Tecnica. Milan: Edizioni di Comunita; reprinted in Montague (1974) 188-221.

Montague, Richard (1970c) "Universal Grammar", Theoria 36, 373-398; reprinted in Montague (1974) 222-246.

Montague, R. (1973) "The Proper Treatment of Quantification in Ordinary English," in K.J.J. Hintikka, J.M.E. Moravcsik, and P. Suppes, eds., Approaches to Natural Language, Reidel, Dordrecht, 221-242, reprinted in Montague (1974) 247-270.

Montague, Richard (1974) Formal Philosophy: Selected Papers of Richard Montague. Edited and with an introduction by Richmond Thomason, New Haven: Yale Univ. Press.

Partee, Barbara H. (1984) "Compositionality", in F. Landman and F. Veltman, eds., Varieties of Formal Semantics: Proceedings of the 4th Amsterdam Colloquium, Sept. 1982. Foris Pubs., Dordrecht, 281 311.

Partee, Barbara (1995) "Lexical Semantics and Compositionality", in Invitation to Cognitive Science, 2nd edition. Daniel Osherson, general editor; in Part I: Language, Lila Gleitman and Mark Liberman, eds. MIT Press, Cambridge, pp. 311-­360.

Partee, Barbara (1996) "The development of formal semantics in linguistic theory", in Shalom Lappin, ed., The Handbook of Contemporary Semantic Theory, Blackwell Handbooks in Linguistics Series, Oxford: Blackwell, 11-38.

Partee, B., A. ter Meulen, and R.E. Wall (1990) Mathematical Methods in Linguistics, Dordrecht: Kluwer Academic Publishers.

Pustejovsky, James (1995) The Generative Lexicon. The MIT Press.

Wierzbiсka A. (1972) Semantic primitives. Frankfurt.
1   2   3   4   5   6

Похожие:

Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЦентр научно-информационного обслуживания винити ран предоставляет копии первоисточников
Винити осуществляет обслуживание копиями первоисточников, хранящихся в фонде научно-технической литературы винити, в фондах других...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconРегистрационная форма пользователя on-line
Данная регистрационная форма является официальным документом для регистрации Вас, как пользователя базы данных (БД) винити ран в...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЭлектронные ресурсы винити. Электронный Реферативный журнал итоги десятилетия Цветкова Валентина Алексеевна, д т. н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт»
Цветкова Валентина Алексеевна, д т н., проф., зав отделением винити ран, Ген. Директор ООО «нти-компакт», Москва, Россия
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconУчастник: Идашкина Анастасия
Цель моего исследования: узнать, как развивались города в течение времени, какие бывают города, какие они выполняют функции, а также...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция 3 Логика предикатов Понятие предиката
Такой логической системой является логика предикатов, содержащая всю логику высказываний в качестве своей части
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов. Пропозициональная функция
Р(Х­1,Х2,…,Хn) есть атомарная (элементарная) формула. Эта формула трактуется как высказывание, гласящее, что объекты Х1,Х2,,…,Хn...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconЛекция В. Б. Борщев и B. H. Partee. Казань, кгу, Апрель 2003 стр
Лекция Формальная семантика (продолжение). Интенсиональная логика. Типы. Лямбда и конструкции с лямбдой. Семантика Монтегю для именных...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconНормальные формы формул логики предикатов
При этом, используя равносильности алгебры высказываний и логики предикатов, каждую формулу логики предикатов можно привести к нормальной...
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconИсчисление предикатов с равенством
Замечание. В формулах подформула называется областью действия квантора соответственно
Лекция Какие семантики бывают. Исчисление предикатов как прототипический пример формального языка Владимир Борщев, винити ран iconВинити ран

Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org