Реферат развитие современной логики

Обновлено: 05.07.2024

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

Уже позже на основе данных законов возникнут многочисленные концепции, теории, будут основываться целые направления исследований. Таким образом и возникла такая наука как логика. Она прошла в своем развитии сложный путь от логики Аристотеля к современной неклассической логике, который охватывает часовой промежуток в 25 веков. При чем логика как наука за этот весомый промежуток времени успела значительно измениться. Именно поэтому целью данной работы изберем проследить развитие логики как науки с самых давних времен до наших дней. В этой связи возникает необходимость предоставить периодизацию развития логики как науки.

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

Кроме того, логика – особая наука о мышлении. Она возникла еще в IV в. до н.э. Позднее она стала называться также формальной логикой.

Самым общим образом логику можно определить как науку о законах и операциях правильного мышления.

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

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

Логика служит одним из инструментов почти любой науки.

Традиционный период развития логики

Хотя большинство культур произвели собственные подходы относительно системы рассуждений, но логика получила свое развитие лишь в трех культурных традициях: китайской индийской и греческой. Хотя точные даты не будут достаточно достоверными (особенно в случае с Индией).

Как самостоятельная наука логика сложилась в IV в. до н.э. Ее основателем по праву считается древнегреческий философ Аристотель (384-322 гг до н.э.).

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

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков ( Зенон, Хрисип и др.), именно она дополнила аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков считается основой другого направления математической логики – логике высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена , именем которого названа 4-я фигура категорического силлогизма; Порфирия , известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями (“дерево Порфирия”); Боэция , сочинения которого дли- тельное время служили основными логическими пособиями.

Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561– гг.) . Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении “Новый Органон”(в отличие от старого, аристотелевского “Органона”). Разработка индуктивного метода – огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С.Миллем (1806– 1873 гг.). Таким образом, основателями индуктивной логики по праву считаются Ф. Бэкон и Дж. Милль, позднее в рамках этой логической теории были построены многочисленные дедуктивные теории для исследования логической проблематики.

Дедуктивная логика Аристотеля и индуктивная логика Бэкона-Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время. Эту логику принято называть формальной , так как она возникла и развивалась как наука о формах мышления. Ее также называют традиционной (или аристотелевской ) логикой.

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1569–1650гг.) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики , сформулировал правила научного исследования, изложенные в сочинении “Правила для руководства ума”. В 1662 г. в Париже вышла книга “Логика, или Искусство мыслить”, написанная последователями Декарта А. Арно и П. Николем , известная также под названием “Логика Пор-Рояля” (так как авторы были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль). Эта книга оказала заметное влияние на всю последующую историю развития логики. Крупный вклад в исследование логических проблем внесли немецкий философ Г.Лейбниц (1646–1716 гг.), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX-XX вв.; немецкий философ И. Кант (1724– гг.) и др. западно-европейские философы и ученые.

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

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

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

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

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

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

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

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

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

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

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

школы можно назвать разработка методологии логики. Основным текстом ньяя стали Ньяя-сутри Акшапади Гуатами (ІІ ст. н.э.). Единственным путем освобождения от страданий представители ньяя видели в достоянии надежного знания, и потому неудивительно, что они разрабатывали утонченные пути выделения надежных источников знания из между других недостоверных. Они определили следующие 4 источника надежных знаний (так звании праматерь): восприятие, умозаключение, сравнение и свидетельство. В логическую традицию водийских школ не включалась

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

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

из него. Позже из этих теорий возникнет школа навья-ньяя.

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

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

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

Современный этап развития логики

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

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

Логика действия – описывает рассуждения, связанные с действиями людей.

Логика норм (деонтична логика) – рассматривает связки нормативных высказываний.

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

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

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

века логика развивается в тесной взаимосвязи с другими науками, особенно

тесной является взаимосвязь с математикой, информатикой и лингвистикой. Достаточно распространенным стало использование логического знания в такой сфере жизни как политика.

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

Аристотелевской логики и ее достояния.

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

Грядовой Д.И., Логика: Структурированный учебник (для вузов) – 2е изд., перераб и доп. – М.: ЮНИТИ-ДАНА, 2003.

Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако в символической логике в использовании символики сделан качественно новый шаг: ее языки содержат только специальные символы.

