Логика

ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т.е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует множество разнородных понятий формального доказательства, существующих в математической логике: последовательности формул, графы, диаграммы и т. д. В некоторых областях современного общества понятие доказательства стало практически тоже формальным.

УНИВЕРСАЛЬНАЯ ХАРАКТЕРИСТИКА - универсальное символическое исчисление, попытку разработать которое предпринял Лейбниц, рассчитывавший найти возможность для обоснования истинности любых суждений. Свой проект Лейбниц рассматривал как продолжение работы Декарта по созданию всеобщего метода получения достоверного знания (mathesis universalis). В основе идеи универсальной характеристики лежало убеждение Лейбница в возможности провести полную энумерацию всех основоположений мысли (первых принципов), которые были бы совершенно очевидны и выражали бы всю полноту знания.

КОНТРАФАКТИЧЕСКИЕ ВЫСКАЗЫВАНИЯ - высказывания в сослагательной форме с союзом «если бы... то бы...»: «Если бы ледники продвинулись на сотню километров южнее, то процесс обледенения Земли был бы необратим», «Если бы Клеопатра не была красавицей, современный мир выглядел бы иначе». Контрафактическое высказывание всегда имплицитно содержит предположение о том, что фактическое положение дел отлично оттого, каким его предлагается мыслить в антецеденте такого высказывания. Иными словами, оно предполагает (возможно, ошибочно) ложность своих антецедентов, взятых в изъявительной форме.

ДИАГРАММЫ ВЕННА — графический способ задания и анализа логико-математических теорий и их формул. Строятся путем разбиения части плоскости на ячейки (подмножества) замкнутыми контурами (кривыми Жордана). В ячейках представляется информация, характеризующая рассматриваемую теорию или формулу. Цель построения диаграмм не только иллюстративная, но и операторная — алгоритмическая переработка информации. Аппарат диаграмм Венна обычно используется вместе с аналитическим.

УМОЗАКЛЮЧЕНИЕ — процедура непосредственного выведения некоторого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками умозаключения, а высказывание, которое выводится из посылок, — заключением. Умозаключение представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации. Оно является простейшей разновидностью рассуждения — процедуры обоснования высказывания посредством пошагового выведения его из других высказываний; в умозаключении переход от аргументов (их роль играют посылки) к обосновываемому тезису (заключению) происходит в один шаг. В логике умозаключение принято формулировать следующим образом...

ДЕТЕРМИНИЗМ (от лат. determino — определяю) — общее учение о взаимосвязи и взаимообусловленности явлений и процессов реальности. Представления о детерминизме входят в структуру научного метода — они нацеливают исследование на анализ и раскрытие условий, причин и закономерностей, любых изменений в природе, обществе и мышлении. Основу детерминизма составляют концепции причинности и закономерностей.

ДЕОНТИЧЕСКАЯ ЛОГИКА (греч. δἐον, οντος, τό - должное, необходимое, обязанность) — область неклассических логик, в которых изучаются нормативные высказывания и нормативные понятия — обязательно, запрещено, разрешено и безразлично. Вопрос о логической природе норм, императивов и команд имеет многовековую традицию. Он рассматривался Аристотелем, стоиками, средневековыми философами, Лейбницем, Юмом, и др. Однако первая попытка построить формальную теорию нормативных понятий принадлежит Эрнсту Малли («Элементы логики волеизъявлений», 1926).

ДИАЛЕКТИЧЕСКАЯ ЛОГИКА - логическое учение диалектического материализма, наука о законах и формах отражения в мышлении развития и изменения объективного мира, о закономерностях познания истины. Д.л. в своём научном выражении возникла как составная часть марксистской философии. Однако её элементы имели место уже в древней, особенно античной, философии, в учениях Гераклита, Платона, Аристотеля и др. В силу исторических обстоятельств в течение длительного периода господствовала формальная логика как единственное учение о законах и формах мышления. Но уже примерно с XVII в.

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ - умозаключение, логическая форма которого гарантирует получение истинного заключения при условии одновременной истинности посылок. В дедуктивном умозаключении между посылками и заключением имеет место отношение следования логического, логическое содержание заключения (т. е. его информация без учета значений нелогических терминов) составляет часть совокупного логического содержания посылок.

ДЕДУКТИВНАЯ ЛОГИКА — раздел логики, в котором изучаются способы рассуждения, гарантирующие истинность заключения при истинности посылок. Дедуктивная логика иногда отождествляется с формальной логикой. Вне пределов дедуктивной логики находятся т. н. правдоподобные рассуждения и индуктивные методы. В ней исследуются способы рассуждений со стандартными, типовыми высказываниями; эти способы оформляются в виде логических систем, или исчислений. Исторически первой системой дедуктивной логики была силлогистика Аристотеля.