ОСНОВЫ
ЛОГИКИ

В.А. БОЧАРОВ,  В.И. МАРКИН

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

Москва
ИД «ФОРУМ» — ИНФРА-М
2015 

УДК 16(075.8) 
 
 
ФЗ          Издание не подлежит маркировке 
ББК 87.4я73 
 
          № 436-ФЗ    в соответствии с п. 1 ч. 4 ст. 11 
        Б72

Р е ц е н з е н т ы :  
доктор философских наук, зав. кафедрой философии 
и методологии науки философского факультета 
МГУ им. М.В. Ломоносова, проф. В.Г. Кузнецов; 
ведущий научный сотрудник Института философии РАН, 
доктор философских наук, В.Л. Васюков 

Бочаров В.А., Маркин В.И.
Б72  Основы логики: учебник / В.А. Бочаров, В.И. Маркин. — М.: ИД 
«ФОРУМ» : ИНФРА-М. 2015. — 336 с. — (Классический  
              университетский учебник). 
ISBN 978-5-8199-0169-4 (ИД «ФОРУМ») 
ISBN 978-5-16-002293-2 (ИНФРА-М, print) 
ISBN 978-5-16-102483-6 (ИНФРА-М, online) 
 
Этот учебник представляет собой основное содержание курса лекций по 
логике, который авторы в течение ряда лет читали на философском и 
психологическом факультетах Московского государственного университета им. 
М.В. Ломоносова. 
Учебник предназначен для студентов гуманитарных и естественных 
факультетов университетов, а также для всех желающих изучать логику 
самостоятельно, или усовершенствоваться в ее знании. 

УДК 16(075.8) 
                                                                                                              ББК 87.4я73 

© Бочаров В.А., Маркин В.И., 2015  
© ИД «ФОРУМ», 2015  
© МГУ им. М.В. Ломоносова, 
художественное оформление, 2015 

ISBN 978-5-8199-0169-4 (ИД «ФОРУМ») 
ISBN 978-5-16-002293-2 (ИНФРА-М, print) 
ISBN 978-5-16-102483-6 (ИНФРА-М, online) 

 
 
УДК 16 
ББК 87.4 
         Б 72 
 
 
 

Р е ц е н з е н т ы:  
доктор философских наук, зав. кафедрой философии  
и методологии науки философского факультета  
МГУ им. М.В. Ломоносова, проф. В.Г. Кузнецов; 
ведущий научный сотрудник Института философии РАН,  
доктор философских наук, В.Л. Васюков 

 
 
 
Бочаров В.А., Маркин В.И. 
Б 72  
Основы логики: Учебник. — М.: ИД «ФОРУМ» : ИНФРА-М. 
2010. — 336 с. — (Классический университетский учебник). 
 
ISBN 978-5-8199-0169-4    (ИД «ФОРУМ») 
ISBN 978-5-16-002293-2     (ИНФРА-М) 
 
 
Этот учебник представляет собой основное содержание курса лек-
ций по логике, который авторы в течение ряда лет читали на философ-
ском и психологическом факультетах Московского государственного 
университета им. М.В. Ломоносова. 
Учебник предназначен для студентов гуманитарных и естествен-
ных факультетов университетов, а также для всех желающих изучать ло-
гику самостоятельно, или усовершенствоваться в ее знании. 
 
 
УДК  16   
ББК 87.4  
 
 
 
 
 
 
       © Бочаров В.А., Маркин В.И., 2008 
ISBN 978-5-8199-0169-4 (ФОРУМ)                © ИД «ФОРУМ», 2008 
ISBN 978-5-16-002293-2 (ИНФРА-М)             © МГУ им. М.В. Ломоносова,  
 
            художественное оформление,  2008 

 
 

            
Оглавление 
Оглавление 
6 
7 

  
Оглавление 

ОТ АВТОРОВ..................................................................................................................9  

ГЛАВА I. ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ 
§ 1. Логика как наука. Логика и язык. Основные формы и прие-

мы рационального познания........................................................12  

§ 2. Логическая форма. Отношение логического следования............ 24  
§ 3. Логические законы. Логические теории....................................... 35 

ГЛАВА II. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ 
§ 1. Пропозициональные связки........................................................... 42 
§ 2. Язык классической логики высказываний ................................... 49 
§ 3. Таблицы истинности. Тождественно-истинные, тождествен-

но-ложные, выполнимые и опровержимые формулы ................ 54 

§ 4. Логические отношения между формулами.................................. 64 
§ 5. Основные законы и способы правильных рассуждений ло-

гики высказываний ........................................................................ 71 

ГЛАВА III. КЛАССИЧЕСКАЯ ЛОГИКА ПРЕДИКАТОВ 
§ 1. Язык логики предикатов ..................................................................88 
§ 2. Интерпретации и модели. Общезначимые формулы и логи-

ческие отношения в логике предикатов.......................................105 

§ 3. Метод аналитических таблиц........................................................128 

ГЛАВА IV. ДЕДУКТИВНЫЕ ВЫВОДЫ И ДОКАЗАТЕЛЬ-

