Неформальная логика Г. Тарта.

Идея неформальной логики родилась, по признанию самих ее основателей, из неудовлетворенности как преподавателей, так и студентов курсами формальной логики, не дающей, по их мнению, методов, адекватных задачам анализа повседневных рассуждений.

В зарубежной литературе неформальная логика представлена сегодня достаточно широко, главным образом, учебной литературой с многочисленными упражнениями по анализу аргументационных текстов, сопровождаемыми небольшими комментариями. Теоретических исследований по этой проблематике немного – в основном, это материалы симпозиумов (начиная с 1978 года) и отдельные статьи. Для многих из этих работ характерно противопоставление неформальной логики формальной, недостаточный уровень рефлексии над собственными основаниями, принципами и методами. Это осознают и сами неформальные логики, чаще предпочитающие называть себя "движением".

Существуя более двадцати лет в качестве области знания и учебной дисциплины (главным образом, в Канаде, США, Голландии, Бельгии, но литература по неформальной логике представлена и в других странах: в Оксфорде, например, в известном книжном магазине Blackwell книгами по неформальной логике заставлен целый стеллаж), неформальная логика до недавнего времени не вызывала в нашей стране ни теоретического, ни практического интереса.

Почти невозможно встретить и сам термин "неформальная логика" (Informal Logic), к которому существует к тому же несколько предвзятое, негативное отношение. Видимо, есть целый ряд причин такого отношения, среди которых можно назвать и нелегкую судьбу логики в послеоктябрьской России, постоянные атаки на нее как на "буржуазную" науку, в силу чего то, что удалось отстоять, стало особенно дорогим; и споры между представителями формальной и диалектической логики, в силу чего среди формальных логиков сформировалась позиция: все то, что не есть логика формальная, есть логика диалектическая и, следовательно, на самом деле логикой не является.

Для того, чтобы разобраться, что такое неформальная логика (и можно ли вообще считать ее логикой), необходим анализ философских, в первую очередь, теоретико-познавательных установок, принципов, влияющих на ту или иную трактовку логики, ее основных понятий и методов. Логично было бы предположить, что те кардинальные изменения в философии науки, которые произошли в 50--60-е годы в западных странах, а в 70-е годы и в нашей стране, и которые самым существенным образом затронули другие области философии, прежде всего, гносеологию, а также ряд близких дисциплин, должны были в той или иной степени коснуться и логики. Изменения в идеалах рациональности должны, казалось бы, затронуть и "глубинную структуру" рациональности – логику. Однако тот образ логики, который создавался усилиями Г.Фреге, Б.Рассела, Д.Гильберта, логическими позитивистами и аналитической философией в целом, остался доминирующим. Именно поэтому, видимо, и фон Вригт, для которого формальная логика в любом случае исходно связана именно с этим типом философии, не находит логике места среди восходящих, как он говорит, "на философском горизонте новых облаков, привлекающих внимание философов и требующих своего прояснения".

Тард Габриель (1843-1904) - французский социолог и криминалист. Cчитал основными социальными процессами конфликты, приспособление и подражание, с помощью которых индивид осваивает нормы, ценности и нововведения. Работы по социальной психологии и философии права.

Тард пишет о том, что до сих пор ученые тщательно искали связи и законы исторических событий, причины, вызывавшие странный порядок. В действительности, считает он, почти все события не обуславливают одно другое. Каждое из них связывается с целым рядом или даже скорее с несколькими рядами правильных жизненных или социальных повторений, верхней точкой пересечения которых является данное событие. Эти события накладываются одно на другое, подобно последовательным состояниям сознания в уме индивида.

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

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

На поверхности находится довольно малоподвижный слой идей и привычек, приобретенных более или менее недавно, и образующих собой мнения и вкусы. Под ними лежит собрание убеждений и страстей, разрабатывавшихся и складывавшихся в течение продолжительного времени. Ими являются традиции, обычаи в обществе; ум и сердечность в индивиде. Еще глубже лежит та плотная ткань, состоящая из практически неосознаваемых, но бесспорных принципов и побуждений, которая носит название духа и характера.

Каждое состояние сознание сознания, взятое в отдельности, уже представляет собой маленькую систему. Знаменитым становится лишь одно, наиболее способное в любой момент укрепить и увеличить сумму народной веры и его спокойствие.

Над несколькими слоями воспоминаний и привычек, прочно укоренившихся, классифицированных и расположенных в систему воспоминаний, то есть прежних восприятий, преобразованных в средства - над этой грудой остатков суждений и эссенцией прошлого, находится наше теперешнее «Я» .

Такова умственная жизнь индивида. Идет искусственное и натянутое сравнение общества с организмами.

