Езикови технологии

Компютърна лингвистика, Програми /

УЧЕБНА ПРОГРАМА

по дисциплината

ЕЗИКОВИ ТЕХНОЛОГИИ

специалност БФ, МП „Компютърна лингвистика. Интернет технологии в хуманитаристиката”

Образователно-квалификационна степен МАГИСТЪР

Вид обучение: РЕДОВНО

Извадка от учебния план

Наименование на дисциплината

Хорариум

ECTS-

кредити

Форма на заключителен контрол

Лекции

Семинарни упражнения

Практически упражнения

Хоспитиране

Езикови технологии

30

3

изпит

 

Анотация

Курсът запознава студентите с модерния апарат на формалната логика, използван в лингвистиката. Въвеждат се синтаксисът и семантиката на модалните логики. За целите на разни лингвистични категории като модалностите и темпоралностите се прилагат различни семантики на Крипке. От формални съображения са мотивирани аксиомите на модалните оператори “неизбежно”, “възможно”, “невъзможно” и пр., както и главните времеви оператори “винаги”, “някога” и “никога”, съответно в миналото и в бъдещето. Семантичната мотивировка идва от релациите между “възможните светове” (според терминологията на Лайбниц – Крипке) – за модалните оператори, и между моментите на времето (“преди – след”) – за темпоралните логики. Съответствието между синтактичния подход и семантичния се показва с теоремите за пълнота на различните формални системи по отношение на семантиките на Крипке с различни релации.

 

Форми и методи на оценяване:

Изпит-тест със задачи върху преподавания материал.

Лекционен курс

Тема №

Наименование на темата

Хорариум

1

Класическа съждителна логика – опирации и таблици на истинност.

2

2.

 Основни закони на класическата съждителна логика.

2

3.

Предикатна логика – език и превод.

2

4.

Закони на предикатната логика – квантори.

2

5.

Упражнения за превод от естествен на предикатен език.

2

6.

Теория на релациите.

2

7.

Силогизми.

2

8.

История на модалните логики.

2

9.

Мотивировка и желани резултати в модалните логики.

2

10.

Първи атаки срещу класическата логика – Аристотел.

2

11.

Първи стъпки в семантиката на модалните логики – Лайбниц.

2

12.

Формална модална логик на Лайбниц – Карнап.

2

13.

Семантика на Крипке за модалите логики.

2

14.

Семантика на темпоралните логики.

2

15.

Упражнения и преговор върху некласические логики.

2

Съставил програмата:

доц. д-р Владимир Сотиров

Литература:

Списъкът с източниците да съдържа задължително и заглавия от последните 5 години, както и на автора на програмата (има голямо значение за четвъртия критерий). Може да се посочват и интернет ресурси.

1. Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal Logic.

2. Goldblatt, Robert (1992) Logics of Time and Computation, 2nd ed.

3. James Garson (2006) Modal Logic for Philosophers.

4. Cresswell, M. J. (2001) Modal Logic, in Goble, Lou; Ed., The Blackwell Guide to Philosophical Logic.

5. Hughes, G. E., and Cresswell, M. J. (1996) A New Introduction to Modal Logic.

6. Blackburn, P.; van Benthem, J.; and Wolter, Frank; Eds. (2006) Handbook of Modal Logic.

7. J. van Benthem (1988),   Situations, Language and Logic.

8. Вл. Сотиров (2002), Учебник по логика.

Учебната програма е приета с решение на катедрен съвет протокол N 8/08.07.2011 год.