Логика

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

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

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

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

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

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

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

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

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

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

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

АПОРИЯ (греч. ảπορία — затруднение, безвыходное положение от α — отрицательная частица и πορος— выход) — понятие древнегреческой философии для обозначения трудно- или неразрешимой проблемы. Досократики употребляли термин «апория» как синоним затруднения, однако отчетливый философский смысл апория приобретает у Платона как постановка трудноразрешимой проблемы, а также у Аристотеля как «равенство противоположных друг другу доводов» (Топика, VI, 6, 145 b 2). Согласно последнему, каждое исследование должно начинаться со своей апории.