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

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

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

Логическая форма выражается посредством логических переменных и логических констант. В качестве логической переменной может выступать любая буква латинского алфавита: A, B, C, p, q. Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами: «все», «некоторые», «суть», «и», «или», «либо, либо», «если…, то» и т. д. Для обозначения логических констант употребляются символы, что позволяет достичь большей компактности и строгости изложения:

 (x) – квантор общности «для всякого x верно, что».

 (x) – квантор существования – «существуют x».

 - логический союз конъюнкция, выражается посредством грамматических союзов «и», «да», «но».

 - логический союз дизъюнкция в значении грамматического союза «или…или».

 - логический союз импликация, выражается словами «если, то».

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

Важнейшие формы логического мышления:

- понятие - суждение - умозаключение

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

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

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

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

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

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

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

Задача логики – исследование логических форм безотносительно к их конкретному содержанию.

Мышление подчинено логическим законам или законам мышления:

закон тождества - в процессе систематического рассуждения мысль о предмете должна оставаться неизменной;

закон противоречия- невозможно, чтобы одно и тоже в одном и том же отношении было или не было одним и тем же;

закон исключенного третьего – выявление альтернатив, одна из них должна быть либо истинной, либо ложной;

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

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

- определенность

- последовательность (непротиворечивость)

- доказательность

Все законы носят объективный характер, т.е. существуют независимо от факта осознания человеком.

ПРИМЕР

Рассмотрим высказывания:

S P

«день был дождлив»

S P

«бой был жесток»

S P

«Суворов был храбрый»

Структура одна и таже, способ связи одинаков. Его тип S есть P.

S – субъект высказывания – это предмет мысли

P – предикат- то, что утверждается или отрицается о предмете мысли.

В выражении есть связка. Это форма высказывания - суждение.