Логика полный курс

p Необходимость необходимо, что р

p Возможность возможно, что р

(x) p(x) Квантор общности для всякого х верно, что р – х

(x) p(x) Квантор существования существует такой х, что р - х x, y, z

Символы для высказываний, предметные переменные
a, b, c

Символы для единичных предметов, предметные постоянные
p, q, r

Символы для высказываний, пропозициональные переменные
P, Q, R

Символы для предикатов, предикатные переменные

и в качестве узловых категорий данной темы выделить в собственных логических словариках следующие понятия: язык, знак, знак – образ, знак – символ, семиотика, синтаксис, семантика, прагматика, язык логики высказываний, язык логики предикатов, воспользовавшись указанной в списке литературой: [ 1 ], стр. 10 – 13.


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


1. Что такое естественный язык?

2. Что такое искусственный язык?

3. Что представляет собой язык логики предикатов?


Тема III. Понятие


Понятие как форма мышления. Выражений понятий в языке. Основные логические приемы формирования понятий: анализ, синтез, абстрагирование, обобщение. Роль понятий в познании.


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

Выражение содержания и объема понятий в языке логики предикатов. закон обратного отношения между объемом и содержанием понятий.


Виды понятий. Общие и единичные, относительные и безотносительные, собирательные и не собирательные понятия.


Отношения между понятиями. Сравнимые и несравнимые понятия. Виды сравнимых понятий: совместимые и несовместимые понятия. Типы совместимости: равнозначность, частичное совпадение (пересечение), подчинение. Типы несовместимости: соподчинение, противоположность, противоречие. Моделирование отношений между понятиями на кругах Э.Эйлера.


Операции обобщения и ограничения понятий. Деление понятий. Виды деления: по видоизменению признака и дихотомическое деление. Правила и ошибки в делении. Классификация естественная и искусственная. Значение деления и классификация в науке и практике.


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

Приемы, сходные с определением: описание, характеристика, разъяснение посредством примера, сравнение, указание и др.

Правила определения. Ошибки, возможные в определениях. Значение определений в науке и практическом рассуждении. Требование диалектической логики к процессу определения научных понятий. Научная терминология.

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

Виды понятий





единые

U =1 элемент

(Камаз)


Общие

U>1 элемента

(Московский автозавод)



1) по объему




Непустое

(студент)

Пустое

(Кентавр)


2) по существованию

элементов



Несобирательные

(Северный полюс)

Собирательные

(должник)


3) по структуре

элементов



Безотносительные

(дом)

Соотносительные

(родители)



4) по содержанию




Положительные

(добродетель)

Отрицательные

(правонарушение)


5) по наличию качеств,

св-в, отношений



Регистрируемые

(журнал «Казань»)

1/ 99

Нерегистрируемые

(интеллигенция)

абстрактные



6) по качеству

элементов




Конкретные

(камень)

Абстрактные

(белизна)

7) по характеру

объекта



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

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


Сравнимые

понятия





Совместимые

Несовместимые







Р

А

авнооъем- Соподчинение:

н

А,В

ость: офицер-

К

С

В

азань- майор-капитан

столица

РТ



А

В




29-04-2015, 02:51

Страницы: 1 2 3 4 5 6 7 8 9
Разделы сайта