Понятие о формах и законах мышления.

Основными формами абстрактного мышления являются:

– понятие(имя);

– суждение (высказывание);

– умозаключение (вывод).

1) Отдельные предметы или совокупность предметов отражаются мышлением человека в понятиях (различных по содержанию) – мыслимых как определенная связь их существенных признаков. Например:

Клевета (согласно статье 188 УК РБ) – распространение заведомо ложных, позорящих другое лицо измышлений.

2) В форме суждений отражаются отношения между предметами и их свойствами. Эти отношениях утверждаются либо отрицаются. Понятие о предмете суждения обозначается S (субъект). Понятие о признаке предмета обозначается P (предикат). Знак «–» обозначает связь между ними (утверждение и отрицание связи).

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

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

Все рыбы живут в воде. Дельфины живут в воде. Дельфины – рыбы.

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

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

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

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

а) определенности;

б) последовательности;

в) доказательности.

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

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

Для достижения верности рассуждения необходимо соблюдать следующие условия:

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

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

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

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

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

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

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

ОСНОВНЫЕ ФОРМАЛЬНО-ЛОГИЧЕСКИЕ ЗАКОНЫ

Логика и язык.

Законы и формы мышления являются идеальными объектами, т.е. представляют собой отражение в сознании человека (в результате многовековой практики) свойств, связей и отношений предметов объективной действительности. Как предмет изучения логики, они (законы) приобретают материальную форму в языке. Рассмотрим основные функции и состав языка, а также специфику языка.

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

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

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

а) Предметное значение – объект, который представляется знаком (или обозначается).

б) Смысловое значение – выражаемое языком характеристика объекта, представителем которого является знак (информация об этом объекте).

Комплексно изучает язык особая наука – семиотика (или общая теория знаковых систем). Она анализирует язык в трех аспектах:

1. Синтаксическом;

2. Семантическом;

3. Прагматическом.

Таким образом:

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

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

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

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

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

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

Рассмотрим принципы построения и структуру этого языка. Для выявления логической формы мыслей при анализе естественного языка важное значение имеет смысловая или семантическая характеристика языковых выражений. Основными семантическими категориями являются:

- имена предикатов;

- имена свойств;

- предложения.

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

Имя – это условный представитель предметов в языке, имя имеет двойное значение.

1) Множество предметов, к которым относится данное имя, составляет его предметное значение и называется денотатом.

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

3) По составу различают имена простые (не включают других имен «стол», «страна») и сложные («спутник Земли»)

По денотату имена бывают: единичные и общие.

Единичное имя:

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

б) бывает именем собственным;

в) дается описательно («самое глубокое озеро в мире»).

Общее имя:

а) обозначает множество, состоящее из более чем одного предмета;

б) в языке представлено нарицательным словом;

в) дается описательно (центральное европейское государство).

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

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

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

1) a, b, c, …символы для единичных имен предметов их называют предметными постоянными (константами).

2) x, y, z, …символы общих имен предметов, их называют предметными переменными.

3) P¹, Q¹, R¹…; P¹, Q¹, R¹…; Pⁿ, Qⁿ, Rⁿ…; – символы для предикатов, индексы над которыми выражают их местность: 1-одноместный; 2- двухместный, n - местный. Их называют предикатными переменными.

4) p, q, r – символы для высказываний, которые называют высказывательными или пропозиционными переменными (лат. proposition – высказывание).

5) ", $ – символы для кванторов.

" – квантор общности; символизирует выражения: все, каждый, всякий, всегда и т.д.

$ – квантор существования; символизирует выражения: некоторый, иногда, бывает, встречается, существует и т.д.

6) Логические связки:

Ù – конъюнкция (соединительное «и»);

Ú – дизъюнкция (разделительное «или»);

® – импликация (союз «если…, то …»);

º – эквивалентность (союз если и только если…, то…);

ù – отрицание («неверно, что…»).

7) Технические знаки: (;), скобки.

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

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

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

Литература.

1. Бартон В.И. Логика: Учеб. пособие. – Мн., 2001. Гл. I. .§ 1-3.

2. Гетманова А.Д. Логика. – М., 2002. Гл.II.§ 1-4.

3. Горский Д.П. и др. Краткий словарь по логике. – М., 1991.

4. Кириллов В.И., Старченко А.А. Логика. – М., 1998. Гл.II.§ 1-4.

5. Логика/ Под ред. В.Ф. Беркова. – Мн., 2002. Введение.§ 1-4.

6. Формальная логика. – Л., 1987. Гл.I.§ 1,2.

Глава 2. Понятие.