- •Тема 1. Предмет и значение логики
- •1.1. Логика как наука о мышлении
- •1.2. История логики. Значение логики
- •1.3. Логический анализ языка
- •1.3.1. Основы семиотики
- •1.3.2. Семантические категории языка
- •1.3.3. Язык логики предикатов, язык логики высказываний
- •Тема 2 понятие
- •2.1. Понятие как форма мышления. Виды понятий
- •2.1.1. Понятие как форма мышления
- •2.1.2. Виды понятий
- •2.2. Логические отношения между понятиями
- •2.3. Операции с понятиями
- •2.3.1. Ограничение и обобщение понятия
- •2.3.2. Деление и классификация понятий
- •2.3.3. Определение понятий
Тема 1. Предмет и значение логики
Логика как наука о мышлении.
История логики. Значение логики.
1.3. Логический анализ языка.
1.1. Логика как наука о мышлении
Логика (греч. логос – “мысль”, “слово”, “разум”) – наука о мышлении, играет важную роль в исследовании познания. В познавательной деятельности людей выделяют две стороны: чувственное и рациональное познание. Основой познания является чувственное познание, предполагающее непосредственный контакт с объектом.
Выделяют следующие формы чувственного познания:
ощущение – отражение отдельных свойств предмета;
восприятие – отражение предмета в виде целостного образа;
представление –отражение в форме образа, сложившегося на основе предшествовавших восприятий предмета.
Чувственное познание ограниченно: дает знание об отдельных вещах, о внешней стороне предметов. Рациональное познание в форме абстрактного мышления обладает дополнительными возможностями. Для увеличения познавательных возможностей отвлекаются от чувственных образов и отражают существенные признаки в обобщенной форме. Абстрактное мышление - это отвлеченное мышление. Его важнейшие признаки:
абстрактное мышление представляет собой опосредованное познание предмета. К абстрактному мышлению обращаются при недостаточности или невозможности чувственного познания;
обобщенный характер познания;
активный, творческий характер мышления;
абстрактное мышление неразрывно связано с языком.
Логика изучает абстрактное мышление посредством выделения логической формы мышления. Логическая форма выявляется в результате отвлечения от смыслов и значений внелогических терминов. На этой основе появляется возможность подстановки вместо внелогических терминов символов – переменных. Понятие логической формы является ключевым в логике. Логическая форма мысли - это способ связи элементов мышления, строение мышления. Например, суждения “Все птицы имеют крылья” и “Всякий кулик свое болото хвалит” имеют одну логическую форму - “Все S суть P”, а суждения “Если на улице дождь, то земля мокрая” и “Если металл нагреть, то он расширится” – форму “Если А, то В”.
Основные логические формы – понятие, суждение, умозаключение.
Понятие – форма мысли, в которой предметы выделены на основе существенных и отличительных признаков. Например, “Равносторонний прямоугольный четырехугольник”.
Суждение – форма мысли, в которой утверждается или отрицается наличие свойств предметов, отношений между ними. Например, “Все люди смертны”.
Умозаключение – форма мысли, в которой на основе известного знания, выраженного в суждениях, получают новое знание, также выраженное в суждениях. Например, “Если человек совершил преступление, то он подлежит наказанию. Он совершил преступление, значит, подлежит наказанию”.
Кроме логической формы в мышлении выделяют необходимые существенные связи - законы логики. Логические законы – это связи между мыслями по формам, при которых истинность одних мыслей обуславливает истинность других. Это связи, зависящие только от логических форм мышления. Очевидно, что выражение “Человек ходит осенью в плаще или он не ходит осенью в плаще”, состоящее из простых суждений будет истинным независимо от истинности составляющих его простых суждений. В современной логике под законом понимается выражение, истинное при любых значениях переменных.
Особое место среди других законов занимают следующие:
Закон тождества.
Закон непротиворечия.
Закон исключенного третьего.
Закон достаточного основания.
Соблюдение этих законов (логических принципов) является необходимым условием правильного мышления.
Важными для логики являются понятия логической истинности и формальной правильности. Логическая истинность предполагает, что наши высказывания соответствуют действительному положению дел. Формальная правильность предполагает, что в рассуждениях не нарушаются законы логики. Логика изучает формы правильного мышления и связи между ними.
Логика - это наука о формах и законах правильного абстрактного мышления.