СТВА 

§ 1. Классическое исчисление высказываний.....................................143 
§ 2. Классическое исчисление предикатов первого порядка............160 

ГЛАВА V. 99СИЛЛОГИСТИКА 
§ 1. Общие сведения о силлогистике................................................. 172 
§ 2. Семантика традиционной силлогистики.................................... 177 
§ 3. 3аконы силлогистики и непосредственные следования..............182 
§ 4. Простой категорический силлогизм..............................................................188 
§ 5.  Энтимемы............................................................................................................................195 
§ 6. Негативная силлогистика.................................................................................198 

 
 
 

            
От авторов 
От авторов 
6 
7

ПУСТАЯ !!!!!!!!!. 
Оглавление 

ОТ АВТОРОВ.....................................................................................................................9 

ГЛАВА I. ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ 
§ 1. Логика как наука. Логика и язык. Основные формы 

и приемы рационального познания ............................................ 12 

§ 2. Логическая форма. Отношение логического следования ...........24 
§ 3. Логические законы. Логические теории ......................................35 

ГЛАВА II. КЛАССИЧЕСКАЯ ЛОГИКА ВЫСКАЗЫВАНИЙ 
§ 1. Пропозициональные связки ..........................................................42 
§ 2. Язык классической логики высказываний...................................49 
§ 3. Таблицы истинности. Тождественно-истинные, тождествен-

но-ложные, выполнимые и опровержимые формулы.................54 

§ 4. Логические отношения между формулами..................................64 
§ 5. Основные законы и способы правильных рассуждений 

логики высказываний.....................................................................71 

ГЛАВА III. КЛАССИЧЕСКАЯ ЛОГИКА ПРЕДИКАТОВ 
§ 1. Язык логики предикатов..................................................................88 
§ 2. Интерпретации и модели. Общезначимые формулы 

и логические отношения в логике предикатов............................105 

§ 3. Метод аналитических таблиц ........................................................128 

ГЛАВА IV. ДЕДУКТИВНЫЕ ВЫВОДЫ 

И ДОКАЗАТЕЛЬСТВА 

§ 1. Классическое исчисление высказываний.....................................143 
§ 2. Классическое исчисление предикатов первого порядка............160 

ГЛАВА V. СИЛЛОГИСТИКА 
§ 1. Общие сведения о силлогистике.................................................172 
§ 2. Семантика традиционной силлогистики....................................177 
§ 3. 3аконы силлогистики и непосредственные следования ...........182 
§ 4. Простой категорический силлогизм...........................................188 
§ 5.  Энтимемы......................................................................................195 
§ 6. Негативная силлогистика ............................................................198 

 
 
 

            
От авторов 
От авторов 
8 
9

ГЛАВА VI. ПОНЯТИЕ 
§ 1. Общая характеристика понятий..................................................207 
§ 2. Виды понятий...............................................................................212 
§ 3. Булевы операции над понятиями  и отношения между 

понятиями .....................................................................................224 

§ 4. Операции ограничения, обобщения и деления понятий...........232 

ГЛАВА VII. ОПРЕДЕЛЕНИЕ 
§ 1. Теоретико-познавательные характеристики определений.......242 
§ 2. Явные определения......................................................................245 
§ 3. Неявные определения ..................................................................253 
§ 4. Другие виды определений...........................................................255 
§ 5. Требования к корректности определений..................................260 

ГЛАВА VIII. ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ 
§ 1. Общие сведения о правдоподобных рассуждениях..................265 
§ 2. Обобщающая индукция...............................................................273 
§ 3. Причинная зависимость...............................................................282 
§ 4. Методы установления причинных связей..................................292 
§ 5. Гипотетико-дедуктивный метод.................................................308 
§ 6. Аналогия .......................................................................................319 

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ........................................................325 
 

Посвящается 250–летию  
Московского государственного  
университета им. М. В. Ломоносова 

ОТ АВТОРОВ 

Учебник, четвертое издание которого предлагается вниманию чи-

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

Авторы ставили своей целью не только представить логику как 

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

Описание и анализ перечисленных логических операций как 

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

 
 
 

            
От авторов 
От авторов 
8 
9

ГЛАВА VI. ПОНЯТИЕ 
§ 1. Общая характеристика понятий..................................................207 
§ 2. Виды понятий...............................................................................212 
§ 3. Булевы операции над понятиями  и отношения между 

понятиями .....................................................................................224 

§ 4. Операции ограничения, обобщения и деления понятий...........232 

ГЛАВА VII. ОПРЕДЕЛЕНИЕ 
§ 1. Теоретико-познавательные характеристики определений.......242 
§ 2. Явные определения......................................................................245 
§ 3. Неявные определения ..................................................................253 
§ 4. Другие виды определений...........................................................255 
§ 5. Требования к корректности определений..................................260 

