III. Предмет формальной логики

Предмет логики составляют:

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

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

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

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

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

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

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

Основными чертами мышления являются:

1. Мышление возникает не само по себе, зависит от реального мира - действительности - и определяется ею.

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

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

4. Основой мышления является общественная практика.

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

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

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

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

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

Языки делятся на естественные и искусственные.

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

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

Введем понятие логической формы.

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

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

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

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

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

Истинность относится к содержанию мыслей, а правильность - к их форме.

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

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

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

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

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

Литература:

1. Гетманова А.Д. Логика. Учебник. Изд. «Омега-Л», 2009, стр.3-24

2. Иванов Е.А. Логика. Учебник для студентов юридических вузов и факультетов. М.: Волтерс Клувер, 2007. - 416 – ISBN 5-466-00105-8 (в пер.). стр.1-38.

3. Брушинкин В.Н. Логика. Электр. Книга. Гл. 1

Тема 2: Понятие

Вопросы:

1. Понятие как центральная категория логики.

2. Виды понятий по объему. Виды понятий по содержанию.

3. Логические отношения между понятиями.

4. Логические операции с понятиями.