Читайте также:
|
Наблюдение - это целенаправленный строгий процесс восприятия предметов действительности, которые не должны быть изменены. Исторически метод наблюдения развивается как составная часть трудовой операции, включающей в себя установление соответствия продукта труда его запланированному образцу.
Эксперимент - метод познания, при помощи которого явления действительности исследуются в контролируемых и управляемых условиях. Он отличается от наблюдения вмешательством в исследуемый объект, то есть активностью по отношению к нему. Проводя эксперимент, исследователь не ограничивается пассивным наблюдением явлений, а сознательно вмешивается в естественный ход их протекания путем непосредственного воздействия на изучаемый процесс или изменения условий, в которых проходит этот процесс.
Аналогия - метод познания, при котором происходит перенос знания, полученного в ходе рассмотрения какого-либо одного объекта, на другой, менее изученный и в данный момент изучаемый. Метод аналогии основывается на сходстве предметов по ряду каких-либо признаков, что позволяет получить вполне достоверные знания об изучаемом предмете.
Моделирование - метод научного познания, основанный на изучении каких-либо объектов посредством их моделей. Появление этого метода вызвано тем, что иногда изучаемый объект или явление оказываются недоступными для прямого вмешательства познающего субъекта или такое вмешательство по ряду причин является нецелесообразным. Моделирование предполагает перенос исследовательской деятельности на другой объект, выступающий в роли заместителя интересующего нас объекта или явления. Объект-заместитель называют моделью, а объект исследования - оригиналом, или прототипом. При этом модель выступает как такой заместитель прототипа, который позволяет получить о последнем определенное знание.
Современной науке известно несколько типов моделирования:
1) предметное моделирование, при котором исследование ведется на модели, воспроизводящей определенные геометрические, физические, динамические или функциональные характеристики объекта-оригинала;
2) знаковое моделирование, при котором в качестве моделей выступают схемы, чертежи, формулы. Важнейшим видом такого моделирования является математическое моделирование, производимое средствами математики и логики;
3) мысленное моделирование, при котором вместо знаковых моделей используются мысленно-наглядные представления этих знаков и операций с ними.
Анализ - метод научного познания, в основу которого положена процедура мысленного или реального расчленения предмета на составляющие его части. Расчленение имеет целью переход от изучения целого к изучению его частей и осуществляется путем абстрагирования от связи частей друг с другом.
Синтез - это метод научного познания, в основу которого положена процедура соединения различных элементов предмета в единое целое, систему, без чего невозможно действительно научное познание этого предмета. Синтез выступает не как метод конструирования целого, а как метод представления целого в форме единства знаний, полученных с помощью анализа. В синтезе происходит не просто объединение, а обобщение аналитически выделенных и изученных особенностей объекта. Положения, получаемые в результате синтеза, включаются в теорию объекта, которая, обогащаясь и уточняясь, определяет пути нового научного поиска.
Индукция - метод научного познания, представляющий собой формулирование логического умозаключения путем обобщения данных наблюдения и эксперимента.
Непосредственной основой индуктивного умозаключения является повторяемость признаков в ряду предметов определенного класса. Заключение по индукции представляет собой вывод об общих свойствах всех предметов, относящихся к данному классу, на основании наблюдения достаточно широкого множества единичных фактов. Обычно индуктивные обобщения рассматриваются как опытные истины, или эмпирические законы.
Различают полную и неполную индукцию. Полная индукция строит общий вывод на основании изучения всех предметов или явлений данного класса. В результате полной индукции полученное умозаключение имеет характер достоверного вывода. Суть неполной индукции состоит в том, что она строит общий вывод на основании наблюдения ограниченного числа фактов, если среди последних не встретились такие, которые противоречат индуктивному умозаключению. Поэтому естественно, что добытая таким путем истина неполна, здесь мы получаем вероятностное знание, требующее дополнительного подтверждения.
Дедукция - метод научного познания, который заключается в переходе от некоторых общих посылок к частным результатам-следствиям.
Решение любой научной проблемы включает выдвижение различных догадок, предположений, а чаще всего более или менее обоснованных гипотез, с помощью которых исследователь пытается объяснить факты, не укладывающиеся в старые теории. Гипотезы возникают в неопределенных ситуациях, объяснение которых становится актуальным для науки. Кроме того, на уровне эмпирических знаний (а также на уровне их объяснения) нередко имеются противоречивые суждения. Для разрешения этих проблем требуется выдвижение гипотез.
Гипотеза представляет собой всякое предположение, догадку или предсказание, выдвигаемое для устранения ситуации неопределенности в научном исследовании. Поэтому гипотеза есть не достоверное знание, а вероятное, истинность или ложность которого еще не установлены.
Гипотеза должна быть либо подтверждена, либо опровергнута. Для этого она должна обладать свойствами фальсифицируемости и верифицируемости. Фальсификация - процедура, устанавливающая ложность гипотезы в результате экспериментальной или теоретической проверки. Верификация - процесс установления истинности гипотезы или теории в результате их эмпирической проверки. Возможна также косвенная верифицируемость, основанная на логических выводах из прямо верифицированных фактов.
Частные методы - это специальные методы, действующие либо только в пределах отдельной отрасли науки, либо за пределами той отрасли, где они возникли. Такой метод, например, используется при кольцевании птиц, применяемый в зоологии. А методы физики, использованные в других отраслях естествознания, привели к созданию астрофизики, геофизики, кристаллофизики и др. Нередко применяется комплекс взаимосвязанных частных методов к изучению одного предмета. Например, молекулярная биология одновременно пользуется методами физики, математики, химии, кибернетики.
миру, не противоречащее основным принципам научного поиска, опирающимся на многократно проверенные и подтвержденные истины.
Научное мировоззрение есть создание и выражение человеческого духа; наравне с интуитивным религиозным мировоззрением, искусством, общественной и личной работой, философской мыслью или созерцанием.
Научное мировоззрение не является синонимом истины точно так же, как не являются ею и интуитивное мировоззрение, религиозные и философские системы. Все они представляют лишь подходы к ней, различные проявления человеческого духа». (В. И. Вернадский).
В основе научного мировоззрения лежит метод. Он не является лишь орудием получения знаний, но это всегда то средство, которым знание подвергается проверке.
Что есть общего и в чем различие между научным и интуитивным мировоззрением? (рис. 1)
Очень кратко можно ответить так: «Интуитивное мировоззрение догадывается, а научное мировоззрение — доказывает, что жизнь есть космопланетарное явление». (В.Соловьев.)
Рис.1
Что является общим?
И то и другое является результатом мышления — духовной мыслительной деятельности.
В чем принципиальное отличие?
«Научное мировоззрение содержит истины общеобязательные для всех (в той части, где они не зависят от времени и субъективных точек зрения — совпадают с эмпирической реальностью)». (В.И.Вернадский.)
Принципы искусства, религии, обыденной жизни никогда не могут быть приведены к единству.
Бертран Артур Уильям Рассел (1872 —1970)
Приведем пример. Вот как описывал известный западный философ Бертран Рассел принципиальное различие между религиозным и научным мировоззрением:
«Прежде всего, это различие в размерах: христианский мир мал и кратковремен (за исключением рая и ада), в то время как для научного мира неизвестны начало и конец как во времени, так и в пространстве, и определенно он бесконечен и в пространстве, и во времени. В христианском мире все имеет цель и свое место; все четко и ясно, как на кухне у хорошей хозяйки. Другое отличие состоит в том, что христианский мир имеет центром Землю, в то время как научный мир не имеет такого центра вообще; в христианском мире Земля стоит на месте, а звезды вращаются вокруг нее, в то время как в научном мире все находится в движении».
Научное мировоззрение
Что такое научное мировоззрение? Ответ приходит сам собою – это правильное мировоззрение. Что поделать, так сложилось думать, и так думают.
Может ли существовать какое-то другое, ненаучное мировоззрение? С точки зрения традиции, ответ однозначный – нигде и ни при каких обстоятельствах. Наука является абсолютной истиной, а ученые – работники науки – вещают нам абсолютную истину. Все это до боли знакомо – если присмотреться – это обычная религия, со своими служителями и ритуалами.
Почему наука удерживает такие значимые позиции? Потому что знание – сила. Но в то же время, используемый в науке научный метод – её основа – целиком и полностью основывается на методе проб и ошибок и рационалистическом толковании результатов применения этого метода. «Сделай раз, посмотри что случилось, если не получил то, что нужно, повтори опять, немного иначе, и так до тех пор, пока не получишь что-то осмысленное…» - это и есть научный метод.
В самой науке – в знаниях - естественно, нет ничего плохого. Проблемы начинаются тогда, когда служители научного культа – ученые – начинают абсолютизировать имеющиеся у них знания.
Абсолютизируя имеющиеся у ученого представления, он отвергает с порога все, что им не соответствует – очевидный признак фанатизма (или бессилия, если хотите). Что поделать, это – черта современного человека – заботиться исключительно о собственной правоте. Можно сказать, такие люди лишены разума.
Чем ученый отличается от обычного человека? Тем, что в каких-то вопросах он может опереться на мнение научного сообщества, которое часто является для него непреложной истиной в последней инстанции. Парадокс заключается в том, что сам ученый, часто имея далеко не полные представления, опирается на мнение своих коллег (а как иначе-то?), и, таким образом, научное сообщество поддерживает себя.
Что же охраняют от людей и от самих себя научные мужи, если смотреть в корень? Научную картину мира. Они заботятся, чтобы не дай бог, никто и ни при каких обстоятельствах не смог посягнуть на безупречное произведение искусства. Что же такое эта научная картина мира? Это несколько постулатов, заложенных приблизительно в 17 веке. Вот они:
1. Дух и материя существуют раздельно (Аристотель).
2. Мир состоит из отдельных кирпичиков (Ньютон).
3. Все взаимодействия в мире случайны.
4. Солнце находится в центре Вселенной (гелиоцентрическая модель мира).
Существовавшее до этого мировоззрение, ненаучное, строилось приблизительно на следующих основаниях:
1. Человек есть отражение Бога (Вселенная строит себя по голографическому принципу).
2. Мир – это целое.
3. Человек находится в центре Вселенной (геоцентрическая модель мира).
Естественно, переход на научную картину мира не прошел бесследно для всех людей. Вот несколько следствий принятия научной картины мира (большое значение имел также переход на мужскую Троицу в 17в.):
1. Возникновение разделяющего мышления (см. разделяющее мышление).
2. Распад целостного ума и превращение его в однобокий разделяющий и отрицающий ум-эго.
3. Появление типов характера человека.
Индукция (лат. inductio - наведение) - процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые фактические, психологические или математические представления.
Различают полную индукцию - метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, и неполную индукцию - наблюдения за отдельными частными случаями наводит на гипотезу, которая, конечно, нуждается в доказательстве. Также для доказательств используется метод математической индукции. Содержание [убрать]
История
Термин впервые встречается у Сократа (др. - греч. ἐπαγωγή). Но индукция Сократа имеет мало общего с современной индукцией. Сократ под индукцией подразумевает нахождение общего определения понятия путём сравнения частных случаев и исключения ложных, слишком узких определений.
Аристотель указал на особенности индуктивного умозаключения (Аналит. I, кн.2 § 23, Анал. II, кн.1 § 23; кн.2 § 19 etc.). Он определяет его как восхождение от частного к общему. Он отличал полную индукцию от неполной, указал на роль индукции при образовании первых принципов, но не выяснил основы неполной индукции и её права. Он рассматривал её как способ умозаключения, противоположный силлогизму. Силлогизм, по мнению Аристотеля, указывает посредством среднего понятия на принадлежность высшего понятия третьему, а индукция третьим понятием показывает принадлежность высшего среднему.
В эпоху Возрождения началась борьба против Аристотеля и силлогистического метода, и вместе с тем начали рекомендовать индуктивный метод как единственно плодотворный в естествознании и противоположный силлогистическому. В Бэконе обыкновенно видят родоначальника современной И., хотя справедливость требует упомянуть и о его предшественниках, например Леонардо да Винчи и др. Восхваляя И., Бэкон отрицает значение силлогизма ("силлогизм состоит из предложений, предложения состоят из слов, слова суть знаки понятий; если поэтому понятия, которые составляют основание дела, неотчётливы и поспешно отвлечены от вещей, то и построенное на них не может иметь никакой прочности"). Это отрицание не вытекало из теории И. Бэконовская И. (см. его "Novum Organon") не только не противоречит силлогизму, но даже требует его. Сущность учения Бэкона сводится к тому, что при постепенном обобщении нужно придерживаться известных правил, то есть нужно сделать три обзора всех известных случаев проявления известного свойства у разных предметов: обзор положительных случаев, обзор отрицательных (то есть обзор предметов, сходных с первыми, в которых, однако, исследуемое свойство отсутствует) и обзор случаев, в которых исследуемое свойство проявляется в различных степенях, и отсюда делать уже обобщение ("Nov.org." LI, aph.13). По методу Бэкона нельзя сделать нового заключения, не подводя исследуемый предмет под общие суждения, то есть не прибегая к силлогизму. Итак, Бэкону не удалось установление И. как особого метода, противоположного дедуктивному.
Дальнейший шаг сделан Дж. Ст. Миллем. Всякий силлогизм, по мнению Милля, заключает в себе petitio principii; всякое силлогистическое заключение идёт в действительности от частного к частному, а не от общего к частному. Эта критика Милля несправедлива, ибо от частного к частному мы не можем заключать, не введя добавочного общего положения о сходстве частных случаев между собой [источник не указан 574 дня]. Рассматривая И., Милль, во-первых, задаётся вопросом об основании или праве на индуктивное заключение и видит это право в идее однообразного порядка явлений, и, во-вторых, сводит все способы умозаключения в И. к четырём основным: метод согласия (если два или более случая исследуемого явления сходятся в одном только обстоятельстве, то это обстоятельство и есть причина или часть причины исследуемого явления, метод различия (если случай, в котором встречается исследуемое явление, и случай, в котором оно не встречается, совершенно сходны во всех подробностях, за исключением исследуемой, то обстоятельство, встречающееся в первом случае и отсутствующее во втором, и есть причина или часть причины исследуемого явления); метод остатков (если в исследуемом явлении часть обстоятельств может быть объяснена определёнными причинами, то оставшаяся часть явления объясняется из оставшихся предшествующих фактов) и метод соответствующих изменений (если вслед за изменением одного явления замечается изменение другого, то мы можем заключить о причинной связи между ними). Характерно, что эти методы при ближайшем рассмотрении оказываются дедуктивными способами; напр. метод остатков не представляет собой ничего иного, как определение путём исключения. Аристотель, Бэкон и Милль представляют собой главные моменты развития учения об И.; только ради детальной разработки некоторых вопросов приходится обращать внимание на Клода Бернара ("Введение в экспериментальную медицину"), на Эстерлена ("Medicinische Logik"), Гершеля, Либиха, Вэвеля, Апельта и др.
Индуктивный метод
Различают двоякую индукцию: полную (induction complete) и неполную (inductio incomplete или per enumerationem simplicem). В первой мы заключаем от полного перечисления видов известного рода ко всему роду; очевидно, что при подобном способе умозаключения мы получаем вполне достоверное заключение, которое в то же время в известном отношении расширяет наше познание; этот способ умозаключения не может вызвать никаких сомнений. Отождествив предмет логической группы с предметами частных суждений, мы получим право перенести определение на всю группу. Напротив, неполная И., идущая от частного к общему (способ умозаключения, запрещённый формальной логикой), должна вызвать вопрос о праве. Неполная И. по построению напоминает третью фигуру силлогизма, отличаясь от неё, однако, тем, что И. стремится к общим заключениям, в то время как третья фигура дозволяет лишь частные.
Умозаключение по неполной И. (per enumerationem simplicem, ubi non reperitur instantia contradictoria) основывается, по-видимому, на привычке и даёт право лишь на вероятное заключение во всей той части утверждения, которая идёт далее числа случаев уже исследованных. Милль в разъяснении логического права на заключение по неполной И. указал на идею однообразного порядка в природе, в силу которой наша вера в индуктивное заключение должна возрастать, но идея однообразного порядка вещей сама является результатом неполной индукции и, следовательно, основой И. служить не может. В действительности основание неполной И. то же, что и полной, а также третьей фигуры силлогизма, то есть тождество частных суждений о предмете со всей группой предметов. "В неполной И. мы заключаем на основании реального тождества не просто некоторых предметов с некоторыми членами группы, но таких предметов, появление которых перед нашим сознанием зависит от логических особенностей группы и которые являются перед нами с полномочиями представителей группы". Задача логики состоит в том, чтобы указать границы, за пределами которых индуктивный вывод перестаёт быть правомерным, а также вспомогательные приёмы, которыми пользуется исследователь при образовании эмпирических обобщений и законов. Несомненно, что опыт (в смысле эксперимента) и наблюдение служат могущественными орудиями при исследовании фактов, доставляя материал, благодаря которому исследователь может сделать гипотетическое предположение, долженствующее объяснить факты.
Таким же орудием служит и всякое сравнение и аналогия, указывающие на общие черты в явлениях, общность же явлений заставляет предположить, что мы имеем дело и с общими причинами; таким образом, сосуществование явлений, на которое указывает аналогия, само по себе ещё не заключает в себе объяснения явления, но доставляет указание, где следует искать объяснения. Главное отношение явлений, которое имеет в виду И., - отношение причинной связи, которая, подобно самому индуктивному выводу, покоится на тождестве, ибо сумма условий, называемая причиной, если она дана в полноте, и есть не что иное, как вызванное причиной следствие. Правомерность индуктивного заключения не подлежит сомнению; однако логика должна строго установить условия, при которых индуктивное заключение может считаться правильным; отсутствие отрицательных инстанций ещё не доказывает правильности заключения. Необходимо, чтобы индуктивное заключение основывалось на возможно большем количестве случаев, чтобы эти случаи были по возможности разнообразны, чтобы они служили типическими представителями всей группы явлений, которых касается заключение, и т.д.
При всём том индуктивные заключения легко ведут к ошибкам, из которых самые обычные проистекают от множественности причин и от смешения временного порядка с причинным. В индуктивном исследовании мы всегда имеем дело со следствиями, к которым должно подыскать причины; находка их называется объяснением явления, но известное следствие может быть вызвано целым рядом различных причин; талантливость индуктивного исследователя в том и заключается, что он постепенно из множества логических возможностей выбирает лишь ту, которая реально возможна. Для человеческого ограниченного познания, конечно, различные причины могут произвести одно и то же явление; но полное адекватное познание в этом явлении умеет усмотреть признаки, указывающие на происхождение его лишь от одной возможной причины. Временное чередование явлений служит всегда указанием на возможную причинную связь, но не всякое чередование явлений, хотя бы и правильно повторяющееся, непременно должно быть понято как причинная связь. Весьма часто мы заключаем post hoc - ergo propter hoc [2], таким путём возникли все суеверия, но здесь же и правильное указание для индуктивного вывода.
4. Дедукция
Дедукция (от лат. deductio - выведение) - выведение частного из общего; путь мышления, который ведет от общего к частному, от общего положения к особенному; общей формой дедукции является силлогизм, посылки которого образуют указанное общее положение, а выводы - соответствующее частное суждение; применяется только в естественных науках, особенно в математике: например, из аксиомы Гильберта ("две отличные друг от друга точки А и В всегда определяют прямую а") дедуктивным путем можно сделать вывод, что кратчайшей линией между двумя точками является соединяющая эти две точки прямая; противоположностью дедукции является индукция; трансцендентальной дедукцией Кант называет объяснение того, каким образом априорные понятия могут относиться к предметам, т.е. каким образом допонятийное восприятие может оформиться в понятийный опыт; трансцендентальная дедукция отличается от эмпирической, которая указывает лишь на способ образования понятия благодаря опыту и рефлексии.
Изучение Дедукции составляет главную задачу логики; иногда логику - во всяком случае логику формальную - даже определяют как "теорию Дедукции", хотя логика далеко не единственная наука, изучающая методы Дедукции: психология изучает реализацию Дедукции в процессе реального индивидуального мышления и его формирования, а гносеология - как один из основных методов научного познания мира.
Хотя сам термин "Дедукция" впервые употреблён, по-видимому, Боэцием, понятие Дедукция - как доказательство какого-либо предложения посредством силлогизма - фигурирует уже у Аристотеля. В философии и логике средних веков и нового времени имели место значительные расхождения во взглядах на роль Дедукции в ряду других методов познания. Так, Р. Декарт противопоставлял Дедукцию интуиции, посредством которой, по его мнению, человеческий разум "непосредственно усматривает" истину, в то время как Дедукция доставляет разуму лишь "опосредованное" знание. Ф. Бэкон, а позднее другие английские логики-"индуктивисты", справедливо отмечая, что в заключении, полученном посредством Дедукции, не содержится никакой "информации", которая не содержалась бы в посылках, считали на этом основании Дедукцию "второстепенным" методом, в то время как подлинное знание, по их мнению, даёт только индукция. Наконец, представители направления, идущего в первую очередь от немецкой философии, также, исходя по сути дела из того, что Дедукция не даёт "новых" фактов, именно на этом основании приходили к прямо противоположному выводу: полученные путём Дедукции знания являются "истинными во всех возможных мирах" (или, как говорил позже И. Кант, "аналитически истинными"), чем и определяется их "непреходящая" ценность [в отличие от полученных индуктивным обобщением данных наблюдения и опыта "фактических" истин, верных, так сказать, "лишь в силу стечения обстоятельств"].
С современной точки зрения вопрос о взаимных "преимуществах" Дедукции или индукции в значительной мере утратил смысл. Уже Ф. Энгельс писал, что "индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга". Однако и независимо от отмечаемой здесь диалектической взаимосвязи дедукции и индукции и их применений изучение принципов дедукции имеет громадное самостоятельное значение. Именно исследование этих принципов как таковых и составило по существу основное содержание всей формальной логики - от Аристотеля до наших дней. Более того, в настоящее время всё активнее ведутся работы по созданию различных систем "индуктивной логики", причём своего рода идеалом здесь представляется создание "дедуктивноподобных" систем, т.е. совокупностей таких правил, следуя которым можно было бы получать заключения, имеющие если не 100% -ную достоверность, то хотя бы достаточно большую "степень правдоподобия", или "вероятность".
Что же касается формальной логики в более узком смысле этого термина, то как к самой по себе системе логических правил, так и к любым их применениям в любой области в полной мере относится положение о том, что всё, что заключено в любой полученной посредством дедуктивного умозаключения "аналитической истине", содержится уже в посылках, из которых она выведена: каждое применение правила в том и состоит, что общее положение относится к некоторой конкретной ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом; например, различные модификации так называемого правила подстановки гласят, что свойство доказуемости сохраняется при любой замене элементов произвольной формулы данной формальной теории "конкретными" выражениями "того же вида". То же относится к распространённому способу задания аксиоматических систем посредством так называемых схем аксиом, т.е. выражений, обращающихся в "конкретные" аксиомы после подстановки вместо входящих в них "родовых" обозначений конкретных формул данной теории.
Но какой бы конкретный вид ни имело данное правило, любое его применение всегда носит характер дедукции "Непреложность", обязательность, "формальность" правил логики, не ведающая никаких исключений, таит в себе богатейшие возможности автоматизации самого процесса логического вывода с использованием ЭВМ.
Под Дедукцией часто понимают и сам процесс логического следования. Это обусловливает тесную связь понятия дедукции с понятиями вывода и следствия, находящую своё отражение и в логической терминологии; так, "теоремой о Дедукции" принято называть одно из важных соотношений между логической связкой импликации и отношением логического следования: если из посылки А выводится следствие В, то импликация А É В доказуема. Аналогичный характер носят и другие связанные с понятием Дедукция логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы состоит в том, что все выражения данной системы, обладающие этим свойством, доказуемы в ней.
Свойства дедукции - это по сути дела свойства отношения выводимости. Поэтому и раскрывались они преимущественно в ходе построения конкретных логических формальных систем и общей теории таких систем. Большой вклад в это изучение внесли: создатель формальной логики Аристотель и др. античные учёные; выдвинувший идею формального логического исчисления Г.В. Лейбниц; создатели первых алгебрологических систем Дж. Буль, У. Джевонс, П.С. Порецкий, Ч. Пирс; создатели первых логико-математических аксиоматических систем Дж. Пеано, Г. Фреге, Б. Рассел; наконец, идущая от дедукции Гильберта школа современных исследователей, включая создателей теории Дедукция в виде так называемых исчислений естественного вывода немецкого логика Г. Генцена, польского логика С. Яськовского и нидерландского логика Э. Бета. Теория дедукции активно разрабатывается и в настоящее время, в том числе и в СССР (П.С. Новиков, А.А. Марков, Н.А. Шанин, А.С. Есенин-Вольпин и др.).
Дата добавления: 2015-01-30; просмотров: 100 | Поможем написать вашу работу | Нарушение авторских прав |