Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Логическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения




Логическая модальность

Алетическая[22] модальность — это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической детерминированности (обусловленности) суждения.

Алетическая модальность

Суждения, которыми мы оперируем, принимаются как логически значимые, т.е. как истинные или ложные, не произвольно, а в силу определенных оснований. Такими основаниями, обусловливающими принятие суждений, выступают либо структурно-логические характеристики самих суждений, либо их соотношение с фактическим положением дел в реальной действительности. Два способа обусловленности, или детерминированности суждений предопределяют соответствующие типы модальностей: 1) логическую модальность и 2) фактическую модальность.

К логически истинным (L-и) относят суждения, выражающие законы логики; к логически ложным (L-л) — внутренне противоречивые суждения. Например, суждение р v ┐p является логически истинным, ибо выражает закон исключенного третьего — какое бы суждение ни было подставлено вместо р, выражение р v ┐p всегда будет истинным высказыванием. Соответственно всегда ложным будет суждение ┐(р→q), как противоречащее закону тождества.

Логически истинные суждения вместе с логически ложными (L-и v L-л) образуют класс логически детерминированных суждений. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и v F-л.

2)Фактическая модальность

Фактическая модальность связана с объективной, или физической детерминированностью суждений, когда их истинность и ложность определяются положением дел в реальной действительности. К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами. Пример такого суждения: «Эйфелева башня находится в Париже». К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности. К примеру: «Ни одно млекопитающее не живет в воде».

Объективная устойчивость и интенсивность реальных связей между предметами находит свое выражение в фактической модальности суждений с помощью алетических модальных понятий необходимости и случайности.

Необходимость-случайность. Фактически необходимыми являются суждения, в которых содержится информация о законах науки. Например: «Сумма внутренних углов треугольника равна 180°». В естественном языке такие суждения нередко выражают с помощью слов «необходимо», «обязательно», «непременно» и др. В логике для суждений необходимости принято выражение: «S необходимо есть (не есть) Р». В символическом языке для понятия необходимости общепринят знак Ё, который называют оператором необходимости.

Суждения необходимости могут быть истинными, например: «Кислород необходим для поддержания жизни» (Ёр), но они могут быть и ложными, например: «Вода не кипит при 100°С в нормальных условиях» (Ё lр). Вместе они составляют класс фактически необходимых суждений (Ёр v Ё lр)). Все остальные фактические суждения относятся к случайным.

Фактически случайные — это суждения, которые не содержат информации о законах науки, а их истинность и ложность определяются конкретными эмпирическими условиями. Например, суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, ибо смерть Наполеона могла наступить как до, так и после этой даты.

Поскольку класс случайных суждений является дополнением к классу необходимых, постольку случайность можно определить через отрицание необходимости: к случайным относятся суждения, которые не являются необходимым (lЁр lЁ lр).

Модальные понятия «необходимость» и «случайность» могут быть эквивалентно выражены другой парой модальных понятий — возможность и невозможность.

Возможность-невозможность. Фактически возможными являются суждения, содержащие информацию о принципиальной совместимости выраженных в субъекте и предикате явлений. Например: «В Южной Америке в этом году возможно землетрясение» или другое суждение: «Футбольная команда А может выиграть матч у команды В». Это означает, что в обоих случаях не исключаются противоположные исходы — землетрясения в Южной Америке в

этом году может не быть; команда А может не выиграть матч у команды В.

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

В логике для суждений возможности принято выражение «S может быть (может не быть) Р».

В символическом языке для понятия возможности общепринят знак О, который называют оператором возможности. Выражение Ор читается: «возможно р». Выражение lр читается: «возможно не-р». В совокупности эти выражения составляют класс фактически возможных суждений: F(p) ≡ p v lp.

Дополнением к классу фактически возможных суждений является класс фактически невозможных суждений.

Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°».

В обобщенном виде фактически невозможные суждения могут быть представлены в следующем виде:




Поделиться с друзьями:


Дата добавления: 2014-11-25; Просмотров: 477; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.013 сек.