Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Тезис и антитезис

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

Страницы

Subscribe to RSS - Логика
Яндекс.Метрика