Онтологические Высказывания — - утверждения о существовании объектов.

Пропозициональные Функции — - понятие Фреге, которое позволило отказаться от устаревшего способа анализа предложений в субъектно-предикатной форме.

Онтологические Высказывания — - утверждения о существовании объектов.

Онтологические Высказывания — - утверждения о существовании объектов.

Логической Модальности Виды — алетические - "необходимо", "возможно", "случайно"); деонтические, или нормативные - "запрещено", "разрешено" и т.п.; эпистемические - модальности знания, полагания, убеждения, веры, сомнения; модальности оценок и предпочтений; темпоральные...

Лингвистическое Сообщество — - предполагаемая группа экспертов (по аналогии с научным сообществом), конвенционально устанавливающая правила употребления, которым следует в своей практике включенный в коммуникативную ситуацию конкретного "сообщества" индивид.

Парсинг — - в науках об искусственном интеллекте - процедура, при которой последовательно проходится логическое "дерево" от наиболее общих единиц классификации к частным ( parsing down ) или от частных к общим ( parsing up ).

Логической Модальности Виды — алетические - "необходимо", "возможно", "случайно"); деонтические, или нормативные - "запрещено", "разрешено" и т.п.; эпистемические - модальности знания, полагания, убеждения, веры, сомнения; модальности оценок и предпочтений; темпоральные...

Логико-философский Трактат — ( Tractatus Ligico - philosophicus ) - гл. работа раннего этапа эволюции философских взглядов Л. Витгенштейна. Впервые опубликована в 1921 г. в Германии. В этой книге он стремится выявить границы выражения мыслей в логике языка.

Корреспондентная Теория Истинности — - восходящая к Аристотелю "классическая" трактовка истины как соответствия высказывания действительности. Выявлен ряд трудностей, возникающих при ее применении к анализу некоторых контекстов, утверждениям о несуществующих объектах и о будущих...