План лекції

1. Визначення епістемічної пропозиційної логіки.

2. Види епістемічих логік. Логіка знання та логіка переко­нання.

3. Мова епістемічної пропозиційної логіки.

4. Семантика можливих світів для епістемічної пропозиційної логіки.

5. Аналітико-таблична семантика для епістемічної пропози­ційної логіки.

6. Синтаксис епістемічної пропозиційної логіки. Пропозиційие числення мінімальної логіки знання. Мінімальне пропозиційие чис­лення логіки переконання.

Рекомендована література

Жоль К.К. Логика. Введение в современную символическую логику Z К. К. Жоль. - К.: Стилос, 2000.

Ивлев Ю.В. Логика / Ю. В. Ивлев. - M.: Проспект, 2009.

Іпімуратов А.Т. Вступ до філософської логіки / А. Т. Ішмуратов. - К.: Абрис, 1997.

Карамишева Н.В. Логіка. Пізнання. Евристика / Н. В. Карамишева. - Львів: Астролябія, 2002.

Конверський А.Є. Логіка (традиційна та сучасна) / А. Є. Конвер- ський. - K.: ЦНЛ, 2004.

Ненашев М И. Введение в логику / М. И. Ненашев. - M.: Гардарики, 2004.

Непейвода Н.Н. Прикладная логика / H. Н. Непейвода. - Новоси­бирск: Изд-во УдГУ, 2004.

Символическая логика: Учебник І Под ред. Я.А.Слинина, Э.Ф.Кара- ваева, А.И.Мигунова. - СПб.: Изд-во С.-Петерб. ун-та, 2005.

Солодухин О.А. Логика / О. А. Солодухин. - Ростов-н/Д: Феникс, 2000.

Хоменко I.B. Логіка /1. В. Хоменко. - К.: Абрис, 2004.

Виклад лекції

1.