Основы логики
Определение понятия и сущность интуитивной логики, ее задачи, слабые и сильные стороны. Характеристика логических законов: противоречия, исключенного третьего, тождества и контрапозиции, их доказательства, критика, применение, абсолютность и модальность.
| Рубрика | Философия |
| Вид | учебное пособие |
| Язык | русский |
| Дата добавления | 17.09.2014 |
| Размер файла | 299,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Парадоксам посвящена обширная литература, предложено большое число их объяснений. Но ни одно из этих объяснений не является общепризнанным, и сколь-нибудь полного согласия в вопросе о происхождении парадоксов и способах избавления от них нет.
«За последние шестьдесят лет сотни книг и статей были посвящены цели разрешения парадоксов, однако результаты поразительно бедны в сравнении с затраченными усилиями», - пишет А.Френкель. «Похоже на то, - заключает свой анализ парадоксов Х.Карри, - что требуется полная реформа логики, и математическая логика может стать главным инструментом для проведения этой реформы».
Устранение и объяснение парадоксов
Следует обратить внимание на одно важное различие.
Устранение парадоксов и их разрешение - это вовсе не одно и то же. Устранить парадокс из некоторой теории - значит перестроить ее так, чтобы парадоксальное утверждение оказалось в ней недоказуемым. Каждый парадокс опирается на большое число определений, допущений и аргументов. Его вывод в теории представляет собой некоторую цепочку рассуждений. Формально говоря, можно подвергнуть сомнению любое ее звено, отбросить его и тем самым разорвать цепочку и устранить парадокс. Во многих работах так и поступают и этим ограничиваются.
Но это еще не разрешение парадокса. Мало найти способ, как его исключить, надо убедительно обосновать предлагаемое решение. Само сомнение в каком-то шаге, ведущем к парадоксу, должно быть хорошо обосновано.
Прежде всего решение об отказе от каких-то логических средств, используемых при выводе парадоксального утверждения, должно быть увязано с нашими общими соображениями относительно природы логического доказательства и другими логическими интуиция-ми. Если этого нет, устранение парадокса оказывается лишенным твердых и устойчивых оснований и вырождается в техническую по преимуществу задачу.
Кроме того, отказ от какого-то допущения, даже если он и обеспечивает устранение некоторого конкретного парадокса, вовсе не гарантирует автоматически устранения всех парадоксов. Это говорит о том, что за парадоксами не следует «охотиться» поодиночке. Исключение одного из них всегда должно быть настолько обосновано, чтобы появилась определенная гарантия, что этим же шагом будут устранены и другие парадоксы.
Каждый раз, как обнаруживается парадокс, пишет А.Тарский, «мы должны подвергнуть наши способы мышления основательной ревизии, отвергнуть какие-то посылки, в которые верили, и усовершенствовать способы аргументации, которыми пользовались. Мы делаем это, стремясь не только избавиться от антиномий, но и с целью не допустить возникновения новых».
И наконец, непродуманный и неосторожный отказ от слишком многих или слишком сильных допущений может привести просто к тому, что получится хотя и не содержащая парадоксов, но существенно более слабая теория, имеющая только частный интерес.
Каким может быть минимальный, наименее радикальный комплекс мер, позволяющих избежать известных парадоксов?
Логическая грамматика
Один путь - это выделение наряду с истинными и ложными предложениями также бессмысленных предложений. Этот путь был принят Б.Расселом. Парадоксальные рассуждения были объявлены им бессмысленными на том основании, что в них нарушаются требования логической грамматики. Не всякое предложение, не нарушающее правил обычной грамматики, является осмысленным - оно должно удовлетворять также правилам особой, логической грамматики.
Рассел построил теорию логических типов, своеобразную логическую грамматику, задачей которой было устранение всех известных антиномий. В дальнейшем эта теория была существенно упрощена и получила название простой теории типов.
Основная идея теории типов - выделение разных в логическом отношении типов предметов, введение своеобразной иерархии, или лестницы, рассматриваемых объектов. К низшему, или нулевому, типу относятся индивидуальные объекты, не являющиеся множествами. К первому типу относятся множества объектов нулевого типа, т.е. индивидов; ко второму - множества множеств индивидов и т.д. Иными словами, проводится различие между предметами, свойствами предметов, свойствами свойств предметов и т.д. При этом вводятся определенные ограничения на конструирование предложений. Свойства можно приписывать предметам, свойства свойств - свойствам и т.д. Но нельзя осмысленно утверждать, что свойства свойств имеются у предметов.
Возьмем серию предложений:
Этот дом - красный.
Красное - это цвет.
Цвет - это оптическое явление.
В этих предложениях выражение «этот дом» обозначает определенный предмет, слово «красный» указывает на свойство, присущее данному предмету, «являться цветом» - на свойство этого свойства («быть красным») и «быть оптическим явлением» - указывает на свойство свойства «быть цветом», принадлежащего свойству «быть красным». Здесь мы имеем дело не только с предметами и их свойствами, но и со свойствами свойств («свойство быть красным имеет свойство быть цветом»), и даже со свойствами свойств свойств.
Все три предложения из приведенной серии являются, конечно, осмысленными. Они построены в соответствии с требованиями теории типов. А скажем, предложение «Этот дом есть цвет» нарушает данные требования. Оно приписывает предмету ту характеристику, которая может принадлежать только свойствам, но не предметам. Аналогичное нарушение содержится и в предложении «Этот дом является оптическим явлением». Оба эти предложения должны быть отнесены к бессмысленным.
Простая теория типов устраняет парадокс Рассела. Однако для устранения парадоксов «Лжеца» и Берри простое разделение рассматриваемых объектов на типы уже недостаточно. Необходимо вводить дополнительно некоторое упорядочение внутри самих типов.
Исключение парадоксов может быть достигнуто также на пути отказа от использования слишком больших множеств, подобных множеству всех множеств. Этот путь был предложен немецким математиком Е.Цермело, связавшим появление парадоксов с неограниченным конструированием множеств. Допустимые множества были определены им некоторым списком аксиом, сформулированных так, чтобы из них не выводились известные парадоксы. Вместе с тем эти аксиомы были достаточно сильны для вывода из них обычных рассуждений классической математики, но без парадоксов.
Ни эти два, ни другие предлагавшиеся пути устранения парадоксов не являются общепризнанными. Нет единого убеждения, что какая-то из предложенных теорий разрешает логические парадоксы, а не просто отбрасывает их без глубокого объяснения. Проблема объяснения парадоксов по-прежнему открыта и по-прежнему важна.
Будущее парадоксов
У Г.Фреге, величайшего логика прошлого века, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток к своей критике современников.
Возможно, поэтому его вклад в логику и обоснование математики долго не получал признания. И вот когда известность начала приходить к нему, молодой английский логик Б.Рассел написал ему, что в системе, опубликованной в первом томе его книги «Основные законы арифметики», возникает противоречие. Второй том этой книги был уже в печати, и Фреге смог лишь добавить к нему специальное приложение, в котором изложил это противоречие (позднее названное «парадоксом Рассела») и признал, что он не способен его устранить.
Однако последствия этого признания были для Фреге трагическими. Он испытал сильнейшее потрясение. И хотя ему тогда было всего 55 лет, он не опубликовал больше ни одной значительной работы по логике, хотя прожил еще более двадцати лет. Он не откликнулся даже на оживленную дискуссию, вызванную парадоксом Рассела, и никак не прореагировал на многочисленные предлагавшиеся решения этого парадокса.
Впечатление, произведенное на математиков и логиков только что открытыми парадоксами, хорошо выразил Д.Гильберт: «…Состояние, в котором мы находимся сейчас в отношении парадоксов, на продолжительное время невыносимо. Подумайте: в математике - этом образце достоверности и истинности - образование понятий и ход умозаключений, как их всякий изучает, преподает и применяет, приводит к нелепости. Где же искать надежность и истинность, если даже само математическое мышление дает осечку?»
Фреге был типичным представителем логики конца XIX в., свободной от каких бы то ни было парадоксов, логики, уверенной в своих возможностях и претендующей на то, чтобы быть критерием строгости даже для математики. Парадоксы показали, что абсолютная строгость, достигнутая якобы логикой, была не более чем иллюзией. Они бесспорно показали, что логика - в том интуитивном виде, какой она имела на рубеже веков, - нуждается в глубоком пересмотре.
Прошло около века с тех пор, как началось оживленное обсуждение парадоксов. Предпринятая ревизия логики так и не привела, однако, к недвусмысленному их разрешению.
И вместе с тем такое состояние вряд ли кого волнует сегодня. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения. Дело не только в том, что парадоксы сделались чем-то привычным. И, разумеется, не в том, что с ними смирились. Они все еще остаются в центре внимания логиков, поиски их решений активно продолжаются. Ситуация изменилась прежде всего потому, что парадоксы оказались, так сказать, локализованными. Они обрели свое определенное, хотя и неспокойное место в широком спектре логических исследований. Стало ясно, что абсолютная строгость, какой она рисовалась в конце прошлого века и даже иногда в начале нынешнего, - это в принципе недостижимый идеал.
Было осознано также, что нет одной-единственной, стоящей особняком проблемы парадоксов. Проблемы, связанные с ними, относятся к разным типам и затрагивают, в сущности, все основные разделы логики. Обнаружение парадокса заставляет глубже проанализировать наши логические интуиции и заняться систематической переработкой основ науки логики. При этом стремление избежать парадоксов не является ни единственной, ни даже, пожалуй, главной задачей. Они являются хотя и важным, но только поводом для размышления над центральными темами логики. Продолжая сравнение парадоксов с особо отчетливыми симптомами болезни, можно сказать, что стремление немедленно исключить парадоксы было бы подобно желанию снять такие симптомы, не особенно заботясь о самой болезни. Требуется не просто разрешение парадоксов, необходимо их объяснение, углубляющее наши представления о логических закономерностях мышления.
7.6 Несколько парадоксов, или то, что похоже на них
И в заключение этого короткого рассмотрения логических парадоксов - несколько задач, размышление над которыми будет полезно для читателя. Нужно решить, действительно ли приводимые утверждения и рассуждения являются логическими парадоксами или только кажутся ими. Для этого следует, очевидно, как-то перестроить исходный материал и попытаться вывести из него противоречие: и утверждение и отрицание одного и того же об одном и том же. Если обнаруживается парадокс, можно подумать над тем, с чем связано его возникновение и как его устранить. Можно даже попытаться придумать свой собственный парадокс такого же типа, т.е. строящийся по той же схеме, но на основе других понятий.
1. Тот, кто говорит: «Я ничего не знаю», высказывает как будто парадоксальное, внутренне противоречивое утверждение. Он заявляет, в сущности: «Я знаю, что я ничего не знаю». Но знание того, что никакого знания нет, есть все-таки знание. Значит, говорящий, с одной стороны, уверяет, что никакого знания у него нет, а с другой - самим утверждением этого сообщает, что некоторое знание у него все-таки есть. В чем здесь дело?
Размышляя над этим затруднением, можно вспомнить, что Сократ выражал сходную мысль более осторожно. Он говорил: «Я знаю только то, что ничего не знаю». Зато другой древний грек, Метродор, с полной убежденностью утверждал: «Ничего не знаю и не знаю даже того, что я ничего не знаю». Нет ли в этом утверждении парадокса?
2. Исторические события уникальны. История, если она и повторяется, то, по известному выражению, первый раз как трагедия, а второй - как фарс. Из неповторимости исторических событий иногда выводится идея, что история ничему не учит. «Быть может, величайший урок истории, - пишет О.Хаксли, - действительно состоит в том, что никто никогда и ничему не научился из истории».
Вряд ли эта идея верна. Прошлое как раз и исследуется главным образом для того, чтобы лучше понимать настоящее и будущее. Другое дело, что «уроки» прошлого, как правило, неоднозначны.
Не является ли убеждение, будто история ничему не учит, внутренне противоречивым? Ведь само оно вытекает из истории в качестве одного из ее уроков. Не лучше ли сторонникам этой идеи сформулировать ее так, чтобы она не распространялась на себя: «История учит единственному - из нее ничему нельзя научиться», или «История ничему не учит, кроме этого ее урока»?
3. «Доказано, что доказательств не существует». Это, как кажется, внутренне противоречивое высказывание: оно является доказательством или предполагает уже проведенное доказательство («доказано, что…») и одновременно утверждает, что ни одного доказательства нет.
Известный древний скептик Секст Эмпирик предлагал такой выход: вместо приведенного высказывания принять высказывание «Доказано, что никакого доказательства, кроме этого, не существует» (или: «Доказано, что ничего доказанного, кроме этого, нет»). Но не является ли этот выход иллюзорным? Ведь утверждается, по сути дела, что есть только одно-единственное доказательство - доказательство несуществования каких-либо доказательств («Существует одно-единственное доказательство: доказательство того, что никаких иных доказательств нет»). Чем тогда является сама операция доказательства, если ее удалось провести, судя по данному утверждению, только один раз? Во всяком случае, мнение самого Секста о ценности доказательств было не очень высоким. Он писал, в частности: «Так же, как правы те, кто обходится без доказательства, правы и те, кто, будучи склонным сомневаться, голословно выдвигает противоположное мнение».
4. «Ни одно высказывание не является отрицательным», или проще: «Нет отрицательных высказываний». Однако само это выражение представляет собой высказывание и является как раз отрицательным. Явный, как будто, парадокс. С помощью какой переформулировки данного утверждения можно было бы избежать парадокса?
Средневековый философ и логик Ж.Буридан известен широкому читателю рассуждением об осле, который, стоя между двумя одинаковыми охапками сена, обязательно умрет с голоду. Осел, как и всякое животное, стремится выбрать из двух вещей лучшую. Две охапки совершенно не отличаются друг от друга, и потому он не может предпочесть ни одну из них. Однако этого «буриданова осла» в сочинениях самого Буридана нет. В логике Буридан хорошо известен, и в частности своей книгой о софизмах. В ней приводится такое умозаключение, относящееся к нашей теме: ни одно высказывание не является отрицательным; следовательно, существует отрицательное высказывание. Является ли этот вывод обоснованным?
5. Хорошо известно описание Н.В.Гоголем игры Чичикова с Ноздревым в шашки. Их партия так и не закончилась, Чичиков заметил, что Ноздрев мошенничает, и отказался играть, опасаясь проигрыша. Недавно один специалист по шашкам восстановил по репликам игравших ход этой партии и показал, что позиция Чичикова не была еще безнадежной.
Допустим, что Чичиков все-таки продолжил игру и в конце концов выиграл партию, несмотря на плутовство партнера. По уговору проигравший Ноздрев должен был отдать Чичикову пятьдесят рублей и «какого-нибудь щенка средней руки или золотую печатку к часам». Но Ноздрев скорее всего отказывался бы платить, упирая на то, что он сам всю игру мошенничал, а игра не по правилам - это как бы и не игра. Чичиков мог бы возразить, что разговор о мошенничестве здесь не к месту: мошенничал сам проигравший, значит, он тем более должен платить.
В самом деле, должен был бы платить Ноздрев в подобной ситуации или нет? С одной стороны - да, поскольку он проиграл. Но с другой - нет, так как игра не по правилам - это вовсе и не игра; ни выигравшего, ни проигравшего в такой «игре» не может быть. Если бы мошенничал сам Чичиков, Ноздрев, конечно, не обязан был бы платить. Но, однако, мошенничал как раз проигравший Ноздрев…
Здесь ощущается что-то парадоксальное: «с одной стороны…», «с другой стороны…», и притом с обеих сторон в равной мере убедительно, хотя эти стороны несовместимы.
Должен все-таки Ноздрев платить или нет?
6. «Всякое правило имеет исключения». Но ведь это утверждение само является правилом. Как и все иные правила, оно должно иметь исключения. Таким исключением будет, очевидно, правило «Есть правила, не имеющие исключений». Нет ли во всем этот парадокса? Какой из предыдущих примеров напоминают эти два правила? Допустимо ли рассуждать так: всякое правило имеет исключения; значит, существуют правила без исключений?
7. «Всякое обобщение ошибочно». Ясно, что это утверждение суммирует опыт мыслительной операции обобщения и само является обобщением. Как и все иные обобщения, оно должно быть ошибочным. А значит, должны иметься верные обобщения. Однако правильно ли рассуждать так: всякое обобщение неверно, следовательно, есть верные обобщения?
8. Некий писатель сочинил «Эпитафию всем жанрам», призванную доказать, что литературные жанры, разграничение которых вызывало столько споров, умерли и можно о них не вспоминать.
Но эпитафия, между тем, тоже жанр в некотором роде, жанр надгробных надписей, сложившийся еще в античные времена и вошедший в литературу как разновидность эпиграммы:
Здесь я покоюсь: Джимми Хогг.
Авось грехи простит мне Бог,
Как я бы сделал, будь я Бог,
А он - покойный Джимми Хогг.
Так что эпитафия всем без изъятия жанрам грешит как будто непоследовательностью. Как лучше ее переформулировать?
9. «Никогда не говори „никогда“». Запрещая употребление слова «никогда», приходится дважды употреблять это слово!
Аналогично обстоит, как кажется, дело с советом: «Пора бы тем, кто говорит „пора“, сказать что-нибудь, кроме „пора“».
Нет ли в подобных советах своеобразной непоследовательности и можно ли ее избежать?
10. В стихотворении «Не верьте», напечатанном, естественно, в разделе «Ироническая поэзия», его автор рекомендует не верить ни во что:
…Не верьте в колдовскую власть огня:
Горит, пока кладут в него дровишки.
Не верьте в златогривого коня
Ни за какие сладкие коврижки!
Не верьте в то, что звездные стада
Несутся в бесконечной круговерти.
Но что же вам останется тогда?
Не верьте в то, что я сказал.
Не верьте.
В.Прудовский
Но реально ли такое всеобщее неверие? Судя по всему, оно противоречиво и, значит, логически невозможно.
11. Допустим, что, вопреки общему убеждению, неинтересные люди все-таки есть. Соберем их мысленно вместе и выберем из них самого маленького по росту, или самого большего по весу, или какого-то другого «самого…». На этого человека интересно было бы посмотреть, так что мы напрасно включили его в число неинтересных. Исключив его, мы опять найдем среди оставшихся «самого…» в том же самом смысле и т.д. И все это до тех пор, пока не останется только один человек, которого не с кем будет уже сравнивать. Но, оказывается, этим он как раз и интересен! В итоге мы приходим к выводу, что неинтересных людей нет. А началось рассуждение с того, что такие люди существуют.
Можно, в частности, попробовать найти среди неинтересных людей самого неинтересного из всех неинтересных. Этим он будет, без сомнения, интересен, и его придется исключить из неинтересных людей. Среди оставшихся опять-таки найдется наименее интересный и т.д.
В этих рассуждениях определенно есть привкус парадоксальности. Допущена ли здесь какая-нибудь ошибка и если да, то какая?
12. Допустим, что вам дали чистый лист бумаги и поручили описать этот лист на нем же. Вы пишите: это лист прямоугольной формы, белый, таких-то размеров, изготовленный из прессованных волокон древесины и т.д.
Описание как будто закончено. Но оно явно неполное! В процессе описания объект изменился: на нем появился текст. Поэтому к описанию нужно еще добавить: а кроме того, на этом листе бумаги написано: это лист прямоугольной формы, белый…и т.д. до бесконечности.
Кажется, что здесь парадокс, не так ли?
Хорошо известен детский стишок:
У попа была собака,
Он ее любил,
Она съела кусок мяса,
Он ее убил.
Убил и закопал,
А на плите написал:
«У попа была собака…»
Смог ли этот любивший свою собаку поп когда-нибудь закончить надгробную надпись? Не напоминает ли составление этой надписи полное описание листа бумаги на нем самом?
13. Один автор дает такой «тонкий» совет: «Если маленькие хитрости не позволяют достичь желаемого, прибегните к большим хитростям». Этот совет предлагается под заголовком «Маленькие хитрости». Но относится ли он на самом деле к таким хитростям? Ведь «маленькие хитрости» не помогают, и как раз по этой причине приходится прибегнуть к данному совету.
14. Назовем игру нормальной, если она завершается в конечное число ходов. Примерами нормальных игр могут служить шахматы, шашки, домино: эти игры всегда завершаются или победой одной из сторон, или ничьей. Игра, не являющаяся нормальной, продолжается бесконечно, не приводя ни к какому результату. Введем также понятие сверхигры: первым ходом такой игры является установление того, какая именно игра должна играться. Если, к примеру, вы и я намереваемся играть в сверхигру и мне принадлежит первый ход, я могу сказать: «Давайте играть в шахматы». Тогда вы в ответ делаете первый ход шахматной игры, допустим, е2 - е4, и мы продолжаем партию до ее завершения (в частности, в связи с истечением времени, отведенного турнирным регламентом). В качестве своего первого хода я могу предложить сыграть в крестики-нолики и т.п. Но игра, которая мною выбирается, должна быть нормальной; нельзя выбирать игру, не являющуюся нормальной.
Возникает проблема: является сама сверхигра нормальной или нет? Предположим, что это - нормальная игра. Так как первым ее ходом можно выбрать любую из нормальных игр, я могу сказать: «Давайте играть в сверхигру». После этого сверхигра началась, и следующий ход в ней ваш. Вы вправе сказать: «Давайте играть в сверхигру». Я могу повторить: «Давайте играть в сверхигру» и таким образом процесс может продолжаться бесконечно. Следовательно, сверхигра не относится к нормальным играм. Но в силу того, что сверхигра не является нормальной, своим первым ходом в сверхигре я не могу предложить сверхигру; я должен выбрать нормальную игру. Но выбор нормальной игры, имеющей конец, противоречит тому доказанному факту, что сверхигра не принадлежит к нормальным.
Итак, является сверхигра нормальной игрой или нет?
Пытаясь ответить на этот вопрос, не следует, конечно, идти по легкому пути чисто словесных разграничений. Проще всего сказать, что нормальная игра - это игра, а сверхигра - всего лишь розыгрыш.
Какие другие парадоксы напоминает этот парадокс сверхигры, являющейся одновременно и нормальной и ненормальной?
Литература
1. Байиф Ж.К. Логические задачи. - М., 1983.
2. Бурбаки Н. Очерки по истории математики. - М., 1963.
3. Гарднер М. А ну-ка догадайся! - М.: 1984.
4. Ивин А.А. По законам логики. - М., 1983.
5. Клини С.К. Математическая логика. - М., 1973.
6. Смаллиан P.M. Как же называется эта книга? - М.: 1982.
7. Смаллиан P.M. Принцесса или тигр? - М.: 1985.
8. Френкель А., Бар-Хиллел И. Основания теории множеств. - М., 1966.
Размещено на Allbest.ru
Подобные документы
Понятие логики как науки, предмет и методы ее изучения, развитие на современном этапе. Описание основных логических законов и оценка их значения в человеческом мышлении: закон тождества, противоречия, исключенного третьего, достаточного основания.
контрольная работа [23,0 K], добавлен 04.10.2010Логика - наука о формах и законах правильного мышления. Понятие интуитивной логики, зачем она нужна и ее роль в нашей жизни. Применение логических законов, не подозревая об их существовании. Традиционная и современная логика, основные этапы их истории.
реферат [34,0 K], добавлен 21.01.2010Использование основных законов логики риска, конфликтов и споров при оперировании понятиями и суждениями, в умозаключениях, доказательствах и опровержениях. Рассмотрение законов тождества, непротиворечия, исключенного третьего и достаточного основания.
реферат [16,5 K], добавлен 24.07.2011Специфика логики как науки, ее содержание и специфические признаки, место в системе наук. Сущность основных законов мышления, их особенности. Законы формальной логики: исключенного третьего, достаточного основания, вытекающие из них главные требования.
контрольная работа [41,1 K], добавлен 27.12.2010Структура формальной логики и ее практическое значение. Основные формально-логические законы тождества, противоречия, исключенного третьего, достаточного основания. Формы и элементы мышления, без которых невозможно ни обыденное, ни научное мышление.
реферат [32,5 K], добавлен 19.09.2010Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.
реферат [26,9 K], добавлен 19.01.2009Различные версии логики выбора, определяющие уровень интеллекта. Анархизм, расизм, аристократизм и другие измы как следствие недоразвития интуитивной логики личной свободы выбора. Интуитивная логика конструктивизма в реализации решений, творчества.
контрольная работа [20,0 K], добавлен 26.09.2013Логические законы как основа человеческого мышления. Толкования законов тождества, противоречия, исключительного третьего и достаточного основания. Несовместимость истины и лжи. Установление связей между противоречащими друг другу высказываниями.
контрольная работа [30,1 K], добавлен 05.04.2015Понятие логики и детальное изучение одного из ее законов - закона противоречия. История открытия, формулировка и сущность закона. Противоречивость и непротиворечивость в суждениях, раскрытие их логических механизмов. Применение закона на практике.
реферат [21,0 K], добавлен 18.12.2010С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.
контрольная работа [22,4 K], добавлен 26.03.2011
