Философская Энциклопедия том 5 (1184486), страница 309
Текст из файла (страница 309)
в качостве средства от логкч. ошибок, так и в особенности в теории для лагическага анализа науч. знании и для дедуктивного (синтетического) построеннн на база лагичееких исчислений любых «нелогическпх» науч. дисциплин. Историч. основу Ф. л. образует т. н. т р а д п ц по и и а я Ф. л., к к-рой относят обычна учение о игнатии, учение о мышление «акопах, учение о еухед<пии и тооршо силлогистич. вывода — учение о еиллиеигме, или еиллагистику, учения о пепаередетгепних Юкаеаключениях и песпллагиетичееких ум«заключениях, учение о лаги«ееких ошибках н, наконец, традиц.
лагику ипдуктиепую. Оснопоиоложником традиц. Ф, л, ннлнотсн Лрпстотелгп обобщив опыт повседневного и отчасти науч, мышления тогда только формировавшейся науки, Аристотель создал учение о силлотш»<с и дал первые примеры анализа рассуждений с т. зр. их формы. Однако уже сам Аристотель со:<напал, что в силлогпстич. схемы нельзя уложить многие рассуждения, п особонкости математические.
Это побудило »югариков и ранних стоиков исследовать др. формы дедуКции (Си, Древнегреческая логика). Частично в том жс направлении шло развитие логики и в сродиис века (см. раздел Схоластическая логика к ст. Пхалаетика), к в эпоху Возрождения (Галилей, Палли, Раме). Развитие опытного естествознании и математики, усилившесся в 17 в., поставило вопрос о прикладной роли Ф.
л., о дальнейшем разнитии песиллош<стпч. форм вывода, характерных для логики науки. (В этой области работали с б<»льшцы или ыеньпшм успсхоы Ф. Бекан, Декарт, Паскаль, авторы Пер-рекла лагипи, И. Юнг, Лейбниц и нх последователи.) Одна из осн. «логистнческих» идей Лейбница состояла в тоы, чтобы снасти к «вычислению» не только математические, но и лгобые умозаключения. Лишь ко 2-9 пол. 19 в. относятся ощутимые шаги в реализации этой иден, когда работами Буля, де Моргана, Дзеееанеа, Шрбдера, Хуарецкага, Пирса, Фрезе, Леала и др. были заложены основы первых совр, логико- матсы. исчислений. «Рппс1р1а Ма11»сшаИса» Б. Рассела и Л.
Уайтхеда открывает совр. этап в развитии Ф. л. С о в р с и о н в а я Ф. л, явлнется историч. преемником традпц. Ф. л. и п ряде случаев ее пряыым продолжением. Расширение и обогащение язына Ф. л., ее осн. поннтий п известной мере служат указанием на то, в каком направлении шло раавптие Ф.
л. от традиционной к современной. В частности, в логич. словаре понвились такие поинтпн, как исчисление и логическое исчисление,математическап икдукция, 1бармалигацин п 1барл<ализа«анне<й вгик, нега«и«илес <ь, непротиворечивость»1 палката, алгаритм и разрешения праблел<ы, аблаеп<ь предмете« и переменная, аперация и (бупкция и др. неизвестные традиц. Ф.л. понятии. С др. стороны, опрсдел. свнзь с традицнеи сохранилп такие понятия сонр.
Ф. л., как аксиома, посылка и наел<даат, ем«ад п прилила «и«ада, к«актер, еледе<пеие и следование (иппликацпк), теарел<а а дедукции и др., хоти в совр. трактонке этих поннтий но сразу узиаютсн их псторич. прообразы, На протяженвн более чем двухтысячолетнсй истории Ф. л. осионную ее цель видели в том. чтобы исследонатгп каким образом можно выводить одни еиекагиеакил нз других, Длн сонр. Ф.
л. характерно построение формальных теорий логич. вывода (сы. Виеед в математической логике) в рамках тех или иных логич. «фор»<ализмов» (исчислений), а следовательно, я особое внимание к построеншо самих этих формализмов и применнсыых прп этом формально-дедуктивных»птодов. В зависимости от того, какие осн. полития и методы использунтсн для построения формальных теорий логич. выпада (в том числе п в занисимости от того, кан интерпретируются осн. логич. константы: дигьюккцил, капьюнкцпл, импликациа, атрицание (В логиКЕ), гкепеалепцпл) различагот: классическую (иначе двузначвуп<) логику, интуициапиетекую лазику, капетруктиенун< логику, медальную лаепку, миагагпачную лагику и др.
Каковы бы ни были различия в построении зтпх теорий, каждая теория состоит из двух оси. разделов: логики высказываний и логики продпкатов. Классич. вариант последней непосредственно примыкает к традиц, снллогистике (логнке «одноыестных» предикатов), хоти в многочисленных и различных ар«дик«та« исчислениях (см. так»ке ст. 1!атуралю<ае исчисление, Пекее«ций исчисление) фориалпзуетсн субъектно-лрсдпкатная структура предложений, пониызеыан в более широком, чеи н традиц.
Ф, л., смысле: поыимо егайете («одноместных» предпкатов), н нпх формалпзуютсн и атпаше<пш («многоыестные» предикаты), что делает излипшсй особу<о логику отношений в ее традиц. филос, истолковании. Каждая из указанных пыи<е формальных теорий имеет определ. филос. смысл, являясь л о г и ч вской реализацией тох пли иных иетодологич. подходов в науке.
Связь совр. Ф. л. и философии стпмулируотся прежде всего актуальной задачей обоснонанпя матсиатипи — науч. наиравлеииеы, имеющим как логический, так и филос. характер (см. ст. Алгоритм, Иптуиц папизм, Пепи<ление гада«, Канетруктигнае направление, Паг«цигм, Математическое беекенечпаеть, Математичеекаа лагика, Метод акеиамап<ический, Минима«<»пал логика, Нам аналпьм в философии математики, Палажшпельна» лег<та, Принцип иеключепнага п<ре<аьега, Праеерлемаеть, Теарип мпах<еета, Фармалигм, Э<ббекпи<гигм). Примера»1 обогащения п углублении логич.
исследований, вызванных стимулирующим влиянием проблем обоснования математики, может служить возникновение металагики — в увком (гильбертовском) смысле как теории гбармальних светел<, ограниченной раыками ФОРМАЛЬНАЯ СИСТЕМА — ФОРМАЦИЯ ОБЩЕСТВЕННО-ЭКОНОМИЧЕСКАЯ 393 фикик<игма, и в широком смысле как мгтатгарии Ф. л. вообще, вклв>чак>щей логический синтаксис (см. Синтаксис в логике, Метаязык), логическую сглактику (см. также Сглактика в логике н примыка!ощие к ной ст. Вгаимагамгкимасти отношение, Знак, Значение, Имя, Интерпретации, Кактрфактичгскиг предложении, Логическая истиккасть, Модель, Вал>акис, Ояисакия аигратары, Реализуемость, Сики>гтичгскиг и аналитические суждгкил, Хаак>алагиа, Газсдгстггкиая истинность, шакти >гская истикиасть, Зкстгксиакалькыг и кггкстгксиакальиыг ягь>ки), теории акргдглгкия и оиргдглимасти н теорию таждгстга (см.
Д.=-А, Правило замени раскоса равным, Принцип гамгшгкия, Раггкстга в логике и математик<). Дальнейшим расширением металогнч. пробломатики явилось выделояне в особую дисцяилину яраг«а>кики, развивави>енся первоначально в рамках логика-семантич, и исихологич. анализа (см.
Психалагагм в логике), и, наконец, появление семиотики. 'Г. о., связь между мышлением п языком как «практической действитольпостью мысли» (К. Маркс] нашла отражение во взаимосвязи философии, психологии, лингвистики и лоппш. В раавитни совр. Ф л. особу<о роль игра!от вопросы ео приложений, особенно в вычислит. математине и т<хник<Ь кийгригтикг и теории икформиции, ликггистикг матгматичгскай и нр. (см., напр,, ст. Логические машины, Логические схемы агталатаг).
Связующим звеном между Ф. л. и вычислит. математикой исторически явилась логика клаесса, к-рая развилась в результата попыток свести снллогистич. методы решения логнч. задач к алгебраич. методам их решн!ия, образовав, т. о., первое алгебраич. направление в совр. Ф, л.— алгебру лагики (см, также 7'гарса>ига-маажсстггннак логика). Дальней!пнм развнтием алгебраич. направления явилось объединение алгебры логики к логики предикатов в теории конечных автоматов, расшироипе алгобры лапши в сторону галгебраизацпиг логики предикатов — теория модолей и математич. теория структур.
Другую— «арифметическую» — в<твь, свизавшую й>. л. и вычислит. математику, образуют теория ргкурсигкил функций и кргдикатав (см. также ст. Алгарит«, Ма<хасая проблема, Разрешимое и пгргчислилег мкажгстга, Сгадиласть), исчисление )<-конверсии (см. Окгратар абстракции, Функция), логика камеикатаркал и др, Йз общих науч. приложений Ф. л. следует отмстить вопросы, сняззнные с задачами уточнения понятия науч, закона (см. Дискагицианалькый аргдикак<, Киугглькал илкликацик, Пгмалагичгскиг гыскагыгакия, Связь), с попытками применения логики в биолопи< и фи,'шке (см. Логика кгантаагй леха«яки), в этике и к>риспруденции (см. Нарматигкая,<осика). Успехи, достигнутые в формальной теории дедукции, способствовали применению точных методов в разработке широкого комплекса проблем теории икдукции и индуктивной лоп>кп (см.
ст. Логика икдуктигкак, раздел Современная логика индуктивная, ст. П аучкак икдукция, Пгиалиак >шдукцил, Паиуляркая икдукцил), И ггрсятнасткай лагики. Т, о., ответ на вопрос г'1то такое Ф, л.у» можно дать, лишь опираясь на историч. анализ водущих тенд<чщпй развития логики, а также принимая во внимание, что термин «Ф. л г уиотребляотсн неоднозначно, что в рамках Ф. л, в широком смысло можно говорить о различных разделах и дисциплинах, к-рые такз.с косят имя «Ф. л.г. Такая дифференциация Ф. л., с др стороны, дополняется интеграцией, поянлениом новых теорий н концепций, в н-рых й>.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
