Реферат на тему:


Воспользуйтесь поиском к примеру Реферат        Грубый поиск Точный поиск






Загрузка...
Реферат

Реферат

на тему:

"Деление суждений по модальности"

ПЛАН

Алетична модальность. Епистемична модальность. деонтично модальность. Темпоральная модальность. Логическая и фактическая модальность.

Модальная логика - раздел современной логики, где изучаются модальные выражения и их отношения в структуре соображений.

зависимости от того, какие виды модальных высказываний исследуемых выделяют различные виды модальных логик. Это, например, алетична, темпоральная, епистимична, деонтична и другие модальные логики.

Чтобы дать общую характеристику всем этим логикам, построим следующую таблицу:

№ | Модальность | Виды модальных высказываний | Виды модальных логик

1 | Необходимо

Возможно,

Случайно | алетични высказывания | алетична логика

2 | Доказано,

Опровергнуто

не решен,

убежден, сомневается, предполагает | эпистемические высказывания | Епистемична логика

3 | было

есть

будет

прежнему одновременно, позже | темпоральные (временные) высказывания | темпоральная логика (логика времени)

4 | обязательно

запрещено, разрешено | деонтично высказывания | деонтична логика

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

Алетична логика - это раздел модальной логики, где исследуются алетични высказывания и их отношения в структуре рассуждения.

В алетичний логике есть три основных закона:

"Все необходимое есть реальным" "Все реальное возможно" "Все необходимое возможно"

Темпоральная логика - это раздел модальной логики, где исследуются темпоральные выражения и их отношения в структуре рассуждения.

Примерами темпоральных высказываний могут быть такие предложения:

Допрос свидетеля был проведен. Допрос свидетеля будет проведен. Вскоре будет проведен допрос свидетеля. только был проведен допрос свидетеля. Начинается допрос свидетеля.

Темпоральные модальности можно определить друг через друга.

Всегда будет то, отрицание чего не будет. Формально это определение можно записать так: GA = ~ F ~ A. Будет то, отрицание чего всегда. Формально это определение можно записать так: FA = ~ G ~ A. Всегда было то, отрицание чего не было. Формально это определение можно записать так: HA = ~ P ~ A. Было то, отрицание чего всегда было. Формально это определение можно записать так: PA = ~ H ~ A.

Епистемична логика - это раздел модальной логики, исследующий еристемични высказывания и их отношения в структуре рассуждения.

Примерами эпистемических высказываний могут быть предложения:

Известно, что это преступление совершил А. Я верю, что А. не виноват. Опровергнуто, что А. был на месте преступления в то время. Я знаю, что я ничего не знаю.

деонтично логика это раздел модальной логики, изучающий деонтично высказывания и их отношения в структуре рассуждения.

Примерами деонтичних высказываний могут быть такие предложения:

Обязательно соблюдать законодательство. Разрешено покупать недвижимость. Запрещено читать чужие письма.

Считается, что деонтично модальности могут быть выражены друг через друга:

Обязательным является то, от чего не разрешено воздерживаться. Формально это определение записывается так: ОА = ~ P ~ A. разрешено то, что запрещено не делать. Формально это определение записывается так: ОА = ~ F ~ A. разрешено то, от выполнения чего не обязательно воздерживаться. Формально это определение записывается так: РА = ~ O ~ A. разрешено то, что не является запрещенным. Формально это определение записывается так: РА = ~ FA. Запретным есть то, от чего следует обязательно воздерживаться. Формально это определение записывается так: FA = O ~ A. Запретным является то, что не является разрешенным. Формально это определение записывается так: FA = ~ PA.

КОНТРОЛЬНЫЕ ВОПРОСЫ

На какие разделы делится модальная логика Исследующий алетична логика Исследующий Епистемична логика Исследующий темпоральная логика (логика времени) Исследующий деонтична логика

ЛИТЕРАТУРА

Тофтул М.Г. Логика. - М., 1999. - С. 332 Хоменко И.В. Логика - юристам. - М., 1997. - С. 386 Конверский А.С. Логика. - К., 1998. - С. 266 Кондаков И.В. Логика. - М., 1954. - С. 68 Хоменко И.В., Алексюк И.А. Основы логики. - М., 1996. - С. 113 Формальная логика. Л., 1977

7. Хоменко И.В. Что такое логика //Краски творчества. К., 1995. - С. 83-95

Загрузка...