К рассмотрению специфических особенностей логической формы мы уже обращались в §1, при определении предмета формальной логики. Напомним лишь, что логика использует уже сложившуюся структуру мыслительного процесса. Сложный процесс формирования и совершенствования внутренней структуры мысли лежит за пределами предмета формальной логики; она раскрывает форму мышления, не рассматривая проблему исторического развития познания.
Основными формами абстрактного мышления являются понятия, суждения и умозаключения.
Понятие – форма мышления, в которой отражаются существенные признаки класса однородных предметов. Понятия в языке выражаются словами («дерево», «веселье») или словосочетаниями («студент экономического факультета», «река Волга», «автор «Войны и мира»).
Суждение представляет собой форму мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение выражается в форме повествовательного предложения. Суждения бывают простыми и сложными. Пример простого суждения: «Студент сдает экзамены». Пример сложного суждения: «Наступила осень, и птицы полетели на юг» (оно состоит из двух простых суждений).
Умозаключение – это такая форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, по определенным правилам получается заключение. Пример: Все металлы – электропроводны.
Железо – металл.
Железо – электропроводно.
Логическая форма обусловлена наиболее общими, чаще всего встречающимися свойствами, непосредственными связями и отношениями реального мира. Поэтому она и выражает устойчивые черты правильного мышления.
Логическая форма представляет собой исторически установившийся способ связи между составными элементами человеческой мысли. Она отражает общие и простые связи и отношения бытия и человеческой деятельности. При этом в каждом мыслительном акте можно выделить как предмет мысли, так и то, что мыслится о предмете: его свойства, состояния, действия, а также отношения с другими предметами. Мысль о предмете логически связана с другими мыслями в умозаключении.
В ходе логического исследования происходит обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы,лежащие в основе формально правильного мышления. Рассуждать логично — значит рассуждать в соответствии с законами логики.
Законы логики – это законы правильного мышления, способы выражения в мысли норм и принципов человеческой деятельности. Они отражают существенные, необходимые, устойчивые и повторяющиеся связи и отношения человеческого бытия и реализуются в процессе рассуждения, направленного на получение истинного выводного знания. Соблюдение законов логики – необходимое условие достижения истины в процессе рассуждения. Основными формально-логическими законами являются:
- закон тождества;
- закон непротиворечия;
- закон исключенного третьего;
- закон достаточного основания.
Они будут подробно рассмотрены в шестой главе. Кроме того, правильное мышление подчиняется и основным законам диалектики: закону единства и борьбы противоположностей, закону взаимного перехода количественных и качественных изменений, закону отрицания отрицания.
Язык логики
Общепринятым в современной логике является язык логики предикатов. В формальной логике используются две группы терминов: дескриптивные и логические.
Дескриптивные термины (лат. descriptiо – описание) – это имена предметов, предикаторы и функциональные знаки. Они выражаются средствами естественного языка – словами.
Имена предметов – это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.
Предикаторы – это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.
Функциональные знаки – это условные обозначения предметных функций, операций (“+”, “√” и др.).
Специальный алфавит языка логики предикатов включает следующие знаки и символы:
| Символ | Способ употребления | Название | Читается |
| x, y, z | предметные переменные | ||
| p, q, r | пропозиционные переменные | ||
| Р, Q, R | предикатные переменные | ||
| ^ | p ^ q | конъюнкция | p и q |
| v | p v q | дизъюнкция слабая | p или q |
| v | p v q | дизъюнкция сильная | либо p, либо q |
| -> | р -> q | импликация | если p, то q |
| <-> | р <-> q | Эквиваленция (эквивалентность) | p тогда и только тогда, когда q |
| - | - p | отрицание | неверно, что р |
Вопросы для самопроверки:
Ø Что значит рассуждать логично?
Ø Раскройте соотношение мышления и языка.
Ø Дайте определение предмета логики как науки.
Ø Охарактеризуйте основные формы мышления.
Ø Дайте характеристику законам мышления.
Проверь себя:
1. Что такое логика? – Логика – это наука, изучающая….
- законы и формы правильного мышления;
- законы построения доказательств;
- законы отражения действительности.
2. Предметом логики как науки является….
- объективная действительность;
- абстрактное мышление;
- язык.
3. Логика исследует мышление как…
- побудитель мотивов поведения;
- средство обработки информации;
- средство познания объективного мира.
4. Что из ниже перечисленного не является логической формой?
- понятие;
- суждение;
- представление;
- умозаключение.
5. Что обозначает символ «v» на языке логики?
- конъюнкцию;
- импликацию;
- дизъюнкцию.