Логика

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

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

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

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

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

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

АПРИОРИ (лат. a priori, букв. - из предшествующего) - философский термин, имеющий важное значение в теории познания, в частности, в философии Канта. Означает знание, полученное независимо от опыта, присущее сознанию изначально. Априорное знание противоположно апостериорному. Уже Аристотель различал познание вещей из их причин: из тех, которые составляют их предпосылку (целевая, формальная причина) - это познание априори и познание причины из ее действия - апостериорное познание.

БЕСКОНЕЧНОСТЬ В МАТЕМАТИКЕ И ЛОГИКЕ. Использование актуальной бесконечности в математике настойчиво стремятся легализовать со 2-й пол. 19 в. В этом процессе большую роль сыграли труды Б. Больцано, К. Вейерштрасса, Р. Дедекинда и в особенности Г. Кантора. В их работах было систематизировано употребление понятия бесконечности в европейской традиции, выделены его основные аспекты и была предложена (Кантором) беспрецедентно дерзкая конструкция «шкалы бесконечностей», ведущая от самых простых типов бесконечности до бесконечности в Боге.

ДЕДУКЦИЯ - один из основных способов рассуждения (умозаключения) и методов исследования. Под дедукцией в широком смысле понимается любой вывод вообще, в более специфическом и наиболее употребительном смысле-доказательство или выведение утверждения (следствия) из одного или нескольких других утверждений (посылок) на основе законов логики, носящее достоверный характер. В случае дедуктивного вывода следствия содержатся в посылках в скрытом виде, и они должны быть извлечены из них в результате применения методов логического анализа.

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

1. От более общего к единичному или к менее общему. Например: Все ароматические вещества улучшают вкус и аромат пищи; Ваниль - ароматическое вещество; Ваниль улучшает вкус и аромат пищи.