Формальная логика носит. Формальная логика как наука

На форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к изучаемым объектам и отграничить ее тем самым от др. возможных логик (см. ЛОГИКА).

Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .

ФОРМАЛЬНАЯ ЛОГИКА

Философский энциклопедический словарь. - М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

ФОРМА́ЛЬНАЯ ЛО́ГИКА

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

Историч. основу Ф. л. образует т.н. т р а д и ц и о н н а я Ф. л., к к-рой относят обычно учение о понятии, учение о мышления законах, учение о суждении и теорию силлогистич. вывода – учение о силлогизме, или силлогистику, учения о непосредственных умозаключениях и несиллогистических умозаключениях, учение о логических ошибках и, наконец, традиц. логику индуктивную. Основоположником традиц. Ф. л. является Аристотель: обобщив повседневного и отчасти науч. мышления тогда только формировавшейся науки, Аристотель создал учение о силлогизме и дал первые примеры анализа рассуждений с т. зр. их формы. Однако уже Аристотель сознавал, что в силлогистич. схемы нельзя уложить многие рассуждения, в особенности математические. Это побудило мегариков и ранних стоиков исследовать др. формы дедукции (см. Древнегреческая логика). Частично в том же направлении шло логики и в средние века (см. раздел Схоластическая в ст. Схоластика), и в эпоху Возрождения (Галилей , Валла, Раме). Развитие опытного естествознания и математики, усилившееся в 17 в., поставило о прикладной роли Ф. л., о дальнейшем развитии несиллогистич. форм вывода, характерных для логики науки. (В этой области работали с большим или меньшим успехом Ф. Бэкон, Декарт, Паскаль, авторы Пор-Рояля логики, И. Юнг, Лейбниц и их последователи.) Одна из осн. "логистических" идей Лейбница состояла в том, чтобы свести к "вычислению" не только математические, но и любые умозаключения. Лишь ко 2-й пол. 19 в. относятся ощутимые шаги в реализации этой идеи, когда работами Буля, де Моргана, Джевонса, Шрёдера, Порецкого, Пирса, Фреге, Пеано и др. были заложены основы первых совр. логико-матем. исчислений. "Principia Mathematica" Б. Рассела и А. Уайтхеда открывает совр. этап в развитии Ф. л.

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

На протяжении более чем двухтысячелетней истории Ф. л. основную ее видели в том, чтобы исследовать, каким образом можно выводить одни высказывания из других. Для совр. Ф. л. характерно построение формальных теорий логич. вывода (см. Вывод в математической логике) в рамках тех или иных логич. "формализмов" (исчислений), а следовательно, и особое внимание к построению самих этих формализмов и применяемых при этом формально-дедуктивных методов. В зависимости от того, какие осн. понятия и методы используются для построения формальных теорий логич. вывода [в том числе и в зависимости от того, как интерпретируются осн. логич. константы: дизъюнкция , конъюнкция, импликация , отрицание (в логике), эквиваленция] различают: классическую (иначе двузначную) логику, интуиционистскую логику, конструктивную логику, модальную логику, многозначную логику и др. Каковы бы ни были различия в построении этих теорий, каждая состоит из двух осн. разделов: логики высказываний и логики предикатов. Классич. вариант последней непосредственно примыкает к традиц. силлогистике (логике "одноместных" предикатов), хотя в многочисленных и различных предикатов исчислениях (см. также ст. Натуральное исчисление , Секвенций исчисление) формализуется субъектно-предикатная предложений, понимаемая в более широком, чем в традиц. Ф. л., смысле: помимо свойств ("одноместных" предикатов), в них формализуются и отношения ("многоместные" предикаты), что делает излишней особую логику отношений в ее традиц. филос. истолковании.

Каждая из указанных выше формальных теорий имеет определ. филос. , являясь логической реализацие й тех или иных методологич. подходов в науке. Связь совр. Ф. л. и философии стимулируется прежде всего актуальной задачей обоснования математики – науч. направлением, имеющим как , так и филос. (см. ст. Алгоритм , Интуиционизм, Исчисление задач , Конструктивное направление, Логицизм , Математическая бесконечность, Математическая логика , Метод аксиоматический, Минимальная логика , Номинализм в философии математики, Положительная логика , Принцип исключенного третьего, Проверяемость , Теория множеств, формализм , Эффективизм). Примером обогащения и углубления логич. исследований, вызванных стимулирующим влиянием проблем обоснования математики, может служить возникновение металогики – в узком (гильбертовском) смысле как теории формальных систем, ограниченной рамками финитизма, и в широком смысле как метатеории Ф. л. вообще, включающей (см. Синтаксис в логике, Метаязык), логическую семантику (см. такжеСемантика в логике и примыкающие к ней ст. Взаимозаменимости отношение , Знак, Значение , Имя, Интерпретация , Контрфактические предложения, Логическая истинность , Модель, Название , Описания операторы, Реализуемость , Синтетические и , Тавтология, Тождественная истинность , Фактическая истинность, Экстенсиональные и неэкстенсиональные языки), теории определения и определимости и теорию тождества (см. , Правило замены равного равным, Принцип замещения, Равенство в логике и математике). Дальнейшим расширением металогич. проблематики явилось выделение в особую дисциплину прагматики, развивавшейся первоначально в рамках логико-семантич. и психологич. анализа (см. Психологизм в логике), и, наконец, появление семиотики. Т.о., связь между мышлением и языком как "практической действительностью " (К. Маркс) нашла во взаимосвязи философии, психологии, лингвистики и логики.

В развитии совр. Ф. л. особую роль играют вопросы ее приложений, особенно в вычислит. математике и технике, кибернетике и теории информации, лингвистике математической и пр. (см., напр., ст. Логические машины , Логические схемы автоматов). Связующим звеном между Ф. л. и вычислит. математикой исторически явилась , к-рая развилась в результате попыток свести силлогистич. методы решения логич. задач к алгебраич. методам их решения, образовав, т.о., первое алгебраич. направление в совр. Ф. л. – алгебру логики (см. также Теоретико-множественная логика). Дальнейшим развитием алгебраич. направления явилось объединение алгебры логики и логики предикатов в теории конечных автоматов, расширение алгебры логики в сторону "алгебраизации" логики предикатов – теория моделей и математич. теория структур. Другую – "арифметическую" – ветвь, связавшую Ф. л. и вычислит. математику, образуют теория рекурсивных функций и предикатов (см. также ст. Алгоритм , Массовая проблема, Разрешимое и перечислимое множества , Сводимость), исчисление λ-конверсии (см. Оператор абстракции , Функция), и др. Из общих науч. приложений Ф. л. следует отметить вопросы, связанные с задачами уточнения понятия науч. закона (см. Диспозициональный предикат , Каузальная импликация, Номологические высказывания , Связь), с попытками применения логики в биологии и физике (см. Логика квантовой механики), в этике и юриспруденции (см. Нормативная логика). Успехи, достигнутые в формальной теории дедукции, способствовали применению точных методов в разработке широкого комплекса проблем теории индукции и индуктивной логики (см. ст. Логика индуктивная , раздел Современная , ст. Научная , Неполная индукция, Популярная индукция), и вероятностной логики.

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

