Что такое Модальность? Значение слова Модальность в словаре логики

Модальность - (от лат., modus — мера, способ)  — оценка выска­зывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «до­казуемо», «опровержимо», «обязательно», «разрешимо» и т. п. О предмете S можно просто сказать, что он имеет свойство Р. Но можно, сверх того, уточнить, является ли эта связь S и Р необ­ходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо, доказано ли, что S есть Р, или это только предполагается и т. д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма: М (S есть Р) или М (S не есть Р); вместо М в эту форму могут подставляться различные понятия, определяющие тип связи субъекта и предика­та. Напр., из немодального высказывания «Цезий — металл» можно образовать модальные высказывания «Возможно, что цезий — ме­талл», «Хорошо, что цезий — металл», «Немыслимо, чтобы цезий был металлом», «Доказано, что цезий — металл» и т. д. Модальной оценке могут быть подвергнуты не только связи предметов и при­знаков, но и связи других типов. Напр., из сложного высказывания «Если металлический стержень нагреть, он удлинится» можно по­лучить модальные высказывания «Необходимо, что если металли­ческий стержень нагреть, он удлинится», «Всегда будет так, что металлический стержень удлиняется, если его нагреть» и т. п. Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одной или разных точек зре­ния («Хорошо, что доказано, что цезий — металл»). Логические связи модальных высказываний являются объек­том исследования модальной логики. Из разнообразных возможных типов модальных оценок она выбирает немногие, наиболее инте­ресные. В современной модальной логике исследуются следующие груп­пы модальных понятий:   Логические М. изучались еще Аристотелем (384—322 до н. э.) и средневековыми логиками. Детальное исследование других групп М. началось в 50-е годы нашего века, хотя первые упоминания о них относятся еще к поздней античности и средним векам (см.: Аксио­логические М., Деонтические М., Логика времени, Логика измене­ния, Эпистемическая логика, Предпочтений логика, Причинности логика).

Модальность

(от лат., modus — мера , способ )  — оценка выска­зывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «воз можно », «до­казуемо», «опровержимо», «обязательно», «разрешимо» и т. п. О предмете S можно просто сказать , что он имеет свойство Р. Но можно, сверх того , уточнить , является ли эта связь S и Р необ­ходимой или же она случайна, всегда ли S будет Р или нет, хорошо ли, что S есть Р, или плохо , доказано ли, что S есть Р, или это только предполагается и т. д. Результатами таких уточнений будут модальные высказывания разных типов. Общая их форма : М (S есть Р) или М (S не есть Р); вместо М в эту форму могут подставляться различные понятия, определяющие тип связи субъекта и предика­та. Напр., из немодального высказывания « Цезий — металл» можно образовать модальные высказывания «Возможно, что цезий — ме­талл», «Хорошо, что цезий — металл», «Немыслимо, чтобы цезий был металлом», «Доказано, что цезий — металл» и т. д. Модальной оценке могут быть подвергнуты не только связи предметов и при­знаков, но и связи других типов. Напр., из сложного высказывания « Если металлический стержень нагреть , он удлинится» можно по­лучить модальные высказывания «Необходимо, что если металли­ческий стержень нагреть, он удлинится», « Всегда будет так, что металлический стержень удлиняется, если его нагреть» и т. п. Одно и то же высказывание может стать объектом нескольких последовательных модальных оценок с одно й или разных точек зре­ния («Хорошо, что доказано, что цезий — металл»). Логические связи модальных высказываний являются объек­том исследования модальной логики. Из разнообразных возможных типов модальных оценок она выбирает немногие, наиболее инте­ресные. В современной модальной логике исследуются следующие груп­пы модальных понятий:   Логические М. изучались еще Аристотелем (384—322 до н. э.) и средневековыми логиками. Детальное исследование других групп М. началось в 50-е годы нашего века, хотя первые упоминания о них относятся еще к поздней античности и средним векам (см.: Аксио­логические М., Деонтические М., Логика времени , Логика измене­ния, Эпистемическая логика, Предпочтений логика, Причинности логика).

Значение слова Модальность в других словарях:

Узнайте лексическое, прямое, переносное значение следующих слов:



Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари