Описание Состояния

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

С. Для данного языка. Всего таких О. С. Будет 2n, если число атомарных высказываний равно п. Понятие О. С. Представляет собой конкретизацию идеи возможного мира. Возможный мир — это как раз тот мир, который задан определен­ным О. С. Одно из О. С. Соответствует реальному миру. Понятие О. С. Используется для определения важных логических понятий, на­пример для определения понятий логической и факти­ческой истинности. Высказывание называется логически истин­ным, если оно истинно во всех О. С. Высказывание лишь фактичес­ки истинно, если имеются О. С., в которых оно ложно..