Изначально, общество походит на организм, но по мере того, как оно цивилизуется, оно стремится все более и более стать отличным от организма. Оно стремится походить на тот своеобразный орган, который называется мозгом. Вот почему социальная наука, как и психология, является только прикладной логикой. Наше сопоставление позволяет приписывать человеческому верованию свойственное ему первенствующее значение в обществе, тогда как, уже вышедшее из моды сравнение Спенсера, позволяет видеть здесь лишь комбинацию желаний и обнаруживает свою несостоятельность своим очевидным непониманием религиозности народов. У всякого общества есть также, в зависимости от и к его услугам, группа существ и предметов, которым оно приписывает себе и приспосабливает к своим потребностям, и которые, будучи раз выработанными им, становятся его внутренними составляющими, как бы его членами. Но там, где рабство исчезло, теория общества-организма потеряла свою правдоподобность. Если там и наличествует какой-либо организм или нечто подобное, то это совсем не общество, считает Тард, а все то целое, что слагается из признаков, черт общества, с одной стороны, а с другой - из его обработанной теории с проходящими по ней «дорогами и каналами», с подчиненной человеку флорой и фауной, и т.п. Если бы общества представляли собой организмы, то социальный прогресс сопровождался бы не только ростом дифференциации, но и ростом неравенства. Но с точки зрения аналогии Тарда, это становится понятным.

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

Во время войны современные нации, в виде исключения, также приобретают довольно ясно выраженный характер организма. Солдат позволяет убить себя за свой полк, полк жертвует собой для армии, армия для спасения страны, то есть для торжества политической мысли, задуманной тем человечеством, той группой людей, которые воплощают собой государство. Для наглядности данного примера можно привести аналогию, когда при ударе человек, защищаясь, подставляет под удар руку, подчиняясь сигналу своего мозга - основного регулирующего действия организма органа. От удара пострадают и погибнут тысячи, миллионы клеток на руке (солдаты армии), но сам организм (государство) не пострадает и сохранит себя.

Таким образом, милитаризм приобретает поражающий нас характер органической солидарности именно потому, что он является регрессом. Прогресс же происходит по направлению к возрастающей «дезорганизации», являющейся основным условием наступления внешней гармонии.

ЛЕКЦИЯ В совр. логич. науке. идет становление единства фил. и научн. рац-ти в направлениях логики познания - неформальная логика – амер. логик, философ Габриэль Тард.

Основной смысл предложенного Тардом подхода (им в серии высказываний) в языке можно увидеть микро- макро- мегамысли. Их можно формализовать с помощью его таблицы. Именно так построено познание, след-но, объединение научной и фил. рац-ти в логике познания.

Эту же философию пытаются осуществить и создатели искусственного интеллекта, цель которых представить голограф. видение дух. мира человека на основании нескольких десятков узлов концептов языка.

Логика Классическая - раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказывание является или истинным, или ложным. У истоков Л. к. стоят, наряду со многими другими исследователями, Д. Буль (1815-1864), А. де Морган (1806-1871), Ч. Пирс (1839-1914). В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике. Последний шаг в математизации логики в прошлом веке был сделан Г. Фреге (1848-1925). Уже в этом веке важный вклад в развитие Л. к. внесли Б. Рассел (1872-1970), А. Уайтхед (1861-1947), Г. Гильберт (1862-1943) и др. Л. к. ориентировалась главным образом на анализ математических рассуждений. С этим связаны многие ее особенности, нередко расценивающиеся теперь как недостатки. В частности, формальным аналогом условного высказывания в Л.к. является импликация материальная, для которой верны положения: истинное высказывание имплицируется любым высказыванием, ложное высказывание имплицирует каждое высказывание и другие парадоксы импликации. Критика Л. к. началась в начале XX в. и велась в разных направлениях. Результатом ее явилось возникновение новых разделов современной логики, составляющих в совокупности логику неклассическую. Л. к. остается тем не менее ядром современной логики, сохраняющим свою теоретическую и практическую значимость. Явившись тем образцом, от которого отталкивались разнообразные неклассические системы, Л. к., как правило, оказывается в определенном смысле предельным и притом наиболее простым случаем последних. Многие из них могут быть представлены как расширения Л.к., обогащающие ее выразительные средства.

