Предисловие. 
Логика

Термин «логика» происходит от греческого «logos» — «слово», «мысль»,"порядок", «разум», «закономерность». Сам перевод — это, по сути, сжатое определение предмета логики. Логика — это наука о формах и законах мышления.

Основателем логики является древнегреческий философ Аристотель (384—322 до н. э.). Правда, созданную науку он назвал не логикой, а аналитикой и изложил свои взгляды в одноименных трудах, «Аналитиках» (первой и второй). Аристотель разработал дедуктивный метод умозаключения — силлогистику — и сформулировал основные законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего. Дальнейшее развитие логики связано с именем Ф. Бэкона (1561—1626). Он положил начало разработке индуктивных методов установления причинно-следственных связей. Его учение приобрело относительно завершенный характер в работах Дж. Милля (1806—1873). Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые Нового времени: Р. Декарт (1596—1650), Г. Лейбниц (1646—1716), Л. Эйлер (1707—1783), И. Кант (1724—1804), Г. Гегель (1770—1831) и др.

Новая эпоха в развитии логики началась в середине XIX столетия, когда к исследованию логических связей начали применять математические методы. Так возникла математическая (символическая) логика. Ее рождение связывают с именем Дж. Буля (1815—1864). В отличие от традиционной логики, ориентирующейся на рассуждения естественного языка, символическая логика строит теории правильного мышления, базирующиеся на искусственных языках. На этом этапе развития логики были написаны труды А. де Моргана (1806—1871), Д. Венна (1834—1923), Ч. Пирса (1839—1914), Э. Шредера (1841—1902), Р. Грассмана (1815—1901), П. Порецкого (1846—1907), Г. Фреге (1848—1925), Б. Рассела (1872—1970). В настоящее время логика представляет собой весьма разветвленную и многоплановую науку, включающую такие направления, как интуиционистская логика (Л. Брауэр (1881—1966)), многозначные логики (Я. Лукасевич (1878—1956), Э. Пост (1897— 1954)), конструктивные логики (А. Колмогоров (1903—1987), В. Гливенко (1897—1940)), модальные логики (К. Льюис (1883—1964)).

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

трудовые действия

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

необходимые умения

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

необходимые знания

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

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

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