Основные законы логики. 5

 

 

 

Контрольная работа по логике.

Тема 11: Основные законы логики.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Содержание

 

Введение.........................................................................................................................................3

1. Понятие логического  закона.....................................................................................................5

2. Закон тождества.........................................................................................................................6

3. Закон противоречия...................................................................................................................8

4. Закон исключенного  третьего................................................................................................12

5. Закон достаточного  основания...............................................................................................13

Заключение.................................................................................................................................15

Список использованной литературы.....................................................................................16

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Чаще софистических умозаключения строятся с помощью нарушение требований закона тождества

Паралогизм - это логическая ошибка, допущенная не нарочно, конечно из-за незнания логических правил.

 

 

 

1. Понятие логического  закона.

 

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

Логические законы – это объективно существующие и необходимо применяемые правила построения логического мышления.

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

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

 

 

 

 

2. Закон тождества.

 

Первый и наиболее важный закон логики — это закон тождества, который был сформулирован Аристотелем в трактате «Метафизика» следующим образом: «…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно». Можно было бы добавить к этим словам Аристотеля известное утверждение о том, что мыслить (говорить) обо всем — значит не мыслить (не говорить) ни о чем.

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

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

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

Приведем пример софизма: «Что лучше: вечное блаженство или бутерброд? Конечно же, вечное блаженство. А что может быть лучше вечного блаженства? Конечно же, ничто! Но бутерброд ведь лучше, чем ничто, следовательно, он лучше вечного блаженства». Попробуйте самостоятельно найти подвох в этом рассуждении, определить, где и как в нем нарушается закон тождества и разоблачить этот софизм.

Вот еще один софизм: «Спросим нашего собеседника: «Согласен ли ты с тем, что если ты что-то потерял, то у тебя этого нет?» Он отвечает: «Согласен». Зададим ему второй вопрос: «А согласен ли ты с тем, что если ты что-то не терял, то у тебя это есть?» — «Согласен», — отвечает он. Теперь зададим ему последний и главный вопрос: «Ты не терял сегодня рога?» Что ему остается ответить? «Не терял», — говорит он. «Следовательно, — торжествующе произносим мы, — они у тебя есть, ведь ты же сам вначале признал, что если ты что-то не терял, то оно у тебя есть». Попробуйте разоблачить и этот софизм, определить, где и как в данном внешне правильном рассуждении нарушается закон тождества.

Однако на нарушениях закона тождества строятся не только неясные суждения и софизмы. С помощью нарушения этого закона можно создать какой-нибудь комический эффект. Например, Николай Bacильeвич Гоголь в поэме «Мертвые души», описывая помещика Ноздрева, говорит, что тот был «историческим человеком», потому что где бы он ни появлялся, с ним обязательно случалась какая-нибудь «история». На нарушении закона тождества построены многие комические афоризмы. Например: «Не стой где попало, а то еще попадет». Также с помощью нарушения этого закона создаются многие анекдоты. Например:– Я сломал руку в двух местах. 
– Больше не попадай в эти места.

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

Нарушение этого закона также лежит в основе многих известных нам с детства задач и головоломок. Например, мы спрашиваем собеседника: «За чем (зачем) находится вода в стеклянном стакане?» — преднамеренно создавая двусмысленность в этом вопросе (зачем — для чего и за чем — за каким предметом, где). Собеседник отвечает на один вопрос, например он говорит: «Чтобы пить, поливать цветы», а мы подразумеваем другой вопрос и, соответственно, другой ответ: «За стеклом».

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

 

 

 

 

 

 

3. Закон противоречия.

 

Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Например, два суждения: «Сократ высокий», «Сократ низкий» (одно из них нечто утверждает, а другое то же самое отрицает, ведь высокий — это не низкий, и наоборот), — не могут быть одновременно истинными, если речь идет об одном и том же Сократе, в одно и то же время его жизни и в одном и том же отношении, т. е. если Сократ по росту сравнивается не с разными людьми одновременно, а с одним человеком.

Понятно, что когда речь идет о двух разных Сократах или об одном Сократе, но в разное время его жизни, например в 10 лет и в 20 лет, или один и тот же Сократ и в одно и то же время его жизни рассматривается в разных отношениях, например он сравнивается одновременно с высоким Платоном и низким Аристотелем, тогда два противоположных суждения вполне могут быть одновременно истинными, и закон противоречия при этом не нарушается. Символически он выражается следующей тождественно-истинной формулой: ¬ (а Λ ¬ а), (читается: «Неверно, что а и не а»), где а — это какое-либо высказывание.

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

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

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

