логика предикатов
71ВРЕМЕННАЯ ЛОГИКА — ВРЕМЕННАЯ ЛОГИКА раздел современных неклассических логик, в котором изучаются высказывания с истинностными значениями, изменяющимися во времени. Технически последнее оформляется посредством временных операторов, которые, будучи… …
72Нечёткая логика первого порядка — Эта страница требует существенной переработки. Возможно, её необходимо викифицировать, дополнить или переписать. Пояснение причин и обсуждение на странице Википедия:К улучшению/8 августа 2012. Дата постановки к улучшению 8 августа 2012. Нечёткая… …
73ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… …
74Модальность (логика) — Модальная логика логика в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в будущем», «всегда в прошлом»,… …
75интуиционистская логика — ИНТУИЦИОНИСТСКАЯ ЛОГИКА первоначально появилась как логика интуиционистской математики, но затем область ее применения чрезвычайно расширилась. Неформально И.л. начал развивать Л. Брауэр в 1907; первую интерпретацию, независимую от… …
76НОРМАТИВНАЯ ЛОГИКА — раздел совр. формальной логики, изучающий свойства н о р м и способы их употребления и выражения в рассуждениях. Осн. видами норм являются: 1) правила – правила игры, логики, грамматики, этики и т.п.; 2) предписания – права, гос. законы,… …
77Минимальная логика — логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как «из… …
78временная логика — ВРЕМЕННАЯ ЛОГИКА раздел неклассической логики; в ней изучаются рассуждения, построенные из суждений, выражаемых высказываниями с истинностными значениями, приуроченными к определенному времени. Ее возникновение (нач. 1950 х), а также во… …
79ВЕРОЯТНОСТНАЯ ЛОГИКА — математико логическая система, моделирующая традиционное понятие формальной логики отношение подтверждения одного высказывания другим(и) как вероятностную функцию. Поскольку подтверждение теории данными опыта есть индуктивное умозаключение от… …
80Модальная логика — область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному… …