В середине XIX века ирландский математик Д. Буль истолковал умозаключение как результат решения логических равенств. В результате теория умозаключения приняла вид своеобразной алгебры, отличающейся от обычной алгебры лишь отсутствием численных коэффициентов и степеней. С работ немецкого логика Г. Фреге начинается применение логики для исследования оснований математики. Значительный вклад в развитие логики в дальнейшем внесли английские философы и логики Б. Рассел, А. Н. Уайтхед, немецкий математик Д. Гильберт и др. В 30-е годы фундаментальные результаты получили К. Гёдель, А. Тарский, А. Чёрч.

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

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

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

Экстенсивный рост логики не завершился и сейчас. Из числа зарубежных логиков, творчество которых оказало особенно заметное влияние на развитие современной логики в последние десятилетия, следует упомянуть У. Куайна, Г. Х. фон Вригта, Д. Дэвидсона, С. Крипке, Я. Хинтикку, Н. Решера и др.

Развитие логики в России

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

Судьба тех немногих русских ученых, находившихся на уровне достижений логики своего времени, чаще всего была незавидной. Сдержанное отношение к математической логике, разделявшееся даже многими русскими математиками, во многом осложнило творчество специалиста в области алгебры логики П. С. Порецкого. Он первым начал читать в России лекции по математической логике, но многие свои работы вынужден был публиковать за рубежом. Физик П. Эренфест еще в 1910 г. высказал гипотезу о возможности применения современной логики в науке и технике. В дальнейшем его гипотеза нашла воплощение в электронно-вычислительной технике.

Классическая логика подходит к противоречию несколько прямолинейно. Согласно одному из ее законов, из логически противоречивого высказывания следует все, что угодно. Это означает, что противоречие запрещается под угрозой разрушения теории. Однако никто реально не пользуется этим разрешением выводить из противоречий все, что попало. Практика научных рассуждений резко расходится в данном пункте с логической теорией. В качестве реакции на это рассогласование с конца 40-х гг. ХХ века начали разрабатываться различные варианты паранепротиворечивой логики. Она исключает возможность выводить из противоречия любые утверждения, так что противоречие перестает быть смертельной угрозой, нависшей над теорией. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Одним из первых, в 1909 г., сомнения в неограниченной приложимости закона противоречия высказал Н. А. Васильев, только что вернувшийся после обучения в Геттингене. Он считал нужным ограничить также действие закона исключенного третьего, и в этом смысле явился одним из идейных предшественников интуиционистской логики.

В 20-е гг. коммунистический режим не наложил еще запрета на занятия современной логикой. Интересных результатов добился в этот период М. Шёйнфинкель. Он высказал идею о возможности сведения фундаментального понятия функции к более элементарным понятиям, что положило начало исчислению ламбда-конверсии А. Чёрча и позднее комбинаторной логике Х. Б. Карри. В последней делается попытка полного исключения всех операторов, переменных и всех связок, кроме обозначения для применения сингулярной функции к ее аргументу. В итоге получается формализованный язык, в котором все простые символы, за исключением единственной связки, являются константами, и который, тем не менее, годится для получения некоторых или даже всех результатов, для которых используются переменные.

А. Н. Колмогоров предложил минимальную логическую систему, основанную на еще более решительном неприятии законов классической логики, содержащих отрицание, чем в интуиционистской логике. Он показал, что если в некоторой теореме классической логики, в которой нет связок, отличных от условной связи и отрицания, заменить вхождения каждой переменной на ее двойное отрицание, то получающаяся формула будет теоремой минимальной логики. В. И. Гливенко доказал, что формулировка классической логики получается из формулировки интуиционистской логики добавлением в качестве дополнительной аксиомы только закона исключенного третьего. В 40–50-е гг. А. А. Марков и его школа разработали новую, конструктивистскую интерпретацию интуиционистской логики.

Все это были интересные, но частные результаты, не оказавшие сколько-нибудь заметного влияния на развитие мировой логики. Систематические, получившие резонанс и за рубежом исследования в области современной логики начинаются у нас в стране только в 60-е гг. В этот период выходят в свет книга А. А. Зиновьева, посвященная многозначной логике, и его книга, обосновывающая оригинальную теорию логического следования.

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

Содержание

Введение ……………………………………………………………………………
История появления логики.
Предыстория традиционной логики.
Традиционная и современная логика
Логика в эпоху Возрождения и в Новое время
Современная логика
Заключение …………………………………………………………………………

Прикрепленные файлы: 1 файл

Традиционная и современная логика.doc

