Значение постулата

В формальной семантике и философии языка, А означает постулат является способом, предусматривающей зависимость между значениями двух или более слов. Они были введены Рудольфом Карнапом как способ приблизиться к аналитическому / синтетическому различию. Впоследствии Ричард Монтегю активно использовал постулаты значения при разработке грамматики Монтегю, и они занимают видное место в формальной семантике, следуя по стопам Монтегю.

Смысловой постулат - это формула, выражающая аспект смысла сказуемого. Формула выражается так называемыми связками. Используемые связки:

 paraphrase ≡ "if and only if" entailment → "if" binary antonomy ~ "not"

Следующие примеры упростят это:

1. «Если и только если X - мужчина, то X - человек». По смыслу постулата это выглядело бы так:

 x MAN ≡ x HUMAN BEING

2. «Если X - девочка, то X - женщина». По смыслу постулата это выглядело бы так:

 x GIRL → x FEMALE

3. «X не бодрствует, поэтому X спит». По смыслу постулата это выглядело бы так:

 x ASLEEP → ~x AWAKE

• Список логических символов