Словарь логики

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