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

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


контрольная работа Классическая и неклассическая логики

Информация:

Тип работы: контрольная работа. Добавлен: 26.09.2012. Сдан: 2011. Страниц: 5. Уникальность по antiplagiat.ru: < 30%

Описание (план):


     КЛАССИЧЕСКАЯ  И НЕКЛАССИЧЕСКИЕ ЛОГИКИ                                
 
 

                             Содержание: 
 

1. ВВЕДЕНИЕ 

2. КЛАССИЧЕСКАЯ  И НЕКЛАССИЧЕСКИЕ ЛОГИКИ 

3. СПИСОК ЛИТЕРАТУРЫ
                              
 
 
 

                                   1.  ВВЕДЕНИЕ 

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

Непосредственным  результатом революции, происшедшей  в логике в конце XIX -- начале XX в.в., было возникновение логической теории, получившей со временем имя классической логики. У ее истоков стоят наряду со многими другими исследователями ирландский логик Д. Буль, американский философ и логик Ч. Пирс, немецкий логик Г. Фреге. В их работах была постепенно реализована идея перенесения в логику тех методов, которые обычно применяются в математике. 

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

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

       2.  КЛАССИЧЕСКАЯ И НЕКЛАССИЧЕСКИЕ  ЛОГИКИ 
 

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

В 1908 г. Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Гейтингом и не содержащей указанных законов. Одновременно с Брауэром идею неуниверсальности закона исключенного третьего отстаивал НА. Васильев. 

Еще в 1912 г. американский логик и философ К.И. Льюис обратил  внимание на так называемые «парадоксы импликации», характерные для формального аналога условного высказывания в классической логике -- материальной импликации. Льюис разработал первую неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации, определявшееся в терминах логической невозможности. К настоящему времени предложен целый ряд теорий, претендующих на более адекватное, чем даваемое классической логикой, описание логического следования и условной связи. Наибольшую известность из них получила релевантная логика, развития американскими логиками А.Р. Андерсоном и Н.Д. Белнапом. 

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

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

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

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

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

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

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

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

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

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

Точно так же обстоит дело и с классическим положением, что логические законы вытекают из любых утверждений. Наш логический опыт отказывается признать, что, скажем, утверждение «Лед холодный или лед не холодный» можно вывести из утверждений типа «Два меньше трех» или «Аристотель был учителем Александра Македонского». Следствие, которое выводится, должно быть как-то связано с тем, из чего оно выводится. Классическая логика пренебрегает этим очевидным обстоятельством. 

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

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

Классическая  логика так истолковывает условное утверждение «Если А, то В»: оно  ложно только в том случае, когда  А истинно, а В ложно, и истинно  во всех остальных случаях. Оно истинно, в частности, когда А ложно  или когда В истинно. Содержательная, смысловая связь утверждений А и В при этом во внимание не принимается. Если даже они никак не связаны друг с другом, составленное из них условное утверждение может быть истинным. 

Так истолкованное  условное утверждение получило название материальной импликации. Согласно ее определению, истинными должны считаться такие, к примеру, утверждения: «Если Луна обитаема, то дважды два равно четырем», «Если Земля -- куб, то Солнце -- треугольник» и т.п. Очевидно, что, если даже материальная импликация полезна для многих целей, она все-таки плохо согласуется с обычным пониманием условной связи. 

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

Трудно отнести  к обоснованиям и такие истинные материальные импликации, как: «Если  львы не имеют зубов, то у жирафов  длинные шеи», «Если дважды два  равно пяти, то Юпитер обитаем» и т.п. Однако классическая логика говорит: с помощью ложного утверждения можно обосновать все, что угодно. 

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

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

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

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

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

Пересмотр традиционных представлений привел к возникновению идеи особой логики квантовой механики. 

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

Эту идею впервые  высказал американский математик Д. фон Нейман. В середине 30-х гг. им вместе с другим американским математиком Д. Биркгофом была построена особая квантовая логика, положившая начало еще одному направлению неклассической логики. Позднее немецкий философ Г. Рейхенбах построил еще одну логику с целью устранения «причинных аномалий», возникающих при попытках применить классическое причинное объяснение к квантовым явлениям. К настоящему времени предложены десятки разных логических систем, стремящихся выявить своеобразие рассуждений о квантовых объектах. 

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

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

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

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

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

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

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