Так, Bитaлий Ивaнoвич Свинцов приводит пример из одного учебного пособия, в котором с интервалом в несколько страниц сначала утверждалось: «В первый период творчества Маяковский ничем не отличался от футуристов», а затем: «Уже с самого начала своего творчества Маяковский обладал качествами, которые существенно отличали его от представителей футуризма».

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

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

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

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

Важно отметить, что противоречия также бывают мнимыми. Некая мыслительная или речевая конструкция может быть построена так, что, на первый взгляд, выглядит противоречивой, хотя на самом деле никакого противоречия в себе не содержит. Например, известное высказывание Антона Пaвлoвича Чехова: «В детстве у меня не было детства», — кажется противоречивым, т. к. оно вроде бы подразумевает одновременную истинность двух суждений, одно из которых отрицает другое: «У меня было детство», «У меня не было детства».

Таким образом, можно предположить, что противоречие в данном высказывании не просто присутствует, но и является наиболее грубым — контактным и явным. На самом же деле никакого противоречия в чеховской фразе нет. Вспомним, закон противоречия нарушается только тогда, когда речь идет об одном и том же предмете, в одно и то же время и в одном и том же отношении. В рассматриваемом высказывании речь идет о двух разных предметах: термин «детство» употребляется в различных значениях: детство как определенный возраст; детство как состояние души, пора счастья и безмятежности.

Таким образом, мнимое противоречие можно использовать как художественный прием. Достаточно вспомнить названия известных литературных произведений: «Живой труп» (Л. Н. Толстой), «Мещанин во дворянстве» (Ж. Мольер), «Барышня-крестьянка» (А. С. Пушкин), «Горячий снег» (Ю. В. Бондарев) и др. Иногда на мнимом противоречии строится заголовок газетной или журнальной статьи: «Знакомые незнакомцы», «Древняя новизна», «Необходимая случайность» и т. п.

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

Точно так же одновременно ложными (но не одновременно истинными!) могут быть суждения: «Эта вода горячая», «Эта вода холодная»; «Данная речка глубокая», «Данная речка мелкая»; «Эта комната светлая», «Эта комната темная». Одновременную ложность двух суждений мы часто используем в повседневной жизни, когда, характеризуя кого-то или что-то, строим стереотипные обороты типа: «Они не молодые, но и не старые», «Это не полезно, но и не вредно», «Он не богат, однако и не беден», «Данная вещь стоит не дорого, но и не дешево», «Этот поступок не является плохим, но в то же время его нельзя назвать хорошим».

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. Закон исключенного  третьего.

 

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

Именно в силу наличия третьего варианта противоположные суждения могут быть одновременно ложными. Если суждение: «Сократ среднего роста», — является истинным, то противоположные суждения: «Сократ высокий», «Сократ низкий», — одновременно ложны. Точно так же именно в силу отсутствия третьего варианта противоречащие суждения не могут быть одновременно ложными. Таково различие между противоположными и противоречащими суждениями.

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

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

 

 

 

 

5. Закон достаточного  основания.

 

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заключение.

 

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

Однако то, на чем настаивает формально-логическая теория, – это всего лишь элементарная дисциплина мышления.

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

Логика настолько богата, что о ней можно говорить бесконечно.

Как советовал Гораций: "Надо сегодня сказать лишь то, что уместно сегодня. Прочее все отложить и сказать в подходящее время".

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Список использованной литературы.

 

1. Демидов И.В. Логика. Вопросы и ответы. – М.: Юриспруденция, 2000. -144 с.

2. Ивин А.А. Логика. – М.: ФАИР-ПРЕСС, 2001.

3. Ивин А.А. Практическая логика. – М., 1996 г.

4. Сборник упражнений  по логике / под ред. А.С. Клевчени и В.И. Бартона. – Минск, 1990.

5. Анисимов  А.М. Современная логика. – Москва. 2002 г.

6. Гетманова  А.Д. Логика. – Москва: Добросвет, 2002 г.

7. Иванов А. Логика. Москва, 2002 г.

8. Ивлев  Ю.В. Логика. Москва: Проспект, 2002 г.