Формальная логика и другие виды логики

Министерство  здравоохранения Украины

Днепропетровская  Государственная Медицинская Академия

Кафедра Гуманитарных Наук 
 
 
 

«Формальная логика и другие виды логики » 
 
 
 

Подготовил студент: 2 курса

                                                                            Группы 103 А

                                               Борисенко Ярослав

Юрьевич             

Проверил  преподаватель

Бондик А.А. 
 
 
 
 

Днепропетровск 2011 г.

                         План

1.Формальная логика как наука о мышлении

2. Структура формальной  логики

3. Практическое  значение формальной логики

4. Основные формально-логические  законы

5. Основные этапы развития логики и другие ее виды

6. Библиография

Введение

Наука логика – одна из древнейших наук. Ее следы просматриваются  в древнеиндийской и древнекитайской  философии, а также в философии  античной Греции. Наиболее значительной фигурой здесь был Аристотель, которого по праву считают основателем  формальной логики. В его сочинениях мы находим основы теоретического знания о формах и приемах мышления. В  дальнейшем логика развивалась другими  философами, которые видели в ней  необходимую науку о мышлении, без которой невозможно успешное развитие познавательного процесса. Возникнув в рамках философии, логика вышла за ее пределы и стала  необходимым инструментом мышления в науке, в политике, в экономике, в сфере общественной и культурной жизни, в повседневных делах самых  широких слоев населения. Сегодня  логика служит политику и юристу, ученому  и студенту, бизнесмену и общественному  деятелю, руководителю и исполнителю, домохозяйке и педагогу и т.п. Формально-логическое мышление обладает всеобщей обязательностью, и в этом состоит его сила. Почему? Что  такое логика как наука?

1. Формальная логика  как наука о  мышлении

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

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

Обдумывая тот или  иной вопрос, решая задачу и т.п., мы можем не произносить вслух  ход рассуждений, но это не значит, что мы не используем язык; просто наша речь в этом случае становится внутренней. Таким образом, во всех актах мышления оно непосредственно связано  с языком.

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

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

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

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

2. Структура формальной  логики

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

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

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

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

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

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

3. Практическое значение  формальной логики

Прежде всего нужно усвоить то, что соблюдение законов и принципов формальной логики является необходимым условием достижения истины. Ввиду того, что выводное знание имеет место во всех сферах мыслительной деятельности, то знание законов необходимо каждому человеку, независимо от характера его деятельности. Практически, однако, многие люди не изучали (не изучают) формальной логики, и это не мешает им правильно мыслить. Почему? Все дело в том, что в этих случаях они безотчетно пользуются так называемой естественной логикой. Каково ее происхождение? Многие поколения людей еще с глубокой древности выделили и зафиксировали в письменных источниках те мудрые и простые правила мысли и действия, которыми они пользовались и добивались успеха. Эти житейские правила передаются из поколения в поколение, и первыми учителями естественной логики для нас являются наши родители и воспитатели; они помогают нам осмыслить наш жизненный опыт на стадии детства и юношества. Элементы естественной логики широко представлены в мировой художественной литературе, где герои всегда действуют исходя их конкретных обстоятельств и в своих рассуждениях прибегают к логическим обоснованиям своих поступков. Примером может служить знаменитый монолог Гамлета «To be, or not to be?». Другой, не менее интересный пример мы можем найти в трагедии Гете «Фауст» (часть 1, сц. 4); здесь Мефистофель, по сговору с Фаустом приняв его облик, делает поучения молодому ученику о полезности курса логики для тренировки ума. Другим источником естественной логики являются научные тексты, которые несут в себе высокую культуру мышления их создателей. Внимательно читая их произведения, мы учимся, как надо рассуждать. Этот путь, однако, ограничивает наши возможности. т.к., идя по нему, мы действуем вслепую. Другое дело, когда мы знаем законы и формы мышления и сами можем сознательно ими пользоваться: приводить в порядок разрозненные эмпирические понятия, систематизировать их и определять их точный смысл.

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

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

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

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

4. Основные формально-логические  законы  

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

Существует бесчисленное множество законов логики, отражающих различные виды связи между суждениями и понятиями. К числу логических законов относятся, например, те необходимые  условия, которым должны удовлетворять  различные логические операции. Эти  условия формулируются часто  в виде правил. Таковы, например, правила  определения, правила деления и  т.п. Большое значение в логике имеют  законы, выражающие зависимость истинности (или ложности) одних суждений от истинности (или ложности) других. Эти  законы определяют логически правильные формы умозаключений. Примером логического  закона может служить утверждение: «Если все М суть Р и все S суть М, то все S суть Р». Мы можем подставить любые конкретные по содержанию понятия вместо М, Р и S в указанное предложение, всякий раз все это предложение будет истинным. Подобные выражения в современной символической (математической) логике получают название тождественно-истинных.

Практически в ряде учебников по логике рассматриваются  десятки законов (например, в учебнике В.А. Бочарова и В.И. Маркина «Основы логики». М., 1997, их упомянуто 32). Однако во многих учебниках среди множества логических законов принято выделять следующие четыре: закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Они считаются основными формально-логическими законами.

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

5.Основные этапы развития логики и ее виды

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

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

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

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

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

Разработка индуктивного метода - огромная заслуга Бекона. Методы дедукции и индукции не исключают  друг друга, а дополняют. Дж.С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона - Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

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

Второй этап - это  появление математической логики. Философ  Г. В. Лейбниц считается её основоположником. Он пытался построить универсальный  язык, с помощью которого споры  между людьми можно было разрешить  посредством вычисления. Математическая логика изучает логические связи  и отношения, лежащие в основе дедуктивного вывода. Для выявления  структуры вывода строят различные  математические исчисления.

Другим основанием деления логики служит различие применяемых  в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и неклассические логики. На рубеже 20-х гг. К.И. Льюисом и Я. Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т.п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики. В 20-е гг. начали складываться также многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но могут иметь и другие истинностные значения; деонтическая логика, изучающая логические связи нормативных понятий; логика абсолютных оценок, исследующая логическую структуру и логические связи оценочных высказываний; вероятностная логика, использующая теорию вероятностей для анализа проблематичных рассуждений, и др. Все эти новые разделы логики не были непосредственно связаны с математикой, в сферу логического исследования вовлекались уже естественные и гуманитарные науки.

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

В.С. Меськов выделяет принципы классической логики:

1) область исследования  составляют обыденные рассуждения;

2) допущение о  разрешимости любой проблемы;

3) отвлечение от  содержания высказываний и от  связей по смыслу между ними;

4) абстракция двузначности  высказываний.

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

В процессе познания методы формальной логики дополняются  методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В.И. Ленин.

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

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

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

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

В развитие многозначной логики внесли свой вклад Я. Лукасевич, А. Гейтинг, С. Клини, Г. Рейхенбах, Д.А. Бочвар. Обобщенным вариантом многозначной логики является n-значная система (бесконечная логика), разработанная Э.Л.Постом.

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

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

6. Библиография 

1. Гейтманова А.Д. Учебник по логике. Москва 1995г.
2. Иванов Е.А. Логика. Москва 1996г.
3. Краткий словарь по логике. Под редакцией Горского. Москва Просвещение 1991г.
4. Кириллов В.И., Старченко А.А. Логика. Издание 5-е 1991г. Ивлев Ю.В. Курс лекций по логике. Издательство Московского университета 1988г.
5. Ивлев Ю.В. Курс лекций по логике. Издательство Московского университета 1988г.