Поиск

Семантика подтверждения и установки de re

Строится семантика верификации и прослеживаются связи слов верификации с установками de re. Предложения верификации имеют уровневую структуру с двумя одноместными операторами VER и ACT: VER (ACT (p)). Оператор VER задает связь с событием верификации, где X доказал p в действительном ...

Логико-эвристический метод решения проблем, анализ возможности верификации или фальсификации интуитивных решений

... наиболее рационального решения, объединяющего конкретные частные действия, отобранные на ключевых направлениях поиска, с целью достижения синергетического эффекта. Особо рассмотрены требования к научным методам. Выполнен логический анализ возможной верификации или фальсификации интуитивных решений. Боно де Э. Водная логика. — Минск : Попурри, 2006. Будашевский В. Г. Практическая логика: учебное пособие. — Челябинск : Издательский центр ЮУрГУ, 2014. Бунге М. Интуиция и наука. — М. : Прогресс, ...

Конкретно: синтактика без семиотики?

... грамматики рангов установил, что частица ТИ1 была частью древнерусского словаря, но не опреде­лил тип ее значения, что не позволило предсказать ее употребления в условном накло­нении. Эти употребления доказывают, что ТИ1 — не маркер наклонения, а показа­тель верификации, который может относиться как к действительному, так и к воз­можному миру. Грамматикализация частиц не отменяет необходимости тракто­вать их как знаки, если целью описания является выявление комбинаторики служебно­го слова. Акинина О....