Логика как наука

      Нужно отметить, что учитывая европейские традиции, в русле которых в основном развивалась логика в России, мы не останавливаемся здесь на формировании и развитии логических учений в странах Востока, где сложились оригинальные концепции таких мыслителей, как Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.

     Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711–1765 гг.), А.Н. Радищев (1749–1802 гг.), Н.Г. Чернышевский (1828–1889 гг.). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Каринский (1804–1917 гг.) и Л.В. Рутковский (1859–1920 гг.). Одним из первых начал развивать логику отношений философ и логик С.И.Поварнин (1807–1852 гг.).   Во второй половине XIX в. подлинную революцию в логике совершило широкое применение разработанных в математике методов: алгебраических, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Это направление разрабатывается в трудах Дж. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ-дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической (или символической) логики. Однако при всех новациях предмет логического анализа в основном оставался прежним.

         Символическая логика – интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, “логик” (например, логика высказываний, логика предикатов, вероятностная логика и так далее). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности – “истинно” и “ложно” – допускается много значений истинности. Отметим, что в связи с двузначностью традиционной логики ее еще называют пропозициональной логикой. В разработанной польским логиком Я.    Лукасевичем (1878– гг.) трехзначной логике вводится третье значение – “возможно” (“нейтрально”). Им же построена система модальной логики со значениями “возможно”, “невозможно”, “необходимо”и т.п., а также четырехзначная и бесконечнозначная логики. Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия – от 0 до 1, временная логика и другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики, исследующий структуры языка предписаний, т.е. высказываний со значением “обязательно”, “разрешено”, “запрещено”, “безразлично”, которые широко используются в правотворческой и правоохранительной деятельности.

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

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

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

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

                3. Развитие логики в Древнем Китае, Индии и Греции. 

       Коротко охарактеризуем о развитие логики в древние времена в Китае и Индом. В Китае бурное развитие логики исторически совпадает с появлением в стране большого количества школ, которые постоянно конкурировали и дискутировали между собой. Да современник Конфуция Мо-цзи стал известен как основатель школы моизма (мо-цзя), представители этой школы концентрировали внимание на поиск истоков достоверных рассуждений и условий его верности. Относительно аргументации, то представители этой школы отдавали преимущество разработке   суждений по аналогии. Также моисти обращались к проблемам анализа семантики языка: в этой отрасли они разработали методы классификации имен за степенью их всеобщности, но делению вещей за видами. Правда, эта линия исследований обветшала во времена династии Цинь. Новым же возрождением логики в Китае стал период проникновения туда индийской