Исключается, в  частности, возможность выводить из противоречий любые утверждения. Доказуемость в теории противоречия перестает быть смертельно опасной угрозой, нависшей над ней. Этим не устраняется, конечно, принципиальная необходимость избавляться от противоречий в процессе дальнейшего развития теории. Интересно отметить, что одним из первых (еще в 1910 г.) сомнения в неограниченной приложимости закона непротиворечия высказал русский логик Н.А.Васильев. «Предположите, -- говорил он, -- мир осуществленного противоречия, где противоречия выводились бы, разве такое познание не было бы логическим?» Васильев писал не только научные статьи, но и стихи. В них иногда своеобразно преломлялись его логические идеи, в частности идея воображаемых (возможных) миров: 

Мне грезится безвестная планета, 

Где все идет иначе, чем у нас. 

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

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

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

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

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

Через вероятность  причинная связь определяется так: событие А есть причина события  В, только если вероятность события  А больше нуля, оно происходит раньше В и вероятность наступления В при наличии А выше, чем просто вероятность В. 

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

Для причинной  связи верны, в частности, утверждения: 

-- ничто не  является причиной самого себя; 

-- если одно  событие является причиной второго,  то второе не является причиной  первого; 

-- одно и то  же событие не может быть  одновременно как причиной наличия  какого-то события, так и причиной  его отсутствия; 

-- нет причины для наступления противоречивого события, и т.п. 

Слово «причина»  употребляется в нескольких смыслах, различающихся по своей силе. Наиболее сильный смысл причинности предполагает, что имеющее причину не может  не быть, то есть не может быть ни отменено, ни изменено никакими событиями или действиями. Наряду с этим понятием полной, или необходимой, причины, существует также более слабое понятие частичной, или неполной, причины. Для полной причины выполняется условие: «Если событие А каузально имплицирует событие В, то А вместе с любым событием С также каузально имплицирует В». Для неполной причины верно, что в случае всяких событий А и В, если А есть частичная причина В, то существует такое событие С, что А вместе с С является полной причиной В, и вместе с тем неверно, что А без С есть полная причина В. Иначе говоря, полная причина всегда, или в любых условиях, вызывает свое следствие, в то время как частичная причина только способствует наступлению своего следствия, и это следствие реализуется лишь в случае объединения частичной причины с иными условиями. Логика причинности строится так, чтобы в ее рамках могло быть получено описание и полных, и неполных причин. Эта логика находит приложения при обсуждении понятий закона природы, онтологической необходимости, детерминизма и др. 

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

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

К первому направлению  относится, в частности, логика направленности. Ее язык богаче, чем язык классической логики, и включает не только термины  «существует» и «не существует», но также термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет», «еще нет» и т.п. С помощью этих терминов формулируются такие законы логики направленности, как, например: 

-- существовать -- это то же, что начинать исчезать, и то же, что переставать возникать; 

-- не существовать -- то же, что начинать возникать,  и то же, что прекращать исчезать; 

-- становление  -- это прекращение несуществования,  а исчезновение -- это возникновение  несуществования; 

-- уже существует -- значит, существует или возникает; 

-- еще существует -- значит, существует или исчезает и т.п. 

Логика направленности допускает четыре типа существования  объектов: бытие, небытие, возникновение (становление) и исчезновение. Относительно всякого объекта верно, что он или существует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существовать, существовать и исчезать, существовать и возникать, не существовать и исчезать, возникать и исчезать и т.п. Иными словами, четыре возможные типа существования исчерпывают все способы существования и являются взаимно несовместимыми. Логика направленности позволяет выразить в логически непротиворечивой форме идею о противоречивости всякого движения и изменения. Утверждение «Предмет движется в данный момент в данном месте» эквивалентно утверждению «В рассматриваемый момент предмет находится и не находится в данном месте». 

Примером второго  подхода к логике изменения является логика времени финского философа и  логика Г.Х. фон Вригта. Ее исходное выражение «А и в следующей ситуации В» может интерпретироваться как «Состояние А изменяется в состояние В» («А-мир переходит в В-мир»), что дает логику изменения. В логике времени доказуемы такие, в частности, утверждения: 

-- всякое состояние  либо сохраняется, либо возникает, либо исчезает; 

-- при изменении  состояние не может одновременно  сохраняться и исчезать, сохраняться  и возникать, возникать и исчезать;
и т.д.................


Перейти к полному тексту работы


Скачать работу с онлайн повышением уникальности до 90% по antiplagiat.ru, etxt.ru или advego.ru


Смотреть полный текст работы бесплатно


Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.