русс | укр

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

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

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

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


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

Лекция №4


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


 

ПКС

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

4 типа суждения: A,E,I,O

 

А(все деревья)А(растения)(сосна-растение)

 

Всего модусов 256, 19 сильных модусов(дает общее заключение)

4 модуса 1-ой фигуры:

1. Barbara

2. Celarent

3. Darii

4. Fereo

 

Общие правила ПКС (правило терминов и посылок)

1. Правило термина

1. Ошибка называется учетверение терминов( Др.греки внесли большой вклад в развитие фил-ии, Спартанцы- Др.греки, значит они внесли б.вклад в развитии фил-ии.

Др.греки- собирательное понятие

2. Средний термин (М) должен быть распределен хотя бы в одной посылке. Ошибка не распределенность среднего термина. Все гусеницы едят салат. Я тоже ем салат. (Значит, я гусеница)

Салат –средняя посылка

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

 

4 правила посылок:

1. Из 2-х частных посылок нельзя вывести заключение

2. Из 2-х отрицательных нельзя вывести заключение

3. Если посылка частная- заключение частное

4. Если посылка отрицательная- то заключение отрицательное

 

Правило фигур:

1-ая фигура :большая посылка- общая ,меньшая –утвердительная

2-я фигура: большая посылка- общая, одна из посылок и заключение-отрицательные

3: меньшая посылка –утвердительная, заключение-частное

 

 

Сокращенные сложные и сложносокращенные силлогизмы

1. Энтимема

2. Эпихейрема

3. Полиейллогизм

4. Сорит

 

Энтимема «в уме» - сокращенный ПКС

Выделяют энтимемы с пропущенной посылкой и пропущенных заключений

Чтобы восстановить энтимему с пропущенным заключением, надо найти средний термин и ,определив фигуру, по правилам этой фигуры вывести заключение



(Меньшая)Мусульмане - монотеисты

(Большая)Мусульмане- не христиане

 

Мусульмане- средний термин (3-я фигура)

Монотеисты – меньший термин (S)

Христиане(Р)

 

Некоторые монотеисты не христиане

 

Восстановление энтимемы с пропущенным заключением

(S)Он пьяница(P), т.к. у него(S) красный нос(М)

1. Перед нами посылка и заключение, определить по смыслу( что пропущено)

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

3. Формулируем пропущенную посылку так, чтобы получился правильный силлогизм

Все люди с красным носом – пьяницы

Если заключение утвердительное, то восстанавливаем по 1-й фигуре

Если отрицательное- то лучше по 2-й

4. Если восстановленная посылка –истинное суждение, то энтимема- корректная, если ложная- то некорректная

Петров всегда прав, ведь он начальник

 

Эпихейрема (нападение)

Обе посылки энтимемы

Ложь заслуживает призрения , так как она безнравственна

Лесть – это ложь , так как она искажает истину

Лесть заслуживает презрение

 

Чтобы восстановить э. надо восстановить обе энтинемы. Потом составить 3-ю из заключения первых 2-х и вывести заключение

Каждый раз надо проверять корректность

 

 

Лекция №5

 

УЗ из сложных суждений

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

1) Чисто условные умозаключения

2) Чисто разделительное

3) Условно-категорическое

4) Разделительное категорическое

5) Условно разделительное

 

1.) ЧУУ

 

А -> B(если а, то б)

B -> C(если а,то с)

A -> C

 

2.)

A v И

A1 V B2

A1 V A2 V И

 

3) Утверждающий модус

А -> B

A

B

Пример

Если стоит туманная погода – аэропорт закрыт

Сегодня сильный туман

Аэропорт закрыт

 

Отрицающий модус

А -> B

Не В

Не А

 

 

4)

 

Утверждающ-отрицающ модус

1. A v B

A

B

 

2. Отриц-утв.модус

 

A v И

A

В

 

A v B v C v В

A Λ B Λ C

D

 

4) 2 усл. Посылки – дилемма

 

3 усл – триллемма

>3 – полилемма

 

Виды дилемм

Простая конструктивная дилемма

A -> B

C -> B

A v C

B

 

 

Простая деструктивная дилемма

 

A-> B

A->C

B v C

 


A

 

Сложная конструктивная дилемма

 

A->B

C ->D

A v C

B v D

 

 

`

Сложная деструктивная

A->B

C->D

B v D

 


A v C

Правила дилеммы:

 

1) Условные посылки должны быть истинными суждениями

2) В разделительной посылке должны быть указаны все возможности.

 

 

Экзамен:

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

2. ПКС

 

 

Основные логические законы

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

1. Закон тождества - точность, определенность

2. Непротиворечия - непротиворечивость

3. Исключенного третьего - последовательность

4. Достаточного основания - обоснованность

 

 

Первые три сформулированы Аристотелем

4-ый Лейбниц

 

1. Закон ТОЖДЕСТВА :всякая мысль должна оставаться на всем протяжении рассуждения

 

 

A ↔ A

«Подмена понятия» - многозначный смысл слова, двусмысленный

Юмористический эффект

 

«Подмена суждений» - разный смысл вложенный во фразу

 

 

2. Закон непротиворечия: 2 несовместимых суждения не могут быть одновременно истинными

 

 


А Λ А

 

Запрет противоречия

 

Один и тот же предмет, в одном и том же месте и т.п.

 

 

3. Закон исключенного третьего: из двух противоречащих суждения , одно истинно, другое ложно, а третье – исключено

 

 


А v A

 

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

Реализуется в процессе аргументации



<== предыдущая лекция | следующая лекция ==>
Семинарное занятие1 | Аргументация


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


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

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

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


 


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

 
 

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

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