Правило Отделения

— правило, определяющее переход от посы­лок к следствиям. П. В. Указывает, каким образом высказывания, ис­тинность которых известна, могут быть видоизменены, чтобы полу­чить новые истинные высказывания. Напр., правило отделе­ния устанавливает, что если истинны два высказывания, одно из которых имеет форму импликации, а другое является основанием (антецедентом) этой импликации, то и высказывание, являющееся следствием (консеквентом) импликации, истинно. Это правило, на­зываемое также правилом мод..

— правило, формулируемое так. Если некото­рое свойство A принадлежит любому, но фиксированному элементу изучаемого множества М (т. Е. Является параметром), то это свойство принадлежит и всем элементам данного множества. Символически оно записывается так. Над чертой в посылке А(а) указывается принадлежность свой­ства А любому, но фиксированному элементу а некоторого множе­ства, под чертой, т. Е. В заключении, говорится о том, что свойство А принадлежит всем элементам этого множества. П. Л. Широко..

— раздел семиотики, изучающий отношения между знаковыми системами и теми, кто воспринимает, интерпрети­рует и использует их. Для исследования прагматических свойств и отношений, существенных для адекватного восприятия и понимания текстов, чисто лингвистических и логических методов часто оказы­вается недостаточно и приходится прибегать также к методам пси­хологии, психолингвистики, этологии.. ..

(лат. Obversio) в традиционной логике — вид непосредственного умозаключения, характеризующегося тем, что в исходных суждениях вида A, Е, I, О (см. Суждение) предикат Р заменяется на не-Р (т. Е. На его дополнение), и наоборот, и при этом качество суждения изменяется (утвердительное суждение преобра­зуется в отрицательное, и наоборот), а его общность (т. Е. Количество суждения) остается прежней. Так, из истинного суждения вида «Все S суть Р» путем его П. Можно получить истинное суждение вида «Ни о..