ГЛАВА VIII. ПРАВДОПОДОБНЫЕ РАССУЖДЕНИЯ 
§ 1. Общие сведения о правдоподобных рассуждениях..................265 
§ 2. Обобщающая индукция...............................................................273 
§ 3. Причинная зависимость...............................................................282 
§ 4. Методы установления причинных связей..................................292 
§ 5. Гипотетико-дедуктивный метод.................................................308 
§ 6. Аналогия .......................................................................................319 

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ........................................................325 
 

Посвящается 250–летию  
Московского государственного  
университета им. М. В. Ломоносова 

ОТ АВТОРОВ 

Учебник, четвертое издание которого предлагается вниманию чи-

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

Авторы ставили своей целью не только представить логику как 

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

Описание и анализ перечисленных логических операций как 

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

 
 
 

            
От авторов 
От авторов 
10 
11

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

При написании учебника авторы стремились последовательно 

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

В последующих главах формулируется ряд логических теорий, 

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

Данный подход к изложению логической проблематики позволил 

не выделять в отдельные главы материал, посвященный логическому 
анализу естественного языка, суждениям (высказываниям) и аргумен-
тации. Указанные вопросы исследуются в рамках соответствующих 
логических теорий. Так, выделение семантических категорий языко-
вых выражений проводится в главе III, посвященной логике предика-
тов, анализ сложных высказываний дается в главе II при построении 
логики высказываний, а анализ категорических высказываний –  
в главе V в рамках силлогистики. Различные виды прямых и непря-
мых способов аргументации представлены в главе II, моделирование 
дедуктивной аргументации осуществлено в главе IV, где формулиру-
ются натуральные исчисления высказываний и предикатов, а описа-
ние различных типов недедуктивной аргументации содержится в гла-
ве VIII, посвященной правдоподобным рассуждениям. 

При изложении материала авторы старались не углубляться  

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

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

При подготовке к публикации данного издания учебника внесен 

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

Учебник ориентирован на круг читателей, для которых знаком- 

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

Авторы с чувством глубокой признательности не могут не 

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

 
 
 

            
От авторов 
От авторов 
10 
11

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

При написании учебника авторы стремились последовательно 

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

В последующих главах формулируется ряд логических теорий, 

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

Данный подход к изложению логической проблематики позволил 

не выделять в отдельные главы материал, посвященный логическому 
анализу естественного языка, суждениям (высказываниям) и аргумен-
тации. Указанные вопросы исследуются в рамках соответствующих 
логических теорий. Так, выделение семантических категорий языко-
вых выражений проводится в главе III, посвященной логике предика-
тов, анализ сложных высказываний дается в главе II при построении 
логики высказываний, а анализ категорических высказываний –  
в главе V в рамках силлогистики. Различные виды прямых и непря-
мых способов аргументации представлены в главе II, моделирование 
дедуктивной аргументации осуществлено в главе IV, где формулиру-
ются натуральные исчисления высказываний и предикатов, а описа-
ние различных типов недедуктивной аргументации содержится в гла-
ве VIII, посвященной правдоподобным рассуждениям. 

При изложении материала авторы старались не углубляться  

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

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

При подготовке к публикации данного издания учебника внесен 

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

Учебник ориентирован на круг читателей, для которых знаком- 

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

Авторы с чувством глубокой признательности не могут не 

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

 
 
 

            
Глава I. Предмет и основные понятия логики 
§1. Логика как наука. Логика и язык 
12 
13

ГЛАВА I 

ПРЕДМЕТ И ОСНОВНЫЕ ПОНЯТИЯ ЛОГИКИ 

§1. Логика как наука. Логика и язык. 
Основные формы и приемы рационального познания 

Логика является одной из древнейших наук. Как стройная систе-

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

В «Органоне» был заложен каркас логики как науки, сформули-

рованы основные проблемы, решаемые в ней. 

Прежде всего, это проблема построения теории правильных 

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

Второй круг проблем – их обычно называют логико-семиоти-

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

К третьей, логико-методологической группе проблем относится 

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

Чем же был вызван интерес к логической проблематике, и какие 

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

Эпоха античности характеризуется возникновением и интенсив-

ным развитием наук – математики, физики, астрономии, медицины, 

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

Логика как наука возникла в недрах древнегреческой филосо-

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

Многие исследователи истории логики справедливо указывают, 

что непосредственно ее возникновение было связано с широким 
распространением в греческом обществе той эпохи интеллектуаль-
ных споров и дискуссий на весьма отвлеченные темы. В. Минто, на-
пример, отмечает, что логические сочинения Аристотеля «были на-
значены для усовершенствования его учеников в том специальном 
искусстве, в котором желал отличиться каждый молодой афинянин 
того времени, стремившийся к умственному превосходству... Дейст-
вительно, эта логика была в своих различных частях рядом руко-
водств для изучения модной тогда умственной игры, – особого вида 
прений, диалектики, игры в вопросы и ответы, столь полно иллюст-
рированной в диалогах Платона и связанной с именем Сократа» 
(В. Минто. Дедуктивная и индуктивная логика. М., 1896). 

Роль логики в дискуссии, в процессе формирования убеждений 

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