Связанные понятия
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление»)...
Апори́и Зено́на (от др.-греч. ἀπορία «трудность») — внешне парадоксальные рассуждения на тему о движении и множестве, автором которых является древнегреческий философ Зенон Элейский (V век до н. э.). Современники упоминали более 40 апорий Зенона, до нас дошли 9, обсуждаемые в «Физике» и в других трудах Аристотеля, а также в комментариях Симпликия, Филопона и Фемистия к Аристотелю; одна апория из этих 9 приводится также у Диогена Лаэртского, апории о множестве обсуждаются в диалоге Платона «Парменид...
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») — можно подразделить на...
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Простой
категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической...
Пиррони́зм — философская школа скептиков, основанная в I веке н. э. Энесидемом, учение которой изложено Секстом Эмпириком в конце II или начале III века н. э. Названа в честь Пиррона из Элиды, древнегреческого философа (IV—III вв. до н. э.), основателя античного скептицизма, хотя связи между его учением и философской школой неясны. Получил возрождение в XVII веке.
Антино́мия (др.-греч. ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от др.-греч. ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов. Термин «антиномия» был предложен...
Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Мо́дус (от лат. modus) — мера, образ, способ, вид существования или действия чего-либо. В логике применяется для обозначения разновидностей форм умозаключений. Спиноза полагал, что модусы — различные состояния, которые принимает единая субстанция; представляет собой переходную форму.
Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Аргументы за и против существования богов, и в частности, Бога авраамических религий предлагались философами, теологами и учёными на протяжении нескольких тысячелетий. В настоящее время в философской терминологии эти вопросы рассматриваются в рамках гносеологии и онтологии.
Подробнее: Вопрос существования Бога
Космологический аргуме́нт , или Космологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога. Присутствует в христианской и исламской теологии.
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Логика высказываний , или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Элеа́ты , элейцы, Элейская школа — древнегреческая философская школа раннего периода, существовавшая в конце VI − первой половине V веков до н. э., в городе Элее, в Великой Греции (юг Италии). В отличие от большинства досократиков, элейцы не занимались вопросами естествознания, но разрабатывали теоретическое учение о бытии (предложив впервые сам этот термин), заложив фундамент классической греческой онтологии.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Противоре́чие (контрадикторность) — отношение двух понятий и суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования...
Онтологи́ческий аргуме́нт , или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Телеологи́ческий аргуме́нт (греч. teleo — оканчивать, доводить до совершенства, до конца; logos — слово, суждение, разум, смысл) — аргумент в пользу существования Бога или какого-либо другого разумного творящего существа, основывающийся на явлении существования сложности или осмысленности в природе, к примеру, на существовании таких сложных существ как человек.
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
Феноменали́зм — философское учение о том, что мы познаем не сущность вещей, «вещи в себе», а лишь явления.
Мега́рская шко́ла (мега́рики) — одна из сократических школ древнегреческой философии, основанная Евклидом из Мегары (не путать с математиком Евклидом). Существовала в IV в. до н. э., сочетала идеи Сократа, элейской школы и софистов.
Метод Сократа — метод, названный в честь древнегреческого философа Сократа, основывающийся на проведении диалога между двумя индивидуумами, для которых истина и знания не даны в готовом виде, а представляют собой проблему и предполагают поиск. Этот метод часто подразумевает дискуссию, в которой собеседник, отвечая на заданные вопросы, высказывает суждения, обнаруживая свои знания или, напротив, своё неведение.
О душе (греч. Περὶ Ψυχῆς; лат. De anima) — сочинение Аристотеля, посвященное теме души. В отличие от своего учителя Платона, Аристотель настаивает, что многие состояния души зависят от состояния тела. В самом широком смысле душа является принципом жизни для всех существ, — как для растений, так и для животных.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Теория действия — область философского исследования, предметом которой являются действия, прежде всего действия человека. В центре современных дискуссий вопросы природы действий, их адекватного описания и объяснения.
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Апофати́ческое богосло́вие (др.-греч. ἀποφατικός «отрицательный»), или негативная теология — богословский метод, заключающийся в выражении сущности Божественного путём последовательного отрицания всех возможных его определений как несоизмеримых ему, познании Бога через понимание того, чем он не является. В противоположность положительным определениям (катафатическому богословию) утверждаются отрицательные: начиная, например, с «безгрешный», «бесконечный», «бессмертный» и заканчивая «ничто».
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.