русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Семинарное занятие1


Дата добавления: 2013-12-24; просмотров: 1172; Нарушение авторских прав


Контр.работа(4 задачи)

 

1-ый тип задач - Полная логическая характеристика понятия:

Отношения между понятиями

 

Понятия

 

 

Несравнимые(не относятся к общему роду) Сравнимые

 

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


1.тождество

 

А,В

 

2.перекрещевание(студент, спортсмен)

 

А В

3.подчинение (родо-видовой отнош

 

Рне11.Соподчинение(яблоко+груши=фрукты)

А В

2 противоположность(белый-черный=цвет)

 

А В

3.противоречия(черный-нечерный)

 


А

В А А

 

Мужчина-А А,В

Сын-В

Отцец-С С

 

 

А-электрон Д С

В-протон

С-ядро А В

Д- элементарная частица

 

 

А-участник ВОВ В

В-полковник А

С-генерал С

 

А-автор романа Война и мир

В-русс.писатель С

С-писатель Д В

Д-философ А

 

А- населенный пункт А

В- город С

С- деревня В

Д-мегаполис Д

 

Лекция №2: Логические операции с понятиями.

1. Обобщение;

2. Ограничение;

3. Деление;

4. Определение (дефиниция).

Обобщение – переход от понятия с меньшим объемом к понятию с большим объемом.

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

Ограничение – переход от понятия с большим объемом к понятию с меньшим объемом. Признаки добавляются по одному. Предел ограничения – единичное понятие. Правила ограничения и обобщения: 1. Переходить к ближайшему виду или роду;

2. Не путать отношение рода и вида с отношением целого и части;

Деление– операция разбиения объема родового понятия на видовые понятия.

Структура деления:



1. Делимое понятие;

2. Основание деления;

3. Члены деления;

Виды деления:

1. Деление по видоизменению родового признака;

2. Дихотомическое – это деление на два противоречащих понятия, цель – выделить один предмет рода;

Правила деления понятий:

1. Деление должно быть соразмерным, т.е. объем делимого должен быть равен сумме объемов членов деления. Две ошибки: не полное деление (не все разновидности упомянуты) и деление с лишними членами (лишний элемент);

2. Деление должно производиться по одному основанию. Ошибка: смешение оснований (основание деления ОДНО);

3. Деление должно быть непрерывным, т.е. члены деления должны быть однопорядковыми видами. Ошибка: скачок в делении;

4. Члены деления должны исключать друг друга.

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

Структура определения:

1. Определяемое;

2. Определяющее.

Виды определений.

По цели:

1. Номинальные – договоренность об употреблении слова. В номинальном определении есть слова: «называется», «считается».

2. Реальные – перечисление признаков предмета; раскрывает содержание понятий.

По форме:

Явные Неявные

Через род и Через противоположность 1) Контекстуальные;

видовое отличие. 2) Индуктивные (точные науки).

1) Атрибутивное (свойства);

2) Генетическое (происхождение);

3) Операциональные (дается операция

распознавания данного предмета).

 

Формула

1. α и β – формулы

2. α Л β

αV β

α β формулы

α β

α

Правила определений:

1. Определения должны быть соразмерными (объем определяемого равен объем определяющего). Ошибка: широкое определение (определяющее больше определяемого), узкое определение, перекрещивающиеся определения.

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

3. Определение, по возможности, не должно быть отрицательным.

4. В определении не должно быть круга.

5. Определение не должно быть избыточным.

6. В определении должен быть правильно указан род.

 

 

Лекция№3

Суждение как форма мышления – это форма мышления, которой что то утверждается или отрицается.

Языковая форма суждения – это осмысленное повествовательное предложение или риторический вопрос

Риторический вопрос – языковая форма суждения

Логическая характеристика суждения – Истинностное значение

«И»- истина

«Л» - ложь

Суждения бывают простые и сложные

1) Субъект (S) – это термин суждения. Выражают то, о чем утверждается или отрицается.

2) Предикат (Р) – это термин, что именно утверждается или отрицается

3) Связка – это слова явления -не явл. , есть- не есть

4) Кванторное слово (слова «все» или «некоторые»)

 

 

Виды простых суждений

/ | \

 

 

По качеству:


 

По кол-ву

1) единичные

2) общие (все)

3) частные (некоторые)

 

1) утверждаемые

2) отрицаемые

 

 

По характеру предиката (Р)

1) Атрибутивные(св-ва)

2) Релиционные (отношения)

3) Экзистинциальные (существование)


Объединенная классификация (категорические суждения)

 