История появления логики.
Предыстория традиционной логики.
Традиционная и современная логика
Логика в эпоху Возрождения и в Новое время
Современная логика

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

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

Объект исследования – традиционная и современная логика.

Структура реферата. Реферат состоит из титульного листа, введения, 5 глав, заключения и списка литературы.

В дальнейшем логика Аристотеля была развита исламскими и затем средневековыми европейскими логиками, и наибольшего подъёма достигла в середине XIV века. С XIV века до начала XIX века логика находилась в упадке, историки логики считают этот период непродуктивным.

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

Прогресс в истории логики первой половины XX века связан, в частности, с работами Гёделя и Тарского, и оказал значительное влияние на аналитическую философию и философскую логику, в особенности с 1950-х гг., благодаря развитию новых разделов: модальная логика, темпоральная логика, деонтическая логика и релевантная логика.

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

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

Традиционная логика была философской наукой. Она развивалась в рамках философии, пользовалась, как и философия в целом, только естественным языком, дополненным немногими специальными символами и понятиями, законам логики давалось философское истолкование и обоснование.

Современная логика как самостоятельная область знания возникла на стыке столь разных наук, как философия и математика. Это произошло, прежде всего, благодаря внедрению в логические, до того философские исследования математических методов. Современную логику нередко называют математической логикой, подчеркивая тем самым своеобразие новых ее методов в сравнении с использовавшимися ранее. Новые методы предполагают, прежде всего, использование для анализа правильного мышления искусственных (формализованных) языков, позволяющих избежать двусмысленностей и логической неясности естественного языка. Широкое использование символических средств послужило основанием для того, что новую логику стали называть также символической. Имена "математическая логика" и "символическая логика", обычно употребляемые и сейчас, обозначают одно и то же – современную логику. Она занимается тем же, чем всегда занималась логика, – исследованием правильных способов рассуждения. Однако методы, применяемые ею, принципиально отличаются от методов, характерных для традиционной логики.

У истоков современной логики стоял немецкий философ и математик Г. В. Лейбниц, выдвинувший идею представить доказательство как вычисление, подобное вычислению в математике.

Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.

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

В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

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

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

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

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

Существует мнение, что человек может правильно мыслить и не зная

точных правил и законов логики, пользуясь ими лишь на интуитивном

уровне. Однако человек, овладевший логикой, мыслит более четко, его

аргументация убедительнее. Он гораздо реже совершает ошибки,

заблуждается. Логика помогает доказывать истинные суждения и

опровергать ложные, она учит мыслить четко, лаконично, правильно,

помогает отделить главное от второстепенного, критически восприня ть

данные в разных книгах определения и классификации раз нообразных

понятий, подобрать формы доказательства своих истинных суждений и

формы опровержения ложных. И это только некоторые из многих

преимуществ, которые дает человеку изучение интереснейшей и древнейшей

из наук – логики, т. е. науки о законах и формах правильного мышления.

обозначения как совокупности правил, которым подчиняется процесс

мышления, отражающий действительность, так и науки о правилах

рассуждения и тех формах, в которых оно осуществляется.

Объектом изучения логики как науки является мышление.

Однако мышление изучается не только логикой, но и рядом других наук:

психологией, физиологией, кибернетикой, педагогикой и др. Что ж е в

Предметом логики являются законы и формы, приемы и операции

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

Имеются различные определения этой науки, но большинство из них

совпадает в том, что основной ее задачей является отделение правильных

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

Правильные выводы называют также обоснованными, последовательными

Логику можно, таким образом, определить как науку о законах и

Согласно основному принципу логики, правильность рассуждения

(вывода) определяется только его логической формой , или структурой, и не

зависит от конкретного содержания входящих в него утверждений. Форму

рассуждения можно определить как способ связи входящих в это

предмете суждения, P (предикат), т. е. понятие о признаке предмета, связку

