Шпоры по Логике
№6 Характеристика и виды сложных суждений.
Сложное суждение это суждение состоящие из нескольких простых лог связанных между собой.
1. Соединительные суждения (конъюнкция) – суждение состоящие из нескольких простых связанных лог связкой. (кража и мошенничество относится к умышленным преступлениям)
2. Разделительные сужд (дизъюнкция) - суждения, состоявшие из нескольких простых суждений связанных лог связкой являюшейся разделителем простых сужд. (договор купли-продажи может быть заключен в устной или письменной форме)
а) Нестрогая дизъюнкция – суждение в ктр связка «или» употребляется в соединительно – разделительном значение.
б) Строгая дизъюнкция – это суждение в ктр связка «или» употребляется в разделительном знач.
Деление может быть умышленным или неосторожным.
3. Условные (импликация) - суждение состоявшие из двух простых связанных лог связкой.
4. Эквивалентные суждения – это суждения совпадающие по их значению.
№7 Язык как знаковая система. Виды языков.
Язык – средство по вседневного общения людей, средство общения научной и практической деятельности. Язык позволяет передавать и получать накопленные знания. Практические умения, жизненный опыт, осуществляет процесс обучения и воспитания подрастающего поколения. Язык является знаково – информационной сис, продуктом духовной деятельности чела. Инфа передается с помощью знаков языка. Язык это не только средство общения, но и важная составная часть культуры народа. Различаются также искусственные языки. К ним относятся языки математики, символической лог, физики и тд. Знак – материальный предмет выступающий в качестве представителя нектр другого предмета, св-ва и используемые для приобретения, хранения, переработки и передачи сообщений. Знаки делятся на языковые и неязыковые. К неязыковым относятся:
1) знаки – копии (фото, дактилоскопия)
2) знаки – признаки (дым, признак огня)
3) знаки – символы (дорожные знаки)
Сущ особая наука – семиотика. Разделы семиотики:
1) Синтаксис – изучает структуру языка.
2) Семантика – изучает проблемы интерпретации яз выражений.
3) Прагматика – анализ фун языка.
Виды языков: Естественный – исторически сложившийся в обществе, первоначально звуковое, а в последствии граф. инфо-ую знаковую сис. Св-во языка – замкнутость.
Искусственный – вспомогательная знаковая сис возникшая на основе естественного языка для более точной и экономной передачи инфы.
№8 Установления истинности сложного суждения.
Сложное суждение образуется из простых с простых с помощью лог связок: конъюнкций, дизъюнкций и импликации.
Конъюнкция – истина лищ в том случае когда оба эл-та истины
Слабая дизъюнкция – оба эл-та ложны, то ложнно все суждение.
Импликация – из истиности => истина, из лжи => все.
Эквивалентности – значения совподают.
№10 Модальность суждений, ее виды
Модальность – это определенным образом выраженная суждение дополнительная хар-ка явлений их св-в и отношений между ними. Это хар-ка не воспринимается как четкое и однозначное инфа. Более того мы не всегда можем определить истина она или ложна. Различаю 3 вида модальности: 1) Алетическая модальность выражается в терминах: необходимо, возможно, случайно (эти понятия называют операторами).
2) Эпистимическая – позволяет разделить суждения на 2 группы: достоверные (операторы: доказано и опровергнуто) и проблематичные (оператор: вероятно).
3) Деонтическая – используются операторы: обязательно, разрешено.
№11 Язык логики высказываний
Язык – средство повседневного общ-я людей, средство общения в научной и практической деятельности.
Структура языка.
I) Имя - слово как словосочетание, обозначающий какой либо предмет, а также св-ва и отношения действительности. Имена бывают единичные и общие. Имя имеет 2 хар-ки: Денотат – значение имени ктр этим именем называется. Концепт – смысл имени или способ, при помощи ктр мы назыв какой либо предмет.
II) Предикторы – выражения, отряжающие св –ва языка. В зависимости от того к какому числу имен относятся, бывают либо одноместные, либо многом.
III) Функциональные знаки
Алфавит формальной логики
1.Единые имена, логическая константа
2.Общие имена логические переменные
3.Предикторы.
IV) Предложения – высказывания, утверждающие или отрицающие существование предмета их св-в и отношений.
V) Кванторы.
VI) Лог союзы: конъюнкция (соед. «и»); дизъюнкция(«или») строгая и слабая; импликация (следование) «если», «то».
VII) Отрицание «не» (инверсия)
№12 Умозаключение как форма мышления, его виды
Умозаключение форма мышления в ктр из одного или нескольких суждений на основе определенных правил вывода получаем новое суждение с необходимой или определенной степенью вероятности следования из них. Как любая форма мышления, умозаключение имеет объективную основу и связана с окружающим миром. Умозаключение бывает непосредственным и опосредствованные. В непосредственном вывод строится и по первому суждению путем его преобразования или но основе правил соотношения истинности и ложности подчинения и несовместимых суждений. В опосредствованных вывод делается из двух или нескольких суждений лог связанных между собой. Также умозаключения различают 3 составных компонента: исходное значение (посылка), обосновывающее значение (лог основа вывода), выводное значение (заключение).
Умозаключение и виды:
1) Дедуктивное - умозаключение у ктр между посылками и заключением имеется отношения лог следования (все рыбы дышат жабрами. Все окуни – рыбы. Все окуни дышат жабрами.)
2) Индуктивное – умозаключение в ходе ктр используемое значение частного порядка мы получаем возможность делать общее заключения.
3) По аналогии – рассуждение в ходе ктр сопоставляя различные явления мы обнаруживаем в них новые св-ва на основе сходства между объектами, по ранее изученным признакам.
№13 Понятие как форма мышления, его соотношение с языком.
Понятие является одной из форм абстрактного мышления. Конкретные предметы и их св-ва отражают с помощью форм чувств, познания – ощущения, восприятие, представление. В понятие отражается лишь существенные признаки. Признаки – предметы сходные друг с другом или наоборот. Св-ва и отношения являются признаками. Представления могут быть тождественными (сахар, мед) по св-вам (мед сладки, лимон кислый). Признаки бывают существенные и несущественные. Понятия – форма мышления в ктр отражаются существенные признаки класса однородных предметов. Языковыми формами выражения понятий являются словосочетания или слова (книга, спорт кар). Основными лог приемами формирования понятий явл: Анализ, синтез, сравнения, обобщения, абстрагирование.
Синтез – мысленное соединение в ед целое частей предмета, полученных в процессе анализа. Анализ – расчленение предметов на их составные части, мысленное выделение в них признаков. Сравнение – мысленное установление сходства или различия предметов по существенным или не существенным признакам. Абстрагирование – мысленное выделение одних признаков предмета и отвлечение от других. Обобщение – мысленное объединение отдельных предметов в нектр понятие.