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

ОПИСАНИЕ СОСТОЯНИЯ

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


  1. описание состояния—англ. state description термин введенный австрийским логиком Р. Карнапом для обозначения одного из возможных распределений истинностных значений атомарных высказываний не...Словарь логики