Логика

ЛОГИКА (от греч. λόγος — слово, речь, разум, рассуждение) — наука о законах, формах и приемах интеллектуальной (мыслительной) познавательной деятельности. В настоящее время Л. представляет собой разветвленную и многоплановую науку, в составе которой можно выделить следующие основные разделы — теорию рассуждений, метаяогику и логическую методологию.

Читайте подробное определение понятия Логика.

Контрафактические высказывания

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

Диаграммы Венна

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

Умозаключение (НФЭ, 2010)

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

Детерминизм (НФЭ, 2010, Сачков)

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

Деонтическая логика

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

Диалектическая логика

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

Дедуктивное умозаключение

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

Дедуктивная логика

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

Теория в логике

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

Детерминизм (Рапацевич)

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

Страницы