Словарь Логики

Доказательство От Противногосм.: Косвенное доказа­тельство.
Доказательство По Случаямили: Доказательство разбором случаев,  — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имею­щих одинаковое следствие, осуществляется переход к утвержде­нию этого следствия путем установления того, что по меньшей мере одно из...
Доказуемостьсм.: Доказательство.
Дополнение К Множеству - такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (уни­версальный класс). Пусть A будет множеством млекопитающих, а областью нашего рассуждения будет множество позвоночных жи­вотных. Тогда дополнением к нему (не-А) будет множество «не­...
Достаточного Основания Принцип - принцип, требу­ющий, чтобы в случае каждого утверждения указывались основа­ния, в силу которых оно принимается и считается истинным. В логике традиционной это требование обоснованности знания, именуемое законом достаточного основания, включалось (наряду с...
Достаточное Условиесм.: Условное высказывание.
Достоверность - обоснованность, доказательность, бесспор­ность знания. Достоверное суждение - такое суждение, в котором высказывается твердо обоснованное знание, напр.: «Луна — спут­ник Земли», «Вода кипит при 100 °С» и т. п. Достоверные суждения разделяются на два вида: ассерторические,...
Заблуждение - гносеологическая оценка знания, выража­ющая его ограниченный характер. Марксистская гносеология и ме­тодология научного познания используют четыре истинностные оценки знания: истина — ложь, относительная исти­на - абсолютная и с т и н а. Первая пара понятий использу­ется при анализе...
Закон Ассоциативности(от лат. associatio — соединение)  -общее имя для ряда логических законов, позволяющих по-разному группировать высказывания, соединяемые с помощью конъюнкции («и»), дизъюнкции («или») и др. Операции сложения и умножения чисел в математике ассоци­ативны: (а + b)+с=а + (b + с), (...
Закон Гипотетического Силлогизма - закон логики, характеризующий импликацию («если, то»): если первое влечет вто­рое, то если второе влечет третье, то первое влечет третье. Напр.: «Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой возможности...
Закон Двойного Отрицания - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: от­рицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселен­ная не является бесконечной, то она бесконечна». 3. д. о....
Закон Де Моргана - общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюн­кцию («или»). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнк­ции эквивалентно дизъюнкции отрицаний. Напр.: «Неверно, что...
Закон Дистрибутивности(от англ. distribution - распреде­ление, размещение)  - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну ло­гическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с использо­ванием символики...
Закон Дунса Скота - закон логики классической, характери­зующий логическое противоречие и импликацию материальную. За­кон можно передать так: ложное высказывание влечет (имплици­рует) любое высказывание. Напр.: «Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не...
Закон Импортациисм.: Закон экспортации — импортации.
Закон Исключенного Третьего - логический закон, со­гласно которому истинно или само высказывание, или его отри­цание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: «Аристотель умер в 322 г. до н. э. или он не умер в этом году...
Закон Клавия — логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или короче: высказы­вание, вытекающее из своего собственного отрицания, истинно....
Закон Коммутативности(от лат. commutatio - изменение, перемена)  — общее название логических законов, позволяющих менять местами высказывания, связанные конъюнкцией («и»), дизъ­юнкцией («или»), эквивалентностью («если и только если») и др. Эти законы аналогичны алгебраическим законам коммутативно­...
Закон Коммутации(от лат. commutatio - изменение, переме­на)  — логический закон, говорящий о возможности перестановки двух последовательных оснований некоторого условного высказы­вания. Словами: первое влечет, что если второе, то третье, в том и только том случае, когда второе влечет, что если...
Закон Композиции(от лат. compositio — сочинение, состав­ление)  - общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если первое, то второе, и если первое,...

Реклама