close

Вход

Забыли?

вход по аккаунту

?

10. Модальности

код для вставкиСкачать
ЛОГИЧЕСКАЯ ТЕОРИЯ МОДАЛЬНОСТЕЙ
План
1.
Модальности и их виды.
2.
Понятие о модальной логике.
3.
Логическое исследование ценностей.
Логика
Логическая теория модальностей
Литература:
1.
Ивин А.А. Логика: учебник для гуманитарных факультетов. М.: ФАИР
-
ПРЕСС, 2002. Гл. 8.
2.
Ивлев Ю.В. Логика: Учебник. М.: Проспект, 2004. С. 62
-
70.
Логика
Логическая теория модальностей
1. Модальности и их виды.
•
«Чувства нас обманывают».
•
«Необходимо, что чувства нас обманывают».
•
«Возможно, что чувства нас обманывают».
•
«Невозможно, чтобы чувства нас обманывали».
•
«Доказано, что чувства нас обманывают». Логика
Логическая теория модальностей
Модальности и их виды Модальность ±
это оценка суждения, данная с некоторой точки зрения.
Логика
Логическая теория модальностей
Модальности и их виды Модальные понятия:
•
"необходимо", •
"возможно", •
"доказуемо", •
"опровержимо", •
"обязательно", •
"разрешено" •
и т.п. Логика
Логическая теория модальностей
Модальности и их виды Модальные суждения ±
это суждения, содержащие хотя бы одно из модальных понятий
Логика
Логическая теория модальностей
Модальности и их виды Модальные суждения
Логические
Физические
Эпистемические
Нормативные
Оценочные
Логика
Логическая теория модальностей
2. Понятие о модальной логик
e
Модальная логика ±
раздел логики, в котором исследуется структура модальных суждений и их логические связи
Логика
Логическая теория модальностей
Понятие о модальной логике Логические модальности:
•
"логически необходимо", •
"логически возможно", •
"логически случайно" •
и т.п.
Логика
Логическая теория модальностей
Понятие о модальной логике Суждение логически необходимо
тогда и только тогда, когда его, отрицание представляет собой логическое противоречие.
Логика
Логическая теория модальностей
Понятие о модальной логике Логически необходимы законы логики и все, что вытекает из них.
Логика
Логическая теория модальностей
Понятие о модальной логике Суждение логически возможно
тогда и только тогда, когда оно непротиворечиво
.
Логика
Логическая теория модальностей
Понятие о модальной логике Пример
:
«Коэффициент полезного действия паровой машины равен 100%» —
логически возможно
. «К.п.д. такой машины выше 100%»
—
логически невозможно
.
Логика
Логическая теория модальностей
Понятие о модальной логике Случайно
то, что может быть, а может и не быть.
Логика
Логическая теория модальностей
Понятие о модальной логике Суждение логически случайно
тогда и только тогда, когда и оно само, и его отрицание являются логически возможными.
Логика
Логическая теория модальностей
Понятие о модальной логике Логически
невозможное суждение ²
это противоречивое суждение.
Логика
Логическая теория модальностей
Понятие о модальной логике Модальное понятие
Знак
Логическая
необходимость
L
N
Логическая
возможность
LP
Логическая
случайность
L
С
Логика
Логическая теория модальностей
Понятие о модальной логике Соотношение
логических
модальностей
:
1)
LN
A = ~
LP
~A
2)
LP
A = ~
LN
~A
3)
LC
A = LP
A&
LP
~A
4)
~
LP
A = LN
~A
Логика
Логическая теория модальностей
Понятие о модальной логике Истинно LN
A , если А есть закон логики.
Логика
Логическая теория модальностей
Понятие о модальной логике где А ±
ассерторическое (немодальное) суждение.
(
a
) LN
A
├ A
,
(
b
) A
├ LP
A
,
(
c
) LN
A
├ LP
A
,
Логика
Логическая теория модальностей
Понятие о модальной логике Ассерторическое суждение ±
суждение о действительном мире без какой
-
либо оценки.
Логика
Логическая теория модальностей
Истинность модальных суждений
Фактическая истинность А ±
в действительном мире существует положение дел, соответствующее А.
Логика
Логическая теория модальностей
Ассерторическое суждение «Снег бел» истинно, если в действительном мире снег бел.
Логика
Логическая теория модальностей
Истинность модальных суждений Истинность модальных суждений Что значит ²
LN
A истинно?
В каком мире?
Логика
Логическая теория модальностей
Истинность модальных суждений В действительном мире? Истинность LN
A
совпадет с истинностью ассерторического суждения А.
Логика
Логическая теория модальностей
Истинность модальных суждений Возможные миры ±
миры, мыслимые без противоречия.
Логика
Логическая теория модальностей
Истинность модальных суждений Суждение А в одном мире может быть истинным,
а в другом возможном мире ±
ложным.
Логика
Логическая теория модальностей
Истинность модальных суждений LN
A истинно тогда и только тогда, когда А истинно во всех логически возможных мирах.
Логика
Логическая теория модальностей
Истинность модальных суждений В случае логики высказываний:
«А истинно во всех логически
возможных мирах» «А истинно во всех строках,
построенной для А таблицы».
=
Логика
Логическая теория модальностей
Истинность модальных суждений L
P
A истинно тогда и только тогда, когда А истинно по крайней мере в одном логически возможном мире.
Логика
Логическая теория модальностей
Физические модальности
Физические
модальные суждения ±
суждения, в которые входят физические модальные понятия.
Логика
Логическая теория модальностей
Физические модальности Физические
модальные
понятия
:
•
физически необходимо, •
физически возможно
•
физически случайно
•
и т.п.
Логика
Логическая теория модальностей
Физические модальности Также называют: •
онтологическими •
каузальными.
Логика
Логическая теория модальностей
Физические модальности Пример
:
•
«Физически необходимо, что действие равно противодействию», •
«Физически случайно, что стекло хрупко», •
«Физически невозможно, чтобы дождь лил семь дней и семь ночей подряд» и т.п.
Логика
Логическая теория модальностей
Физические модальности Нечто необходимо
, если оно не может быть иным, чем оно есть.
Логика
Логическая теория модальностей
Физические модальности логическая
физическая
Необходимость
Логика
Логическая теория модальностей
Физические модальности Суждение
физически необходимо
тогда и только тогда, когда его отрицание противоречит законам природы.
Логика
Логическая теория модальностей
Физические модальности Пример:
•
«Все планеты вращаются вокруг своей оси».
•
«Электрон, движущийся по стационарной орбите, не излучает энергию».
Логика
Логическая теория модальностей
Физические модальности Физически возможным
является суждение, не противоречащее законам природы.
Логика
Логическая теория модальностей
Пример
:
«К.п.д. двигателя внутреннего сгорания равен 100%» —
физически невозможно
. «К.п.д. такого двигателя выше 30%»
—
физически возможно
.
Логика
Логическая теория модальностей
Физические модальности Физические модальности Суждение физически случайно
, когда и оно само, и его отрицание являются физически возможными.
Логика
Логическая теория модальностей
Физические модальности «Автомобиль президента РФ черного цвета».
Пример
:
Логика
Логическая теория модальностей
Физические модальности Физически невозможно
суждение, противоречащее законам природы.
Логика
Логическая теория модальностей
Физические модальности •
«Действие не равно противодействию». •
«Сила не равняется произведению массы на ускорение».
Пример
:
Логика
Логическая теория модальностей
Физические модальности Модальное понятие
Знак
Физическая
необходимость
F
N
Физическая
возможность
FP
Физическая
случайность
F
С
Логика
Логическая теория модальностей
Физические модальности Соотношение
физических
модальностей
:
5)
FN
A = ~
FP
~A
6)
FP
A = ~
FN
~A
7)
FC
A = FP
A&
FP
~A
8)
~
FP
A = FN
~A
Логика
Логическая теория модальностей
Истинно LN
A , если А есть закон природы.
(a) FN
A├
A
(b) A├ FP
A
(
c
) FN
A
├ FP
A
Логика
Логическая теория модальностей
Физические модальности Различия логических и физических модальных понятий
Логически возможное
Физически возможное
Физически необходимое
Логически необходимое
Логика
Логическая теория модальностей
3. Логическое исследование ценностей
Две новые ветви логики:
1.
логика оценок
2.
логика норм
Логика
Логическая теория модальностей
Логическое исследование ценностей Логика оценок исследует разнообразные оценки, формулируемые с помощью абсолютных понятий «хорошо», «плохо», «безразлично» и сравнительных понятий «лучше», «хуже», «равноценно» Логика
Логическая теория модальностей
Логическое исследование ценностей Логика норм изучает логические связи нормативных суждений, говорящих об обязательном, разрешенном и запрещенном.
Логика
Логическая теория модальностей
Логическое исследование ценностей Главная задача
логики оценок
и логики норм
²
выявление и систематизация
специфических логических законов, учитывающих своеобразие оценок и норм
.
Логика
Логическая теория модальностей
Логическое исследование ценностей Примеры законов логики оценок:
•
«Ничто не может быть хорошим и плохим одновременно».
•
«Ничто не может быть сразу и хорошим, и безразличным».
•
«Невозможно быть плохим и безразличным».
Логика
Логическая теория модальностей
Логическое исследование ценностей Конкретизации закона непротиворечия на случай оценок
:
•
«Два состояния, логически не совместимые друг с другом, не могут быть оба хорошими».
•
«Эти состояния не могут быть вместе плохими».
Логика
Логическая теория модальностей
Логическое исследование ценностей Пример
:
Несовместимыми являются:
•
честность и нечестность
•
здоровье и болезнь
•
дождливая погода и погода без дождя и т.д.
но только при оценке с одной и той же точки зрения. Логика
Логическая теория модальностей
Логическое исследование ценностей Пример:
Несовместимыми являются:
•
честность и нечестность
•
здоровье и болезнь
•
дождливая погода и погода без дождя и т.д.
но только при оценке с одной и той же точки зрения. Логика
Логическая теория модальностей
Логическое исследование ценностей Логика устанавливает критерии «разумности» системы оценок.
Задача оценочного рассуждения ±
предоставить разумные основания для деятельности. Логика
Логическая теория модальностей
Логическое исследование ценностей Законы, касающиеся сравнительных оценок, ничего не говорят об оцениваемых объектах или их свойствах, в них не содержится никакого «предметного» содержания.
Логика
Логическая теория модальностей
Логическое исследование ценностей Задача таких законов ²
раскрыть смысл слов «лучше», «хуже» и «равноценно», указать правила, которым подчиняется их употребление.
Логика
Логическая теория модальностей
Логическое исследование ценностей Пример
:
•
«Ничто не может быть лучше или хуже самого себя».
•
«Одно лучше второго только в том случае, когда второе хуже первого».
•
«Равноценны каждые два объекта, которые не лучше и не хуже друг друга».
Логика
Логическая теория модальностей
Логическое исследование ценностей Принцип переходности в логике оценок: «Если первое лучше второго, а второе лучше третьего, то первое лучше третьего»
и аналогично для «хуже»
.
Логика
Логическая теория модальностей
Логическое исследование ценностей •
никакое действие не может быть одновременно и обязательным, и запрещенным,
•
безразличное не является ни обязательным, ни запрещенным
•
и т.п.
К законам логики норм относятся положения:
Логика
Логическая теория модальностей
Логическое исследование ценностей Примеры
законов
логики
норм
:
•
«Действие обязательно только в том случае, если запрещено воздерживаться от него».
•
«Действие разрешено, когда оно не запрещено».
•
«От запрещенного обязательно воздерживаться" и т.д.
Логика
Логическая теория модальностей
Логическое исследование ценностей Действие и воздержание от него не могут быть вместе обязательными.
Логика
Логическая теория модальностей
Законы логики оценок и логики норм:
•
конкретизируют общую идею, утверждающую, что рассуждения, включающие оценки и нормы, не выходят за сферу «логического» и могут успешно анализироваться и описываться с помощью методов логики;
•
могут использоваться при исследовании различных конкретных рассуждений.
Логика
Недедуктивные умозаключения Логика
Логическая теория модальностей
Монтескье :
«Калигула
показал
себя
настоящим
софистом
в
своей
жестокости
...
То
он
говорил,
что
будет
наказывать
консулов
как
в
том
случае,
если
они
будут
праздновать
день,
установленный
в
память
победы
при
Акции,
так
и
в
том
случае,
если
они
не
будут
праздновать
его
.
Когда
умерла
Друзилла,
которой
он
велел
воздавать
божественные
почести,
то
было
преступлением
плакать
по
ней,
потому
что
она
была
богиней,
и
не
плакать,
потому
что
она
была
сестрой
императора»
.
Логика
Недедуктивные умозаключения Логика
Логическая теория модальностей
Автор
sdo_logic
Документ
Категория
Образовательные
Просмотров
784
Размер файла
740 Кб
Теги
модальная логика
1/--страниц
Пожаловаться на содержимое документа