Логика Неклассическая - совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе современной логики. Начавшаяся в конце XIX — начале XX в., критика классической логики привела к возникновению целого ряда новых, неклассических разделов математической (символической) логики. В ряде случаев оказалось, что реализованные при этом идеи активно обсуждались еще в античной и средневековой логике. Л. Брауэр (1881—1961) подверг сомнению неограниченную применимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом (1888) и не содержащей указанных законов. Одновременно с Л. Брауэром идею неуниверсальности закона исключенного третьего отстаивал рус. логик Н. А. Васильев (1880-1940). В 1912 г. К. И. Льюис (1883—1964) обратил внимание на парадоксы импликации, характерные для формального аналога условного высказывания в классической логике — импликации материальной. В дальнейшем он разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релеван­тная логика. Классическая логика исходит из предположения, что всякое высказывание является или истинным, или ложным (двузначности принцип). В 20-е годы XX в. Я. Лукасевичем (1878-1956) и Э. Постом (1897—1954) были построены многозначные логики, допускающие более двух истинностных значений. На рубеже 20-х годов К. И. Льюисом и Я. Лукасевичем были построены первые модальные логики, рассматривающие понятия необходимости, возможности, случайности и т. п. Тем самым в со- временной логике была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики. В середине 20-х годов появилась первая работа Э. Малли по деонтической логике, исследующей логические связи нормативных высказываний. К этому же времени относится первая попытка Э. Гуссерля (1859—1938) развить оценок логику. В 30-е годы Д. фон Нейманом (1903-1957) и Г. Биркгофом была опубликована первая работа по логике квантовой механики. Особенно интенсивно Л. н. продолжала расширяться после второй мировой войны. С. Яськовским (1906-1965) была построена «логика дискуссии», явившаяся прототипом паранепротиворечивой логики, на возможность которой еще раньше указывали Н. А. Васильев и Я. Лукасевич; с работ А. Н. Прайора началось развитие логики времени; С. Халлденом и Г. X. фон Вригтом (р. 1916) были предложены развитые логические теории сравнительных оценок (предпочтений логика); Г. X. фон Вригтом построены логика изменения и логика действия; А. Берксом — логика причинности и т. д. Экстенсивный рост Л. н. не завершился и сейчас. В последние десятилетия существенно упрочились ее основы и усовершенствовались ее методы. Это касается прежде всего модальной логики и теории логического следования. Л. н. с трудом поддается определению, т. к. ее ветви рассматривают различные типы рассуждений. В целом задача Л. н. - более полно описать те элементы логической формы рассуждений, которые упускаются из виду классической логикой. Между неклассическими разделами логики существуют сложные и многообразные связи. Так, интуиционистская и модальная логики могут быть истолкованы как определенного рода многозначные логики (а именно: как бесконечнозначные логики). В рамках модальной логики может быть определено понятие логического следования, в свою очередь в терминах неклассических импликаций — определены модальные понятия и т. д. В настоящее время Л. н. является наиболее интенсивно развивающейся частью логики, нашедшей важные приложения в философии, математике, кибернетике, физике, языкознании и т. д.

