дизъюнкция
111СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… …
112ТРАНСЦЕНДЕНТАЛИИ — выходящие за пределы десяти аристотелевских категорий (см. КАТЕГОРИИ) наиболее общие характеристики всякого сущего, универсальные свойства бытия. Учение о Т. сложилось в средние века (16 в.) и играло определенную роль вплоть до 18 в. У истоков… …
113ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …
114БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» …
115ДИЛЕММА — (греч. , от дважды и лемма, предположение, посылка), форма умозаключения (логич. вывода), посылки (исходные допущения) которого имеют гипотетич. (условную) и дизъюнктивную (разделительную) структуру. Если прописными лат. буквами… …
116ГОМОМОРФИЗМ — см. Изоморфизм и гомоморфизм. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. ГОМОМОРФИЗМ …
117ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …
118ПОЛОЖИТЕЛЬНАЯ ЛОГИКА — логика, в которой приемлемыми считаются рассуждения, не связанные с опровержениями, т. е. с обоснованиями ложности высказываний. Поскольку выражение «А ложно» есть лишь иная форма выражения «не А», в П. л. отказываются от любых способов… …
119ДВОЙСТВЕННОСТЬ — содержательное понятие, применяемое в логике и математике всякий раз, когда между двумя группами понятий установлено взаимно однозначное соответствие так, что замена понятий одной группы на соответствующие понятия др. группы каждый раз переводит… …
120ДИСТРИБУТИВНОСТИ ЗАКОН — (от лат. distributus – распределенный), р а с п р е д е л и тельный закон, – закон, выражающий дистрибутивность (распределительность) одной данной логич. или математич. операции относительно др. данной операции. Примером Д. з. может служить закон …
