Словари

Главная / Словарь логики / О / Описание Состояния

Что такое Описание Состояния? Значение и толкование слова opisanie sostojanija, определение термина

Описание Состояния - (англ. state description)  — термин, вве­денный австрийским логиком Р. Карнапом для обозначения од­ного из возможных распределений истинностных значений ато­марных высказываний некоторого языка. Рассмотрим, напр., сложное конъюнктивное высказывание «A & В». В него входят два атомарных высказывания «A» и «В», каждое из которых мо­жет быть либо истинным, либо ложным. Для двух атомарных высказываний возможны всего четыре комбинации распреде­ления истинностных значений: 1) А истинно, В истино; 2) А истинно, В ложно; 3) A ложно, В истинно; 4) A ложно, В ложно. Каждая такая комбинация и называется О. с. Наше сложное выс­казывание будет истинным в О. с. (1) и ложным во всех осталь­ных О. с. Можно взять все атомарные высказывания некоторого языка с некоторым распределением истинностных значений между ними — тогда мы получим полное О. с. для данного языка. Всего таких О. с. будет 2n, если число атомарных высказываний равно п. Понятие О. с. представляет собой конкретизацию идеи возможного мира: возможный мир — это как раз тот мир, который задан определен­ным О. с. Одно из О. с. соответствует реальному миру. Понятие О. с. используется для определения важных логических понятий, на­пример для определения понятий логической и факти­ческой истинности: высказывание называется логически истин­ным, если оно истинно во всех О. с.; высказывание лишь фактичес­ки истинно, если имеются О. с., в которых оно ложно.

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

Описательно-Оценочное Высказывание - см.: Выска­зывание дескриптивное, Оценочное высказывание.
Описательное Высказывание - см.: Высказывание дескрип­тивное.
Определение - (лат. definitio)  — логическая операция, раскры­вающая содержание понятия. Напр., обычное О....
Определение Аксиоматическое -  - неявное определение понятия путем указания множества аксиом, в которые оно вхо­дит наряду с...
Определение Генетическое - (от греч. genesis - происхож­дение, источник)  — классическое, или родо-видовое, определе­ние, в...
Определение Классическое - или: Определение через род и видовое отличие,  - определение, в котором пред­меты определяемого...
Определение Неявное -  — определение, не имеющее формы равенства двух понятий. К О. н. относятся определение...
Определение Номинальное -  — определение, выражаю­щее требование, как должно употребляться вводимое понятие, к каким...
Определение Операциональное -  - определение физи­ческих величин (длины, массы, силы и др.) через описание совокупности...
Определение Остенсивное - (от лат. ostentus - показыва­ние, выставление напоказ)  — неявное определение, раскрываю­щее...