Современная Логика - одно из имен для обозначения нынешнего этапа в развитии (формальной) логики, начавшегося во второй половине XIX в. — начале XX в. В качестве других имен этого этапа в развитии логики используются также термины математическая логика и символическая логика. Определение «математическая» подчеркивает сходство С. л. по используемым методам с математикой. Определение «символическая» указывает на употребление в С. л. специально созданных для целей логического анализа языков формализованных, являющихся, так сказать, «насквозь символическими». Определением «современная» новый этап противопоставляется традиционной логике, отличительной чертой которой было то, что она пользовалась при описании правильных способов рассуждения обычным, или естественным, языком, дополненным немногими специальными символами. Традиционная логика и С. л. не являются разными научными дисциплинами, а представляют собой два последовательных периода в развитии одной и той же науки. Основное содержание традиционной логики вошло в С. л., хотя многое при этом оказалось переосмысленным. С. л. с особой наглядностью показала, что развитие логики тесно связано с практикой теоретического мышления и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логической формой, логическим законом и т. п. Теории логической правильности оказываются в конечном счете очищением, систематизацией и обобщением практики мышления. С. л. активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в методологии науки. Сфера приложений С. л. в изучении систем научного знания непрерывно расширяется. С. л. явилась основой для формирования широкой концепции логики научного познания (логики науки), занимающейся применением идей, методов и аппарата логики к анализу не только дедуктивных, но и всех иных систем научного знания. В 30—40-е годы логика науки интенсивно разрабатывалась в рамках философии неопозитивизма, сделавшей логический анализ языка науки основным средством борьбы с «дурной метафизикой» и порождаемыми ею «псевдопроблемами». Неопозитивизм принял идею о безоговорочной применимости С. л. не только к математике, но и к опытному знанию и резко противопоставил свою логику науки традиционному философскому и методологическому исследованию познания. С точки зрения неопозитивизма, научное знание беспредпосылочно, полностью сводимо к непосредственному опыту и не зависит ни от «метафизики», ни от того социокультурного контекста, в котором существует; научная теория рассматривается только в статике, анализ ее возникновения и развития выносится за рамки методологии; факты считаются независимыми от теории и в сово­купности составляющими тот безусловный фундамент, к которому должны сводиться теоретические положения. Все эти особенности неопозитивистской методологии науки — изоляционизм, отказ от исследования научного знания в динамике, наивный индукционизм, эмпирический фундаментализм и редукционизм — сказались не только на самой этой методологии, но и на направляемом ею логическом анализе научного знания. Претенциозная программа сведения философии науки к логическому анализу ее языка потерпела крах. Причина этого краха не в принципиальной неприменимости С.л. к опытному знанию, а в порочных философско-методологических установках, связанных с фетишизацией формальных аспектов познания, абсолютизацией языка и формальной логики. Неопозитивистское расширительное истолкование возможностей С.л. в исследовании науки было преодолено только в конце 50-х — начале 60-х годов, когда стало очевидно, что задачи, которые выд­вигались перед С.л. неопозитивизмом, плохо поставлены и не имеют решения. Сейчас логический анализ научного знания с использованием С. л. активно ведется в целом ряде как давно освоенных, так и новых областей. Самым общим образом их можно обозначить так. Этот раздел достаточно глубоко разработан, многие результаты, полученные здесь (например, Гёделя теорема о неполноте достаточно богатых формализованных языков и др.) имеют принципиальное философское и методологическое значение. К этой сфере относятся изучение логической структуры научных теорий, способов их эмпирического обоснования, исследование различного рода индуктивных процедур (индуктивный вывод, аналогия, моделирование, методы установления причинных связей на основе наблюдения и эксперимента и т. п.), трудностей применения теорий на практике и т. д. Особое место занимают проблемы, связанные с изучением смыслов и значений теоретических и эмпирических терминов, с анализом семантики таких ключевых терминов, как закон, факт, теория, система, измерение, вероятность, необходимость и т. д. В последнее время существенное внимание уделяется логическому исследованию процессов формирования, роста и развития знания. Они имеют об­щенаучный характер, но пока изучаются преимущественно на материале естественнонаучных теорий. Были предприняты, в частности, попытки построения особой диахронической логики для описания развития знания. Сюда относятся вопросы семантики оценочных и нормативных понятий, изучение структуры и логических связей высказываний о ценностях, способов их обоснования, анализ моральных, правовых и др. кодексов и т. д. К ним относятся объяснение, понимание, предвидение, определение, обобщение, классификация, типологизация, абстрагирование, идеализация, сравнение, экстраполяция, редукция и т. д. Этот перечень областей и проблем логического исследования научного знания, опирающегося на С. л., не является исчерпывающим. Он показывает как широту интересов. С. л., так и сложность стоящих перед нею задач. Логика науки, не является ни «ветвью», ни «разделом» С. л., в отличие от таких разделов последней, как, напр., многозначная логика или логика времени. Логика науки не является и особой «дисциплиной», существующей наряду с С. л., а есть лишь особый аспект логики, связанный с приложением логических систем к практике научного теоретизирования и выделяемый только по контрасту с чистым исследованием формальных построений (исчислений). В С. л. нет разделов, как-то по-особому связанных с наукой; вместе с тем все разделы С. л., включая и центральный — теорию логического следования, так или иначе связаны с логическим анализом научного познания. С. л. взаимодействует с наукой прежде всего через методологию научного познания, поэтому обычно говорят не просто о «логике науки» («логике научного познания»), а о «логике и методологии науки» или о «логико-методологическом анализе науки». В рамках такого анализа С. л. сама по себе не решает каких-либо конкретных проблем методологии науки, но логическое исследование представляет собой, как правило, необходимую предпосылку, рассмотрения таких проблем. С. л. не только используется в методологическом анализе, но и сама получает важные импульсы в результате обратного воздействия своих приложений. Имеет место взаимодействие логики и ме­тодологии в анализе научных теорий, а не простое применение готового аппарата к некоторому внешнему для него материалу. Особенно заметным это стало в последние годы, когда смещение центра интересов методологии науки, от анализа готового знания к исследованию роста и развития знания, постепенно ведет к соответствующему изменению проблематики как логики науки, так и С. л.

Традиционная Логика — первый этап в развитии (формальной) логики, начавшийся в IV в. до н. э. и завершившийся в конце XIX — начале XX в., когда сформировалась современная (математическая, символическая) логика. Т. л. изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания значений и т. п. Современная логика использует специально сконструированные (формализованные) языки, призванные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка означает и принятие особой теории логического анализа. Современная логика, совпадая по своим целям с Т. л., включила в свой состав все то позитивное, что было достигнуто последней в изучении правильного мышления.

Формальная Логика - или: Л о г и к а, — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение «формальная» было введено И. Кантом (1724—1804) с намерением подчеркнуть ведущую особенность Ф. л. в подходе к изучаемым объектам и отграничить ее тем самым от других возможных логик.