Абдукция — способ рассуждения от имеющихся данных к гипотезе, которая объясняет или оценивает их лучше, чем альтернативные гипотезы. Впервые стал разрабатываться и применяться Ч. С. Пирсом для построения объяснительных гипотез в науке.
Абстракция (от лат. abstractio — отвлечение) — мысленный процесс отвлечения некоторых свойств и отношений предметов от других, которые рассматриваются в данном исследовании как несущественные и второстепенные. Результатом абстракции является образование абстрактных объектов.
Аксиоматический метод — способ построения и анализа научной теории, при котором выделяют некоторые исходные ее понятия и основные утверждения, из которых, во-первых, путем правил определения образуют производные понятия, во-вторых, посредством логической дедукции выводят другие утверждения теории. Система аксиом должна удовлетворять важнейшему требованию непротиворечивости аксиом, менее существенными являются требования их независимости и полноты.
Алгоритм (от Algorithmi — от латинизированной формы имени среднеазиатского ученого Аль-Хорезми) — конечная совокупность точных предписаний или правил, посредством которых можно решать однотипные или массовые задачи и проблемы. Простейшими знакомыми алгоритмами являются арифметические действия с числами. В принципе любые проблемы массового характера, допускающие описание действий с помощью точных предписаний, допускают алгоритмическое решение. На этом основывается возможность компьютеризации целого ряда процессов в производстве, на транспорте и других отраслях народного хозяйства.
Аналогия (от греч. analogia — сходство, соответствие) — не-демонстративное умозаключение, когда на основе сходства или подобия двух объектов по некоторым их признакам (свойствам и отношениям) делают вывод об их сходстве по другим признакам. Заключение аналогии имеет вероятностный характер, сте-
процессе предельного перехода. Так возникают понятия идеального газа, абсолютно твердого тела, несжимаемой жидкости, материальной точки и т. п.
Импликация (от лат. implicatio — тесно связываю) — логическая операция, объединяющая два суждения в новое путем связки, словесно выражаемой с помощью грамматической конструкции «если..., то...». Она ложна, только если предшествующее суждение истинно, а последующее — ложно. '
Индукция (от лат. inductio — наведение) — рассуждение, в котором на основании исследования некоторых членов класса делается заключение о неисследованных его членах или о всем классе в целом. Такое заключение всегда будет иметь не достоверный, а лишь вероятный или правдоподобный характер. В традиционной логике индукцию определяли как умозаключение от частного — к общему, что Не всегда верно. Поэтому в современной логике ее рассматривают как правдоподобное заключение, полученное путем установления степени его подтверждения релевантными посылками. Основной формой индукции является неполная, или проблематическая индукция, заключение которой только правдоподобно. Полную и математическую индукцию относят теперь к дедуктивным формам умозаключений, поскольку их заключения достоверны, хотя процесс рассуждения в них сходен с неполной индукцией.
Интерпретация (от лат. interpretatio— истолкование, разъяснение) — раскрытие смысла явления, текста или знаковой структуры, способствующее их пониманию. В герменевтике различают грамматическую, историческую и психологическую интерпретации. В логике интерпретация сводится к приписыванию определенного смысла символам, формулам и выражениям формальной системы.
Интерсубъективный (от лат. inter — между) межличностный, независимый от конкретных субъектов характер понятий и суждений науки, подчеркивающий объективный источник их происхождения.
Интуиция (от лат. intuitio — пристальное всматривание, созерцание) — способность непосредственного постижения истины без обращения к развернутому логическому рассуждению. Психологически характеризуется как внутреннее «озарение»,
инсайт, гештальт. В логике и методологии рассматривается как догадка, нуждающаяся в проверке.
Иррациональный (от лат. irrationalis — неразумньй, бессознательный) — понятие или суждение, находящееся за пределами разума и логики и потому противоположное разумному, целесообразному и обоснованному фактами и логикой.
Конъюнкция (от лат. conjunctio — союз, связь) — логическая операция образования сложного высказывания из двух или нескольких простых высказываний с помощью связки, которой соответствует в речи союз «и». Она истинна, если все ее конъюнктивные члены истинны.
Логический позитивизм — новая форма позитивизма, возникшая в 20-е гг. под влиянием идей австрийского философа Л. Витгенштейна и получившая распространение в 30—40 гг. среди философов науки и поддерживавших их ученых. Его сторонники объявили бессмысленной традиционную философию и новой ее целью поставили логический анализ научного знания. Программа редукции теоретического знания к эмпирическому, объявленная ими в качестве важнейшей своей проблемы, потерпела полную неудачу. В 50-е гг. под влиянием резкой критики логический позитивизм перестал существовать и многие ее сторонники примкнули к аналитическому направлению в философии.
Метод (от греч. methodos — способ исследования, обучения, действия) — совокупность приемов, операций и способов теоретического познания и практического преобразования действительности, достижения определенных результатов. Их классификация может проводиться по разным основаниям: по областям применения — физические, химические, биологические, экономические, социологические и т. п.; по охвату явлений — общие и частные; по результатам — достоверные и вероятностные, по структуре — алгоритмические и эвристические и т. д. В основе любых научных методов лежат определенные принципы, теории и законы.
Модус поненс (лат. modus ponens) — правило логического вывода, позволяющее от утверждения условного высказывания и его основания перейти к утверждению следствия, т. е. отделить его. Поэтому оно называется также правилом отделения.
Модус толленс (лат. modus to/lens) — правило логического вывода, разрешающее от утверждения условного суждения и
его отрицания следствия перейти к утверждению ложности основания. Используется как критерий опровержения.
Номологическое утверждение (греч. nomos — закон, logos — учение, понятие) — логическая форма, в которой представляются законы науки. Для универсальных законов используется общая импликация, для частных — экзистенциальная.
Обобщение — (от лат. generalisatio — обобщаю) — процесс мысленного перехода от единичного и частного к общему. Наиболее знакомым примером является индуктивное обобщение свойств, отношений и других характеристик предметов и явлений. На этой основе образуются общие понятия и суждения.
Объяснение — важнейшая функция науки, заключающаяся в подведении фактов о предметах, событиях и явлениях под некоторые общие утверждения (законы, теории и принципы). Наиболее распространенной схемой объяснения является дедуктивно-номологическая модель, в которой высказывание о факте логически выводится из закона вместе с указанием конкретной информации о факте (начальные и граничные условия).
Парадигма (от греч. — paradeigma — пример, образец) — основополагающая теория вместе со способами ее использования, принятая научным сообществом в той или иной отрасли науки в определенный период ее развития. Идея парадигмы была использована американским историком и философом науки Т. Куном в 70-е гг. для характеристики нормального и экстраординарного этапов развития науки. На стадии нормальной науки ученые работают в рамках существующей парадигмы, применяя ее к новым случаям. Когда парадигма оказывается явно неприменимой для объяснения новых фактов, наступает кризис в науке. Несмотря на определенные достоинства концепции Куна, она упрощает многие особенности развития науки и поэтому подверглась критике.
Парадокс — в узком и строгом смысле два противоположных утверждения, для обоснования каждого из которых существуют убедительные аргументы. В научном познании возникновение парадоксов свидетельствует о существовании границ для применения существующих теоретических и логико-методологических понятий и принципов исследования. В широком смысле парадоксальными считаются мнения или сужде-
ния, резко противоречащие традиционным, устоявшимся мнениям и представлениям.
Подтверждение — критерий, посредством которого характеризуется соответствие гипотезы, закона или теории наблюдаемым фактам или экспериментальным результатам. Поскольку подтверждение опирается на схему вероятностного заключения, постольку его результат не является окончательным.
Понимание — важнейшая функция научного познания, состоящая в раскрытии смысла человеческих действий, поведения и поступков, и в этом качестве используемая в «понимающей» социологии. Первоначально категория понимания стала анализироваться в связи с раскрытием смысла текстов разнообразного содержания в герменевтике, а затем любых знаковых структур. Если раньше понимание сводили к раскрытию авторского смысла текста, то теперь оно предполагает дополнение и развитие первоначального смысла, что приводит к более глубокому пониманию.
Проблема (от греч. problema — трудность, преграда) — противоречие в познании,, характеризующееся несоответствием между новыми фактами и данными и старыми способами их объяснения. Первоначально возникает в форме проблемной ситуации и только потом ясно осознается и формулируется в виде проблемы. Разрешению проблем направлена вся исследовательская деятельность в науке. Без этого было бы невозможно дальнейшее развитие науки.
Теория — (от греч. theoria — рассмотрение, исследование) — наиболее развитая форма организации и систематизации научного знания, дающая целостное отражение определенного фрагмента действительности. Важнейшими компонентами теории являются:
1) ее исходные основания (фундаментальные понятия и законы);
2) идеализированные или абстрактные объекты, отражающие в отвлеченной форме свойства реальных объектов; 3) логика теории, позволяющая выводить одни утверждения из других.
Факт (от лат. factum — сделанное, совершившееся) — в методологии науки предложения, фиксирующие эмпирическое знание о событиях и явлениях реального мира. Такое знание всегда связано с теоретическим, и поэтому не существует ни чисто факту-ального знания, ни нейтрального языка наблюдений.
Фальсификация (от лат. falsus — ложный и facio — делаю) — процедура, устанавливающая ложность гипотезы или теории в ходе эмпирической их проверки. Служит важнейшим критерием научности гипотез в методологии К. Поппера.
Эвристика (от греч. heurisko — отыскиваю, открываю) — совокупность приемов и методов, способствующих более быстрому организованному и целенаправленному поиску истины, хотя и не гарантирующих ее безусловное и автоматическое нахождение. Обычно противопоставляется алгоритмическим методам, хотя в научном познании они дополняют и обусловливают друг друга.
Экспликация (от лат. explicatio — разъяснение,) — уточнение понятий и суждений научного языка с помощью средств символической, или математической логики.
Экстраполяция (от лат. extra — сверх и polito — выправляю, изменяю) — процедура, служащая для перенесения и распространения свойств, отношений или закономерностей с одной предметной области на другую.
Эристика (от греч. eristika — искусство спора) — система принципов и правил ведения спора, сформировавшаяся в Древней Греции. Первоначально была ориентирована на поиск истины в ходе спора, но под влиянием софистов выродилась в обучение приемам достижения победы в споре Ценой нарушения правил логики и разнообразных психологических и других уловок.