Логика

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

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

Тезис (НФЭ, 2010)

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

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

Априори (Грицанов, 1998)

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

Бесконечность

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

Дедукция (Рапацевич, 2006)

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

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

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

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

Дедуктивное доказательство

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

Апория (НФЭ, 4)

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

Формализованный язык

ФОРМАЛИЗОВАННЫЙ ЯЗЫК - искусственная знаковая система, предназначенная для представления некоторой теории. Формализованный язык отличается от естественных (национальных) языков человеческого общения и мышления, от искусственных языков типа Эсперанто, от «технических» языков науки, сочетающих средства определенной части естественного языка с соответствующей научной символикой (язык химии, язык обычной математики и др.), от алгоритмического языка типа обобщенного программирования и т. п.

Формализация (НФЭ, 2010)

ФОРМАЛИЗАЦИЯ — отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений. Для определенности уместно говорить о формализации некоторой содержательной теории Т. Под теорией в данном случае имеется в виду замкнутая относительно всех своих логических следствий совокупность утверждений, относящихся к соответствующей предметной области. Это означает, что все следствия, которые можно получить в Т в рамках корректных рассуждений, также относятся к теории Т.

Форма логическая

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

Страницы