Логика

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

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

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

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

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

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

ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных связей различают несколько типов теорий. К первому типу относятся содержательные теории. В их составе дедукция используется лишь для связи отдельных положений. При этом исходные утверждения в рассуждениях представляют собой некоторые допущения, называемые посылками. Посылки не обязаны быть (и не всегда бывают) истинными, а потому любое предложение, которое дедуцируется с их использованием, считается условно истинным: заключение истинно при условии, что посылки являются истинными. Примером содержательной теории является школьная арифметака...

ДЕТЕРМИНИЗМ - материалистическое учение о причинной обусловленности всех явлений - природных, общественных, психических. Научная физиология и психология, в особенности учение И.М. Сеченова и И.П. Павлова, подтвердили правильность этого положения и доказали строгую причинную зависимость психики (включая самые высокие её формы - сознание и волю) от материальных условий жизнедеятельности. И.М. Сеченов усматривал главную преграду на пути объяснения психики с позиций Д.

ТЕЗИС И АНТИТЕЗИС (греч. θέσις — положение, утверждение, 'αντίθεσις — противоположение) — с точки зрения логики тезис — это утверждение, которое нуждается в доказательстве, антитезис — утверждение, противоположное тезису и обычно используемое в доказательстве от противного. В сущности любая теория или концепция представляют собой тезис (или систему тезисов) и совокупность доказывающих его аргументов. Поэтому иногда понятие тезиса используется как синоним понятия «теория», а иногда — в качестве некоего основополагающего принципа.

ТЕЗИС (лат. thesis — положение, утверждение) — 1) в широком смысле любое утверждение, предложенное для доказательства, отстаиваемое при изложении некоторой концепции или теории, или просто в споре (например, в средневековых диспутах на ученые степени в университетах). Такое толкование термина «тезис» закрепилось и в логике, поскольку логика издавна считалась рабочим инструментом в искусстве спора (диалектике).

В дедуктивных теориях, когда логические средства доказательства строго фиксированы, тезисы обычно противопоставляются постулатам и аксиомам этих теорий. При этом они представляют собой некоторую проблему для логики, решение которой состоит в поиске вывода или доказательства тезисов...