М. Новосёлов, Г. Рузавин, П. Таванец. Москва.

Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .


Смотреть что такое "ФОРМАЛЬНАЯ ЛОГИКА" в других словарях:

    См. Логика … Большой Энциклопедический словарь

    Наука об элементарных законах и формах правильного мышления Большой словарь иностранных слов. Издательство «ИДДК», 2007 … Словарь иностранных слов русского языка

    формальная логика - — Тематики электросвязь, основные понятия EN formal logic … Справочник технического переводчика

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

    См. Логика. * * * ФОРМАЛЬНАЯ ЛОГИКА ФОРМАЛЬНАЯ ЛОГИКА, см. Логика (см. ЛОГИКА) … Энциклопедический словарь

    формальная логика - formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas

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

    Или: Л о г и к а, аЧ наука, занимающаянся анализом структуры высказываний и доказательств, обращанющая основное внимание на форму в отвлечении от содержания (см.: Содержание и форма). Определение лформальная … Словарь терминов логики

Логика для юристов: Учебник. Ивлев Юрий Васильевич

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА

Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты - юристы” получим выражение “Все... суть - - - ”.

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

Выявим логические формы следующих рассуждений:

(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.

Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.

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

(2) Следователь - юрист. Следовательно, образованный следователь - образованный юрист.

Заменив нелогические термины символами, получим:

(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.

(2) S есть Р. Следовательно, sq есть pq.

Этими выражениями представляются логические формы исходных мыслей.

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

Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.

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

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

Суждениями называются мысли, в которых утверждается наличие или отсутствие каких-либо положений дел. Примеры: “Человек получил от Бога две блаженные способности - говорить правду и творить добро”; “Лучший способ изучить что-то - открыть это самому”.

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

Между мыслями существуют связи, зависящие только от их логических форм. Такие связи имеют место и между понятиями, и между суждениями, и между умозаключениями. Так, между мыслями логических форм “некоторые S суть Р” и “некоторые Р суть S” существует следующая связь: если истинна одна из этих мыслей, то истинна и вторая, независимо от того, каково нелогическое содержание этих мыслей.

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

Связь между мыслями в рассуждении (1) представляет собой логический закон. Чтобы установить, является ли связь между некоторыми исходными высказываниями и высказыванием, получаемым в результате рассуждения, логическим законом, необходимо вместо нелогических терминов подставлять в эти высказывания произвольные термины тех же типов и при этом всякий раз выяснять, окажется ли истинным получаемое высказывание при истинности исходных. Если всегда обнаруживается такая зависимость истинности высказываний, то связь между ними представляет собой логический закон. Если находится контрпример, то закономерной связи нет, и рассуждение не является правильным. Так, приведенное выше рассуждение “Следователь - юрист. Следовательно, образованный следователь - образованный юрист” является неправильным. Контрпримером для него может служить явно неправильное рассуждение:

Муха - животное. Следовательно, крупная муха - крупное животное.

В современной логике разработаны более простые и более продуктивные методы выявления закономерной связи между мыслями. Эти методы излагаются в главе "Умозаключение".

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

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

Исследуя необходимые связи между мыслями по логическим формам - логические законы, логика формулирует утверждения об истинности всех высказываний определенной логической формы. Эти утверждения тоже называются законами, но в отличие от логических законов (связей, существующих независимо от того, знаем мы о них или нет) - законами (науки) логики. Например, установив, что всегда, когда истинны мысли форм “Все М суть Р” и “Все М суть S”, истинна мысль формы “Некоторые S суть Р”, можно сформулировать закон логики: “Для любых S, Р и М верно, что если все М суть Р и все М суть S, то некоторые S суть Р”. Законы логики, после того как они сформулированы, выступают в качестве норм, в соответствии с которыми должны осуществляться рассуждения. В логике разрабатываются также требования другого рода, которые рекомендуется выполнять в процессе познания. Формальная логика, таким образом, является нормативной наукой о формах, законах и приемах интеллектуальной познавательной деятельности.

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

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

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

Упражнение

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

1. Все преступники подлежат уголовному наказанию. Некоторые жители Москвы подлежат уголовному наказанию. Следовательно, некоторые жители Москвы - преступники.

2. Все студенты нашей группы - юристы. Все студенты нашей группы - члены кружка логики. Следовательно, все члены кружка логики - юристы.

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

4. “Если умер Сократ, то он умер или когда жил, или когда умер. Если когда жил, то он не умер, так как один и тот же человек и жил бы, и был бы мертв; но и не тогда, когда умер, ибо он был бы дважды мертвым. Стало быть, Сократ не умер.” (Эмпирик Секст. Соч. В 2 т. М., 1976. Т. 2. С. 289).

5. Все металлы - теплопроводные вещества. Все металлы - электропроводные вещества. Следовательно, все электропроводные вещества являются теплопроводными.

Из книги Система вещей автора Бодрийар Жан

Формальная коннотация: крыло автомобиля Долгое время американские автомобили украшались огромными крыльями, о которых Паккард в своем «Искусстве расточительства» (с. 282) пишет, что они символизируют собой американскую одержимость потребительскими благами; но у них есть

Из книги Лекции по истории философии. Книга третья автора Гегель Георг Вильгельм Фридрих

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

Из книги Как я понимаю философию автора Мамардашвили Мераб Константинович

ФОРМАЛЬНАЯ СТРУКТУРА ЦИВИЛИЗАЦИИ Для дальнейшего понимания связи сознания и цивилизации вспомним другой сформулированный Декартом закон мышления, имеющий отношение ко всем человеческим состояниям, включая и те, в которых формулируется причинная связь событий в мире.

Из книги Избранное. Логика мифа автора Голосовкер Яков Эммануилович

Из книги Идеи к чистой феноменологии и феноменологической философии. Книга 1 автора Гуссерль Эдмунд

§ 147. Разветвления проблем. Формальная логика, аксиология и практика Если принять во внимание дальнейшие структурные различия, какие сказываются определяющими для характеров разума, - на различия по основным видам тезисов, на различия тезисов простых и фундируемых и на

Из книги Введение в логику и научный метод автора Коэн Моррис

Книга I. Формальная логика

Из книги Теория справедливости автора Ролз Джон

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

Из книги Философия. Книга третья. Метафизика автора Ясперс Карл Теодор

Из книги Логика: Учебное пособие для юридических вузов автора Демидов И. В.

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

Из книги Логика и аргументация: Учебн. пособие для вузов. автора Рузавин Георгий Иванович

Глава 1. ЛОГИКА КАК НАУКА Освоение проблем формальной логики требует глубокого понимания, в первую очередь, ее объекта и предмета как науки, уяснения методологической роли для конкретного вида деятельности. При этом решаются не только теоретические задачи. Познание

Из книги Философский словарь автора Конт-Спонвиль Андре

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

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

Формальная (Причина) (Formelle, Cause) Одна из четырех причин, сформулированных Аристотелем; причина, отвечающая на вопрос «Почему?» указанием формы. Например, почему стоит этот дом? Потому что есть кирпичи (материальная причина), потому что кому-то нравится в нем жить (конечная

Из книги Логика для юристов: учебник автора Ивлев Ю. В.

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

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”,

Из книги История марксизма-ленинизма. Книга вторая (70 – 90-е годы XIX века) автора Коллектив авторов

Глава I ЛОГИКА КАК НАУКА § 1. РОЛЬ МЫШЛЕНИЯ В ПОЗНАНИИ Логика - наука о законах и формах, приемах и операциях мышления, с помощью которой человек познает окружающий мир. Данное определение предполагает прежде всего выяснение вопроса, сформулированного в названии

Из книги автора

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

ВВЕДЕНИЕ.

  1. Логика как наука о мышлении.
  2. Законы формальной логики.
  3. Понятие как форма мышления
  4. Логические операции с понятиями.
  5. Суждения, их виды и отношения между ними.
  6. Умозаключение: сущность и структура.
  7. Индуктивные и традуктивные умозаключения.
  8. Аргументация и доказательство.

ЗАКЛЮЧЕНИЕ.

ВВЕДЕНИЕ

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

  1. ЛОГИКА КАК НАУКА О МЫШЛЕНИИ

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

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

Неязыковые знаки это показатели, символы и сигналы. Языковые или описательные термины используются в целях общения и обозначения имени и значения предмета. Имя это языковое выражение для обозначения предмета. Имя предмета может быть простым (туризм, рынок), сложным (денежная система), собственным (ЗАО «Мостуризм»), общим (туристическая компания).

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

В формальной логике семиотической категорией является суждение (высказывание) – повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.

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

Выявление наиболее общих свойств и отношений между предметами и явлениями;

Фиксации свойств и характеристик самих мыслей и отношении между ними.

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

Логика изучает именно эту рациональную ступень познания и мышления, его опосредованную способность перехода от старых знаний к новым, не обращаясь каждый раз к опыту. Для этого используется выводное знание, полученное путем рассуждений из старых знаний. Если известно, что “где дым, там и огонь. На холме – дым. То вывод: “на холме – огонь” – истинен, если истинно исходное знание и соблюдены требования логики.

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

Каким образом делает это логика? Прежде всего, изучая формы, структуру и правила мышления в отвлечении их от конкретного содержания. При этом термин “логика” употребляется в двух основных смыслах.

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Каково содержание понятия «язык»? В чем отличие естественного языка от искусственного?
  2. Что такое имя предмета, его значение и смысл?
  3. Какие существуют логические формы мышления?
  4. Назовите основные этапы развития логики.

2. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.

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

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

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

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

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

Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор’’или – или”, в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину от лжи. Четвертый закон менее нормативен и имеет ограниченное применение.

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

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

Формула закона гласит: неверно, что А и не А одновременно истинны. Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист. Объективное содержание закона в отражении мышлением особых биномерных признаков самой действительности. Эти противоположные признаки, или конструкты, позволяют классифицировать явления и выделить положительные и отрицательные явления. Не сделав это, нельзя провести различие, с которого начинается умственная деятельность. Логическим источником противоречии являются ошибочная исходная позиция; результат недомыслия и незнания дела; неразвитое, недисциплинированное мышление; невежество и стремление сознательно запутать дело.

В то же время противоположные суждения могут быть истинными в следующих случаях:

  1. Если речь идет о разных признаках одного предмета. Например, отсутствие следа преступления уже след.
  2. Если речь идет о разных предметах с одним признаком.
  3. Если речь идет об одном предмете, но рассматривается он в разное время и разных отношениях.

Так в диалоге “Государство” Платон обучает спорщиков, как ставить вопросы: благо ли государство? – и отвечает на них, подчеркивая различное видение и отношение к благу.

Характер суждения может кардинально меняться и во времени. По этому поводу Аристотель пишет: “Самое достойное из всех начал то, по отношении к которому невозможно ошибиться. Оно должно выступать как безусловное. Такое начало не гипотеза. Что же это за начало? – Невозможно, чтобы одно и тоже было и не было присуще одному и тому же в одном том же смысле. Это самое достойное из начал” (МЕТАФИЗИКА). Это положение "R(RÙP) направлено против Гераклита, и против софистов, фактически отрицая противоречие.

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

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

Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. “Один из членов противоречия должен быть истинным”, - отмечал Аристотель. В символической форме закон записывается "R(RVR): не ложно, не ложно; или истинно, или ложно. Этот закон и его действие не сводимо к будущему, где событие либо состоится, либо нет. Закон альтернативен в характеристике вещей, гипотез и путей решения проблем, требует выделять различные подходы и определить истинный.

Например, следует усилить роль государства в экономике – и сохранить либеральный курс. Если одно из них правильно, то другое ложно.

Закон исключенного третьего требует ясных, четких с указанием на невозможность решения вопроса в одном и том же смысле: и “да” и “нет”. Его смысл в том, что истина либо в высказывании, либо в его отрицании по правилам классической двузначной логики. При этом для Аристотеля характерно различное толкование закона:

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, о всей полноте исследования объекта.

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

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышления термин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

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

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

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

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

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Что такое основной и неосновной формально-логический закон?
  2. Кто и как впервые сформулировал эти законы?
  3. Какие объективные тенденции отражают законы формальной логики? Какова сфера их действия?
  4. Каково содержание и сфера действия основных законов логики?
  5. Какие ошибки в мышлении возможны при неправильном применении законов логики?

3. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

1. Сущность и структура понятия.

2. Закон обратного соотношения содержания и объема понятия.

3. Отношения между понятиями.

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

Признаками называются черты сходства или несходства (различия) предметов. Сходные признаки именуются общими, в них находит выражение тождество предметов в некотором отношении. Термин “признак” обозначает то, в чем предметы связаны друг с другом или отличны один от другого. Роль признаков выполняют качества, свойства, связи и отношения. Признаки делятся на простые и сложные, положительные и отрицательные. Положительными и отрицательными являются только простые признаки. Например, простой положительный признак – быть туристом и наоборот – не быть туристом. Понятия делятся на единичные, в которых мыслится один предмет (студент Иванов, парламент России), и общие, о множестве однородных предметов с одинаковыми признаками (студент, турист, менеджер).

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

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

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

Понятие, как логическая форма мышления, имеет свою структуру, которая включает два основных элемента: содержание и объем. Содержание понятия это его главная логическая характеристика или мысленное отражение совокупных признаков, которые отличают предмет или класс предметов.

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

Логическое содержание это понятие о несуществующем предмете. Эти понятия абстрактны и служат для развития науки и практика (мировой эфир, термоядерная электростанция, общество всеобщего изобилия). Объем понятия это отражение класса или множества предметов, обладающих признаками, составляющими содержание понятия. В объеме понятия “туризм” зафиксированы все виды активного, динамичного отдыха.

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

Отношения между понятиями по их объему хорошо просматриваются по схеме:

Совместимые : Несовместимые

1. Равнообъемные: А – Коммерция 1. Соподчинение

В - Предпринимательство А – политика

В – экономическая

политика

С – национальная

политика

2. Перекрещивание А - Инженер 2. Контрарность –

В – Изобретатель противоположность:

старый – молодой

3. Подчинения А- Турист 3.Контрадикторность -

В – Пеший турист противоречие:

знающий - незнающий

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

Сравнимые понятия делятся на совместимые и несовместимые.

Совместимые понятия имеют полное или частичное совпадение объемов. У них нет признаков, которые это запрещают. Совместимость включает:

Равнообъемность, где мыслится один и тот же предмет. Объемы понятии полностью совпадают: агент, брокер, дилер;

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

Отношение подчинения, где объем меньшего, подчиненного понятия входит в состав большего по объему, подчиняющего понятия: доллар – валюта.

Несовместимые понятия имеют отношения: соподчинение (координация), где в общее родовое понятие входят два или более понятий: акции простые, акции привилегированные;

Противоположность (контрарность), где одно из понятий отрицает признаки другого понятия;

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Каков смысл понятия как логической формы мышления?
  2. Каковы соотношения между содержанием и объемом понятия?
  3. Какие бывают виды понятий?
  4. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ.
  5. Определение понятий.
  6. Деление понятий.
  7. Обобщение и ограничение понятий.

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

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

В зависимости от того, что определяется, сам предмет или его обозначение, определения бывают реальными и номинальными.

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

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

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

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

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

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

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

Семантическое определение, где определенному обозначению соответствует предмет, через описание его признаков. Например, пеший турист определяется через передвижение, снаряжение и пр.

Синтаксическое определение описывает предмет через правила оперирования с ним: о – число, умноженное на другое число, дает о.

Контекстуальное определение выясняет содержание незнакомого слова по смыслу целостного текста или речи. Контекст здесь это рассуждение в целом.

В остенсивных определениях значения слов выясняют путем показа предметов.

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

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

Деление конкретизирует знание о предметах, соответствующих делимому понятию.

Главное условие: деление должно производится по единому признаку или основанию деления. Объем понятия, который подлежит делению, называется объемом делимого понятия, а результат членами деления. Например, понятие студент делится на понятие студента гуманитарного и студента технического вуза. Отношение класса и подкласса, рода и вида понятия фиксирует таксономическое деление. Таксономия это расположение по порядку. Это систематизирует отношение понятии, распределяет их на виды по каким-либо основаниям.

Таксономическое деление идет: по видовому признаку, дихотомическим путем и классифицированием.

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

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

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

Классификации бывают научными, искусственными и вспомогательными.

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Каковы основные виды отношений между понятиями по содержанию и по объемам?
  2. Какие логические операции проделывают с понятиями?
  3. Каковы возможности ошибки операции определения?
  4. Каковы правила деления и возможные ошибки?

5. СУЖДЕНИЯ, ИХ ВИДЫ И ОТНОШЕНИЯ МЕЖДУ НИМИ.

  1. Сущность, структура и виды суждении.
  2. Распределенность терминов в простых категорических суждениях.
  3. Отношения между основными видами атрибутивных суждений. Логический квадрат.
  4. Логические связи в сложных суждениях.

Мысль доступна другим людям при её выражении в языковой форме. Формой выражения высказываний являются предложения. Но не всякое предложение – высказывание /суждение/. Вопрос или просьба не несут в себе утверждения или отрицания чего-либо.

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

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

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

Логика выделяет в структуре суждения субъект, предикат, связку и квантор. Субъект это логическое подлежащее или понятие о предмете суждения. Субъект обозначается буквой S, и обозначает новое знание, которое необходимо доказать. Предикат суждения это понятие о признаке предмета, которое обозначает известное знание. Обозначается буквой Р. Предикат должен быть более известен, чем субъект, менее проблематичен, должен признаваться всеми участниками. Например, менеджмент (S) это наука об управлении персоналом (Р).

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

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

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

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

Юрист должен мыслить логично. Мир познаваем.

Проблематические (суждения возможности) – отображают вероятность наличия или отсутствия у предмета того или иного признака.

Последние два вида суждения широко рассматриваются в математической логике.

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

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

Например, все туристы путешественники.

Отрицательные суждения говорят об отсутствии свойств у предмета, т.е. S не – есть Р, или S есть не – Р.

Например, некоторые предприниматели – неинженеры.

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

По качеству и количеству простые категорические суждения делятся на

Общеутвердительные суждения – общие по количеству и утвердительные по качеству, формулировка суждения: Все S суть Р. Обозначаются буквой А.

Общеотрицательные – общие по количеству и отрицательные по качеству. Формулировка суждения: ни одно S не есть Р. Обозначается буквой Е.

Частноутвердительные – ограниченные по количеству и утвердительные по качеству. Формула: некоторые S есть Р. Обозначаются буквой J.

Частноотрицательные суждения – ограниченные по количеству и отрицательные по качеству. Формула: некоторые S не есть Р. например: некоторые студенты не знают логику. Обозначаются буквой О.

Буквы А, Е, J, О обозначая виды суждений, позволяют экономно строить мысль.

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

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

В суждении «Все инженеры – творцы», субъект распределен, так как объем понятия «инженер» входит, в объем понятия «творцы». Предикат «творцы» не распределен. Распределенность терминов в суждениях отражена в таблице:

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

Для студентов важно по учебной литературе подобрать примеры и характеристики сравнимых и несравнимых суждений. Отношения между сравнимыми суждениями хорошо прослеживаются на основе логической схемы (логического квадрата):

Контрадикторные

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

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

Превращения категорического суждения это изменение его качества одновременно с заменой предиката на противоречащий ему термин. Это

А все S суть Р________ J некоторые S суть Р

Ни одно S не суть не Р некоторые S не суть не Р

Е ни одно S не суть Р О некоторые S не суть Р

Все S суть не Р некоторые S суть не Р

Некоторые птицы не водоплавающие

Некоторые птицы живут не в воде

Обращение категорического суждения заключается в перемене местами субъекта и предиката.

А все S суть Р________ обращается с ограничением

Некоторые Р суть S

Все птицы летают

Некоторые летающие – птицы

J некоторые S суть Р Е ни один S не суть Р

Некоторые Р суть S ни один Р не суть S

О. Частноотрицательные суждения не обращаются

Некоторые S не суть Р некоторые студенты не изучают логику

Некоторые Р не суть S

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Какова структура и виды атрибутивных суждений?
  2. Какие отношения между суждениями выражаются посредством логического квадрата?
  3. В чем суть логических операций превращения, обращения и противопоставления?
  1. УМОЗАКЛЮЧЕНИЕ: СУЩНОСТЬ И СТРУКТУРА

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

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

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

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

ВИДЫ УМОЗАКЛЮЧЕНИЙ:

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

Правила терминов:

  1. Из двух отрицательных посылок нельзя сделать вывода.
  2. Из двух частных посылок нельзя сделать вывода.
  3. Если одна из посылок отрицательная, то и заключение отрицательное.
  4. Если одна из посылок частная, то заключение частное.

Модус, или вид, это качественные и количественные разновидности посылок и вывода из них. Всего из 256 модусов – 19 правильных. Модус характеризует соблюдение правил и истинности вывода.

Правильные модусы:

1 фигура: ААА, ЕАЕ, АJJ, EJO.

2 фигура: AEE, AOO, EAE, EJO.

3 фигура: AAJ, EAO, JAJ, OAO, EJO.

4 фигура: AAJ, AEE, JAJ, EAO, EJO.

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

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

Пропущено заключение…. Все студенты должны добросовестно учиться.

Ты - студент

Ты должен добросовестно учиться.

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

Все студенты (S) знают логику (Р).

Иванов (S) – студент (Р)

Иванов (S) – знает логику (Р)

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

Например, во второй фигуре:

Ни одна книга (Р) не есть периодическое издание (М).

Журнал (S ) – периодическое издание (М)

Журнал (S) не является книгой(Р).

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

Правила фигур включает:

I фигура: большая посылка – общая, меньшая утвердительная.

II фигура: большая посылка – общая, одна из посылок – отрицательная

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

IV фигура: общеутвердительного заключения не дает.

Более глубокое представление о содержании дедуктивной логики дают по характеру посылок и выводов дают условные, условно – категорические и разделительные силлогизмы. В условном умозаключении обе посылки и вывод – условные суждения. Его структура: «Если А, то В».

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

Отрицающий модус позволяет строить достоверные умозаключения от отрицания следствия и отрицанию основания. Например: Если А, то В. не В.

Если студент знает логику, то он правильно мыслит.

Студент неправильно мыслит.

Студент не знает логики.

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

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

Наука бывает фундаментальной или прикладной.

Данная наука - прикладная

Следовательно, данная наука не может быть фундаментальной.

В разделительном силлогизме по отрицающие – утверждающему модусу утвержение производится путем отрицания. Например А или В. не – А.

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Какие бывают виды умозаключений?
  2. Какие правила вывода действуют в простом категорическом силлогизме?
  3. Что такое модус простого категорического силлогизма?
  4. Что такое полисиллогизм, какова его структура и разновидности?
  5. Какие бывают виды и какова структура сложных силлогизмов?

7. ИНДУКТИВНЫЕ И ТРАДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.

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

Предметы А,В,С,D имеют признак Р

Предметы А, В, С, D принадлежат классу S

Следовательно все S есть Р

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

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

Схема индуктивного умозаключения: Неполная индукция включает:

А 1 имеет признак В 1.Популярную (энумеративную)

А 2 имеет признак В 2.Научную (элиминативную)

н 3.Статистическую

А н имеет признак В

А 1 , А 2 ,…..Ан имеют признак В

Если в популярной индукции объекты выбираются случайно, то в научной изучаются планомерно, наиболее типичные, на основе контрольных партий и замеров. Это позволяет сделать научное заключение о необходимых причинно-следственных связях и законах. Статическая индукция – это умозаключение от выборки (модели), к совокупности явлений, тенденций. Это перенос относительной частоты появления признака на более широкий класс явлений. Изучение случайных массовых явлений (банкротство), непредсказуемых в частностях, показывает их наступление в числовых пропорциях целого (вероятность банкротства). Математическая индукция говорит о свойствах бесконечно больших множеств без проверки вывода бесконечно много раз. На этой основе установлены законы, формулы арифметической прогрессии и другие.

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

Формула метода и сходства гласит, что если:

При условии А, В, С возникло явление Q

При условии А, К, L возникло явлении Q

При условии А, Р, Q возникло явлении Q

Вероятно А есть причина Q

Метод различия указывает, что если наличие или отсутствие признака вызывает или устраняет явлении, то этот признак причина явления. Так если:

При условии А, В, С, D происходит явлении d

При условии А, В, С отсутствует явление d

Вероятно D есть причина d

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

При условии А, В,С,D существует явление Q

При условии A1,B,C,D существует явление Q1

Следовательно, обстоятельство А есть причина Q

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

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

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

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. Что такое индукция и каковы ее виды?
  2. Какова познавательная роль индукции?
  3. Какие методы используются при установлении причинных связей в индуктивных умозаключениях?
  4. Какова сущность традукции – умозаключения по аналогии?
  5. Каковы условия повышения вероятности вывода в традуктивных умозаключениях?

8. АРГУМЕНТАЦИЯ И ДОКАЗАТЕЛЬСТВО

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

Доказательство – это логический прием обоснования истинности суждения с помощью других истинных суждений. Содерожание доказательства включает в себя тезис, основание (аргументы) и форму доказательства или демонстрацию. Тезис – это суждение или положение, истинность которого требуется доказать. Аргументы (основания) – это способ доказательства, может принимать форму различных умозаключенийц, например, дедуктивных: a l (M-P)

Для доказательства используются также индуктивные умозаключения и аналогии, например, a l (А имеет признак КМР)

а 2 (В имеет признак КР)

Тезис, следствие В, возможно, имеет признак М.

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

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

Разделительное доказательство основано на установлении истинности тезиса путем последовательного исключения всех элементов разделительного суждения или гипотез, кроме одного, достаточного аргумента.

А есть или В, или С, или D – применяется отрицающе утверждающий.

А не есть В модус разделительно-категорического силлогизма.

А не есть С

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

Генетическое доказательство применяется при установлении происхождения и развития термина концепции в научных и исторических исследованиях. Для практики особенно важно убедиться в их истинности на основе подлинных источников. При этом для студента важно понять, что нормой доказательства являются:

Умение применять все виды доказательства

Использовать только истинные тезис и аргументы

Опираться на подлинные факты, имеющие отношение к тезису

Не применять неясных, двусмысленных и противоречивых тезисов и аргументов

Способы доказательства должны соответствовать законам логики, чтобы не появились возможные ошибки

К логическим ошибкам, вследствие неправильного использования правил доказательства и опровержения относятся паралогизмы, софизмы и парадоксы.

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

Софизм – это преднамеренная ошибка, сознательное нарушение правил логики, рассчитанное на ввод противника в заблуждение, стремление выдать ложь за истину. Это «кривая речь» или «мнимая мудрость» Если паралогизмы возникают случайно, то софизмы это нарушение правил и сознательное отвлечение внимания от главного утверждения.

Софизм: «Вор не желает приобрести ничего дурного.

Приобретение хорошего, есть дело хорошее.

Следовательно, вор желает хорошего» скрывает истинное значение понятия «приобретение».

Парадокс – это необычное явление или высказывание, которое резко расходится с действительностью. Они возникают из-за неясности, противоречий исходных принципов и норм познания. Таков классический парадокс «Что я говорю – ложно». Решение парадокса требует выхода за уровень данной системы рассмотрения объекта. В то же время парадоксы приводят к глубинным открытиям. Это создание теории иррациональных чисел, парадоксы теории множеств и многое другое.

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

Структура опровержения включает:

Тезис опровержения; суждение, которое необходимо опровергнуть

Аргументы опровержения, суждения, при помощи которых опровергается тезис

Демонстрацию – логическую форму построения опровержения

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

Если А есть В, то С есть D Ложность следствия ведет к

Но С не есть D ложности исходного тезиса.

Следовательно А не есть В

При доказательстве антитезиса (опровержения от противного) установление его ложности по закону исключенного третьего указывает на истинность тезиса.

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

На ложность аргументов указывает их сомнительный источник.

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

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

Необходимо учитывать возможные ошибки наших аргументов

Следует сочетать прямые и косвенные методы опровержения

Кроме того, следует строго соблюдать правила по отношению к тезисам, аргументам и демонстрации.

КОНТРОЛЬНЫЕ ВОПРОСЫ:

  1. В чем специфика и отличие доказательства от умозаключения?
  2. Каковы структура и виды доказательств?
  3. Каковы способы опровержения аргументов?
  4. Каковы наиболее общие ошибки в доказательстве и опровержении?
  5. Каково содержание паралогизмов, софизмов и логических парадоксов?

ЗАКЛЮЧЕНИЕ

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

ВОПРОСЫ ДЛЯ ЗАЧЕТА ПО ЛОГИКЕ

  1. Каковы предпосылки возникновения логики?
  2. Что собой представляет логическая форма мысли Как она появилась?
  3. Что изучает формальная логика?
  4. Каково практическое и теоретическое значение логики?
  5. Каковы основные принципы диалектической логики?
  6. Что обозначают законы формальной логики?
  7. Что такое понятие. Каждое ли общее имя обозначает понятие?
  8. Каковы основные виды признаков предмета?
  9. Содержание и объем понятия, соотношение между ними?
  10. По каким признакам понятия делятся на виды?
  11. Каковы основные виды отношений между понятиями по содержанию и объему?
  12. Каковы способы явного и неявного определения понятий?
  13. Каково значение операции деления и классификации понятий?
  14. Что такое суждение как логическая форма мышления?
  15. Какова структура суждения?
  16. Какие существуют виды суждений?
  17. Как распределены термины в простых атрибутивных суждениях?
  18. В чем сущность сложных суждений и их виды?
  19. Как определяются отношения между сложным высказываниями?
  20. Каковы виды сложных суждений?
  21. Что представляет собой дедуктивное умозаключение?
  22. Что представляет собой индуктивное умозаключение?
  23. Что такое дедукция?
  24. Что такое простой категорический силлогизм и какова его структура?
  25. Правила терминов и их влияния на характер вывода?
  26. Правила фигур и их влияние на характер вывода из них?
  27. Что такое модусы простого категорического силлогизма?
  28. Полисиллогизм, его сущность и структура?
  29. Сорит и его виды?
  30. Энтимема, ее основные черты?
  31. Что такое индукция и в чем ее отличие от дедукции?
  32. Каковы виды индукции?
  33. Какова роль умозаключения по аналогии?
  34. Роль аналогии в познавательной и практической деятельности?
  35. Понятие, состав и виды аргументации и критика?
  36. Что такое доказательство и какова его структура?
  37. Прямое и косвенное доказательство и способы его осуществления?
  38. Каковы основные ошибки в доказательстве и опровержении?
  39. В чем смысл софизмов и логических парадоксов?
  40. Каковы уловки в споре и способы их нейтрализации?

ОСНОВНАЯ ЛИТЕРАТУРА

  1. Бочаров В.А., Маркин В.И. Основы логики.- М.,1999.
  2. Гетманова А.Д. Логика. - М.,1995.
  3. Григорьев Б.В. Классическая логика. - М.,1996.
  4. Ивлев Ю.В. Логика. - М.,1997.
  5. Ивин А.А. Логика. - М.,1999.
  6. Кириллов В.И. Упражнения по логике. - М.,1999.
  7. Светлов В.А. Практическая логика. - СПб.,1997.
  8. Новиков О.А., Уваров С.А. Коммерческая логика. - СПб.,1995.
  9. Рузавин Г.И. Логика и аргументация. - М.,1997.

ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА

  1. Берков В.Ф. Логика: задачи и упражнения, практикум. - Минск,1998.
  2. Виноградова З.И. Логика научного управления. - М.,1998.
  3. Гетманова А.Д. Логика: словарь и задачи. - М.,1998.
  4. Градовой Д.И. Логика в предпринимательской деятельности и деловом общении. - М.,1998.
  5. Ивин А.А.,Никифоров А.Л. Словарь по логике. - ,М.,1998.
  6. Курбатов В.И. Логика. Ростов-на-Дону,1997.
  7. Новиков О.А.,Уваров С.А. Коммерческая логика., СПб.,1995.

ВВЕДЕНИЕ
ГЛАВА 1. Логика формальная и диалектическая
ГЛАВА 2. Основные этапы развития логической науки
ГЛАВА 3. Логика и формирование культуры мышления
ЗАКЛЮЧЕНИЕ
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

ВВЕДЕНИЕ

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

Логическая культура приобретается в ходе общения, учебы в школе и ВУЗе, в процессе чтения литературы.

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

Знание логики является неотъемлемой частью любого образования. Знание правил и законов логики не является конечной целью ее изучения. Конечная цель изучения логики — умение применять ее правила и законы в процессе мышления.

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

Итак, логика — это философская наука о формах, в которых протекает человеческое мышление, и о законах, которым она подчиняется.

ГЛАВА 1. ЛОГИКА ФОРМАЛЬНАЯ И ДИАЛЕКТИЧЕСКАЯ

Слово “ логика ” происходит от древнегреческого слова “ логос ”, которое можно перевести как “ понятие ”, “ разум ”, “ рассуждение ”. В настоящее время оно употребляется в следующих основных значениях.

Во-первых, этим словом обозначают закономерности в изменении и развитии вещей и явлений объективного мира. Закономерности в изменении и развитии вещей и явлений объективного мира называют объективной логикой.

Во-вторых, словом “логика” обозначают особые закономерности в связях и развитии мыслей. Эти закономерности называют субъективной логикой. Закономерности в связях и развитии мыслей являются отражением объективных закономерностей.

Логикой называют также науку о закономерностях в связях и развитии мыслей.

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

Современная логика как наука о законах и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую.

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

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

ГЛАВА 2. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИЧЕСКОЙ НАУКИ

Формальная логика — одна из древнейших наук. Отдельные фрагменты логической науки начинают разрабатываться с 6 веке до н. э. в Древней Греции и Индии. Индейская логическая традиция распространилась позднее в Китае, Японии. Тибете, Монголии, на Цейлоне и в Индонезии, а греческая — в Европе и на Ближнем Востоке.

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

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

Другим стимулом развития логики были запросы математики.

В Древней Греции проблемы логики исследовали Демокрит, Сократ, Платон. Однако основателем науки логики по праву считается величайший мыслитель древности, ученик Платона — Аристотель. Именно он впервые обстоятельно систематизировал логические формы и правила мышления. Он написал ряд сочинений по логике, которые впоследствии были объединены под общим названием «Органон». Логика, основанная на учении Аристотеля, существовала до начала 20 века. Она носит название традиционной формальной логики.

Формальная логика в своем развитии прошла два основных этапа.

Первый этап — это связь с работами Аристотеля, в которых дано систематическое изложение логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики — логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков — основа другого направления математической логики — логики высказываний.

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

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода — огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж. С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона — Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Начало 20 века знаменует своеобразная научная революция в логике, связанная с широким применением методов так называемой символической, или математической логики. Идеи ее высказаны немецким ученым Г.В. Лейбнице: «….Единственное средство улучшить наши умозаключения — сделать их, как и у математиков, наглядными, так, чтобы свои ошибки находить глазами, и, ели среди людей возникнет спор, нужно сказать: «Посчитаем!», тогда без особых формальностей можно будет увидеть, кто прав».

Второй этап — это появление математической логики. Философ Г. В. Лейбниц считается основоположником. Он пытался построить универсальный язык, с помощью которого споры между людьми можно было разрешить посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. Для выявления структуры вывода строят различные математические исчисления.

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

  1. Область исследования составляют обыденные рассуждения;
  2. Допущение о разрешимости любой проблемы;
  3. Отвлечение от содержания высказываний и от связей по смыслу между ними;
  4. Абстракция двузначности высказываний.

В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин.

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

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

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

ГЛАВА 3. ЛОГИКА И ФОРМИРОВАНИЕ КУЛЬТУРЫ МЫШЛЕНИЯ

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

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

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

Рассмотрим основные особенности мышления.

  1. Мышление отражает действительность в обобщенных образах. В отличие от чувственного познания — мышление абстрагируется от единичного, выделяет в предметах общее, повторяющееся, существенное. Абстрактное мышление глубже проникает в действительность, открывает присущие ей законы.
  2. Мышление – процесс опосредствованного отражения действительности. При помощи органов чувств можно познать лишь то, что действует на них.
  3. Мышление неразрывно связано с языком. При помощи языка люди выражают и закрепляют результаты своей мыслительной работы.
  4. Мышление — процесс активного отражения действительности. Активность характеризует весь процесс познания в целом, но, прежде всего, – мышления.

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

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

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

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

Логика – необходимый инструмент, освобождающий от личных, ненужных запоминаний, помогающий найти в массе информации то ценное, что нужно человеку. Она нужна “любому специалисту, будь он математик, медик, биолог” (Анохин Н.К.).

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

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

  1. Гейтманова А.Д. Учебник по логике. – М., 1995.
  2. Иванов Е.А. Логика. – М.,1996.
  3. Краткий словарь по логике. Под ред. Горского. — М.: Просвещение, 1991.
  4. Кириллов В.И., Старченко А.А. Логика.: Издание 5-е, 1991.

1. О формальной логике

1. Формальный подход к умозаключениям

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

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

Начало формальной логики было положено трудами Аристотеля, разработавшего силлогистику. Дальнейший вклад в развитие Ф. л. внесли ранние стоики, в Средние века – схоласты (Петр Испанский, Дунс Скот, Оккам, Луллий и др.); в Новое время – прежде всего, Лейбниц.

2. Аристотель (384–322 до н. э.) – основоположник формальной логики

Здесь логика излагается в том виде, который она приобрела в результате развития по западному пути. Этот путь берет начало от Аристотеля (AristotelhV, 384–322 до н. э.) который не только заложил основы логики, но и разработал ряд ее разделов настолько глубоко и с такой полнотой, что потом она в течение 2 тыс. лет практически не выходила в своем развитии за рамки очерченного Аристотелем круга идей и понятий. (Одним из немногих исключений были труды философов стоической школы, в особенности Хрисиппа (CrusippoV, 280–207 до н.э.). Их лог. идеи во многом сходны с теми, кот. много веков спустя легли в основу логики предложений. Однако эти идеи стоиков не были поняты в то время (и вызывали недоумение историков логики еще в сер. XIX в.). Кстати, самый термин «логика» (по-древнегр. logikh, от logoV – слово, речь, суждение, разумение) введен стоиками. (Слово logikh представляет собой субстантивированное прилагательное; подразумевается существительное tecnh – «искусство».).

2. Понятие

1. Что такое понятие?

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

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

Из приведенных примеров видно, что слово «предметы» мы не случайно взяли в кавычки. Это были у нас то настоящие материальные предметы, то сказочные существа, то геометрические фигуры, являющиеся идеальными образами реальных предметов, то чувства, то способы передвижения. В общем случае «предмет» может означать здесь, в сущности, все, о чем только мы можем помыслить.(Калька от лат. objectum).

Не менее условно здесь и употребление слова «класс». Обычно этим словом обозначают совокупность, элементы которой четко отделены друг от друга. Но, напр., в случае «удивления» такой совокупности нет: чувства, подпадающие под это понятие, образуют непрерывный спектр, который вряд ли можно естественным образом разделить на отдельные элементы. (Если же мы попытаемся выйти из затруднения, заявив, что удивление есть некое единое чувство, так что класс, выделяемый соответствующим понятием, состоит из одного «предмета», то это не спасет положения: ведь тот, кто не владеет этим понятием, не может представить себе удивление как нечто единое.) Примерно так же обстоит дело с понятием «бежать». А с понятием «кентавр» возникает затруднение иного рода, еще более серьезное: здесь «предметам», которые должны были бы войти в «класс», в реальности вообще ничто не отвечает. И даже с понятием «студент» не все так просто, как может показаться. Ведь оно, несомненно, относится не только к нынешним студентам, но также и к прежним и к будущим. Следует ли отсюда, что в «класс студентов» входит не только первокурсник Ваня Иванов, но и его отец, окончивший университет двадцать лет назад? А как быть с его младшим братом, который, может быть, станет со временем студентом, а может быть, не станет? И с вымышленными студентами – персонажами литературных произведений, – например, тургеневским Беляевым или чеховским Петей Трофимовым? Ответить на эти вопросы совсем не просто.

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



Т. обр., приведенное выше «определение» понятия содержит слова, смысл которых довольно расплывчат и с трудом поддается уточнению. (Это относится, конечно, и к слову «признак», и к слову «представление».) Отсюда следует, что на самом деле это не определение, а всего лишь приблизительное разъяснение смысла термина «понятие».

Совокупность признаков, по которым выделяется понятие, называется его содержанием (интенсионалом), а тот класс «предметов», который оно выделяет (или, точнее, выделяемая им совокупность представлений о “предметах”) – его объемом (экстенсионалом).

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

3. Равнозначные понятия

2 понятия, различающиеся по содержанию, могут иметь один и тот же объем. Напр., «равнобедренный треугольник» и «треугольник, имеющий 2 равных угла» – разные понятия, хотя их объемы совпадают: они выделяют один и тот же класс, но по разным признакам. (Противоположный случай – чтобы 2 понятия имели одно и то же содержание, но разные объемы, – очевидно, невозможен.) Понятия, объемы которых совпадают, называются равнообъемными или равнозначными. Таковы, напр., понятия «число, делящееся на 6» и «число, делящееся на 2 и на 3», «нынешняя столица России» и «город, в котором родился А. С. Пушкин».

4. Обобщение (генерализация)

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

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

5. Ограничение

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

При обобщении понятия его объем расширяется, а при ограничении сужается. Напр., в объем понятия «мифическое существо» наряду с кентаврами входят сирены, гарпии, Кербер и т. п.; в объем понятия «многоугольник» наряду с треугольниками входят четырехугольники, пятиугольники и т.д.

Более общее понятие часто называют родовым по отношению к менее общему, а менее общее – видовым по отношению к более общему.
6. Определение понятия

Мыслительная операция над понятием, состоящая в том, что оно выражается через какие-либо другие понятия, называется определением, или дефиницией. (Оба эти термина произведены – первое калькированием, второе прямым заимствованием – от латинского слова definitio, происходящего от finis – граница, предел. Слово «дефиниция» употребляется преимущественно в философской литературе, а также в некоторых специальных случаях (так называют, например, первое предложение статьи в энциклопедическом словаре); в остальных случаях предпочтительнее пользоваться словом «определение».) Так же называют и предложение, с помощью которого одно понятие выражается через другие («Прозаик – это писатель, пишущий прозой», «Несостоятельный должник – это человек, не имеющий средств для уплаты своих долгов», «Равнобедренным треугольником называется треугольник, имеющий две равных стороны», и т.п.).

Чаще всего определение понятия состоит в том, что указываются некоторое более общее – родовое – понятие («писатель», «треугольник», «человек», «прибор») и дополнительные признаки, которые нужно добавить к его содержанию («пишущий прозой», «имеющий две равных стороны», «обучающийся в высшем учебном заведении», «служащий для измерения времени»). Если при этом родовое понятие является ближайшим для определяемого (т. е. между ними нет никакого достаточно естественного промежуточного понятия), то говорят об определении через ближайший род и видовое отличие (definitio per genus proximum et differentiam specificam). Таковы, напр., приведенные выше определения понятий «прозаик» и «равнобедренный треугольник» (в то время как определения понятий «студент» и «часы» не таковы: для «студента» ближайшее родовое понятие – не «человек», а «учащийся», для «часов» – не «прибор», а «измерительный прибор»). Определение понятия через ближайший род и видовое отличие не обязано быть единственным. Напр., квадрат можно определить либо как прямоугольник, у кот. все стороны равны, либо как ромб, у кот. все углы прямые.

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

7. Древо Порфирия (232–301)

Порфирий (ученик Плотина) учил, что любое тело, любая вещь существует, будучи причастна к 5-ти характеристикам, которые ее описывают. Это:

3) видовое отличие,

4) устойчивый признак и

5) неустойчивый (или случайный) признак (акциденция).

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



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

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

Древо Порфирия было очень популярным в Средние века.

8. Неопределяемые понятия

Ни одна наука не может определить все свои понятия. Ведь определить понятие значит выразить его через какие-то другие понятия; если мы и эти понятия захотим определить, это будет значить, что нам придется выразить их через какие-то третьи, и т.д. Такой процесс не может продолжаться бесконечно, и какие-то понятия мы будем вынуждены оставить без определения. Поэтому первоначальные понятия всякой науки – неопределяемые. Нужно только стремиться к тому, чтобы таких [первичных] понятий было по возможности немного и они были достаточно простыми, так что их смысл можно было бы хорошо усвоить, опираясь на примеры и приблизительные разъяснения. – Вообще, определение понятия может быть полезно только тогда, когда те понятия, к которым оно при этом сводится, проще и яснее, чем оно само. В прот. случае попытка дать определение – бесплодное словоговорение и может запутать дело.

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

9. Единичные и общие понятия

Понятие называется единичным, если его объем состоит из одного предмета. Примеры единичных понятий: «Москва-река», «Эйфелева башня», «Александр Македонский», «Тридцатилетняя война», «число 5». Понятия, не являющиеся единичными, принято называть общими. При отнесении того или иного понятия к разряду единичных необходимо соблюдать осторожность, помня, что объем понятия состоит не из предметов как таковых, а из представлений о них. Напр., понятие «президент СССР» вряд ли стоит считать единичным, хотя в СССР был только один президент – М. С. Горбачев: можно ведь представить себе, скажем, роман какого-нибудь писателя о некоем вымышленном президенте СССР. В то же время понятие «М. С. Горбачев, занимавший пост президента СССР в 1990–91 гг.» – единичное.

10. Собирательные понятия

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

11. Конкретные и абстрактные понятия

В традиционной логике различают конкретные и абстрактные понятия. Конкретные понятия – это те, объемы которых состоят из предметов: «стол», «береза», «город», «студент» и т. п.

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

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

3. Суждение (высказывание)

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

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

Для каждого суждения А интересующего нас типа мы будем теперь писать А = И, если А истинно (т. е. истинно утверждение, выражаемое предложением А) и А = Л, если А ложно. При этом предложение А может быть записано как в словесной, так и в какой-либо символической форме, например:

Волга впадает в Каспийское море = И;

Днепр впадает в Каспийское море = Л;

Кит – млекопитающее = И;

Кит – рыба = Л;

6 – четное число = И;

6 – нечетное число = Л;

2 + 2 = 4 = И;

2 + 2 = 5 = Л.

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

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

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

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

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



Пример. Все люди должны отвечать за свои поступки. Годовалый ребенок – человек. è Годовалый ребенок должен отвечать за свои поступки.

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

Закон противоречия состоит в том, что 2 противоположных суждения не могут одновременно быть истинными. (Противоположными называются 2 утверждения, одно из которых есть отрицание другого.) Иначе говоря: никакое утверждение не может быть одновременно истинным и ложным.

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

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

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

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

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

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

Напр., из 2-х суждений – «семинарист Викентьев присутствует на уроке философии» и «семинарист Викентьев не присутствует уроке философии» – одно должно быть истинным, в то время как другое – ложным.

Старые логики, формулируя этот закон, к словам «либо истинно, либо ложно» часто добавляли: «третьего не дано» – по-латыни tertium non datur. Отсюда и происходит название «закон исключенного третьего» (иногда его называют также законом tertium поп datur).

2. В формулировке закона исключенного третьего нельзя заменить слово «противоположные» словом «противоречащие» (хотя такую формулировку, к сожалению, можно иногда встретить в литературе). Напр., утверждения «А.С.Пушкин родился в Киеве» и «А.С.Пушкин родился в Казани» противоречат друг другу, но оба они ложны.

3. Следствием закона исключенного третьего является тот факт, что если мы доказали ложность какого-то утверждения, то из этого автоматически следует истинность суждения, противоположного ему. Это свойство закона исключенного третьего используется в математике для прием «доказательства от противного».

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

5. Задача. В сказке царь велел “мудрой деве” явиться к нему «ни с гостинцем, ни без подарочка», надеясь, что закон исключенного третьего ей не обойти. Девочка все же справилась с задачей: явилась с живой перепелкой в руках, подала ее царю, а «перепелка порх – и улетела!». Каким образом девочка вышла из положения (Ответ: она нарушила закон тождества.)

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

Был сформулирован довольно поздно – Лейбницем (1646–1716). Закон этот гласит: нельзя быть уверенным в истинности суждения, если для этого нет достаточного основания.

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

Заканчивая рассмотрение основных логических законов, следует обратить внимание на то, что 2-й и 3-й законы формулируются гораздо более четко, чем 1-й и 4-й. Причину понять нетрудно: в законах противоречия и исключенного третьего фигурирует только понятие истинности, интуитивно достаточно ясное, а в двух других законах мы имеем дело с несравненно менее ясными понятиями «один и тот же предмет» и «достаточное основание».