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