Шпаргалка: Шпаргалка по Логике 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 Понятие как форма мышления, его соотношение с языком.
Понятие является одной из форм абстрактного мышления. Конкретные предметы и их св-ва отражают с помощью форм чувств, познания – ощущения, восприятие, представление. В понятие отражается лишь существенные признаки. Признаки – предметы сходные друг с другом или наоборот. Св-ва и отношения являются признаками. Представления могут быть тождественными (сахар, мед) по св-вам (мед сладки, лимон кислый). Признаки бывают существенные и несущественные. Понятия – форма мышления в ктр отражаются существенные признаки класса однородных предметов. Языковыми формами выражения понятий являются словосочетания или слова (книга, спорт кар). Основными лог приемами формирования понятий явл: Анализ, синтез, сравнения, обобщения, абстрагирование.
Синтез – мысленное соединение в ед целое частей предмета, полученных в процессе анализа. Анализ – расчленение предметов на их составные части, мысленное выделение в них признаков. Сравнение – мысленное установление сходства или различия предметов по существенным или не существенным признакам. Абстрагирование – мысленное выделение одних признаков предмета и отвлечение от других. Обобщение – мысленное объединение отдельных предметов в нектр понятие.