Прагматическая характеристика вопросов и ответов.
Неправильные с прагматической точки зрения вопросы - Вопросы расширительные.
Неправильные с прагматической точки зрения ответы – лишнего сказали.
Если обвиняемые невиновны, тогда зачем они пригласили адвокатов из заграницы? Расширительный вопрос.
Дедуктивные умозаключения
План:
Выводы логики высказываний.
Эмпирической описание выводов логики высказывания.
Теоритическое описание выводов логики высказывания. Табличное построение.
Выводы из категорических суждений.
Непосредственные умозаключения.
Категорический силлогизм.
Умозаключение – получение некоторых знаний из других знаний. Логика изучает не все высказывания.
Например, «Идет дождь. Значит крыша мокрая», но это не умозаключение, вы просто это знаете. Как можно это понять, надо провести мысленный эксперимент. Из этого можно сдедать вывод, что «если крыша не мокрая, значит, дождь не идет».
Выделяют два вида умозаключений по логической форме:
Дедуктивные умозаключения (deductio (лат.) – выведение). Иногда называют «выводы».
Индуктивные умозаключения (inductio (лат.) – наведение).
Пропали драгоценности, подозревают плотника. Значит надо искать в стропилах дома. Потому что плотник их строил. Это не дедуктивный метод.
Умозаключения:
Первого типа – не учитывается внутренняя структура самих суждений. Выводы логики высказываний (Умозаключения логики высказывания)
Второго типа – учитывается система простых высказываний.
Выводы логики высказываний. Эмпирической описание выводов логики высказывания.
Эмпирический метод (тибетская медицина) и теоритический метод (современная медицина).
Эмпирический метод описания логики высказываний.
Виды умозаключений:
Условно категорические умозаключения – одна посылка условное суждение.
Модус утверждающий
.Модус отрицающий
.
Разделительно категорический.
«либо А, либо В»
.
Преступление совершил либо Иванов,
либо Петров. Если не Петров, значит
Иванов, а могут и оба.
-
Дилемма
Конструктивные
Деструктивные
Простые
Сложные
Контрапозиция
Рассуждение от противного. Доно множество суждений (Г), наждо доказать, что из точки лежащей вне прямой, можно опустить только один перпендикуляр.
Сведение к абсурду. Надо доказать, ч то А неверно. Предположим, что А верно, из этого следует что В и не В.
Модель – объект, который сходен с другим объектом (оригиналом) является упрощением оригинала и служит целям познания.
-
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
Теоритическое описание выводов логики высказывания. Табличное построение.
На теоритическом уровне мы рассматриваем факты.
Суждение
условное – основания достаточно для
выражения следствия
.
Конъюнктивное суждение – истины, когда оба суждения истины .
Логическое
суждение
- из А следует В (идет дождь, следовательно
крыша мокрая).
Импликация - .
-
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
Язык:
Алфавит.
p, q, r, s, p1 – пропозициональные переменные (суждения)
- логические термины, приоритет
выполнения операций.
Формулы
Пропозициональная переменная есть формула.
Если А и В формулы, то
- формулы.Ничто иное не есть формула.
Формулы-
суждения законченной мысли. Неверно,
что сечас идет дожли и идет снег.
Семантика
-
И
Л
Л
И
-
И
И
И
И
И
И
И
Л
Л
И
Л
Л
Л
И
Л
И
И
Л
Л
Л
Л
Л
И
И
Интерпритация – рассмотреть все примеры, когда выражение истинно или ложно
-
p
q
r
И
И
И
И
И
И
И
И
Л
Л
И
Л
И
И
И
И
Л
И
Л
Л
Л
И
И
И
И
Л
И
И
Л
Л
Л
Л
Л
И
И
Л
Л
Л
Л
И
-
p
q
r
И
И
И
Л
И
И
И
И
И
Л
И
И
И
И
И
Л
И
Л
Л
Л
Л
И
Л
Л
И
И
И
И
Л
И
И
Л
И
Л
И
Л
И
Л
И
И
Л
И
Л
Л
И
Л
Л
Л
И
Л
Л
Л
И
И
Л
И
Сколько
строк в таблице -
, где n – число переменных.
Формула называется тождественно истинной или общезначимой или логическим законом, если и только если (е.т.е.) она истинна при каждой интерпретации (при каждом наборе переменных\во всех строках).
Формула называется тождественно ложной или противоречием е.т.е. она ложна при каждом наборе значения переменной (во всех строках).
Формула называется выполнимой е.т.е. она истина хотя бы в одной строке.
Формула называется опровержимой, е.т.е. она ложна хотя бы в одной строке.
Если форму формула тождественно истинная, то она выполнимая.
Возьмём несколько суждений и установим, в каких отношениях они относятся.
Совместимость по истине, совместимость по ложности.
Если
человек поступил в МГУ, то окончит МГУ.
Если человек поступил и выполнит весь учебный план, то окончит.
Человек
поступил в МГУ.
Каждому суждению придаем букву
Выражаем функцию.
Для полученных формул строи сравнимые таблицы истинности.
|
|
|
|
|
|
|
|
|
|||||
И |
И |
И |
И |
И |
И |
И |
И |
И |
Л |
И |
Л |
И |
И |
И |
Л |
И |
Л |
И |
Л |
И |
И |
Л |
Л |
Л |
Л |
И |
И |
Л |
И |
И |
И |
Л |
И |
Л |
Л |
И |
Л |
И |
Л |
И |
Л |
Л |
Л |
И |
И |
Л |
И |
Л |
Л |
Л |
Л |
И |
Л |
И |
Л |
совместимы по истинности, но не совместимы по ложности.
Следование – не может быть, что все посылки истинны, а заключение ложно.
- следование.
Как проверять умозаключение:
Если это преступление совершил Петров(p) и это доказано(q), то он подлежит привлечению к уголовной ответственности(r).
Петров совершил это преступление, но это не доказано.
-----------------------------------------------------------------------------------------
Петров не подлежит привлечению к уголовной ответственности.
|
|
|
|
|
|
|
|
И |
И |
И |
И |
И |
Л |
Л |
|
И |
И |
Л |
И |
Л |
Л |
И |
|
И |
Л |
И |
Л |
И |
И |
Л |
Из истинных посылок не может следовать ложное заключение |
И |
Л |
Л |
Л |
И |
И |
И |
|
Л |
И |
И |
Л |
И |
Л |
Л |
|
Л |
И |
Л |
Л |
И |
Л |
И |
|
Л |
Л |
И |
Л |
И |
Л |
Л |
|
Л |
Л |
Л |
Л |
И |
Л |
И |
|
