Автор работы: Пользователь скрыл имя, 04 Ноября 2014 в 21:01, контрольная работа
Для классической логики вещь существует или не существует, и нет никаких других вариантов. Но как в обычной жизни, так и в науке постоянно приходится говорить не только о том, что есть в действительности и чего нет, но и о том, что должно быть или не должно быть и т.д. Действительный ход событий можно рассматривать как реализацию одной из многих мыслимых возможностей, а действительный мир, в котором мы находимся, — как один из бесчисленного множества возможных миров. Модальная логика – это раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Модальная логика слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа.
1.Дайте развёрнутый ответ на вопросы. 1.1. Возникновение и общий смысл современной модальной логики. 1.2. Объёмные отношения между понятиями. 2. Выполните упражнения. 2.1.Соотнесите данные понятия. 2.2. Выразите на языке модальной логики следующие высказывания.
2. Выполните упражнения.
2.1.Соотнесите данные понятия.
- отец, сын, дед, внук, брат;
Не совместимое противоречие
отец А
сын В
внук С
брат D
- рука, больная рука, больной палец;
Совместимое перекрещение
рука А
больная рука В
большой палец С
12
2.2. Выразите на языке
модальной логики следующие
- нельзя курить в помещениях университета.
Курить в помещениях университета запрещено; недопустимо курить в помещениях университета; курить в помещениях университета, курить является невозможным; никто не должен курить в помещениях университета.
- противоречия в рассуждениях недопустимы.
В рассуждениях запрещены противоречия; в рассуждениях не должно быть противоречий; нельзя допускать противоречий в рассуждениях.
13
Список литературы.
1.Ивлев Ю.В. Логика. М.: Логос, 1997.
2.Логика. для педагогических учебных заведений – 4-е изд. – М.: Добросвет, 2000.
3.Войшвилло, М.Г. Дегтярев Логика, учебное пособие. М., Профобразование, 2000.
4.Курбатов В.И. Логика. Учебное пособие для студентов для студентов вузов., Феникс, 1996.
14