(Интерес формальной логики только к форме не означает абсолю тного

отвлечения от всякого содержания. Формальная логика, исследуя логическую

форму, анализирует и содержание, с необходимостью присутствующее в ней.

узнаем, что у всякого предмета S есть признак Р. Это является «формальным

Правильным является следующий вывод, использовавшийся в качестве

Все люди смертны; Сократ – человек; следовательно, Сократ смертен.

Всякий человек – живое существо; Сократ – человек; значит, Сократ –

Первые два утверждения – это посылки вывода, третье – его

Отличительная особенность правильного вывода в том, что от истинных

посылок он всегда ведет к истинному заключению. Такой вывод позволяет из

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

без обращения к опыту, интуиции и т. п. Если же посылки или одна из них

являются ложными, правильное рассуждение может давать в итоге как

истину, так и лож ь. Так же и неправильные рассуждения могут от истинных

посылок вести как к истинным, так и к ложным заключениям. Покажем это

В первом случае заключение получилось ложным потому, что в качестве

первой посылки взято ложное суждение. Во втором же умозаключении,

несмотря на первую ложную посылку, заключение яв ляется истинным

В третьем умозаключении обе посылки – истинные суждения, но

полученное заключение может быть как ложным, так и истинным потому,

что нарушено было одно из правил умозаключения. В четвертом случае обе

посылки – истинные суждения, но заключение – ложное, т. к. нарушено

правило построения умозаключения (в соответствии с правилом, вместо

Чтобы заключение было истинным, обе посылки должны быть

истинными суждениями и должны соблюдаться правила логики.

Итак, с точки зрения содержания мышление м ожет давать истинное или

ложное отражение мира, а со стороны формы оно может быть логически

правильным или неправильным. Истинность есть соответствие мысли

действительности, а правильность мышления – соблюдение правил и законов

Основными формально-логическими законами считаются: 1) закон

тождества; 2) закон непротиворечия; 3) закон исключенного третьего; 4)

закон достаточного основания. Эти законы (принципы) выражают

определенность, непротиворечивость, доказательность мышления.

Логические принципы действуют независимо от воли людей, они не

созданы по их воле и желанию, а являются отражением связей и отношений

вещей материального мира. Кроме формально-логических принципов,

правильное мышление подчиняется также основным законам диалектики:

закону единства и борьбы противоположностей, закону взаимного перехода

количественных и качественных изменений, закону отрицания отрицания.

В настоящее время логика представляет собой сложную систем у знаний,

включающую две относительно самостоятельные науки: логику ф ормальную

Систему логических знаний можно представить следующей схемой:

Формальная логика – это наука о форм ах мышления, о формально-

логических законах и других связях между мыслями по их логическим

формам. Формальная логика является наукой о правильном мышлении,

исследует и систематизирует также типичные ошибки, совершаемые в

процессе мышления, то есть типичные алогизмы. При применении средств,

вырабатываемых формальной логикой, можно отвлекаться от развития

знания. Формальная логика изучает формы мышления, выявляя структуру

общую для различных по содержанию мыслей. Рассматривая понятия, она

изучает не конкретное содержание различных понятий, а понятия как форму

мышления. Изучая суждения, логика выявляет общую структуру для

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

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

которой нельзя прийти к результатам, соответствующим действительности,

познать истину. Мышление, не подчиняющееся требованиям формальной

логики, не способно правильно отражать действительность. Поэтому

изучение мышления, его законов N и форм нужно начинать с формальной

Предметом специального изучения диалектической логики являются

формы и закономерности развития знания. Средства диалектической логики

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

Диалектическая логика исследует такие формы развития знания, как

проблема, гипотеза и так далее, такие методы познания как восхождение от

Логика формальная и логика диалектическая изучают один и тот же

объект – человеческое м ышление, но при этом каждая из них имеет свой

предмет исследования. Диалектическая логика не зам еняет и не может

заменить логику формальную. Это две науки о мышлении, они развиваются в

тесном взаимодействии, которое отчетливо проявляется в практике научно-

теоретического мышления, использующего в процессе познания как

формально-логический аппарат, так и средства, разработанные

Формальная логика – одна из древнейших наук. Первоначально логика

зародилась и развивалась в недрах философии – единой науки, которая

объединяла всю совокупность знаний об объективном мире и о самом

человеке и его мышлении. Стимулом для исследований в области логики

явились запросы практики ораторского искусства – одного из средств

воздействия на умы людей, убеждения их в целесообразности того или иного

поведения. Развитие логической науки протекало по двум руслам,

обособленным и не связанным между собой – в Древней Греции и в Индии.

Индийская логическая традиция распространилась позднее в Китае, Японии,

Монголии, Тибете, на Цейлоне и в Индонезии, а греческая – в Западной и

В истории развития логики м ожно выделить два основных этапа.

Первый – от древнегреческой логики до начала XX века. Второй – с этого

В Древней Греции проблемы логики исследовали Демокрит ( 460 – 370

до н. э.), Сократ (469 – 399 до н. э.) , Платон (428 – 347 до н. э.). Однако

Читайте также: