Тогда и только тогда, когда
Вследствие того, что предполагается замкнутость мира, множество предложений, определяющих отношение, имеет металингвистический смысл, несколько отличающийся от его смысла с позиций объектного языка. Предположим, к примеру, что в программе представлено три предложения:
начальник(джордж).
начальник(гарри).
начальник(нэнси).
На уровне объектного языка смысл этих фраз следующий:
“X является начальником , если
X - это джордж или
X - это гарри или
X - это нэнси”.
Однако из-за предположения замкнутости мира фактический смысл этих трех фраз на уровне метаязыка будет несколько иным:
“X является начальником тогда и только тогда, когда
X - это джордж или
X - это гарри или
X - это нэнси”.
