Упражнения:

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

2. Запишите на языке исчисления предикатов следующие высказывания:

"Все члены шенгенского союза являются европейскими государствами" х (S(x) → P(x)),

"Некоторые зачеты являются дифференцированными" х (S(x))

"Ни один из переводов Шекспира не принадлежит X" y(X(y))

"Некоторые грибы не являются съедобными" х (P(x))

3. Приведите примеры следующих символических выражений: х (S(x) → P(x))

Все влюблённые люди счастливы.

х (S(x) → P(x))

Все одинокие люди несчастны.

х (S(x) ˆP(x))

Некоторые гениальные ученые получили Нобелевскую премию.

х (S(x) ˆP(x)).

Некоторые млекопитающие животные не являются хищниками.

Тема №2 "Логические формы мысли" План:

1. Понятие логической формы мысли.

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

Понятие логической формы мысли.

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

Форма мысли – это способ связи частей мыслимого содержания. Какие же «части» могут быть у «невидимого» мышления? Только такие же идеальные образования. Ими являются признаки, т.е. свойства предметов, процессов, явлений.

Мышление представляет собой разнообразные сочетания мыслей. Из простых, элементарных, мысленных форм образуются более сложные. Пользуясь метафорой, можно сказать, что все наши мысли укладываются в «три коробочки». Если их нарисовать, то получится следующая последовательность:

Рис. 5

1. Понятие = признак + признак.

2. Суждение = понятие + понятие.

3. Умозаключение = суждение + суждение.

Абстрагируясь от упрощений, свойственных любой схеме, можно заметить, как усложняется мысль от одной её формы к другой. Понятие – отражает общие существенные признаки предметов. При помощи понятий мышление «кодирует» предметы реального мира и создает его идеальную модель. В уме мы «говорим» о мире на языке понятий. Понятия как бы «фотографируют» мир в его существенных признаках и служат различению предметов («футляр» – это «не-ручка», а «лекция» – «не-экзамен»). Суждение позволяет высказываться о наличии или отсутствии этих признаков у предметов («Мухомор не является съедобным»). Это более сложная форма мысли, она «сложена» уже не из признаков, а из понятий и может быть истинной либо ложной. Умозаключение - самая сложная форма человеческой мысли, образованная из суждений. Благодаря ей мы получаем знание о новых признаках на основании тех, которые уже известны («Все цитрусовые – теплолюбивы, а мандарин – цитрусовый. Значит, мандарин - теплолюбивое растение»).

Рождение логики связывают с фиксированием «формальной» природы мышления, с установлением того факта, что разные по содержанию мысли могут иметь одну и ту же логическую форму. Например, суждение имеет структуру: S есть P, и подставляя вместо S (того, о чем говорится) и P (того, что говорится) различные конкретные значения, можно получить бесконечное разнообразие суждений:

Все эти суждения имеют одну и ту же структуру: S есть P. Логику стали называть «формальной» по предмету её исследования – анализу форм человеческой мысли. «Оформить» мысль – значит выразить её в виде понятия, суждения или умозаключения. Заслуга выявления этих форм мышления, а также основных законов, связывающих эти формы, принадлежит Аристотелю (334 – 322 гг. до н.э.). Логику Аристотеля, отцом которой он считается по праву, называют дедуктивной, поскольку в ней выведение нового знания есть переход от общего положения к частному случаю. Главный труд Аристотеля «Органон» являлся каноном дедуктивного способа рассуждения. Он соответствовал типу преобладавших в Античности наук и выступал их логико-методологическим основанием. В современной логике рассматриваются и другие формы мысли: вопрос, проблема, гипотеза и др. «Органон» включал шесть трактатов: «Категории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «Топика», «О софистических опровержениях».