Александр Ивин
Логика
Предисловие
Логика – одна из самых старых наук. Её богатая событиями история началась ещё в Древней Греции и насчитывает две с половиной тысячи лет. В конце прошлого – начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы и наука как бы обрела второе дыхание. Теперь логика – одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Говорить о логике и легко, и одновременно сложно. Легко потому, что её законы лежат в основе нашего мышления. Интуитивно они известны каждому. Всякое движение мысли, постигающей истину и добро, опирается на эти законы и без них невозможно. В этом смысле логика общеизвестна.
Один из героев комедии Мольера только случайно обнаружил, что он всю жизнь говорил прозой. Так и с усвоенной нами стихийно логикой. Можно постоянно применять её законы – и притом весьма умело – и вместе с тем не иметь ясного представления ни об одном из них.
Однако, стихийно сложившиеся навыки логически совершённого мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном – о человеческом мышлении – то, что кажется на первый взгляд необычным и без необходимости усложнённым. К тому же основное её содержание формулируется на особом, созданном специально для этих целей искусственном языке. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собою разумеющимся.
Подобно тому, как умение говорить существовало ещё задолго до грамматики, так и искусство правильно мыслить существовало до возникновения науки логики. Подавляющее большинство людей и сейчас размышляют и рассуждают, не обращаясь за помощью к особой науке и не рассчитывая на эту помощь. Некоторые склонны даже считать собственное мышление естественным процессом, требующим анализа и контроля не больше, чем, скажем, дыхание или ходьба.
Разумеется, это заблуждение. Знакомство уже с первыми разделами книги покажет необоснованность такого чрезмерного оптимизма в отношении наших стихийно сложившихся навыков правильного мышления.
Настоящий учебник рассчитан на представителей гуманитарных специальностей. Символические средства, широко используемые современной логикой, сведены к минимуму. Особое внимание уделяется естественному языку и тем логическим ошибкам, которые возможны при его употреблении. Гуманитарные науки отличаются от естественных, в частности, тем, что устанавливают эксплицитные оценки и нормы. В связи с этим в книге подробно обсуждаются проблемы, связанные с неописательными употреблениями языка и с аргументацией в поддержку оценок и норм. Понятие понимания – одно из центральных в методологии гуманитарного познания. В главе, посвящённой пониманию, анализируется логическая структура этой операции и три основных области её приложения: понимание поведения, понимание языковых выражений и понимание природы. При описании способов аргументации особое внимание уделяется теоретическим и контекстуальным аргументам, находящим широкое применение в гуманитарных науках.
Лет триста назад авторы книг по логике считали своим долгом предостеречь читателя от торопливости при чтении: «В водах логики не следует плыть с полными парусами». С тех пор логика сделала гигантский шаг вперёд. Её содержание расширилось и углубилось. И старый этот совет кажется теперь особенно полезным.
Глава 1 Задачи логики
1. Правильное рассуждение
Слово «логика» употребляется довольно часто, но в разных значениях.
Нередко говорят о логике событий, логике характера и т.п. В этих случаях имеется в виду определённая последовательность и взаимозависимость событий или поступков, наличие в них некоторой общей линии.
Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду присутствие или отсутствие таких его свойств, как последовательность, доказательность и т.п.
В третьем смысле «логика» является именем особой науки о мышлении, называемой также формальной логикой.
Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика – одна из них. Её предмет – логические законы и логические операции мышления. Принципы, устанавливаемые логикой, необходимы, как и все научные законы. Мы можем не осознавать их, но вынуждены следовать им.
Формальная логика – наука о законах и операциях правильного мышления.
Основной задачей логики является отделение правильных способов рассуждения (выводов, умозаключений) от неправильных.
Правильные выводы называются также обоснованными, последовательными или логичными.
Рассуждение представляет собой определённую, внутренне обусловленную связь утверждений. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое рассуждение и перейти к другой теме. Но если мы решим провести его до конца, то сразу же попадём в сети необходимости, стоящей выше нашей воли и желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, что из них следуют, независимо от того, нравятся они нам или нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы тем самым автоматически лишаем себя возможности утверждать другое, несовместимое с уже допущенным.
Если мы убеждены, что все жидкости упруги, мы должны признать также, что вещества, не являющиеся упругими, не относятся к жидкостям. Убедив себя, что каждое водоплавающее существо обязательно дышит жабрами, мы исключаем из разряда водоплавающих дышащих лёгкими – китов и дельфинов.
В чем источник этой логической необходимости? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Из размышления над этими вопросами и выросла особая наука о мышлении – логика. Отвечая на вопрос «что из чего следует?», она отделяет правильные способы рассуждения от неправильных и систематизирует первые.
Правильным является следующий вывод, использовавшийся в качестве стандартного примера ещё в Древней Греции:
Все люди смертны; Сократ – человек; следовательно, Сократ смертен.
Первые два высказывания – это посылки вывода, третье – его заключение.
Правильным будет, очевидно, и такое рассуждение:
Всякий металл электропроводен; натрий – металл; значит, натрий электропроводен.
Сразу же можно заметить сходство данных двух выводов, но не в содержании входящих в них утверждений, а в характере связи этих утверждений между собою. Можно даже почувствовать, что с точки зрения правильности эти выводы совершенно идентичны: если правильным является один из них, то таким же будет и другой, и притом в силу тех же самых оснований.
Ещё один пример правильного вывода, связанного со знаменитым опытом Фуко:
Если Земля вращается вокруг своей оси, маятники, качающиеся на её поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на её поверхности постепенно изменяют плоскость своих колебаний.
Как протекает это рассуждение о Земле и маятниках? Сначала устанавливается условная связь между вращением Земли и изменением плоскости колебания маятников. Затем констатируется, что Земля действительно вращается. Из этого выводится, что маятники в самом деле постепенно изменяют плоскость своих колебаний. Это заключение вытекает с какой-то принудительной силой. Оно как бы навязывается всем, кто принял посылки рассуждения. Именно поэтому можно было бы сказать также, что маятники должны изменять плоскость своих колебаний, с необходимостью делают это.
Схема данного рассуждения проста: если есть первое, то есть второе; имеет место первое; значит, есть и второе.
Принципиально важным является то, что, о чем бы мы ни рассуждали по такой схеме – о Земле и маятниках, о человеке или химических элементах, о мифах или богах, рассуждение останется правильным.
Чтобы убедиться в этом, достаточно подставить в схему вместо слов «первое» и «второе» два утверждения с любым конкретным содержанием.
Изменим несколько данную схему и будем рассуждать так: если есть первое, то имеется второе; имеет место второе; значит, есть и первое.
Например:
Если идёт дождь, земля мокрая; земля мокрая; следовательно, идёт дождь.
Этот вывод, очевидно, неправилен. Верно, что всякий раз, когда идёт дождь, земля мокрая. Но из этого условного утверждения и того факта, что земля мокрая, вовсе не вытекает, что идёт дождь. Земля может оказаться мокрой и без дождя, её можно намочить, скажем, из шланга, она может быть мокрой после таяния снега и т.д.
Ещё один пример рассуждения по последней схеме подтвердит, что она способна приводить к ложным заключениям:
Если у человека повышенная температура – он болен; человек болен; значит, у него повышенная температура.
Однако такое заключение не вытекает с необходимостью: люди с повышенной температурой действительно больны, но далеко не у всех больных такая температура.
Отличительная особенность правильного вывода заключается в том, что от истинных посылок он всегда ведёт к истинному заключению.
Этим объясняется тот огромный интерес, который логика проявляет к правильным выводам. Они позволяют из уже имеющегося знания получать новое знание, и притом с помощью «чистого» рассуждения, без всякого обращения к опыту, интуиции и т.п. Правильное рассуждение как бы разворачивает и конкретизирует наши знания. Оно даёт стопроцентную гарантию успеха, а не просто обеспечивает ту или иную – быть может, и высокую – вероятность истинного заключения.
Если посылки, или хотя бы одна из них, являются ложными, правильное рассуждение может давать в итоге как истину, так и ложь. Неправильные рассуждения могут от истинных посылок вести как к истинным, так и к ложным заключениям. Никакой определённости здесь нет. С логической необходимостью заключение вытекает только в случае правильных, обоснованных выводов.
Логика занимается, конечно, не только связями утверждений в правильных выводах, но и другими проблемами. В числе последних – смысл и значение выражений языка, различные отношения между понятиями, определение понятий, вероятностные и статистические рассуждения, софизмы и парадоксы и др. Но главная и доминирующая тема формальной логики – это, несомненно, анализ правильности рассуждения, исследование «принудительной силы речей», как говорил основатель этой науки – древнегреческий философ и логик Аристотель.
2. Логическая форма
Формальная логика, как уже говорилось, отделяет правильные способы рассуждения от неправильных и систематизирует первые.
Своеобразие формальной логики связано прежде всего с её основным принципом, в соответствии с которым правильность рассуждения зависит только от его логической формы.
Самым общим образом форму рассуждения можно определить как способ связи входящих в это рассуждение содержательных частей.
Основной принцип формальной логики предполагает – и это следует специально подчеркнуть, что каждое наше рассуждение, каждая мысль, выраженная в языке, имеет не только определённое содержание, но и определённую форму. Предполагается также, что содержание и форма отличаются друг от друга и могут быть разделены. Содержание мысли не оказывает никакого влияния на правильность рассуждений, и поэтому от него следует отвлечься. Для оценки правильности мысли существенной является лишь её форма. Её необходимо выделить в чистом виде, чтобы затем на основе такой «бессодержательной» формы решить вопрос о правильности рассматриваемого рассуждения.
Как известно, все предметы, явления и процессы имеют как содержание, так и форму. Наши мысли не являются исключением из этого общего правила. То, что они обладают определённым, меняющимся от одной мысли к другой содержанием, известно каждому. Но мысли имеют также форму, что обычно ускользает от внимания.
Смысл понятия логической формы лучше всего раскрыть на примерах.
Сравним два высказывания:
«Все вороны – птицы»,
«Все шахматисты – гроссмейстеры».
По содержанию они совершенно различны, к тому же первое является истинным, а второе ложным. И тем не менее сходство их несомненно. Это сходство, а точнее говоря, тождество, в их строении, форме. Чтобы выявить такое сходство, нужно отвлечься от содержания высказываний, а значит и от обусловленных им различий. Оставим поэтому в стороне ворон и шахматистов, птиц и гроссмейстеров. Заменим все содержательные компоненты высказываний латинскими буквами, скажем S и Р, не несущими никакого содержания. В итоге получим в обоих случаях одно и то же:
«Все S есть P».
Это и есть форма рассматриваемых высказываний. Она получена в результате отвлечения от конкретного их содержания. Но сама эта форма имеет все-таки некоторое содержание. Из неё мы узнаем, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Это не особенно богатое, но все-таки содержание, «формальное содержание».
Этот простой пример хорошо показывает одну из особенностей подхода формальной логики к анализу рассуждений – его высокую абстрактность.
В самом деле, все началось с очевидной мысли, что утверждения о воронах, которые являются птицами, и о шахматистах, сплошь являющихся гроссмейстерами, совершенно различны. И если бы не цели логического анализа, на этом различии мы и остановились бы, не увидев ничего общего между высказываниями «Все вороны – птицы» и «Все шахматисты – гроссмейстеры».
Отвлечение от содержания и выявление формы привело нас, однако, к прямо противоположному мнению: рассматриваемые высказывания имеют одну и ту же логическую форму и, следовательно, они полностью совпадают. Начав с мысли о полном различии высказываний, мы пришли к выводу об абсолютной их тождественности.
Рассмотрим далее два более сложных высказывания:
«Если число делится на 2, то оно чётное»,
«Если сейчас ночь, то сейчас темно».
Для выявления логической формы этих высказываний подставим вместо их содержательных компонентов слова «первое» и «второе», не несущие конкретного содержания. В результате получим, что оба эти высказывания имеют одну и ту же логическую форму:
«Если первое, то второе», т.е. каждое из них устанавливает условную связь, выражаемую словами «если, то», между двумя ситуациями, обозначаемыми словами «первое» и «второе». Если вместо последних слов использовать буквенные переменные, скажем, A и B, получим:
«Если A, то B».
Это и есть логическая форма данных сложных высказываний.
Легко понять, что такое пространственная форма. Скажем, форма здания характеризует не то, из каких элементов оно сложено, а только то, как эти элементы связаны друг с другом. Здание одной и той же формы может быть и кирпичным, и железобетонным.
Достаточно просты также многие непространственные представления о форме. Говорят, например, о форме классического романа, предполагающего постепенную завязку действия, кульминацию и, наконец, развязку. Все такие романы, независимо о их содержания, сходны в своей форме, способе связи содержательных частей.
В сущности, не намного более сложным для понимания является и понятие логической формы. Наши мысли слагаются из некоторых содержательных частей, как здание из кирпичей, блоков, панелей и т.п. Эти «кирпичики» мысли определённым образом связаны друг с другом. Способ их связи и представляет собой форму мысли.
Для выявления формы надо отвлечься от содержания мысли, заменить содержательные её части какими-нибудь пробелами или буквами. Останется только связь этих частей. В обычном языке она выражается словами: «все … есть …», «некоторые … есть …», «если …, то …», «… и …», «… или …», «неверно, что …» и т.п.
3. Дедукция и индукция
Умозаключение – это логическая операция, в результате которой из одного или нескольких принятых утверждений (посылок) получается новое утверждение – заключение (следствие).
В зависимости от того, существует ли между посылками и заключением связь логического следования, можно выделить два вида умозаключений.
В дедуктивном умозаключении эта связь опирается на логический закон, в силу чего заключение с логической необходимостью вытекает из принятых посылок. Как уже отмечалось, отличительная особенность такого умозаключения в том, что оно от истинных посылок всегда ведёт к истинному заключению.
К дедуктивным относятся, например, такие умозаключения:
Если данное число делится на 6, то оно делится на 3.
Данное число делится на 6.
Данное число делится на 3.
Если гелий металл, он электропроводен.
Гелий не электропроводен.
Гелий не металл.
Черта, отделяющая посылки от заключения, заменяет слово «следовательно».
В индуктивном умозаключении связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания, не имеющие чисто формального характера. В таком умозаключении заключение не следует логически из посылок и может содержать информацию, отсутствующую в них. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивно утверждения. Индукция даёт только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке.
Примерами индукции могут служить рассуждения:
Аргентина является республикой; Бразилия – республика; Венесуэла – республика;
Эквадор – республика.
Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства.
Все латиноамериканские государства являются республиками.
Италия – республика; Португалия – республика; Финляндия – республика;
Франция – республика.
Италия, Португалия, Финляндия, Франция – западноевропейские страны.
Все западноевропейские страны являются республиками.
Индукция не даёт полной гарантии получения новой истины из уже имеющихся. Максимум, о котором можно говорить, это определённая степень вероятности выводимого утверждения. Так, посылки и первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго – ложно. Действительно, все латиноамериканские государства – республики; но среди западноевропейских стран имеются не только республики, но и монархии, например, Англия, Бельгия и Испания.
Особенно характерными дедукциями являются логические переходы от общего знания к частному. Во всех случаях, когда требуется рассмотреть какое-то явление на основании уже известного общего принципа и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме дедукции (Все поэты – писатели; Лермонтов – поэт; следовательно, Лермонтов – писатель).
Рассуждения, ведущие от знания о части предметов к общему знанию обо всех предметах определённого класса, – это типичные индукции, поскольку всегда остаётся вероятность того, что обобщение окажется поспешным и необоснованным (Платон – философ; Аристотель – философ; значит, все люди – философы).
Нельзя вместе с тем отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. Дедукция – это логический переход от одной истины к другой, индукция – переход от достоверного знания к вероятному. К индуктивным умозаключениям относятся не одни обобщения, но и уподобления, или аналогии, заключения о причинах явлений и др.
Дедукция играет особую роль в обосновании утверждений. Если рассматриваемое положение логически следует из уже установленных положений, оно обосновано и приемлемо в той же мере, что и последние. Это – собственно логический способ обоснования утверждений, использующий чистое рассуждение и не требующий обращения к наблюдению, интуиции и т.д.
Подчёркивая важность дедукции в процессе обоснования, не следует, однако, отрывать её от индукции или недооценивать последнюю. Почти все общие положения, включая, конечно, и научные законы, являются результатом индуктивного обобщения. В этом смысле индукция – основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности. Но она порождает предположения, связывает их с опытом и тем самым сообщает им определённое правдоподобие, более или менее высокую степень вероятности. Опыт – источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, является необходимым средством его обобщения и систематизации.
Дедукция – это выведение заключений, столь же достоверных, как и принятые посылки.
В обычных рассуждениях дедукция только в редких случаях предстаёт в полной и развёрнутой форме. Чаще всего мы указываем не все используемые посылки, а лишь некоторые из них. Общие утверждения, о которых можно предполагать, что они хорошо известны, как правило, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит».
Нередко дедукция является настолько сокращённой, что о ней можно только догадываться. Восстановить её в полной форме, с указанием всех необходимых элементов и их связей бывает нелегко.
Проводить дедуктивное рассуждение, ничего не опуская и не сокращая, обременительно. Человек, указывающий все предпосылки своих заключений, создаёт впечатление какого-то педанта. И вместе с тем всякий раз, когда возникает сомнение в обоснованности сделанного вывода, следует возвращаться к самому началу рассуждения и воспроизводить его в возможно более полной форме. Без этого трудно или даже просто невозможно обнаружить допущенную ошибку.
Многие литературные критики полагают, что Шерлок Холмс был «списан» А.Конан-Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый учёный, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.
Однажды, рассказывает в своей автобиографии Конан-Дойл, в клинику пришёл больной, и Белл спросил его:
– Вы служили в армии?
– Так точно! – став по стойке смирно, ответил пациент.
– В горно-стрелковом полку?
– Так точно, господин доктор!
– Недавно ушли в отставку?
– Так точно!
– Были сержантом?
– Так точно! – лихо ответил больной.
– Стояли на Барбадосе?
– Так точно, господин доктор!
Студенты, присутствовавшие при этом диалоге, изумлённо смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.
Этот человек, проявив при входе в кабинет вежливость и учтивость, все же не снял шляпу. Сказалась армейская привычка. Если бы пациент был в отставке длительное время, то давно усвоил бы гражданские манеры. В осанке властность, по национальности он явно шотландец, а это говорит за то, что он был командиром. Что касается пребывания на Барбадосе, то пришедший болен элефантизмом (слоновостью) – такое заболевание распространено среди жителей тех мест.
Здесь дедуктивное рассуждение чрезвычайно сокращено. Опущены, в частности, все общие утверждения, без которых дедукция была бы невозможной.
Введённое ранее понятие «правильное рассуждение (умозаключение)» относится только к дедуктивному умозаключению. Лишь оно может быть правильным или неправильным. В индуктивном умозаключении вывод не связан логически с принятыми посылками. Поскольку «правильность» – это характеристика логической связи между посылками и заключением, а индуктивным умозаключением данная связь не предполагается, такое умозаключение не может быть ни правильным, ни неправильным. Иногда на этом основании индуктивные рассуждения вообще не включаются в число умозаключений.
4. Интуитивная логика
Под интуитивной логикой обычно понимают интуитивные представления о правильности рассуждений, сложившиеся стихийно в процессе повседневной практики мышления.
Интуитивная логика, как правило, успешно справляется со своими задачами в повседневной жизни, но совершенно недостаточна для критики неправильных рассуждений. Правильно ли рассуждает человек, когда говорит: «Если бы барий был металлом, он проводил бы электрический ток; барий проводит электрический ток; следовательно, он металл»? Чаще всего на основе логической интуиции отвечают: правильно, барий металл, и он проводит ток. Этот ответ, однако, неверен. Логическая правильность, как гласит теория, зависит только от способа связи утверждений. Она не зависит от того, истинны используемые в выводе утверждения или нет. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: «Если есть первое, то есть второе; второе есть; значит, есть и первое». Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся. В рассуждении: «Если у человека повышенная температура, он болен; человек болен; следовательно, у него повышенная температура» обе посылки могут быть истинными, а заключение ложным: многие болезни протекают без повышения температуры. Другой пример: «Если бы шёл дождь, земля была бы мокрой; но дождя нет; значит, земля не мокрая». Это рассуждение интуитивно обычно оценивается как правильное, но достаточно небольшого рассуждения, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но если дождя нет, из этого вовсе не следует, что она сухая: земля может быть просто полита или быть мокрой после таяния снега. Рассуждение опять-таки идёт по неправильной схеме: «Если первое, то второе; но первого нет; значит, нет и второго». Эта схема может привести от истинных посылок к ошибочному заключению: «Если человек художник, он рисует; человек рисует; значит, человек художник». Эти простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадёжной.
Обычно мы применяем логические законы, не задумываясь о них, нередко не подозревая о самом их существовании. Но бывает, что использование даже простой схемы сталкивается с известными трудностями.
Эксперименты, проводившиеся психологами с целью сопоставления мышления людей разных культур, наглядно показывают, что чаще всего причина трудностей в том, что схема рассуждения, его форма не выделяется в чистом виде. Вместо этого для решения вопроса о правильности рассуждения привлекаются не относящиеся к делу содержательные соображения. Обычно они связаны с какой-то конкретной ситуацией.
Вот как описывают ход одного из экспериментов, проводившихся в Африке, М.Коул и С.Скрибнер в книге «Культура и мышление».
Экспериментатор. Однажды паук пошёл на праздничный обед, ему сказали, что прежде чем приступить к еде, он должен ответить на один вопрос. Вопрос такой: «Паук и чёрный олень всегда едят вместе. Паук ест. Ест ли олень?»
Испытуемый. Они были в лесу?
Экспериментатор. Да.
Испытуемый. Они вместе ели?
Экспериментатор. Паук и олень всегда едят вместе. Паук ест. Ест ли олень?
Испытуемый. Но меня там не было. Как я могу ответить на такой вопрос?
Экспериментатор. Не можете ответить? Даже если вас там не было, вы можете ответить на этот вопрос. (Повторяет вопрос.)
Испытуемый. Да, да, чёрный олень ест.
Экспериментатор. Почему вы говорите, что чёрный олень ест?
Испытуемый. Потому что чёрный олень всегда весь день ходит по лесу и ест зеленые листья. Потом он немного отдыхает и снова встаёт, чтобы поесть.
Здесь очевидная ошибка. У испытуемого нет общего представления о логической правильности вывода. Чтобы дать ответ, он стремится опереться на какие-то факты, а когда экспериментатор отказывается помочь ему в поисках таких фактов, сам придумывает их.
Ещё пример из этого же исследования.
Экспериментатор. Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьёт сока тростника. Йакпало пьёт сок тростника. Сердится ли староста деревни?
Испытуемый. Люди не сердятся на других людей.
Экспериментатор повторяет задачу.
Испытуемый. Староста деревни в тот день не сердился.
Экспериментатор. Староста деревни не сердился? Почему?
Испытуемый. Потому что он не любит Флюмо.
Экспериментатор. Он не любит Флюмо? Скажи почему?
Испытуемый. Потому что, когда Флюмо пьёт сок тростника, это плохо. Поэтому староста деревни сердится, когда Флюмо так делает. А когда Йакпало иногда пьёт сок тростника, он ничего плохого не делает людям. Он идёт и ложится спать. Поэтому люди на него не сердятся. Но тех, кто напьётся сока тростника и начинает драться, староста не может терпеть в деревне.
Испытуемый имеет в виду скорее всего каких-то конкретных людей или просто выдумал их. Первую посылку задачи он отбросил и заменил её другим утверждением: люди не сердятся на других людей. Затем он ввёл в задачу новые данные, касающиеся поведения Флюмо и Йакпало. Ответ испытуемого на экспериментальную задачу был неправилен. Но он был результатом вполне логичных рассуждений на основе новых посылок.
Для анализа задачи, поставленной в первом эксперименте, переформулируем её так, чтобы были выявлены логические связи утверждений: «Если ест паук, то ест и олень; если ест олень, то ест и паук; паук ест; следовательно, олень тоже ест». Здесь три посылки. Вытекает ли из двух («Если ест паук, олень также ест» и «Паук ест») заключение «Олень ест»? Конечно. Рассуждение идёт по упоминавшейся уже схеме: «Если есть первое, то есть второе; есть первое; значит, есть второе». Она представляет собой логический закон. Правильность этого рассуждения не зависит, разумеется, от того, происходит ли все в лесу, присутствовал ли при этом испытуемый и т.п.
Несколько сложнее схема, по которой идёт рассуждение во второй задаче: «Если Флюмо или Йакпало пьют сок тростника, староста деревни сердится. Флюмо не пьёт сок тростника. Йакпало пьёт сок тростника. Сердится ли староста деревни?» Отвлекаясь от конкретного содержания, выявляем схему рассуждения: «Если есть первое или второе, то есть третье; первого нет, но есть второе; следовательно, есть третье». Эта схема является логическим законом, и, значит, рассуждение правильно. Схема близка указанной ранее схеме: «Если есть первое, то есть второе; есть первое; следовательно, есть второе». Различие только в том, что в качестве «первого» в более сложном рассуждении указываются две альтернативы, одна из которых тут же исключается.
Навык правильного мышления не предполагает каких-либо теоретических знаний, умения объяснить, почему что-то делается именно так, а не иначе. К тому же сама интуитивная логика, как правило, беззащитна перед лицом критики.
Усвоение языка есть одновременно и усвоение общечеловеческой, не зависящей от конкретных языков, логики. Без неё, как и без грамматики, нет, в сущности, владения языком. В дальнейшем стихийно сложившееся знание грамматики систематизируется и шлифуется в процессе школьного обучения. На логику же специального внимания обычно не обращается, её совершенствование остаётся стихийным процессом. Нет поэтому ничего странного в том, что, научившись на практике последовательно и доказательно рассуждать, человек затрудняется ответить, какими принципами он при этом руководствуется. Почувствовав сбой в рассуждении, он оказывается, как правило, не способным объяснить, какая логическая ошибка допущена. Это под силу только теории логики.
5. Некоторые схемы правильных рассуждений
В правильном рассуждении заключение вытекает из посылок с логической необходимостью, и общая схема такого рассуждения представляет собой логический закон.
Логические законы лежат, таким образом, в основе логически совершённого мышления. Рассуждать логически правильно – значит рассуждать в соответствии с законами логики.
Число схем правильного рассуждения (логических законов) бесконечно. Многие известны нам из практики рассуждения. Мы применяем их интуитивно, не отдавая себе отчёта, что в каждом правильно проведённом умозаключении мы используем тот или иной логический закон.
Вот некоторые, наиболее часто используемые, схемы.
Если есть первое, то есть второе; есть первое; следовательно, есть второе. Эта схема позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия. По этой схеме протекает, в частности, рассуждение: «Если лёд нагревают, он тает; лёд нагревают; значит, он тает».
Это логически корректное движение мысли иногда путается со сходным, но логически неправильным её движением от утверждения следствия условного высказывания к утверждению его основания: «Если есть первое, то есть второе; есть второе; значит, есть первое». Последняя схема не является логическим законом, от истинных посылок она может привести к ложному заключению. Скажем, идущее по этой схеме рассуждение «Если человеку восемьдесят лет, он стар; человек стар; следовательно, человеку восемьдесят лет» ведёт к ошибочному заключению, что старику ровно восемьдесят лет.
Если есть первое, то есть второе; но второго нет; значит, нет первого. Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания высказывания. Например: «Если наступает день, то становится светло; но сейчас не светло; следовательно, день не наступил». Иногда эту схему смешивают с логически некорректным движением мысли от отрицания основания условного высказывания к отрицанию его следствия: «Если есть первое, есть и второе; но первого нет; значит, нет и второго».
Если есть первое, то есть второе; следовательно, если нет второго, то нет и первого. Эта схема позволяет, используя отрицание, менять местами высказывания. К примеру, из высказывания «Если есть гром, есть также молния» получается высказывание «Если нет молнии, то нет и грома».
Есть по меньшей мере или первое или второе; но первого нет; значит, есть второе. Например: «Бывает день или ночь; сейчас ночи нет; следовательно, сейчас день».
Либо имеет место первое, либо второе; есть первое; значит, нет второго. Посредством этой схемы от утверждения двух взаимоисключающих альтернатив и установления того, какая из них присутствует, осуществляется переход к отрицанию другой альтернативы. Например: «Достоевский родился либо в Москве, либо в Петербурге; он родился в Москве; значит, неверно, что он родился в Петербурге». В американском вестерне «Хороший, плохой и злой» Бандит говорит: «Запомни, Однорукий, что мир делится на две части: тех, кто держит револьвер, и тех, кто копает. Револьвер сейчас у меня, так что бери лопату». Это рассуждение также опирается на рассматриваемую схему.
Неверно, что есть и первое, и второе; следовательно, нет первого или нет второго; Есть первое или есть второе; значит, неверно, что нет первого и нет второго. Эти и близкие им схемы позволяют переходить от утверждений с союзом «и» к утверждениям с союзом «или», и наоборот. Используя данные схемы, от утверждения «Неверно, что сегодня ветер и дождь» можно перейти к утверждению «Неверно, что сегодня ветер или неверно, что сегодня дождь» и от утверждения «Амундсен или Скотт был первым на Южном полюсе» перейти к утверждению «Неверно, что ни Амундсен, ни Скотт не является первым человеком, побывавшим на Южном полюсе».
Таковы некоторые схемы правильного рассуждения. В дальнейшем эти и другие схемы будут рассмотрены более детально и представлены с использованием специальной логической символики.
6. Традиционная и современная логика
История логики охватывает около двух с половиной тысячелетий. «Старше» формальной логики, пожалуй, только философия и математика.
В длинной и богатой событиями истории развития логики отчётливо выделяются два основных этапа. Первый – от древнегреческой логики до возникновения во второй половине прошлого века современной логики. Второй – с этого времени до наших дней.
На первом этапе, обычно называемом традиционной логикой, формальная логика развивалась очень медленно. Обсуждавшиеся в ней проблемы мало чем отличались от проблем, поставленных ещё Аристотелем. Это дало повод немецкому философу И.Канту (1724-1804) в своё время придти к выводу, что формальная логика является завершённой наукой, не продвинувшейся со времени Аристотеля ни на один шаг.
Кант не заметил, что ещё с XVII в. стали назревать предпосылки для научной революции в логике. Именно в это время получила ясное выражение идея представить доказательство как вычисление, подобное вычислению в математике.
Эта идея связана главным образом с именем немецкого философа и математика Г.Лейбница (1646-1716). По Лейбницу, вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими, не допускающими разночтения правилами, и его нельзя оспорить. Лейбниц мечтал о времени, когда умозаключение будет преобразовано в вычисление. Когда это случится, споры, обычные между философами, станут так же невозможны, как невозможны они между вычислителями. Вместо спора они возьмут в руки перья и скажут: «Будем вычислять».
Идеи Лейбница не оказали, однако, заметного влияния на его современников. Энергичное развитие логики началось позже, в XIX в.
Немецкий математик и логик Г.Фреге (1848-1925) в своих работах стал применять формальную логику для исследования оснований математики. Фреге был убеждён, что «арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никакого обоснования». Пытаясь свести математику к логике, он реконструировал последнюю. Логическая теория Фреге – провозвестник всех нынешних теорий правильного рассуждения.
Идея сведения всей чистой математики к логике была подхвачена английским логиком и философом Б.Расселом (1872-1970). Но последующее развитие логики показало неосуществимость этой грандиозной по своему замыслу попытки. Она привела, однако, к сближению математики и логики и к широкому проникновению плодотворных методов первой во вторую.
В России в конце прошлого – начале нынешнего века, когда научная революция в логике набрала силу, ситуация была довольно сложной. И в теории, и в практике преподавания господствовала так называемая «академическая логика», избегавшая острых проблем и постоянно подменявшая науку логику невнятно изложенной методологией науки, истолкованной к тому же по заимствованным и устаревшим образцам. И тем не менее были люди, стоявшие на уровне достижений логики своего времени и внёсшие в её развитие важный вклад. Прежде всего это доктор астрономии Казанского университета, логик и математик П.С.Порецкий. Сдержанное общее отношение к математической логике, разделявшееся многими русскими математиками, во многом осложнило его творчество. Часть своих работ он вынужден был опубликовать за границей. Но его идеи оказали в конечном счёте существенное влияние на развитие алгебраически трактуемой логики как в нашей стране, так и за рубежом. Порецкий первым в России начал читать лекции по современной логике, о которой он говорил, что это «по предмету своему есть логика, а по методу математика». Исследования Порецкого продолжают оказывать стимулирующее влияние на развитие алгебраических теорий логики и в наши дни.
Одним из первых (ещё в 1910 г.) сомнения в неограниченной приложимости логического закона противоречия, о котором пойдёт речь далее, высказал логик Н.А.Васильев. «Предположите, – говорил он, – мир осуществлённого противоречия, где противоречия выводились бы, разве такое познание не было бы логическим?» Васильев, подобно Ломоносову, наряду с научными статьями, писал порой и стихи. В них своеобразно преломлялись его логические идеи, в частности идея воображаемых (возможных) миров:
…Мне грезится безвестная планета,
Где все идёт иначе, чем у нас.
В качестве логики воображаемого мира он предложил свою теорию без закона противоречия, долгое время считавшегося центральным принципом логики. Васильев полагал необходимым ограничить и действие закона исключённого третьего, о котором также говорится в дальнейшем. В этом смысле Васильев явился одним из идейных предшественников логики наших дней. Идеи Васильева при его жизни подвергались жёсткой критике, в результате он оставил занятия логикой. Потребовалось полвека, прежде чем его «воображаемая логика» без законов противоречия и исключённого третьего была оценена по достоинству. Идеи, касающиеся ограниченной приложимости закона исключённого третьего и близких ему способов математического доказательства, были развиты математиками А.Н.Колмогоровым, В.А.Гливенко, А.А.Марковым и др. В результате возникла так называемая конструктивная логика, считающая неправомерным перенос ряда логических принципов, применимых в рассуждениях о конечных множествах, на область бесконечных множеств.
Известный русский физик П.Эренфест первым высказал гипотезу о возможности применения современной ему логики в технике. В 1910 г. он писал:
«Символическая формулировка даёт возможность „вычислять“ следствия из таких сложных систем посылок, в которых при словесном изложении почти или совершенно невозможно разобраться. Дело в том, что в физике и технике действительно существуют такие сложные системы посылок. Пример: пусть имеется проект схемы проводов автоматической телефонной станции. Надо определить: 1) будет ли она правильно функционировать при любой комбинации, могущей встретиться в ходе деятельности станции; 2) не содержит ли она излишних усложнений. Каждая такая комбинация является посылкой, каждый маленький коммутатор есть логическое „или-или“, воплощённое в эбоните и латуни; все вместе – система чисто качественных (сети слабого тока, поэтому не количественных) „посылок“, ничего не оставляющая желать в отношении сложности и запутанности. Следует ли при решении этих вопросов раз и навсегда удовлетвориться рутинным способом преобразования на графике? Правда ли, что, несмотря на существование уже разработанной алгебры логики, своего рода „алгебра распределительных схем“ должна считаться утопией?»
В дальнейшем гипотеза Эренфеста получила воплощение в теории релейно-контактных систем.
В общем, оглядываясь на историю распространения логики, можно сказать, что лучшие русские логики всегда стремились стоять на уровне современных им мировых теорий и концепций, органически чуждаясь всякого рода логического сектантства и сепаратизма.
Современную логику нередко называют математической, подчёркивая тем самым своеобразие новых её методов в сравнении с использовавшимися ранее в традиционной логике.
Одна из характерных черт этих методов – широкое использование разнообразных символов вместо слов и выражений обычного языка. Символы применял в ряде случаев ещё Аристотель, а затем и все последующие логики. Однако теперь в использовании символики был сделан качественно новый шаг. В логике стали использоваться специально построенные языки, содержащие только специальные символы и не включающие ни одного слова обычного разговорного языка.
Широкое использование символических средств послужило основанием того, что, новую логику стали называть символической. Названия «математическая логика» и «символическая логика», обычно употребляемые и сейчас, обозначают одно и то же – современную формальную логику. Она занимается тем же, чем всегда занималась логика – исследованием правильных способов рассуждения.
7. Современная логика и другие науки
С момента своего возникновения логика была самым тесным образом связана с философией. В течение многих веков логика считалась, подобно психологии, одной из «философских наук». И только во второй половине xix в. формальная – к этому времени уже математическая – логика «отпочковалась», как принято выражаться, от философии. Примерно в это же время от философии отделилась и стала самостоятельной научной дисциплиной психология. Но если отделение психологии было связано прежде всего с проникновением в неё опыта и эксперимента и сближением её с другими эмпирическими науками, то в отделении логики решающую роль сыграло проникновение в неё математических методов и сближение с математикой.
Математическая логика возникла, в сущности, на стыке двух столь разных наук, как философия, или точнее – философская логика, и математика. И тем не менее, взаимосвязь новой логики с философией не только не оборвалась, но, напротив, парадоксальным образом даже окрепла. Обращение к философии является необходимым условием прояснения логикой своих оснований. С другой стороны, использование в философии понятий, методов и аппарата современной логики несомненно способствует более ясному пониманию самих философских понятий, принципов и проблем.
Тесная связь современной логики с математикой придаёт особую остроту вопросу о взаимных отношениях этих двух наук. Среди многих точек зрения, высказывавшихся по этому поводу, были и две крайних, ведущих в общем-то к тому же самому конечному результату – объединению математики и логики в единую научную дисциплину, сведению их в одну науку.
Согласно Г.Фреге, Б.Расселу и их последователям, математика и логика – это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить её истинную и наиболее глубокую природу. Этот подход к обоснованию математики получил название логицизма.
Сторонники логицизма добились определённых успехов в прояснении основ математики. В частности, было показано, что математический словарь сводится к неожиданно краткому перечню основных понятий, которые принадлежат словарю чистой логики. Вся существующая математика была сведена к сравнительно простой и унифицированной системе исходных, принимаемых без доказательства положений, или аксиом, и правил вывода из них следствий, или теорем.
Однако в целом логицизм оказался утопической концепцией. Математика не сводима к логике, поскольку для построения математики необходимы аксиомы, устанавливающие существование в реальности определённых объектов. Но такие аксиомы имеют уже внелогическую природу.
Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас ещё считают главной – если не единственной – задачей математической логики уточнение понятия математического доказательства.
Тенденция включать математическую логику в число математических дисциплин и видеть в ней только теорию математического доказательства является, конечно, ошибочной. На самом деле задачи логики гораздо шире. Она исследует основы всякого правильного рассуждения, а не только строгого математического доказательства, и её интересует связь между посылками и следствиями в любых областях рассуждения и познания.
Современная логика тесно связана также с кибернетикой – наукой о закономерностях управления процессами и системами в любых областях: в технике, в живых организмах, в обществе. Основоположник кибернетики, американский математик Н.Винер не без оснований подчёркивал, что само возникновение кибернетики было бы немыслимо без математической логики. Автоматика и электронно-вычислительная техника, применяемые в кибернетике, были бы невозможны без использования алгебры логики – этого возникшего первым раздела современной логики. В управляющих системах, применяемых в кибернетике, значительное место занимают релейно-контактные схемы, моделирующие логические операции. Описание таких операций, даваемое логикой, способствует детальному анализу логического строения мысли и открывает поразительные перспективы автоматизации логических процессов.
Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.
Глава 2 Слова и вещи
1. Язык как знаковая система
Язык представляет собой необходимое условие существования абстрактного мышления.
Язык возникает одновременно с сознанием и мышлением. Являясь чувственно воспринимаемой оболочкой мышления, язык обеспечивает мысли человека реальное существование. Вне такой оболочки мысль недоступна для других. Язык – это непосредственная действительность мысли.
Логический анализ мышления всегда имеет форму исследования языка, в котором оно протекает и без которого оно не является возможным. В этом плане логика – наука о мышлении – есть в равной мере и наука о языке.
Мышление и язык – две предполагающие друг друга стороны процессов познания и общения. Язык участвует не только в выражении мысли, но и в самом её формировании. Нельзя противопоставлять «чистое», внеязыковое мышление и его «вербализацию», последующее выражение в языке.
Вместе с тем язык и мышление не тождественны. Каждая из сторон единства, составляемого ими, относительно самостоятельна и обладает своими специфическими законами.
Иногда предполагается, что единственным способом получения подлинной истины является мистическое «вживание» в предмет, позволяющее в одном акте постичь его. При этом мышлению с помощью языка противопоставляется непосредственное, внеязыковое познание. Задача языка сводится к передаче – и притом с необходимостью в более или менее искажённой форме – результатов интуитивного постижения. Очевидно, что настаивание на интуитивном характере нашего познания ведёт так или иначе к противопоставлению мышления и языка.
Язык представляет собой систему знаков, используемую для целей коммуникации и познания.
Системность языка выражается в том, что каждый язык, помимо словаря, имеет также синтаксис и семантику.
Синтаксические правила языка устанавливают способы образования сложных выражений из простых.
Семантические правила определяют способы придания значений выражениям языка. Это достигается указанием тех обстоятельств, в которых должны приниматься предложения определённого вида.
Правила значения обычно делятся на три группы: аксиоматические, дедуктивные и эмпирические.
Аксиоматические правила требуют принятия предложений определённого вида во всех обстоятельствах. Примером могут служить правила русского языка, предписывающие всем говорящим на этом языке всегда принимать предложения «Каждый холостяк не женат», «Сантиметр равен одной сотой метра», «Красное не есть чёрное» и т.п.
Дедуктивные правила требуют принятия следствий, вытекающих из некоторых посылок, если приняты сами посылки. Таково, например, правило, согласно которому, приняв предложения «Если Ив&heip;
В книге изложены основы логики, дается общее и доступное школьнику представление о законах нашего мышления и о науке, изучающей их, показан логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике.
Книга предназначена для учителей и учащихся общеобразовательных школ, лицеев, гимназий, колледжей.
Правильное рассуждение.
Слово «логика» употребляется довольно часто, но в разных значениях.
Нередко говорят о логике событий, логике характера и т. п. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков, наличие в них некоторой общей линии.
Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду присутствие или отсутствие таких его свойств, как последовательность, доказательность и т. п.
В третьем смысле «логика» является именем особой науки о мышлении, называемой также формальной логикой.
Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика - одна из них. Ее предмет - логические законы и логические операции мышления. Принципы, устанавливаемые логикой, необходимы, как и все научные законы. Мы можем не осознавать их, но вынуждены следовать им.
СОДЕРЖАНИЕ
Несколько вступительных слов
Глава 1. Предмет логики
§1. Правильное рассуждение
§2. Логическая форма
§3. Дедукция и индукция
§4. Некоторые схемы правильных рассуждений
§5. Традиционная и современная логика
§6. Современная логика и другие науки
Глава 2. Слова и вещи
§1. Язык как знаковая система
§2. Язык и мир
§3. Логическая грамматика
§4. О смысле бессмысленного
Глава 3. Имена
§1. Виды имен
§2. Неточные и неясные имена
§3. Отношения между именами
§4. Определение
§5. Деление
Глава 4. Высказывания
§1. Простые и сложные высказывания. Отрицание, конъюнкция, дизъюнкция
§2. Условное высказывание, импликация, эквивалентность
§3. Описательные и оценочные высказывания
Глава 5. Логические законы
§1. Понятие логического закона
§2. Закон противоречия
§3. Закон исключенного третьего
§4. Логические законы тождества, контрапозиции и другие
§5. Законы модальной логики
§6. Законы логики добра и долга
§7. Логическое следование
Глава 6. Логика категорических высказываний
§1. Категорические высказывания
§2. Логический квадрат
§3. Категорический силлогизм
Глава 7. Доказательство и опровержение
§1. Понятие доказательства и его структура
§2. Прямое и косвенное доказательство
§3. Виды косвенных доказательств
§4. Опровержение
§5. Ошибки в доказательстве
§6. Многозначные выражения и ситуативные слова
§7. Софизмы
Глава 8. Индуктивные рассуждения
§1. Индукция как вероятное рассуждение
§2. Неполная индукция
§3. Подтверждение следствий
§4. Полная индукция и математическая индукция
§5. Методы установления причинных связей
§6. Надежность индукции
§7. Аналогия.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Элементарная логика, Ивин Л.А., 1994 - fileskachat.com, быстрое и бесплатное скачивание.
- Основы металлургии, Том 5, Малые, благородные и радиоактивные металлы, Трансурановые элементы, Грейвер Н.С., Сажин Н.П., Стригин И.А., Троицкий А.В., 1968
Transcription
1 А.А. Ивин ЛОГИКА Учебное пособие Издание 2-е Москва Издательство "Знание" , Москва, Лубянский проезд, д. 4, комн. 28. Контактный телефон: (095) , Факс (095) ББК 87.4 И25 И25 Логика. Учебное пособие. Издание 2-е. - М.: Знание, с. ISBN СОДЕРЖАНИЕ Предисловие Глава 1 - Кто мыслит логично 1. Интуитивная логика. Принудительная сила речи Мнимая убедительность 2. Задачи логики Из истории логики Правильное рассуждение Логика и творчество Литература Контрольные вопросы Темы рефератов и докладов Глава 2 - Законы логики 1. Законы противоречия Формулировка закона противоречия Мнимые противоречия Противоречие "смерти подобно" Неявные противоречия Многообразные задачи противоречия 2. Закон исключительного третьего Некоторые применения закона Сомнения и универсальности закона Критика закона Брауэром 3. Еще законы Закон тождества Закон контрапозиции Законы де Моргана Модус поненс и модус толленс Утверждающе-отрицающий и отрицающе-утверждающий модусы Конструктивная и деструктивная дилеммы Закон Клавия 4. О так называемых "основных" законах логики Трактовка логических законов в традиционной логике Законы логики как элементы логической системы 5. Логические тавтологии Ошибочные истолкования логических тавтологий Литература Контрольные вопросы Темы рефератов и докладов Глава 3 - Неклассическая логика 1. Классическое и неклассическое в логике Из истории неклассической логики 2. Интуиционистская и многозначная логика
2 Основные идеи интуиционизма Многозначная логика 3. Модальная логика Модальные понятия Абсолютные и сравнительные модальности Единство модальной логики 4. Логика оценок и логика норм Возможность научной этики Законы логики оценок Законы логики норм 5. Другие разделы неклассической логики Логика квантовой механики Паранепротиворечивая логика Логика причинности Логика изменения Единство логики Литература Контрольные вопросы Темы рефератов и докладов Глава 4 - Искусство определения 1. Определение и его глубина Задачи определения 2. Неявные определения Контекстуальные определения Остенсивные определения Аксиоматические определения 3. Явные определения Требования к явному определению 4. Реальные и номинальные определения Определения-описания и определения-требования 5. Споры об определениях Границы эффективных определений Ясность системы понятой Литература Контрольные вопросы Темы рефератов и докладов Глава 5 - Искусство классификации 1. Операция деления Пример сумбурной классификации Деление понятий Требования к делению 2. Основание деления Характерная ошибка Дихотомическое деление 3. Естественная классификация Естественная и искусственная классификации Человек как объект классификации Еще примеры классификации Ловушки классификации Литература Контрольные вопросы Темы рефератов и докладов Глава 6 - Индуктивные рассуждения 1. Дедукция и индукция Определения дедукции и индукции Обычные дедукции Дедуктивная аргументация Понятие доказательства 2. Разновидности индукции Неполная индукция
3 "Перевернутые законы логики" Косвенное подтверждение Целевое обоснование Факты как примеры Факты как иллюстрации Образцы и оценки 3. Аналогия Схема умозаключения по аналогии Свернутые аналогии Аналогия свойств и аналогия отношений Аналогия как сходство несходного Вероятность выводов по аналогии Аналогия в искусстве Аналогия в науке и технике Аналогия в историческом исследовании Характерные ошибки Гадания и прорицания как аналогии Литература Контрольные вопросы Темы рефератов и докладов Глава 7 - Софизмы 1. Софизм - интеллектуальное мошенничество? Софизм как умышленный обман Недостатки стандартного истолкования софизмов 2. Апории Зенона "Ахиллес и черепаха", "Дихотомия" Апория "Медимн зерна" "Неопредмеченное знание" Софизмы и развитие знания 3. Софизмы и зарождение логики Софизмы и логический анализ языка Софизмы и противоречивое мышление Софизмы как особая форма постановки проблем Литература Контрольные вопросы Темы рефератов и докладов Глава 8 - Логические парадоксы 1. "Король логических парадоксов" Парадоксы и логика Варианты парадокса "Лжеца" Язык и метаязык Другие решения парадокса 2. Парадокс Рассела Множество обычных множеств Другие варианты парадокса 3. Парадоксы Греллинга и Берри Аутологические и гетерологические слова 4. Неразрешимый спор Решения парадокса "Протагор и Еватл" Правила, заводящие в тупик Парадокс "Крокодил и мать" Парадокс Санчо Пансы 5. Другие парадоксы Парадоксы неточных понятий Парадоксы индуктивной логики 6. Что такое логический парадокс Своеобразие логических парадоксов Парадоксы и современная логика Устранение и объяснение парадоксов Логическая грамматика Будущее парадоксов
4 7. Несколько парадоксов или то, что похоже на них Литература Контрольные вопросы Темы рефератов и докладов Вместо заключения ИВИН Александр Архипович, доктор философских наук, профессор, ведущий научный сотрудник Института философии РАН. Сфера научных интересов - логика и методология науки, теория аргументации, история теоретического мышления, философия истории. Автор книг: "Основания логики оценок" (М., 1970), "Логика норм" (М., 1973), "Логика оценок" (Берлин, 1975), "По законам логики" (М., 1983), "Искусство правильно мыслить" (М., 1986, 1990), "Строгий мир логики" (М., 1988), "Элементарная логика" (М., 1994), "Основы искусства аргументации" (М., 1996), "Введение в философию истории" (М., 1996) и др. Книга доступно, ясно и вместе с тем строго и систематично излагает основы логики - науки о принципах правильного мышления. Главное внимание уделяется тому, чтобы дать общее представление о законах нашего мышления, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной практике. Книга предназначена для преподавателей и учителей, студентов и учащихся старших классов школ, гимназий, лицеев и колледжей, для широкого круга читателей, интересующихся логикой и, в частности, для тех, кто в силу обстоятельств никогда не изучал эту науку. ПРЕДИСЛОВИЕ Эта книга посвящена логике - науке о принципах правильного мышления. Всегда было принято считать, что знание логики обязательно для образованного человека. Сейчас, в условиях коренного изменения характера человеческого труда, ценность такого знания возрастает. Свидетельство тому - растущее значение компьютерной грамотности, одной из теоретических основ которой является логика. Логические операции - такие, как определение, классификация, доказательство, опровержение и т.п. - применяются каждым человеком в его мыслительной деятельности. Но применяются неосознанно и нередко с погрешностями, без отчетливого представления о всей глубине и сложности тех мыслительных действий, с которыми связан каждый, даже самый элементарный акт мышления. Проблематика современной логики сложна и многообразна. И потому многое осталось за пределами учебного пособия. Его задача в том, чтобы дать общее и доступное представление о законах нашего мышления и о науке, изучающей их, показать логический анализ в действии, в применении к содержательно интересным проблемам, встречающимся в повседневной жизни. Логическая теория своеобразна. Она высказывает об обычном - о человеческом мышлении - то, что может показаться на первый взгляд без необходимости усложненным. К тому же основное ее содержание формулируется на особом, созданном специально для своих целей искусственном языке. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собой разумеющимся. Подобно тому, как умение говорить существовало еще до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Подавляющее большинство людей и сейчас размышляют и рассуждают, не обращаясь за помощью к особой науке и не рассчитывая на эту помощь. Некоторые склонны даже считать собственное мышление естественным процессом, требующим
5 анализа и контроля не больше чем, скажем, дыхание или ходьба. Разумеется, это заблуждение. Знакомство уже с первыми разделами книги покажет необоснованность такого чрезмерного оптимизма в отношении наших стихийно сложившихся навыков правильного мышления. Примеры, используемые в книге, связаны, как правило, с обычной деятельностью мышления. Значительное их число построено на материале художественной литературы и истории науки. Эти примеры призваны не только оживить изложение, но и наглядно продемонстрировать, что логическое - это не только предмет специальных размышлений, но и то, с чем постоянно сталкивается каждый. Кроме того, примеры позволяют показать, что реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач важным оказывается, как правило, все: и последовательность, и интуиция, и эмоции, и образное видение мира и многое другое. Глава 1 - Кто мыслит логично 1. Интуитивная логика В рассказе Л. Толстого "Смерть Ивана Ильича" есть эпизод, имеющий прямое отношение к логике. Иван Ильич видел, что он умирает, и был в постоянном отчаянии. В мучительных поисках какого-нибудь просвета он ухватился даже за старую свою мысль, что правила логики, верные всегда и для всех, к нему самому не приложимы. "Тот пример силлогизма, которому он учился в логике Кизеветгера: Кай - человек, люди смертны, потому Кай смертен, казался ему во всю его жизнь правильным только по отношению к Каю, но никак не к нему. То был Кай - человек, вообще человек, и это было совершенно справедливо; но он был не Кай и не вообще человек, а он всегда был совсем, совсем особенное от всех других существо... И Кай точно смертен, и ему правильно умирать, но мне, Ване, Ивану Ильичу, со всеми моими чувствами, мыслями, - мне это другое дело. И не может быть, чтобы мне следовало умирать. Это было бы слишком ужасно". Ход мыслей Ивана Ильича продиктован, конечно, охватившим его отчаянием. Только оно способно заставить предположить, что верное всегда л для всех окажется вдруг неприложимым в конкретный момент к определенному человеку. В уме, не охваченном ужасом, такое предположение не может даже возникнуть. Как бы ни были нежелательны следствия наших рассуждений, они должны быть приняты, если приняты исходные посылки. Принудительная сила речи Рассуждение - это всегда принуждение. Размышляя, мы постоянно ощущаем давление и несвободу. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое размышление и перейти к другой теме. Но если мы решили провести его до конца, то мы сразу же попадем в сети необходимости, стоящей выше нашей воли и наших желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, что из них вытекают, независимо от того нравятся они нам или не нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы автоматически лишаем себя возможности утверждать другое, несовместимое с уже допущенным. Если мы убеждены, что все металлы проводят электрический ток, мы должны признать также, что вещества, не проводящие ток, не относятся к металлам. Уверив себя, что каждая птица летает, мы вынуждены не считать птицами курицу и страуса. Из
6 того, что все люди смертны и Иван Ильич является человеком, мы обязаны заключить, что он смертен. В чем источник этого постоянного принуждения? Какова его природа? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Какие вообще принципы лежат в основе деятельности нашего мышления? Над этими вопросами человек задумался очень давно. Из этих раздумий выросла особая наука о мышлении - логика. Древнегреческий философ Платон настаивал на божественном происхождении человеческого разума. "Бог создал зрение, - писал он, - и вручил его нам, чтобы мы видели на небе движение Разума мира и использовали его для руководства движениями нашего собственного разума". Человеческий разум - это только воспроизведение той разумности, которая господствует в мире и которую мы улавливаем благодаря милости бога. Первый развернутый и обоснованный ответ на вопрос о природе и принципах человеческого мышления дал ученик Платона Аристотель. "Принудительную силу наших речей" он объяснил существованием особых законов - логических законов мышления. Именно они заставляют принимать одни утверждения вслед за другими и отбрасывать несовместимое с принятым. "К числу необходимого, - писал Аристотель, - принадлежит доказательство, так как если что-то безусловно доказано, то иначе уже не может быть; и причина этому - исходные посылки..." Подчеркивая безоговорочность логических законов и необходимость всегда следовать им, он замечал: "Мышление - это страдание", ибо "коль вещь необходима, в тягость она нам". С работ Аристотеля началось систематическое изучение логики и ее законов. Оно не прекращалось никогда, но в нашем веке были достигнуты особенно впечатляющие результаты. Мнимая убедительность В комедии Ж.-Б. Мольера "Лекарь поневоле" есть такой диалог: Сганарель. Мы, великие медики, с первого взгляда определяем заболевание. Невежа, конечно, стал бы в тупик и нагородил бы вам всякого вздору, но я немедленно проник в суть вещей и заявляю вам: ваша дочь нема. Жеронт. Так-то оно так, но я хотел бы услышать, отчего это случилось? Сганарель. Сделайте одолжение. Оттого что она утратила дар речи. Жеронт. Хорошо, но скажите мне, пожалуйста, причину, по которой она его утратила. Сганарель. Величайшие ученые скажут вам то же самое: оттого что у нее язык не ворочается. Жеронт. А в чем вы усматриваете причину того, что он не ворочается? Сганарель. Аристотель сказал бы по этому поводу... много хорошего. Жеронт. Охотно верю. Сганарель. О, это был великий муж! Жеронт. Не сомневаюсь. Сганарель. Подлинно великий! Вот настолько (показывает рукой) больше меня. Но продолжим наше рассуждение... Смешно, конечно, наблюдать, как мнимый специалист пытается убедить окружающих в своем высоком профессионализме. Ясно, что здесь налицо убедительность наизнанку. Но какие именно ошибки допускаются "лекарем поневоле"? Каждый ли из нас способен не только посмеяться над его неуклюжими рассуждениями, но и указать те конкретные нарушения правил аргументации, которые содержатся в них? Даже неспециалисту бросаются в глаза три грубые ошибки.
7 Первая - двукратное использование тавтологии, т.е. повторение с небольшой модификацией одного и того же вместо указания действительной причины ("ваша дочь нема... оттого что она утратила дар речи... оттого что у нее язык не ворочается"). Этот прием довольно часто используется для придания иллюзии убедительности пустым, бессодержательным речам. Вторая ошибка - подмена предмета обсуждения: сначала разговор идет о болезни, а затем он вдруг переключается на Аристотеля. Такой уход от темы беседы или спора - обычная хитрость тех, кто избегает высказываться по существу дела. И наконец, третья ошибка - употребление слова "великий" в двух совершенно разных смыслах, выдаваемых за один и тот же: "великий муж" - это вначале, "выдающийся муж", а затем - "высокий человек". Для обнаружения таких, лежащих на поверхности, ошибок, в общем-то, не нужны специальные знания. Вполне достаточно естественной логики, тех интуитивных представлений о правильности рассуждения, которые складываются у нас в процессе повседневной практики мышления. Слабость интуитивной логики. Однако далеко не всегда эта интуитивная логика успешно справляется со встающими перед ней задачами. Правильно ли рассуждает человек, когда говорит: "Если бы алюминий был металлом, он проводил бы электрический ток; алюминий проводит ток; значит, он металл? Чаще всего отвечают: правильно, алюминий металл, и он проводит ток. Этот ответ, однако, неверен. Логическая правильность, как гласит теория, это способ связи утверждений. Она не зависит от того, истинны используемые в выводе утверждения или нет. Хотя все три утверждения, входящие в рассуждение, верны, между ними нет логической связи. Рассуждение построено по неправильной схеме: "Если есть первое, значит, есть второе; второе есть; значит, есть и первое". Такая схема от истинных исходных положений может вести не только к истинному, но и к ложному заключению, она не гарантирует получения новых истин из имеющихся. Другой пример: "Если бы шел дождь, земля была бы мокрой; но дождя нет; следовательно, земля не мокрая". Это рассуждение обычно интуитивно оценивается как правильное, но достаточно небольшого размышления, чтобы убедиться, что это не так. Верно, что в дождь земля всегда мокрая; но из того, что дождя нет, вовсе не следует, что она сухая: земля может быть просто политой. Рассуждение опять идет по неправильной схеме. Эта схема может привести к ошибочному заключению. "Если у человека повышенная температура, он болен; у него нет повышенной температуры, значит, он не болен" - оба исходных утверждения верны, но вывод неверен: многие болезни протекают без повышенной температуры. Психологи занимаются проблемой связи мышления с культурой, предполагая, что люди разных эпох и соответствующих им культур мыслят по-разному. Ни к чему определенному эти исследования пока не привели, но они показали, сколь высок процент логических ошибок в рассуждениях, опирающихся на интуитивную логику. Во время исследования, проводившегося в Либерии и в США, предлагалась такая задача, представленная в форме сказки: "Два человека, которых звали Флюмо и Йакпало, захотели жениться. Они отправились на поиски невест, захватив с собой подарки: деньги и болезнь. Зайдя в дом, в котором жила красивая девушка, они сказали хозяину: "Если ты не выдашь свою дочь за одного из нас и не примешь его подарки, тебе придется плохо". Флюмо сказал: "Ты должен взять деньги и болезнь". Йакпало сказал: "Ты должен взять деньги или болезнь".
8 За кого из них выдал хозяин свою дочь и почему?" Эту, казалось бы, несложную задачу многие испытуемые не сумели решить правильно. Причем процент неверных ответов был одинаковым в двух группах испытуемых, заметно различавшихся по уровню своего образования. Эти простые примеры показывают, что логика, усвоенная стихийно, даже в обычных ситуациях может оказаться ненадежной. Навык правильного мышления не предполагает каких-либо теоретических знаний, умения объяснить, почему что-то делается именно так, а не иначе. Интуитивная логика почти всегда недостаточна для критики неправильного рассуждения. К тому же сама она, как правило, беззащитна перед лицом критики. Одна пожарная команда все время опаздывала на пожары. После очередного опоздания брандмейстер издал приказ: "В связи с тем, что команда систематически опаздывает на пожар, приказываю со следующего дня выезжать всем за 15 минут до начала пожара". Понятно, что этот приказ по своей сути абсурден. Над ним можно посмеяться, но выполнить его нельзя. Какие же именно принципы логики им нарушены? Как убедительно показать, что приказ логически несостоятелен? Интуитивной логики для ответа на подобные вопросы явно недостаточно. Л.Н. Толстой сказал о первых годах своей жизни: "Разве не тогда я приобрел все то, чем я теперь живу, и приобрел так много, так быстро, что во всю остальную жизнь я не приобрел и сотой доли того? От пятилетнего ребенка до меня только шаг. А от новорожденного до пятилетнего страшное расстояние". Среди ранних приобретений детского разума огромную ценность представляет язык, его словарный фонд и грамматика. Но не меньшую ценность имеет умение логически правильно мыслить. Незаметно и быстро оно усваивается в детстве. Ребенок может сказать: "У тебя большой шар, а у меня красный", "Принеси мне коробочку точно такой величины, но чтоб была побольше" и т.п. Но постепенно его мышление становится все более упорядоченным и последовательным. Слова складываются во фразы, фразы начинают связываться между собой так, что становится невозможным, приняв одни, не принять другие. Период детской логики заканчивается, ребенок начинает рассуждать как взрослый. Усвоение языка оказывается одновременно и усвоением общечеловеческой, не зависящей от конкретных языков логики. Без нее, как и без грамматики, нет, в сущности, владения языком. В дальнейшем стихийно сложившееся знание грамматики систематизируется и шлифуется в процессе школьного обучения. На логику же специального внимания не обращается, ее совершенствование остается стихийным процессом. Нет поэтому ничего странного в том, что, научившись на практике последовательно и доказательно рассуждать, человек затрудняется ответить, какими принципами он при этом руководствуется. Почувствовав сбой в рассуждении, он оказывается, как правило, не способным объяснить, какая логическая ошибка допущена. Это под силу только теории логики. 2. Задачи логики Слово "логика" употребляется нами довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.д. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. "Быть может, он безумец, - говорит один из героев рассказа английского писателя Г.К. Честертона, - но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума". Здесь "логика" как раз означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти. Слово "логика" употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду его определенность, последовательность, доказательность и т.п.
9 Кроме того, логика - особая наука о мышлении. Она возникла еще в IV в. до н.э., основателем ее считается древнегреческий философ Аристотель. Позднее она стала называться формальной логикой. Из истории логики Историю логики можно разделить на два основных этапа: первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено прежде всего проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию правильного рассуждения, "логику по предмету и математику по методу", как охарактеризовал ее известный русский логик П.С. Порецкий. Сфера конкретных интересов логики существенно менялась на протяжении ее истории, но основная цель всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, "что из чего следует", логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Вот несколько примеров логических, или формальных, требований к мышлению: - независимо от того, о чем идет речь, нельзя что-либо одновременно и утверждать и отрицать; - нельзя принимать некоторые утверждения, не принимая вместе с тем все то, что вытекает из них; - невозможное не является возможным, доказанное - сомнительным, обязательное - запрещенным и т.п. Эти и подобные им требования не зависят, конечно, от конкретного содержания наших мыслей, от того, что именно утверждается или отрицается, что считается возможным, а что - невозможным. Правильное рассуждение Задача логического исследования - обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в основе логически правильного мышления. Рассуждать логично - значит рассуждать в соответствии с законами логики. Отсюда понятна важность данных законов. Об их природе, источнике их обязательности высказывались разные точки зрения. Очевидно, что логические законы независимы от воли и сознания человека. Их принудительная сила для человеческого мышления объясняется тем, что они являются в конечном счете отображением в голове человека наиболее общих отношений самого реального мира, практики его познания и преобразования человеком. Французский дипломат Талейран заметил однажды, что реалист не может долго оставаться реалистом, если он не идеалист, и идеалист не может долго оставаться идеалистом, если он не реалист. Применительно к нашей теме эту мысль можно истолковать как указание на две основные опасности, всегда подстерегающие логическое исследование. С одной стороны, логика отталкивается от реального мышления, но она дает абстрактную его модель. С другой стороны, прибегая к абстракциям высокого уровня, логика не должна отрываться от конкретных, данных в опыте, процессов рассуждения.
10 Как и математика, логика не является эмпирической, опытной наукой. Но стимулы к развитию она черпает из практики реального мышления. А изменение последней так или иначе ведет к изменению самой логики. В общем и целом развитие логики всегда было связано с теоретическим мышлением своего времени и прежде всего с развитием науки. Конкретные рассуждения дают логике материал, из которого она извлекает то, что именуется логическим законом, формой мысли и т.д. Теории логической правильности оказываются в итоге очищением, систематизацией и обобщением практики мышления. Современная логика с особой наглядностью подтверждает это. Она активно реагирует на изменения в стиле и способе научного мышления, на осмысление его особенностей в теории науки. Сейчас логическое исследование научного знания активно ведется в целом ряде как давно освоенных, так и новых областей. Можно выделить четыре основных направления этого исследования: анализ логического и математического знания, применение логического анализа к опытному знанию, применение логического анализа к оценочно-нормативному знанию, применение логического анализа в исследовании приемов и операций, постоянно используемых во всех сферах научной деятельности. Логика не только используется в исследовании научного познания, но и сама получает мощные импульсы для развития в результате воздействия своих научных приложений. Имеет место именно взаимодействие логики и науки, а не простое применение готового аппарата логики к некоторому внешнему для него материалу. Логика и творчество Иногда можно услышать мнение, будто логика препятствует творчеству. Последнее опирается на интуицию, требует внутренней свободы, раскрепощенного, раскованного полета мысли. Логика же связывает мышление своими жесткими схемами, анатомирует его, предписывая контролировать каждый его шаг. Нет веры к вымыслам чудесным, Рассудок все опустошил И, покорив законам тесным И воздух, и моря, и сушу, Как пленников их обнажил... Ф.И. Тютчев Не делает ли логика человека скучным, однотонным, лишенным всякой светотени? Нет. Творчество без всяких ограничений - это не более чем фантастика. Законы логики стесняют человеческое мышление не больше чем любые другие научные законы. Подлинная свобода не в пренебрежении необходимостью и выражающими ее законами, а в следовании им. Логичность сама по себе не исключает ни интуицию, ни фантазию. Дилемма "либо логика, либо интуиция" несостоятельна. Даже детская игра подчиняется определенным ограничениям. Нельзя не считаться с ограничительными принципами логики и наивно полагать, будто можно обходиться без них. Надо максимально овладеть этими принципами, сделать их применение естественным и свободным, не затрудняющим движения мысли. Только в этом случае станет возможным подлинное творчество, предполагающее не только способность выдвинуть интересную идею, но и умение убедительно обосновать ее. Литература Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. - М.: Гильберт Д., Аккерман В. Основы теоретической логики. - М.: Ивин А.А. По законам логики. - М.: 1983.
11 Ивин А.А. Элементарная логика. - М.: Ивлев Ю.В. Логика. - М.: Попов П.С., Стяжкин Н.И. Развитие логических идей от античности до эпохи Возрождения. - М.: Стяжкин Н.И. Формирование математической логики. - М.: Контрольные вопросы Как складывается интуитивная логика? В чем основные слабости интуитивной логики? В каких смыслах употребляется слово "логика"? Что является основной задачей логики? Какие основные этапы прошла в своем развитии логика? Что значит рассуждать логично? Препятствует ли логика творчеству? Темы рефератов и докладов Предмет логики Два этапа в развитии логики Логическая форма Правильные и неправильные рассуждения Интуитивная логика Логика и другие науки Глава 2 - Законы логики 1. Закон противоречия В логике, как и во всякой науке, главное - законы. Логических законов бесконечно много, и в этом ее отличие от большинства других наук. Однородные законы объединяются в логические системы, которые тоже обычно именуются логиками. Без логического закона нельзя понять, что такое логическое следование и что такое доказательство. Правильное, или, как обычно говорят, логичное, мышление - это мышление по законам логики, по тем абстрактным схемам, которые фиксируются ими. Законы логики составляют тот невидимый каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь. Формулировка закона противоречия Из бесконечного множества логических законов самым популярным является закон противоречия. Он был открыт одним из первых и сразу же объявлен наиболее важным принципом не только человеческого мышления, но и самого бытия. И вместе с тем в истории логики не было периода, когда этот закон не оспаривался бы и когда дискуссии вокруг него совершенно затихали бы. Закон противоречия говорит о противоречащих друг другу высказываниях, т.е. о таких высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания "Луна - спутник Земли" и "Луна не является спутником Земли", "Трава - зеленая" и "Неверно, что трава зеленая" и т.п. В одном из противоречащих высказываний что-то утверждается, в другом - это же самое отрицается. Если обозначить буквой А произвольное высказывание, то выражение не-а, будет отрицанием этого высказывания. Идея, выражаемая законом противоречия, кажется простой и даже банальной: высказывание и его отрицание не могут быть вместе истинными. Используя вместо высказываний буквы, эту идею можно передать так: неверно, что А
12 и не-а. Неверно, например, что трава зеленая и не зеленая, что Луна спутник Земли и не спутник Земли и т.д. Закон противоречия говорит о противоречащих высказываниях - отсюда его название. Но он отрицает противоречие, объявляет его ошибкой и тем самым требует непротиворечивости - отсюда другое распространенное имя - закон непротиворечия. Мнимые противоречия Большинство неверных толкований этого закона и большая часть попыток оспорить его приложимость, если не во всех, то хотя бы в отдельных областях, связаны с неправильным пониманием логического отрицания, а значит, и противоречия. Высказывание и его отрицание должны говорить об одном и том же предмете, рассматриваемом в одном и том же отношении. Эти два высказывания должны совпадать во всем, кроме одной единственной вещи: то, что утверждается в одном, отрицается в другом. Если эта простая вещь забывается, противоречия нет, поскольку нет отрицания. В романе Ф. Рабле "Гаргантюа и Пантагрюэль" Панург спрашивает Труйогана, стоит жениться или нет. Труйоган как истинный философ отвечает довольно загадочно: и стоит, и не стоит. Казалось бы, явно противоречивый, а потому невыполнимый и бесполезный совет. Но постепенно выясняется, что никакого противоречия здесь нет. Сама по себе женитьба - дело неплохое. Но плохо, когда, женившись, человек теряет интерес ко всему остальному. Видимость противоречия связана здесь с лаконичностью ответа Труйогана. Если же пренебречь соображениями риторики и, лишив ответ загадочности, сформулировать его полностью, станет ясно, что он непротиворечив и может быть даже небесполезен. Стоит жениться, если будет выполнено определенное условие, и не стоит жениться в противном случае. Вторая часть этого утверждения не является, конечно, отрицанием первой его части. Можно ли описать движение без противоречия? Иногда отвечают, что такое описание не схватило бы самой сути движения - последовательной смены положения тела в пространстве и во времени. Движение внутренне противоречиво и требует для своего описания оборотов типа: "Движущееся тело находится в данном месте, и движущееся тело не находится в данном месте". Поскольку противоречиво не только механическое движение, но и всякое изменение вообще, любое описание явлений в динамике должно быть - при таком подходе - внутренне противоречивым. Разумеется, этот подход представляет собой недоразумение. Можно просто сказать: "Дверь полуоткрыта". Но можно заявить: "Дверь открыта и не открыта", имея при этом в виду, что она открыта, поскольку не является плотно притворенной, и вместе с тем не открыта, потому что не распахнута настежь. Подобный способ выражения представляет собой, однако, не более чем игру в риторику и афористичность. Никакого действительного противоречия здесь нет, так как нет утверждения и отрицания одного и того же, взятого в одном и том же отношении. "Березы опали и не опали", - говорят одни, подразумевая, что некоторые березы уже сбросили листву, а другие нет. "Человек и ребенок, и старик", - говорят другие, имея в виду, что один и тот же человек в начале своей жизни - ребенок, а в конце ее - старик. Действительного противоречия в подобных утверждениях, конечно же, нет. Точно так же, как его нет в словах песни: "Речка движется и не движется... Песня слышится и не слышится..." Те примеры, которые обычно противопоставляют закону непротиворечия, не являются подлинными противоречиями и не имеют к нему никакого отношения. В "Исторических материалах" Козьмы Пруткова нашел отражение такой эпизод:
13 "Некий, весьма умный, XIX века ученый справедливо тогдашнему германскому императору заметил: "Отыскивая противоречия, нередко на мнимые наткнуться можно и в превеликие от того и смеху достойные ошибки войти: не явное ли в том, ваше величество, покажется малоумному противоречие, что люди в теплую погоду обычно в холодное платье облачаются, а в холодную, насупротив того, завсегда теплое надевают?"...сии, с достоинством произнесенные, ученого слова произвели на присутствующих должное действие, и ученому тому, до самой смерти его, всегда особливое внимание оказывалось". Этот поучительный случай описывается под заголовком: "Наклонность противоречия нередко в ошибки ввести может". Применительно к нашей теме можно сделать такой вывод: наклонность видеть логические противоречия там, где их нет, обязательно ведет к неверному истолкованию закона непротиворечия и попыткам ограничить его действие. В оде "Бог" - вдохновенном гимне человеческому разуму - Г.Р. Державин соединяет вместе явно несоединимое:...я телом в прахе истлеваю, Умом громам повелеваю, Я царь - я раб, я червь - я бог! Но здесь нет противоречия. Противоречие "смерти подобно..." Если ввести понятия истины и лжи, закон противоречия можно сформулировать так: никакое высказывание не является вместе истинным и ложным. В этой версии закон звучит особенно убедительно. Истина и ложь - это две несовместимые характеристики высказывания. Истинное высказывание соответствует действительности, ложное не соответствует ей. Тот, кто отрицает закон противоречия, должен признать, что одно и то же высказывание может соответствовать реальному положению вещей и одновременно не соответствовать ему. Трудно понять, что означают в таком случае сами понятия истины и лжи. Иногда закон противоречия формулируют следующим образом: из двух противоречащих друг другу высказываний одно является ложным. Эта версия подчеркивает опасность, связанную с противоречием. Тот, кто допускает противоречие, вводит в свои рассуждения или в свою теорию ложное высказывание. Тем самым он стирает границу между истиной и ложью, что, конечно же, недопустимо. Римский философ-стоик Эпиктет, вначале раб одного из телохранителей императора Нерона, а затем секретарь императора, так обосновывал необходимость закона противоречия: "Я хотел бы быть рабом человека, не признающего закона противоречия. Он велел бы мне подать себе вина, я дал бы ему уксуса или еще чего похуже. Он возмутился бы, стал бы кричать, что я даю ему не то, что он просил. А я сказал бы ему: ты не признаешь ведь закона противоречия, стало быть, что вино, что уксус, что какая угодно гадость: все одно и то же. И необходимости ты не признаешь, стало быть, никто не силах принудить тебя воспринимать уксус как что -то плохое, а вино как хорошее. Пей уксус как вино и будь доволен. Или так: хозяин велел побрить себя. Я отхватываю ему бритвою ухо или нос. Опять начинаются крики, но я повторил бы ему свои рассуждения. И все делал бы в таком роде, пока не принудил бы хозяина признать истину, что необходимость непреодолима и закон противоречия всевластен". Так комментировал Эпиктет слова Аристотеля о принудительной силе необходимости, и в частности закона противоречия. Смысл этого эмоционального комментария сводится, судя по всему, к идее, известной еще Аристотелю: из противоречия можно вывести все, что угодно. Тот,
14 кто допускает противоречие в своих рассуждениях, должен быть готов к тому, что из распоряжения принести ему вина будет выведено требование подать уксуса, из команды побрить - команда отрезать нос и т.д. Один из законов логики говорит: из противоречивого высказывания логически следует любое высказывание. Появление в какой-то теории противоречия ведет в силу этого закона к ее разрушению. В ней становится доказуемым все, что угодно, были смешиваются с небылицами. Ценность такой теории равна нулю. Конечно, в реальной жизни все обстоит не так страшно, как это рисует данный закон. Ученый, обнаруживший в какой-то научной теории противоречие, не спешит обычно воспользоваться услугами закона, чтобы дискредитировать ее. Чаще всего противоречие отграничивается от других положений теории, входящие в него утверждения проверяются и перепроверяются до тех пор, пока не будет выяснено, какое из них является ложным. В конце концов ложное утверждение отбрасывается, и теория становится непротиворечивой. Только после этого она обретает уверенность в своем будущем. Противоречие - это еще не смерть научной теории. Но оно подобно смерти. Неявные противоречия Никто, пожалуй, не утверждает прямолинейно, что дождь идет и не идет или что трава зеленая и одновременно не зеленая. А если и утверждает, то только в переносном смысле. Противоречие вкрадывается в рассуждение, как правило, в неявном виде. Чаще всего противоречие довольно легко обнаружить. В начале века, когда автомобилей стало довольно много, в английском графстве было издано распоряжение: если два автомобиля подъезжают одновременно к пересечению дорог под прямым углом, то каждый из них должен ждать, пока не проедет другой. Это распоряжение внутренне противоречиво и потому невыполнимо. У детей популярны головоломки такого типа: что произойдет, если всесокрушающее пушечное ядро, сметающее на своем пути все, попадет в несокрушимый столб, который нельзя ни повалить, ни сломать? Ясно, что ничего не произойдет: подобная ситуация логически противоречива. Однажды актер, исполнявший эпизодическую роль слуги, желая хотя бы чуть-чуть увеличить свой текст, произнес: - Синьор, немой явился... и хочет с вами поговорить. Давая партнеру возможность поправить ошибку, другой актер ответил: - А вы уверены, что он немой? - Во всяком случае, он сам так говорит... Этот "говорящий немой" так же противоречив, как и "знаменитый разбойник, четвертованный на три неравные половины" или как "окружность со многими тупыми углами". Противоречие может быть и не таким явным. М. Твен рассказывал о беседе с репортером, явившимся взять у него интервью: - Есть ли у вас брат? - Да, мы звали его Билль. Бедный Билль! - Так он умер? - Мы никогда не могли узнать этого. Глубокая тайна парит над этим делом. Мы были - усопший и я - двумя близнецами и, имея две недели от роду, купались в одной лохани. Один из нас утонул в ней, но никогда не могли узнать который. Одни думают что Билль, другие - что я. - Странно, но вы-то, что вы об этом думаете? - Слушайте, я открою вам тайну, которой не поверял еще ни одной живой душе. Один из нас двоих имел особенный знак на левой руке, и это был я. Так что тот ребенок, что утонул... Понятно, что если бы утонул сам рассказчик, он не выяснял бы, кто же все-таки
15 утонул: он сам или его брат. Противоречие маскируется тем, что говорящий выражается так, как если б он был неким третьим лицом, а не одним из близнецов. Скрытое противоречие является стержнем и маленького рассказа польского писателя -юмориста Э. Липиньского: "Жан Марк Натюр, известный французский художник -портретист, долгое время не мог схватить сходство с португальским послом, которого как раз рисовал. Расстроенный неудачей, он уже собирался бросить работу, но перспектива высокого гонорара склонила его к дальнейшим попыткам добиться сходства. Когда портрет близился к завершению и сходство было уже почти достигнуто, португальский посол покинул Францию, и портрет остался с несхваченным сходством. Натюр продал его очень выгодно, но с этого времени решил сначала схватывать сходство и только потом приступать к написанию портрета". Уловить сходство несуществующего портрета с оригиналом так же невозможно, как невозможно написать портрет, не написав его. В комедии Козьмы Пруткова "Фантазия" некто Беспардонный намеревается продать "портрет одного знаменитого незнакомца: очень похож...". Здесь ситуация обратная: если оригинал неизвестен, о портрете нельзя сказать, что он похож. Кроме того, о совершенно неизвестном человеке нелепо утверждать, что он знаменит. Многообразные задачи противоречия Противоречие недопустимо в строгом рассуждении, когда оно смешивает истину с ложью. Но в обычной речи, как очевидно из приведенных примеров, у противоречия много разных задач. Оно может выступать в качестве основы сюжета какого-либо рассказа, быть средством достижения особой художественной выразительности и т.д. "Настоящие художники слова, - пишет немецкий лингвист К.Фосслер, - всегда осознают метафорический характер языка. Они все время поправляют и дополняют одну метафору другой, позволяя словам противоречить друг другу и заботясь лишь о связности и точности своей мысли". Реальное мышление - и тем более художественное - не сводится к одной логичности. В нем важно все: и ясность и неясность, и доказательность и зыбкость, и точное определение и чувственный образ. В нем может оказаться нужным и противоречие, если оно к месту. Известно, что Н.В. Гоголь не жаловал чиновников. В "Мертвых душах" они изображены с особым сарказмом. Они "были, более или менее, люди просвещенные: кто читал Карамзина, кто "Московские ведомости", кто даже и совсем ничего не читал". Хороша же просвещенность, за которой только чтение газеты, а то и вовсе ничего нет! Испанский писатель XVI-XVII вв. Ф. Кеведо так озаглавил свою сатиру: "Книга обо всем и еще о многом другом". Его не смутило то, что, если книга охватывает "все", для "многого другого" уже не остается места. Классической фигурой стилистики, едва ли не ровесницей самой поэзии, является оксюморон - сочетание логически враждующих понятий, вместе создающих новое представление. "Пышное природы увяданье", "свеча темно горит" (А.С. Пушкин), "живой труп" (Л.Н. Толстой), "ваш сын прекрасно болен" (В.В. Маяковский) - все это оксюмороны. А в строках стихотворения А.А. Ахматовой "смотри, ей весело грустить, такой нарядно обнаженной" сразу два оксюморона. Один поэт сказал о Г.Р. Державине: "Он врал правду Екатерине". Без противоречия так хорошо и точно, пожалуй, не скажешь. Нелогично утверждать одновременно А и не-а.
16 Но каждому хорошо понятно двустишие римского поэта I в. до н.э. Катулла: "Да! Ненавижу и вместе люблю. - Как возможно, ты спросишь? Не объясню я. Но так чувствую, смертно томясь". "...Все мы полны противоречий. Каждый из нас - просто мешанина несовместимых качеств. Учебник логики скажет вам, что абсурдно утверждать, будто желтый цвет имеет цилиндрическую форму, а благодарность тяжелее воздуха; но в той смеси абсурдов, которая составляет человеческое "Я", желтый цвет вполне может оказаться лошадью с тележкой, а благодарность - серединой будущей недели". Этот отрывок из романа английского писателя С. Моэма "Луна и грош" выражает сложность, а нередко и прямую противоречивость душевной жизни человека. "...Человек знает, что хорошо, но делает то, что плохо", - с горечью замечал Сократ. Вывод из сказанного как будто ясен. Настаивая на исключении логических противоречий, не следует, однако, всякий раз "поверять алгеброй геометрию" и пытаться втиснуть все многообразие противоречий в прокрустово ложе логики. 2. Закон исключенного третьего Закон исключительного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным. В использовавшейся уже полусимволической форме: А или не-а, т.е. истинно высказывание А или истинно его отрицание, высказывание не-а. Конкретными приложениями этого закона являются, к примеру, высказывания: "Аристотель умер в 322 г. до н.э. или он не умер в этом году", "Личинки мух имеют голову или не имеют ее". Истинность отрицания равнозначна ложности утверждения. В силу этого закон исключенного третьего можно передать и так: каждое высказывание является истинным или ложным. Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, или так, как говорит его отрицание, и никакой третьей возможности нет. Некоторые применения закона Рассказывают историю про одного владельца собаки, который очень гордился воспитанием своего любимца. На его команду: "Эй! Приди или не приходи!" - собака всегда либо приходила, либо нет. Так что команда в любом случае оказывалась выполненной. Человек говорит прозой или не говорит прозой, кто-то рыдает или не рыдает, собака выполняет команду или не выполняет и т.п. - других вариантов не существует. Мы можем не знать, противоречива некоторая конкретная теория или нет, но на основе закона исключенного третьего еще до начала исследования мы вправе заявить: она или непротиворечива, или противоречива. Этот закон с иронией обыгрывается в художественной литературе. Причина иронии понятна: сказать "Нечто или есть, или его нет", значит, ровным счетом ничего не сказать. И смешно, если кто-то этого не знает. В комедии Мольера "Мещанин во дворянстве" есть такой диалог: Г-н Журден....А теперь я должен открыть вам секрет. Я влюблен в одну великосветскую даму, и мне хотелось бы, чтобы вы помогли написать ей записочку, которую я собираюсь уронить к ее ногам.
17 Учитель философии. Конечно, вы хотите написать ей стихи? Г-н Журден. Нет, нет, только не стихи. Учитель философии. Вы предпочитаете прозу? Г-н Журден. Нет, я не хочу ни прозы, ни стихов. Учитель философии. Так нельзя: или то, или другое. Г-н Журден. Почему? Учитель философии. По той причине, сударь, что мы можем излагать свои мысли не иначе, как прозой или стихами. Г-н Журден. Не иначе, как прозой или стихами? Учитель философии. Не иначе, сударь. Все, что не проза, то стихи, а что не стихи, то проза. В известной сказке Л. Кэрролла "Алиса в Зазеркалье" Белый Рыцарь намерен спеть Алисе "очень, очень красивую песню". - Когда я ее пою, все рыдают... или... - Или что? - спросила Алиса, не понимая, почему Рыцарь вдруг остановился. - Или... не рыдают... В сказке А.Н. Толстого "Золотой ключик, или Приключения Буратино" народный лекарь Богомол заключает после осмотра Буратино: - Одно из двух: или пациент жив или он умер. Если он жив - он останется жив или не останется жив. Если он мертв - его можно оживить или нельзя оживить. Сомнения в универсальности закона Оба закона - и закон противоречия и закон исключенного третьего - были известны еще до Аристотеля. Он первым дал, однако, их ясные формулировки, подчеркнул важность этих законов для понимания мышления и бытия и вместе с тем выразил определенные сомнения в универсальной приложимости второго из них. "...Невозможно, - писал Аристотель, - чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении (и все другое, что мы могли бы еще уточнить, пусть будет уточнено во избежание словесных затруднений) - это, конечно, самое достоверное из всех начал". Такова формулировка закона противоречия и одновременно предупреждение о необходимости сохранять одну и ту же точку зрения в высказывании и его отрицании "во избежание словесных затруднений". Здесь же Аристотель полемизирует с теми, кто сомневается в справедливости данного закона: "...не может кто бы то ни было считать одно и то же существующим и несуществующим, как это, по мнению некоторых, утверждает Гераклит". О законе исключенного третьего: "...не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать". От Аристотеля идет также живущая и в наши дни традиция давать закону противоречия, закону исключенного третьего, да и другим логическим законам, три разные интерпретации. В одном случае закон противоречия истолковывается как принцип логики, говорящей о высказываниях и их истинности: из двух противоречащих друг другу высказываний только одно может быть истинным. В другом случае этот же закон понимается как утверждение об устройстве самого мира: не может быть так, чтобы что-то одновременно существовало и не существовало. В третьем случае этот закон звучит уже как истина психологии, касающаяся своеобразия нашего мышления: не удается так размышлять о какой-то вещи, чтобы она оказывалась такой и вместе с тем не такой. Нередко полагают, что эти три варианта различаются между собой только
18 формулировками. На самом деле это совершенно не так. Устройство мира и своеобразие человеческого мышления - темы эмпирического, опытного исследования. Получаемые с его помощью положения являются эмпирическими истинами. Принципы же логики совершенно иначе связаны с опытом и представляют собой не эмпирические, а логически необходимые истины. В дальнейшем, когда речь пойдет об общей природе логических законов и логической необходимости, недопустимость подобного смешения логики, психологии и теории бытия станет яснее. Аристотель сомневался в приложимости закона исключенного третьего к высказываниям о будущих событиях. В настоящий момент наступление некоторых из них еще не предопределено. Нет причины ни для того, чтобы они произошли, ни для того, чтобы они не случились. "Через сто лет в этот же день будет идти дождь", - это высказывание сейчас скорее всего ни истинно, ни ложно. Таким же является его отрицание. Ведь сейчас нет причины ни для того, чтобы через сто лет пошел дождь, ни для того, чтобы его через сто лет не было. Но закон исключенного третьего утверждает, что или само высказывание, или его отрицание истинно. Значит, заключает Аристотель, хотя и без особой уверенности, данный закон следует ограничить одними высказываниями о прошлом и настоящем и не прилагать его к высказываниям о будущем. Гораздо позднее, уже в нашем веке, рассуждения Аристотеля о законе исключенного третьего натолкнули на мысль о возможности принципиально нового направления в логике. Но об этом поговорим позже. В XIX в. Гегель весьма иронично отзывался о законе противоречия и законе исключенного третьего. Последний он представлял, в частности, в такой форме: "Дух является зеленым или не является зеленым", и задавал "каверзный" вопрос: какое из этих двух утверждений истинно? Ответ на этот вопрос не представляет, однако, труда. Ни одно из двух утверждений: "Дух зеленый" и "Дух не зеленый" не является истинным, поскольку оба они бессмысленные. Закон исключенного третьего приложим только к осмысленным высказываниям. Только они могут быть истинными или ложными. Бессмысленное же не истинно и не ложно. Гегелевская критика логических законов опиралась, как это нередко бывает, на придание им того смысла, которого у них нет, и приписывание им тех функций, к которым они не имеют отношения. Случай с критикой закона исключенного третьего - один из примеров такого подхода. Сделанные вскользь, разрозненные и недостаточно компетентные критические замечания Гегеля в адрес формальной логики получили, к сожалению, широкое хождение. В логике в конце XIX - начале XX вв. произошла научная революция, в корне изменившая лицо этой науки. Но даже огромные успехи, достигнутые логикой, не смогли окончательно искоренить тех ошибочных представлений о ней, у истоков которых стоял Гегель. Не случайно немецкий историк логики X. Шольц писал, что гегелевская критика формальной логики была злом настолько большим, что его и сейчас трудно переоценить. Критика закона Брауэром Резкой, но хорошо обоснованной критике подверг закон исключенного третьего голландский математик Л. Брауэр. В начале этого века он опубликовал три статьи, в которых выразил сомнение в неограниченной приложимости законов логики и прежде всего закона исключенного третьего. Первая из этих статей не превышала трех страниц, вторая - четырех, а вместе они не занимали и семнадцати страниц. Но впечатление, произведенное ими, было чрезвычайно сильным. Брауэр был убежден, что логические законы не являются абсолютными истинами, не зависящими от того, к чему они прилагаются. Возражая против закона исключенного третьего, он настаивал на том, что между утверждением и его отрицанием имеется еще третья возможность, которую нельзя исключить. Она обнаруживает себя при рассуждениях о бесконечных
Положение об аккредитации СМИ на сезон 2013/2014 ООО «КХЛ-Маркетинг» Статья 1. Сезонная аккредитация СМИ 1. Сезонная аккредитация СМИ, предоставляющая возможность осуществления профессиональной деятельности
More information«Русский язык по пятницам» Новосибирский государственный университет 9 марта 2012 г. Занятие 8 ПРАВОПИСАНИЕ НЕ С ПРИЧАСТИЯМИ Причастие это особая форма глагола, которая обозначает признак предмета по действию
More information1. Автомобили. За и против 2. Богатые - только они успешные. Согласны ли вы? 3. Будущее. Больше плохо будет или хорошего. Ваше мнение 4. Внешний вид. Многие представители молодежи уделяют очень много внимания
More information2007 PARACHUTE FONTS sophisticated opentype fonts for designers creatives visionaries and trendsetters SPECIMEN MANUAL PF Playskool Pro OpenType PS supports Latin, Greek, Cyrillic, Eastern European, Turkish,
More informationICE Partners Интеграция 3CX Phone System c Microsoft CRM 4.0. Исходящие вызовы. Краткое описание Данное руководство описывает пошаговую настройку возможности осуществления исходящих вызовов из Microsoft
More informationMathematical Structures and Modeling 2014. N. 1(29). PP. 13 30 UDC 510.5 SPACE-TIME ASSUMPTIONS BEHIND NP-HARDNESS OF PROPOSITIONAL SATISFIABILITY O. Kosheleva, Ph.D. (Math.), Associate Professor, e-mail:
More informationSAP HANA roadmap Dr. Uwe Grigoleit Global head of Business Development Suite on HANA and HANA Applications SAP HANA COUNCIL 31 октября 2014 г., Москва Disclaimer This presentation outlines our general
More informationResults-Based Management (RBM) Guiding Principles INDEX 1. PREFACE... 4 2. BRIEF HISTORICAL BACKGROUND... 5 3. WHAT IS RBM?... 6 4. WHAT IS A RESULT?... 8 5. HOW TO FORMULATE AN EXPECTED RESULT?... 8 6.
More informationEdgars Letinskis, Andris Ozols, Elena Ozola (Latvia) BUSINESS INCUBATORS WITHIN THE NATIONAL INNOVATION SYSTEM OF LATVIA The first 11 business incubators were established in Latvia in 2007-2008 under the
More informationОпыт настройки системы автоматизированного перевода пользовательского контента Евдокимов Л. В. ([email protected]), Молчанов А. П. ([email protected]) ООО «ПРОМТ», Санкт-Петербург, Россия
More informationR. STEINBERG 277 CLASSES OF ELEMENTS OF SEMISIMPLE ALGEBRAIC GROUPS ROBERT STEINBERG Given a semisimple algebraic group G, we ask: how are the elements of G partitioned into conjugacy classes and how do
More informationLAPPEENRANTA UNIVERSITY OF TECHNOLOGY School of Business Master s Degree Programme in Strategy, Innovation and Sustainability ST. PETERSBURG STATE UNIVERSITY Graduate School of Management Master s Degree
More informationEcological Footprint (number of Earths) 1.5 Secretariat of the Convention on Biological Diversity 1.0 0.5 0 World Biocapacity CBD Technical Series No. 58 1961 1965 1970 1975 1980 1985 1995 2000 2000 2006
More informationКОМПЬЮТЕРНЫЕ ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЕ 2015 Т. 7 3 С. 511 516 СЕКЦИОННЫЕ ДОКЛАДЫ УДК: 004.272 Applications of on-demand virtual clusters to high performance computing I. G. Gankevich a, S. G. Balyan
More information@ ß & Th fj ffj 9 ¼ Ą ą Ğ ğ Ł ł Д д Ж ж δ Σ σ Cyrus font family Regular, italic, black & black italic Multilingual support, iso 1, iso 2, iso 3, iso 4, iso 5, iso 7 by Michael Parson A a @ ß & Th fj ffj
More informationMODULAR DATA CENTER: THE HOLISTIC VIEW Maxim AMZARAKOV Director, INO Uptime Technology Address: 9, Chasovaya str., Moscow, 125315, Russian Federation E-mail: [email protected] Rafael SUKHOV
More informationКОМПЬЮТЕРНЫЕ ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЕ 2015 Т. 7 3 С. 581 586 СЕКЦИОННЫЕ ДОКЛАДЫ УДК: 004.27 A CPU benchmarking characterization of ARM based processors R. G. Reed a, M. A. Cox, T. Wrigley, B. Mellado
More informationSQL QUERY OPTIMIZATION FOR HIGHLY NORMALIZED BIG DATA Nikolay I. GOLOV Lecturer, Department of Business Analytics, School of Business Informatics, Faculty of Business and Management, National Research
More informationPerson Organization Fit as a Significant Factor of Creating Company s Value Implications for Human Capital Measurement Department of Human Capital Development, Warsaw School of Economics Human capital
More information(Psychology) Bozhok N.O. National University of Food Technologies Psychological peculiarities of frustration tolerance formation in adolescence Annotation: In the article, the age category of adolescence
More informationUSING THE XLMINER TOOL FOR DATA MINING IN CUSTOMER RELATIONSHIP MANAGEMENT I. Polaka and A. Sukov Keywords: data mining software, classification, clustering, associative rules, XLMiner 1. Introduction
More informationEditorial Council Chief Editor: Bishop of Gatchina Amvrosy (Ermakov), Candidate of Theology, Rector of the Saint Petersburg Orthodox Theological Archimandrite Avgustin (Nikitin), Candidate of Theology,
More informationЧто и как спрашивают в социальных вопросно-ответных сервисах по-русски? Мухин М. ([email protected]), Уральский федеральный университет, Екатеринбург, Россия Браславский П. ([email protected]), Kontur Labs/Уральский
More informationRevista Internacional de Educación para la Justicia Social (RIEJS), 4(1), 111-129. doi: 10.15336/riejs Cultivating Global Citizenship in Higher Education: Civic Engagement and Service Learning in Joint
More informationПечатается по решению научно-методического совета ф-та РГФ (протокол 5 от 17 июня 2013 г.) Academic Matters. Учебно-методическое пособие по английскому языку для студентов естественно-научных факультетов.
More informationУДК 316.614.6 Krystyna Teresa Panas doctor of Psychology Management Academy in Warsaw (Poland) TRANSACTIONS AND PSYCHOLOGICAL GAMES IN INTERPERSONAL COMMUNICATION Кристина Тереза Панас. Коммуникативные
More informationEnterprise Architecture Modeling with SoaML using BMM and BPMN MDA Approach in Practice Andrey Sadovykh, Philippe Desfray SOFTEAM, 21 Avenue Victor Hugo, 76016 Paris, France email: {andrey.sadovykh, philippe.desfray}@softeam.fr
More informationACTA SLAVICA ESTONICA II. Труды по русской и славянской филологии. Литературоведение VIII. Jaan Kross and Russian Culture. Tartu, 2012 THE AUTOBIOGRAPHICAL STORY OF ARTIST JOHANN KÖLER (in the wake of
More informationTHE LINGUISTIC PECULIARITIES OF ADVERTISMENT Idiatullina Albina Eurasian national L.N.Gumilev University Supervisor a candidate of pedagogical sciences Tussupbekova M.Zh. This research work is devoted
More informationImpact of Budget Cuts on the Lives of In-Home Support Services Consumers in San Francisco Prepared for the San Francisco In-Home Supportive Services Public Authority by the Institute for Civic and Community
More information1.1 MEDIA COVERAGE Barents Spektakel 2012 1.1.1 NORWEGIAN MASS MEDIA KUNSTFORUM Spektakulær festival, Amalie Marie Selvik, 17.02.2012: http://www.kunstforum.as/2012/02/spektakulaer-festival/ KUNST Spektakulært
More informationENGLISH for Law Students in two parts Part 2 Minsk BSU 1998 Учебник английского языка для студентов-юристов в двух частях Часть 2 Минск БГУ 1998 Рецензент: Л.М. Лещева, доктор филологических наук, профессор
More informationUDC 378.14.015.62 Standard Interview Questions for Educational Program Accreditation in the Association for Engineering Education of Russia Siberian Transport University S.I. Gerasimov Saint Petersburg
More informationRussian Supercomputing Days 2015 Distributed Adaptive VoIP Load Balancing in Hybrid Clouds Распределенная Адаптивная Балансировка Нагрузки VoIP в Гибридных Облачных Вычислениях * Jorge M. Cortés-Mendoza
More informationCORPORATE OWNERSHIP & CONTROL КОРПОРАТИВНАЯ СОБСТВЕННОСТЬ И КОНТРОЛЬ Postal Address: Postal Box 36 Sumy 40014 Ukraine Tel: +380-542-698125 Fax: +380-542-698125 e-mail: [email protected] [email protected]
More information174 Srp Arh Celok Lek. 2015 Mar-Apr;143(3-4):174-179 DOI: 10.2298/SARH1504174I ОРИГИНАЛНИ РАД / ORIGINAL ARTICLE UDC: 615.03-053.9 Impact of Educational Intervention on Prescribing Inappropriate Medication
More informationУДК :338.22 Management of innovations N. Marinova, PhD, D. Tsenov Academy of Economics, Svishtov, Bulgaria DECISION SUPPORT SYSTEMS DEVELOPMENT AND BENEFITS OF BUSINESS INTELLIGENCE SYSTEMS
More informationCREDIT SCORING BASED ON SOCIAL NETWORK DATA DECISION MAKING AND BUSINESS INTELLIGENCE Alexey A. MASYUTIN Post-graduate student, School of Data Analysis and Artificial Intelligence, Faculty of Computer
More informationRegulation of research internship for students of 1st and 2nd year of Master degree program Political Analysis and Public Policy at NRU HSE. Approved by the department meeting on August 31, 2011 (Department
More informationExperience and Working Conditions of Project Managersin Poland Research Report 1 Department of Human Capital Development, Warsaw School of Economics, Poland Abstract This paper reveals the project management
More informationРешения Symantec для защиты данных в виртуальных и облачных инфраструктурах Алексей Дудников Менеджер по развитию бизнеса ИБ 1 Успешные модели использования облаков 2 Решения для построения облаков Вашей
More informationJob Satisfaction and Attitude of Remaining in Workplace Most Strongly Correlated Factors in Poland and Italy 1 Abstract Staff turnover significantly influences companies, as it is largely the state and
More informationDOI: 10.2298/SARH1504153M ОРИГИНАЛНИ РАД / ORIGINAL ARTICLE UDC: 616.12-007.2-091.5 153 Myocardial Bridges: A Prospective Forensic Autopsy Study Jelena Micić-Labudović 1, Tatjana Atanasijević 1, Vesna
More informationSURVEILLANCE REPORT Tuberculosis surveillance and monitoring in Europe 214 www.ecdc.europa.eu www.euro.who.int Tuberculosis surveillance and monitoring in Europe 214 Tuberculosis surveillance and monitoring
More informationVimpelCom Annual Report Годовой отчет 20 05 2005 VimpelCom Annual Report Годовой отчет Celebrating our10th onnyse year Contents Содержание 4 Company Profile 4 Информация о Компании 8 Financial Highlights
More informationTHINK ECONOMY. THINK KEYA. WEIGH T...180G/m 2 SIZES... PRODUCT ID... MC180HC UNITS/BOX... PACKS... 10/10 PC MEN S T-SHIRT HEAVY COTTON 180 G % Heavy Cotton KEYA 04 T-SHIRTS 150G 10 T-SHIRTS 180G 16 T-SHIRTS
More information64 SCIENCE AND ART IN SOCIAL WORK: AN OLD QUESTION IN THE MODERN ARMENIAN CONTEXT MIRA ANTONYAN The exact nature of social work has been the subject of debate in recent decades. As social work has gained
More informationМИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Федеральное агентство по образованию Курганский государственный университет Кафедра иностранных языков гуманитарных специальностей АНГЛИЙСКИЙ ЯЗЫК
More informationGRADUATE SCHOOL OF MANAGEMENT St. Petersburg State University Master in International Technology and Innovation Management LAPPEENRANTA UNIVERSITY OF TECHNOLOGY School of Business Master in International
More informationWww.pwc.ru/en/online-retail2011 Finding the Future Online E-commerce trends in Russia Changes in online consumer behaviour, new e-commerce models and key trends in online retail November 2011 Acknowledgements:
More information2007 PARACHUTE FONTS sophisticated opentype fonts for designers creatives visionaries and trendsetters SPECIMEN MANUAL PF Beau Sans Pro OpenType PS supports Latin, Greek, Cyrillic, Eastern European, Turkish,
More informationУДК ;(437.1/2) Îòðàñëåâàÿ è ðåãèîíàëüíàÿ ýêîíîìèêà: ïðîáëåìû óïðàâëåíèÿ è ïóòè ðåøåíèÿ R. Zeman, L. Polanecký FACTORING AND ITS USE IN DOMESTIC AND FOREIGN TRADE IN THE CZECH
More informationAll-Russian Primary Education (1894 1917): Developmental Milestones Аleksander А. Cherkasov Sochi State University ABSTRACT Basing on large statistical material, the article considers all- Russian primary
More informationMarina Zakharova Moscow State Linguistic University Russia, Moscow E-Mail: [email protected] Scenario-based business studies Abstract: The article highlights the innovative learning by doing approach to
More informationКазанский (Приволжский) федеральный университет Институт языка Кафедра английского языка Essential Journalism and Media Writing Учебное пособие для студентов, обучающихся по специальности «Журналистика»
More informationIntegrated Electronic Health Record J.Vinarova, N.Tzacheva Sofia, Bulgaria In the abstract of this article, we have described a real working in Occupational Health Services INTEGRAL ELECTRONIC HEALTH RECORD
More informationDOI: 10.2298/SARH1406301Z ОРИГИНАЛНИ РАД / ORIGINAL ARTICLE UDC: 616.314-089.28-06 ; 616.314-008.8:579.8 301 Changes in Subgingival Microflora after Placement and Removal of Fixed Orthodontic Appliances
More informationEliminating Malaria Case-study 1 Achieving elimination in Turkmenistan Eliminating Malaria Case-study 1 Achieving elimination in Turkmenistan WHO Library Cataloguing-in-Publication Data Achieving elimination
More informationУДК 331.108.26 (075) QUALITY MANAGEMENT SYSTEM AS THE MAIN TOOL OF INTERNATIONAL INTEGRATION OF EDUCATIONAL ORGANIZATIONS Yu.M. Kliot, E.V. Bykovskaya Tambov State Technical University, Tambov Represented
More informationMcCabe, Alexander (2013) Dostoevsky s French reception: from Vogüé, Gide, Shestov and Berdyaev to Marcel, Camus and Sartre (1880-1959). PhD thesis http://theses.gla.ac.uk/4337/ Copyright and moral rights
Предисловие
Логика – одна из самых старых наук. Её богатая событиями история началась ещё в Древней Греции и насчитывает две с половиной тысячи лет. В конце прошлого – начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы и наука как бы обрела второе дыхание. Теперь логика – одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Говорить о логике и легко, и одновременно сложно. Легко потому, что её законы лежат в основе нашего мышления. Интуитивно они известны каждому. Всякое движение мысли, постигающей истину и добро, опирается на эти законы и без них невозможно. В этом смысле логика общеизвестна.
Один из героев комедии Мольера только случайно обнаружил, что он всю жизнь говорил прозой. Так и с усвоенной нами стихийно логикой. Можно постоянно применять её законы – и притом весьма умело – и вместе с тем не иметь ясного представления ни об одном из них.
Однако, стихийно сложившиеся навыки логически совершённого мышления и научная теория такого мышления совсем разные вещи. Логическая теория своеобразна. Она высказывает об обычном – о человеческом мышлении – то, что кажется на первый взгляд необычным и без необходимости усложнённым. К тому же основное её содержание формулируется на особом, созданном специально для этих целей искусственном языке. Отсюда сложность первого знакомства с логикой: на привычное и устоявшееся надо взглянуть новыми глазами и увидеть глубину за тем, что представлялось само собою разумеющимся.
Подобно тому, как умение говорить существовало ещё задолго до грамматики, так и искусство правильно мыслить существовало до возникновения науки логики. Подавляющее большинство людей и сейчас размышляют и рассуждают, не обращаясь за помощью к особой науке и не рассчитывая на эту помощь. Некоторые склонны даже считать собственное мышление естественным процессом, требующим анализа и контроля не больше, чем, скажем, дыхание или ходьба.
Разумеется, это заблуждение. Знакомство уже с первыми разделами книги покажет необоснованность такого чрезмерного оптимизма в отношении наших стихийно сложившихся навыков правильного мышления.
Настоящий учебник рассчитан на представителей гуманитарных специальностей. Символические средства, широко используемые современной логикой, сведены к минимуму. Особое внимание уделяется естественному языку и тем логическим ошибкам, которые возможны при его употреблении. Гуманитарные науки отличаются от естественных, в частности, тем, что устанавливают эксплицитные оценки и нормы. В связи с этим в книге подробно обсуждаются проблемы, связанные с неописательными употреблениями языка и с аргументацией в поддержку оценок и норм. Понятие понимания – одно из центральных в методологии гуманитарного познания. В главе, посвящённой пониманию, анализируется логическая структура этой операции и три основных области её приложения: понимание поведения, понимание языковых выражений и понимание природы. При описании способов аргументации особое внимание уделяется теоретическим и контекстуальным аргументам, находящим широкое применение в гуманитарных науках.
Лет триста назад авторы книг по логике считали своим долгом предостеречь читателя от торопливости при чтении: «В водах логики не следует плыть с полными парусами». С тех пор логика сделала гигантский шаг вперёд. Её содержание расширилось и углубилось. И старый этот совет кажется теперь особенно полезным.
Задачи логики
1. Правильное рассуждение
Слово «логика» употребляется довольно часто, но в разных значениях.
Нередко говорят о логике событий, логике характера и т.п. В этих случаях имеется в виду определённая последовательность и взаимозависимость событий или поступков, наличие в них некоторой общей линии.
Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду присутствие или отсутствие таких его свойств, как последовательность, доказательность и т.п.
В третьем смысле «логика» является именем особой науки о мышлении, называемой также формальной логикой .
Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика – одна из них. Её предмет – логические законы и логические операции мышления. Принципы, устанавливаемые логикой, необходимы, как и все научные законы. Мы можем не осознавать их, но вынуждены следовать им.
Формальная логика – наука о законах и операциях правильного мышления.
Основной задачей логики является отделение правильных способов рассуждения (выводов, умозаключений) от неправильных .
Правильные выводы называются также обоснованными, последовательными или логичными .
Рассуждение представляет собой определённую, внутренне обусловленную связь утверждений. От нашей воли зависит, на чем остановить свою мысль. В любое время мы можем прервать начатое рассуждение и перейти к другой теме. Но если мы решим провести его до конца, то сразу же попадём в сети необходимости, стоящей выше нашей воли и желаний. Согласившись с одними утверждениями, мы вынуждены принять и те, что из них следуют, независимо от того, нравятся они нам или нет, способствуют нашим целям или, напротив, препятствуют им. Допустив одно, мы тем самым автоматически лишаем себя возможности утверждать другое, несовместимое с уже допущенным.
Если мы убеждены, что все жидкости упруги, мы должны признать также, что вещества, не являющиеся упругими, не относятся к жидкостям. Убедив себя, что каждое водоплавающее существо обязательно дышит жабрами, мы исключаем из разряда водоплавающих дышащих лёгкими – китов и дельфинов.
В чем источник этой логической необходимости? Что именно следует считать несовместимым с принятыми уже утверждениями и что должно приниматься вместе с ними? Из размышления над этими вопросами и выросла особая наука о мышлении – логика. Отвечая на вопрос «что из чего следует?», она отделяет правильные способы рассуждения от неправильных и систематизирует первые.
Правильным является следующий вывод, использовавшийся в качестве стандартного примера ещё в Древней Греции:
Все люди смертны; Сократ – человек; следовательно, Сократ смертен.
Первые два высказывания – это посылки вывода, третье – его заключение .
Правильным будет, очевидно, и такое рассуждение:
Всякий металл электропроводен; натрий – металл; значит, натрий электропроводен.
Сразу же можно заметить сходство данных двух выводов, но не в содержании входящих в них утверждений, а в характере связи этих утверждений между собою. Можно даже почувствовать, что с точки зрения правильности эти выводы совершенно идентичны: если правильным является один из них, то таким же будет и другой, и притом в силу тех же самых оснований.
Ещё один пример правильного вывода, связанного со знаменитым опытом Фуко:
Если Земля вращается вокруг своей оси, маятники, качающиеся на её поверхности, постепенно изменяют плоскость своих колебаний; Земля вращается вокруг своей оси; значит, маятники на её поверхности постепенно изменяют плоскость своих колебаний.
Как протекает это рассуждение о Земле и маятниках? Сначала устанавливается условная связь между вращением Земли и изменением плоскости колебания маятников. Затем констатируется, что Земля действительно вращается. Из этого выводится, что маятники в самом деле постепенно изменяют плоскость своих колебаний. Это заключение вытекает с какой-то принудительной силой. Оно как бы навязывается всем, кто принял посылки рассуждения. Именно поэтому можно было бы сказать также, что маятники должны изменять плоскость своих колебаний, с необходимостью делают это.
Схема данного рассуждения проста: если есть первое, то есть второе; имеет место первое; значит, есть и второе.
Принципиально важным является то, что, о чем бы мы ни рассуждали по такой схеме – о Земле и маятниках, о человеке или химических элементах, о мифах или богах, рассуждение останется правильным.
Чтобы убедиться в этом, достаточно подставить в схему вместо слов «первое» и «второе» два утверждения с любым конкретным содержанием.
Изменим несколько данную схему и будем рассуждать так: если есть первое, то имеется второе; имеет место второе; значит, есть и первое.
Например:
Если идёт дождь, земля мокрая; земля мокрая; следовательно, идёт дождь.
Этот вывод, очевидно, неправилен. Верно, что всякий раз, когда идёт дождь, земля мокрая. Но из этого условного утверждения и того факта, что земля мокрая, вовсе не вытекает, что идёт дождь. Земля может оказаться мокрой и без дождя, её можно намочить, скажем, из шланга, она может быть мокрой после таяния снега и т.д.