Абдукция — способ рассуждения от имеющихся данных к гипотезе, которая объясняет или оценивает их лучше, чем альтернативные гипотезы. Впервые стал разрабатываться и применяться Ч. С. Пирсом для построения объяснительных гипотез в науке.
Абстракция (от лат. abstractio — отвлечение) — мысленный процесс отвлечения некоторых свойств и отношений предметов от других, которые рассматриваются в данном исследовании как несущественные и второстепенные. Результатом абстракции является образование абстрактных объектов.
Аксиоматический метод — способ построения и анализа научной теории, при котором выделяют некоторые исходные ее понятия и основные утверждения, из которых, во-первых, путем правил определения образуют производные понятия, во-вторых, посредством логической дедукции выводят другие утверждения теории. Система аксиом должна удовлетворять важнейшему требованию непротиворечивости аксиом, менее существенными являются требования их независимости и полноты.
Алгоритм (от Algorithmi — от латинизированной формы имени среднеазиатского ученого Аль-Хорезми) — конечная совокупность точных предписаний или правил, посредством которых можно решать однотипные или массовые задачи и проблемы. Простейшими знакомыми алгоритмами являются арифметические действия с числами. В принципе любые проблемы массового характера, допускающие описание действий с помощью точных предписаний, допускают алгоритмическое решение. На этом основывается возможность компьютеризации целого ряда процессов в производстве, на транспорте и других отраслях наррдного хозяйства.
Аналогия (от греч. analogia — сходство, соответствие) — недемонстративное умозаключение, когда на основе сходства или подобия двух объектов по некоторым их признакам (свойствам и отношениям) делают вывод об их сходстве по другим признакам. Заключение аналогии имеет вероятностный характер, сте-
305
пень подтверждения которого может быть увеличена путем выделения наиболее существенных признаков сходных объектов, увеличения их числа, а особенно выявления внутреннего характера их связи с переносимым признаком.
Апостериори и априори (от лат. a posteriori — из последующего и a priori — из предшествующего) — философские категории для обозначения знания, полученного из опыта (апостериори) и знания, предшествующего опыту (априори). Такое разграничение на самом деле является относительным, ибо всякое знание так или иначе связано с опытом и практикой. Поэтому априорным в науке называют знание, которое основано на предшествующем опыте и поэтому не нуждается в дальнейшей проверке.
Аргументация (от лат. argumentation — приведение аргументов) — рациональный способ убеждения, опирающийся на тщательное обоснование и оценку доводов в защиту определенного тезиса. Самым сильным способом убеждения служит доказательство, которое является дедуктивным выводом из истинных аргументов. В большинстве других случаев аргументами выступают правдоподобные суждения.
Верификация (от лат. verificatio — подтверждение, доказательство) — процесс установления истинности научных утверждений путем их эмпирической проверки. Служит важнейшим критерием научности выдвигаемых гипотез и теорий, но не все утверждения могут быть проверены таким путем непосредственно. Существуют также косвенные способы верификации посредством выведения логических следствий из непроверяемых утверждений и соотнесения их с данными опыта. Некоторые принципы и гипотезы, например, в математике и философии, не верифицируемы даже таким косвенным способом.
Вероятность — понятие, обозначающее степень возможности появления случайного массового события при фиксированных условиях испытания. Такая интерпретация называется частотной, или статистической, вероятностью, так как она основывается на понятии относительной частоты, результаты которой определяются путем статистических исследований. Логическая интерпретация вероятности характеризует отношение между посылками гипотезы и ее заключением. Это отношение определяется как семантическая степень подтверждения гипотезы ее данными. Поскольку такой же характер имеет отношение между посылками и заключением индукции, то логическую вероятность называют также индуктивной.
306
Герменевтика (от греч. hermeneuo — истолковываю, разъясняю) — исторически возникла в древнегреческой филологии как искусство истолкования, перевода литературных текстов, основанное на изучении грамматики языка, исторических и других данных, способствующих раскрытию смысла текстов. Впоследствии такие приемы и способы были использованы для интерпретации религиозных текстов в экзегетике и определения подлинности юридических документов. В XIX в. Ф. Шлейермахер поставил своей целью превратить герменевтику в общую теорию лингвистического понимания любых текстов, независимо от их конкретного содержания. Позднее В. Дильтей попытался превратить ее в методологию наук о духовной деятельности человека. В середине XX в. герменевтика из метода гуманитарных наук превращается в учение о бытии (Хайдеггер, Гадамер, Бетти).
Гипотетико-дедуктивный метод — способ рассуждения, основанный на дедукции следствий из гипотез, получивший широкое распространение при систематизации результатов исследования в естествознании и эмпирических науках в целом. Подробнее см. в главе 5.
Дизъюнкция — логическая операция, посредством которой из двух или нескольких суждений строится новое суждение путем оператора дизъюнкции, которому соответствует союз «или». Включающая дизъюнкция считается истинной, когда по крайней мере один из ее членов истинен. Исключающая — когда один член — истинен, а другой — ложен.
Дискурсивный (от лат. discursus — рассуждение, аргумент) — опирающийся на разум и логическое рассуждение. В познании обычно противопоставляется интуиции, которая основывается на непосредственном постижении истины путем ее интеллектуального созерцания.
Закон исключенного третьего — (от лат. tertium поп datur — третьего не дано) — закон классической логики, утверждающий, что из двух противоречащих суждений истинно либо само высказывание, либо его отрицание. В интуиционистской и конструктивной логиках, использующих понятие потенциальной бесконечности, не используется.
Закон недопущения противоречия (непротиворечивости) — закон логики, утверждающий, что два противоречащих суждения не могут быть одновременно истинными.
Идеализация — мысленный процесс создания идеальных объектов посредством изменения свойств реальных предметов в
307
процессе предельного перехода. Так возникают понятия идеального газа, абсолютно твердого тела, несжимаемой жидкости, материальной точки и т. п.
Импликация (от лат. implicatio — тесно связываю) — логическая операция, объединяющая два суждения в новое' путем связки, словесно выражаемой с помощью грамматической конструкции «если..., то...». Она ложна, только если предшествующее суждение истинно, а последующее — ложно. '
Индукция (от лат. inductio — наведение) — рассуждение, в котором на основании исследования некоторых членов класса делается заключение о неисследованных его членах или о всем классе в целом. Такое заключение всегда будет иметь не достоверный, а лишь вероятный или правдоподобный характер. В традиционной логике индукцию определяли как умозаключение от частного — к общему, что не всегда верно. Поэтому в современной логике ее рассматривают как правдоподобное заключение, полученное путем установления степени его подтверждения релевантными посылками. Основной формой индукции является неполная, или проблематическая индукция, заключение которой только правдоподобно. Полную и математическую индукцию относят теперь к дедуктивным формам умозаключений, поскольку их заключения достоверны, хотя процесс рассуждения в них сходен с неполной индукцией.
Интерпретация (от лат. interpretatio— истолкование, разъяснение) — раскрытие смысла явления, текста или знаковой структуры, способствующее их пониманию. В герменевтике различают грамматическую, историческую и психологическую интерпретации. В логике интерпретация сводится к приписыванию определенного смысла символам, формулам и выражениям формальной системы.
Интерсубъективный (от лат. inter — между) межличностный, независимый от конкретных субъектов характер понятий и суждений науки, подчеркивающий объективный источник их происхождения.
Интуиция (от лат. intuitio — пристальное всматривание, созерцание) — способность непосредственного постижения истины без обращения к развернутому логическому рассуждению. Психологически характеризуется как внутреннее «озарение»,
инсайт, гештальт. В логике и методологии рассматривается как догадка, нуждающаяся в проверке.
Иррациональный (от лат. irrationalis — неразумньй, бессознательный) — понятие или суждение, находящееся за пределами разума и логики и потому противоположное разумному, целесообразному и обоснованному фактами и логикой.
Конъюнкция (от лат. conjunctio — союз, связь) — логическая операция образования сложного высказывания из двух или нескольких простых высказываний с помощью связки, которой соответствует в речи союз «и». Она истинна, если все ее конъюнктивные члены истинны.
Логический позитивизм — новая форма позитивизма, возникшая в 20-е гг. под влиянием идей австрийского философа Л. Витгенштейна и получившая распространение в 30—40 гг. среди философов науки и поддерживавших их ученых. Его сторонники объявили бессмысленной традиционную философию и новой ее целью поставили логический анализ научного знания. Программа редукции теоретического знания к эмпирическому, объявленная ими в качестве важнейшей своей проблемы, потерпела полную неудачу. В 50-е гг. под влиянием резкой критики логический позитивизм перестал существовать и многие ее сторонники примкнули к аналитическому направлению в философии.
Метод (от греч. methodos — способ исследования» обучения, действия) — совокупность приемов, операций и способов теоретического познания и практического преобразования действительности, достижения определенных результатов. Их классификация может проводиться по разным основаниям: по областям применения — физические, химические, биологические, экономические, социологические и т. п.; по охвату явлений — общие и частные; по результатам — достоверные и вероятностные, по структуре — алгоритмические и эвристические и т. д. В основе любых научных методов лежат определенные принципы, теории и законы.
Модус поненс (лат. modus ponens) — правило логического вывода, позволяющее от утверждения условного высказывания и его основания перейти к утверждению следствия, т. е. отделить его. Поэтому оно называется также правилом отделения.
Модус толленс (лат. modus fallens) — правило логического вывода, разрешающее от утверждения условного суждения и
308
309
его отрицания следствия перейти к утверждению ложности основания. Используется как критерий опровержения.
Номологическое утверждение (греч. nomos — закон, logos — учение, понятие) — логическая форма, в которой представляются законы науки. Для универсальных законов используется общая импликация, для частных — экзистенциальная.
Обобщение — (от лат. generalisatio — обобщаю) — процесс мысленного перехода от единичного и частного к общему. Наиболее знакомым примером является индуктивное обобщение свойств, отношений и других характеристик предметов и явлений. На этой основе образуются общие понятия и суждения.
Объяснение — важнейшая функция науки, заключающаяся в подведении фактов о предметах, событиях и явлениях под некоторые общие утверждения (законы, теории и принципы). Наиболее распространенной схемой объяснения является дедуктивно-номологаческая модель, в которой высказывание о факте логически выводится из закона вместе с указанием конкретной информации о факте (начальные и граничные условия).
Парадигма (от греч. — paradeigma — пример, образец) — основополагающая теория вместе со способами ее использования, принятая научным сообществом в той или иной отрасли науки в определенный период ее развития. Идея парадигмы была использована американским историком и философом науки Т. Куном в 70-е гг. для характеристики нормального и экстраординарного этапов развития науки. На стадии нормальной науки ученые работают в рамках существующей парадигмы, применяя ее к новым случаям. Когда парадигма оказывается явно неприменимой для объяснения новых фактов, наступает кризис в науке. Несмотря на определенные достоинства концепции Куна, она упрощает многие особенности развития науки и поэтому подверглась критике.
Парадокс — в узком и строгом смысле два противоположных утверждения, для обоснования каждого из которых существуют убедительные аргументы. В научном познании возникновение парадоксов свидетельствует о существовании границ для применения существующих теоретических и логико-методологических понятий и принципов исследования. В широком смысле парадоксальными считаются мнения или сужде-
ния, резко противоречащие традиционным, устоявшимся мнениям и представлениям.
Подтверждение — критерий, посредством которого характеризуется соответствие гипотезы, закона или теории наблюдаемым фактам или экспериментальным результатам. Поскольку подтверждение опирается на схему вероятностного заключения, постольку его результат не является окончательным.
Понимание — важнейшая функция научного познания, состоящая в раскрытии смысла человеческих действий, поведения и поступков, и в этом качестве используемая в «понимающей» социологии. Первоначально категория понимания стала анализироваться в связи с раскрытием смысла текстов разнообразного содержания в герменевтике, а затем любых знаковых структур. Если раньше понимание сводили к раскрытию авторского смысла текста, то теперь оно предполагает дополнение и развитие первоначального смысла, что приводит к более глубокому пониманию.
Проблема (от греч. problema — трудность, преграда) — противоречие в познании, характеризующееся несоответствием между новыми фактами и данными и старыми способами их объяснения. Первоначально возникает в форме проблемной ситуации и только потом ясно осознается и формулируется в виде проблемы. Разрешению проблем направлена вся исследовательская деятельность в науке. Без этого было бы невозможно дальнейшее развитие науки.
Теория — (от греч. theoria — рассмотрение, исследование) — наиболее развитая форма организации и систематизации научного знания, дающая целостное отражение определенного фрагмента действительности. Важнейшими компонентами теории являются:
-
ее исходные основания (фундаментальные понятия и законы);
-
идеализированные или абстрактные объекты, отражающие в от
влеченной форме свойства реальных объектов; 3) логика теории,
позволяющая выводить одни утверждения из других.
Факт (от лат. factum — сделанное, совершившееся) — в методологии науки предложения, фиксирующие эмпирическое знание о событиях и явлениях реального мира. Такое знание всегда связано с теоретическим, и поэтому не существует ни чисто факту-ального знания, ни нейтрального языка наблюдений.
310
311
Фальсификация (от лат. falsus — ложный и facio — делаю) — процедура, устанавливающая ложность гипотезы или теории в ходе эмпирической их проверки. Служит важнейшим критерием научности гипотез в методологии К. Поппера.
Эвристика (от греч. heurisko — отыскиваю, открываю) — совокупность приемов и методов* способствующих более быстрому организованному и целенаправленному поиску истины, хотя и не гарантирующих ее безусловное и автоматическое нахождение. Обычно противопоставляется алгоритмическим методам, хотя в научном познании они дополняют и обусловливают друг друга.
Экспликация (от лат. explicatio — разъяснение,) — уточнение понятий и суждений научного языка с помощью средств символической, или математической логики.
Экстраполяция (от лат. extra — сверх и polito — выправляю, изменяю) — процедура, служащая для перенесения и распространения свойств, отношений или закономерностей с одной предметной области на другую.
Эристика (от греч. eristika — искусство спора) — система принципов и правил ведения спора, сформировавшаяся в Древней Греции. Первоначально была ориентирована на поиск истины в ходе спора, но под влиянием софистов выродилась в обучение приемам достижения победы в споре ценой нарушения правил логики и разнообразных психологических и других уловок.
Указатель имен
Аристотель (384—322) — выдающийся древнегреческий философ, основоположник классической логики.
Бахтин Михаил Михайлович (1895—1975) — известный русский литературовед, философ и теоретик искусства.
Бернулли Якоб (1654—1705) — швейцарский математик, один из создателей теории вероятностей и вариационного исчисления, автор книги «Ars Conjectandi» («Искусство предположений»).
Бор Нильс Хенрик Давид (1885—1962) — знаменитый датский физик, ', один из создателей современной физики, лауреат Нобелевской премии.
Бройль Луи де (1892—1987) — французский физик, лауреат Нобелевской премии, впервые выдвинувший гипотезу о волновой природе микрочастиц.
Буте Марио (р. 1919) — аргентинский физик и философ науки, работает в Канаде.
Бэкон Фрэнсис (1561—1626) — английский философ, автор «Нового Органона», где изложены каноны индуктивной логики.
Виттгениапейн Людвиг (1889—1951) — австрийский философ, основатель логического позитивизма, позднее отошедший от него.
Вавилов Сергей Иванович (1891—1951) — известный русский физик, основатель школы физической оптики.
Галилей Галилео (1564—1642) — выдающийся итальянский ученый, один из основателей механики.
Гейзенберг Вернер (1901—1976) — немецкий физик-теоретик, один из создателей квантовой механики, лауреат Нобелевской премии.
Гёксли Томас Генри (1825—1895) — английский биолог-эволюционист, соратник Ч. Дарвина.
Гильберт Давид (1862—1943) — выдающийся немецкий математик, оказавший значительное влияние на развитие современной математики и выдвинувший программу обоснования ее с позиций формализма.
Дарвин Чарльз Роберт (1809—1882) — английский естествоиспытатель, основоположник эволюционной теории в биологии.
Декарт Рене (1596—1650) — выдающийся французский математик, физик и философ, один из создателей аналитической геометрии.
Демокрит (р. ок. 470 или 460 до н. э.) — древнегреческий философ, один из основателей античной атомистики.
Дилыпей Вильгельм (1833—1911) — немецкий историк культуры и \ основатель философской герменевтики и понимающей психологии.
Дирак Поль Адриен Морис (1902—1984) — английский физик, один 4з основателей квантовой механики, лауреат Нобелевской премии.
Дюгем Пьер (1861—1916) — французский историк и философ науки.
313
Евклид (III в. до н. э.) — древнегреческий математик, автор знаменитой книги «Начала», в которой впервые для изложения геометрии был применен аксиоматический метод.
Кант Иммануил (1724—1804) — родоначальник немецкой классической философии.
Кантор Георг (1845—1918) — немецкий математик, разработавший теорию множеств, которая оказала большое влияние на современную математику.
Кеплер Иоганн (1571—1630) — немецкий астроном, впервые сформулировавший законы движения планет Солнечной системы.
Коперник Николай (1473—1543) — польский астроном, основатель гелиоцентрической системы мира.
Кбит Огюстьен (1789—1857) — французский математик, создатель теории пределов.
Кун Томас (1922—1996) — американский философ и историк науки.
Лакатос Имре (1922—1974) _— венгерский философ и историк науки.
Лаплас Пьер Симон (1749—1827) — французский математик, астроном и физик, автор известного принципа строгого детерминизма, названного по его имени «лапласбвским».
Лейбниц Готфрид Вильгельм (1646—1716) — выдающийся немецкий математик и философ, предтеча современной математической логики.
Лукреций Тит Кар (ок. 96—55 до н. э.) — римский философ и поэт, автор известной книги «О природе вещей».
Мах Эрнст (1838—1916) — немецкий физик и философ-эмпириокритицист.
Милль Джон Стюарт (1806—1873) — английский экономист и философ-позитивист.
Ньютон Исаак (1643—1727) — знаменитый английский физик и математик, создатель классической механики.
Пирс Чарлз Сандерс (1830—1914) — выдающийся американский логик и математик, один из основателей прагматизма.
Пифагор Самосский (VI в. до н. э.) — древне греческий философ и математик.
Платон (428/427—348/347 до н. э.) выдающийся древнегреческий философ.
Птолемей Клавдий (ок. 90—160) — древнегреческий ученый, создатель геоцентрической системы мира.
Пуанкаре Жюль Анри (1851—1912) — знаменитый французский математик, известный также своими исследованиями по методологии науки.
Рейхенбах Ганс (1891—1953) — немецкий философ-неопозитивист.
Шрёдингер Эрвин (1887—1961) — выдающийся австрийский физик-теоретик, один из создателей квантовой механики, лауреат Нобелевской премии.
Эйнштейн Альберт (1879—1955) — знаменитый физик-теоретик, один из основателей современной физики, лауреат Нобелевской премии.
315
Достарыңызбен бөлісу: |