логика буддистов.

         Логика в Индом можно проследить еще в грамматических текстах конца V века до н.э. Здесь, как и в Китае и Греции логика выделилась из философии. Две из 6 ведийских школ индийской философии начали разрабатывать проблематику методологического познание – именно тогда и выделилась логика, как отдельная наука. Позже это течение получила название ньяя что и переводится как «логика». Главным достижением этой школы можно назвать разработка методологии логики. Основным текстом ньяя стали Ньяя-сутри Акшапади Гуатами (ІІ ст. н.э.). Единственным путем освобождения от страданий представители ньяя видели в достоянии надежного знания, и потому неудивительно, что они разрабатывали утонченные пути выделения надежных источников знания из между других недостоверных. Они определили следующие 4 источника надежных знаний (так звании праматерь): восприятие, умозаключение, сравнение и свидетельство. В логическую традицию водийских школ не включалась буддийская логика, и именно она оказалась их самым главным оппонентом. Да, представитель буддийской логики Нагарджуа развивал суждение, которое известно как катускоти или тетралемма.

       Но вершиной буддийская логика достигла своего пика в учениях Диангаги и его последователя Дхармакрити. Центральным пунктом их аналитических исследований стало определение необходимой логической исключительности, обоснования чего они ввели учение об эпохе или различение, о правилах включения признаков к определению и исключению из него. Позже из этих теорий возникнет школа навья-ньяя.

        Теперь стоит обстоятельно рассмотреть логику Давней Греции. Ее основателем считают древнегреческого философа, вченного-энциклопедиста Аристотеля, который выделял логику из между других наук, считал ее наукой, которая позволяет каждому получить определенные исследование любой проблемы, поскольку именно логика дает возможность определить что есть доведение, выделить его виды и степени. Метод этот широко известен нам как дедуктивный, хотя Аристотель называл его не иначе как «силогичним методом» поскольку доводил возможность построения любого доведения в виде рассуждения(то есть силлогизму). Именно исследованию силогизмив Аристотель посвятил свои логические труды. Аристотелевские учения о силогизми, собственно говоря, и составило основу для одного из направлений современной математической логики – логики предикатов. Наряду с Аристотилем проблемами логики интересовались также представители стоицизма и софистика. Среди стоиков стоит отдельно вспомнить Хрисиппа, которому принадлежит стоическая концепция логики. Основное внимание он уделял исследованию таких схем рассуждения  благодаря которым высказывания связываются между собой. Это, например, такие слова естественного языка: “если. то”, “.и.”, “.або.” и тому подобное. В современных логических исследованиях они получили название “логические союзы”. Также среди ученых, которые продолжали разрабатывать идеи Аристотеля, стоит вспомнить такого философа и логика как Порфирий. Его одним достижением в отрасли логики можно считать разработки так называемого дерева Порфирия – схемы, которая демонстрировала отношение подчинения между понятиями. Но он известен не только этим, но и своим «Введением к учению Аристотеля о категории», которое и доныне предпосылают «Категориям» Аристотеля.

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

       Аристотеля. Школа софистов была первой, которая увлеклась воплощением возможностей реализовать идеи логики как науки. Эти философы были первыми, кто дифференцировал сферу природы и общества - “ф’юзис” и “номос”, определили общее поле логического мышления. Они также были первыми адвокатами, которые использовали логику на практике. Один из представителей софизма Стагирит определил понятие формальной логики, ее структуру, базовые законы, последующий вектор развития, которое определяет судьбу и место этой науки доныне. Невзирая на то, что после смерти мыслителя минуло много столетий, формальная логика хранит основные его идеи. Основное внимание софисты уделяли анализу логических ошибок в рассуждениях людей. Была даже распространена практика того, что они учили за деньги «искусству обмишуливать людей» - издания неправильной схемы рассуждения с нарушенными законами логики за правильную. Также софисты умело пользовались своими знаниями для того, чтобы выставить во время спора своего оппонента в невыгодном свете путем вопросов, ответ на которых все равно загонял бы человека в ловушку. Сегодня же софизмом называют такие логические ошибки, которые допускаются преднамеренно, для введения оппонента в заблуждение или для обоснования неверного утверждения.

     Большое внимание уделяли софисты семиотическому анализу. Один из представителей школы софистики Продик считал «учение о языке» и правильном употреблении имен и названий достаточно важным.

Правда, софистов критиковали. Достаточно весомой была критика самого Аристотеля какой называл софизм «надуманным доказательством», в котором обоснованность вывода подчиняется исключительно субъективному впечатлению, которое визване недостаточностью или отсутствием логического си семантического анализа. А абсолютную на первый взгляд логичность софистов Аристотель связывал в первую очередь с хорошо замаскированной ошибкой – семиотической (за счет метафорического языка, омонимии, полисемии слов, которые нарушают однозначность мысли

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

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

      Согласно же второй трактовки его трудов он просто разделяет все науки на практических, но теоретические. Логика Ибн Сена состоит из четырех разделов: учение о понятии, суждение, умозаключение и доведение. Он рассматривал «логическое учение как средство достижения истины, как средство преодоления искривления и ошибок». Про Ибн Сену, «это инструмент какой сравнивает истину и ложь». При чем он был уверен, что «логические категории, но принципы должны отвечать вещам». Ибн Сена сыграл серьезную роль в распространении, но популяризации учения Аристотеля, в развитии рационального мышления. Он разрабатывал такую проблематику, как проблемы единичного и общего, логические ошибки, суждения. Последние он разделял на категорических, условно - объединительные и условно – распределительные. То есть, можно сделать вывод, что логическое учение Востока ничего не уступало в своей развитой ни Греции, ни Индии и Китая.