А 1) общеутвердительные (все S есть Р)

I 2) частноутверждающие (некоторые S есть Р)

Е 3) общеотрицательные (все S не есть Р)

О 4) частноотрицательные (не S не есть Р)

Affirmo - утверждаю

Nego – отрицаю

Стандартная (логическая) форма суждения.

Привести суждение к стандартному виду – это значит представить S и Р в виде понятий, сформировать связку и кванторное слово

Пример: Порядочному человеку чуждо зазанайство

Все порядочные люди являются людьми, которым чуждо зазанайство

Все –кванторное слово

Порядочные люди – субъект

людьми, которым чуждо зазанайство – предикат

 

 

Распределенность терминов

 

Термин – распределен, если он полностью включает в объем другого термина или полностью из него исключается

Термин – не распределен, если он частично совпадает с объемом другого термина

А:

I:

 

 

E:

 

 

О:

 

Правила

1) Субъекты распределимы в общем и нераспределимы в частном суждении

2) Предикат распределим в отрицательном суждении нараспределим в утвердительном, если только он не выделяющ.

Утвердит – не распределен

Отрицат – распределен

Отношения между категорическим и суждениями (логический квадрат)

 

A – все S есть P

I – нек S есть P

E –Ни одно S не есть P

O – Нек S не есть P

Если одно истинно то другое ложно

Отношение между суждениями – это отношение между истинностным значением суждений, не зависимо от их конкретного содержания

 

 

Умозаключение (УЗ)

- это способ получения нового знания на основе уже имеющегося .

Структура УЗ:

1. Посылки ( суждения , содержащие исходное знание)

 

Заключение , содержащее новое знание

 

Умозаключение – логическая операция , в результате которой из одного или нескольких суждений(посылки) получается новое суждение - заключение

Основная логическая характеристика УЗ – правильность

 

Понятие есть или нет

Суждение - истина или ложь

Уз - правильная или неправильная

 

УЗ ( по направлению движения мысли):

1. Дедуктивная

2. Индуктивный

3. Традуктивный

 

УЗ ( по характеру связи посылок и заключения):

1. Демонстративные (истинность посылок гарантирует истинность заключения)

2. Правдоподобные (Истинность посылок лишь повышает степень правдоподобия заключения)

 

Дедукт.уз

· Силлогизмы(выводы, в к-ой учитывается субъектнопредикатная система суждений):

1. Непосредственные1 посылка

2. Опосредованные 2,3,4 посылки

 

 

· Уз логики и суждения

 

 

Превращение – преобразования этого суждение в суждение противоположные по качеству

с предикатом противоречащим предикату исходному суждению

 

Все S есть P / Все S не есть не Р

 

Все S не есть Р / Все S есть не Р

 

A E

Е А

I – O

O – I

 

Обращение (непосредственные силлогизм) преобраз.суждение, при к-ом субъект исходного суждения становится предикатом, а предикат субъектом.

 

Все S есть P

Некоторые, P есть S

 

Термин нераспределенный в посылке не может быть распределен в заключении

 

Нек. S не есть Р / Нек. Р не есть S

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

 

 

3. Противопоставление предикатов

 

Превращение + Обращение

 

Все S есть Р / Все не Р не есть S

 

Все львы хищники / Все львы не являются не – хищниками

Все не хищники не являются львами

 

 

Отрицание + превращение

Нек. Предприн. Явл.. Успешными людьми

Нек.успешные люди являются предприн.

Нек. Успешные люди Не являются не предпринимателями

 

Широко используемый вид суждений – Простой категорический силлогизм

- ПКС вывод одного категорического суждения из двух других категорических суждений

Все деревья (М)– растения(Р)

Сосна – дерево(М)/

Сосна(S)- растение(Р)

 

Начинаем анализировать ПКС с заключения –

Субъект заключения называет меньшим термином обозначается S

Предикат заключения – больший термин

Больший и меньший термины – крайние и образует заключение

Средний термин – М

 

Посылка, в состав к-ой больше терминов – большая посылка

Растения – б.посылка

Сосна , дерево – меньшая посылка

 

Фигура простого ПКС- это разновидности ПКС , различающиеся среднего термина

1. Фигура

М Р

 

 

S М

 

2. Фигура

P М

 

 

S M

 

Упругий применяется для опровержений

 

3. Фигура

M p

 

S M

 

Для недопущения необоснованных обобщений

 

4. Фигура

P M

 

 

M S

 



<== предыдущая лекция | следующая лекция ==>
Закон логики- устойчивая, необходимая связь между мыслями | Лекция №4


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.189 сек.