Логика

Два противоположных  суждения не могут быть истинными  в одно и то же время и в одном и том же отношении. Противоречием считается утверждение 2-х противоположных суждений об одном и том же предмете, взятом в одно и то же время, и в одном и том же отношении. Формула закона A /\ A. 

К противоположным  суждениям относятся : 1. противные (контрарные), которые оба могут быть ложными, поэтому не являются отрицанием друг друга.2. Противоречащие (контрадикторные) они являются отрицающими, т.к. если одно из них исьтинно, то другое ложно. Если в речи человека обнаружено формально-логическое противоречие, то его мышление (и речь) считаются неправильным, а суждения - ложным. Поэтому в полемике широко используется метод "приведение к абсурду". 

Эти типы простых  суждений не могут быть одновременно истинными:

1."Данное S есть Р " и "Данное S не есть Р" 2. "Ни одно S не есть Р" и "Все S есть Р".

3. "Все S есть Р" и "Некоторые S не есть Р". 4. "Ни одно S не есть Р" и "Некоторые S есть Р".

В №2 оба суждения могут быть одновременно ложными. 

14. ЗАКОН ТОЖДЕСТВА

В процессе определенного  рассуждения всякое понятие и суждение должны быть тождественны самим себе. Нарушение закона тождества в мышлении и рассуждении приводит к 2-смысленности. Эти логические ошибки часто совершаются через употребление омонимов. Ошибка - подмена тезиса , когда в ходе рассуждения выдвинутый тезис умышленно или неумышленно подменяется другим. Ошибка - подмена понятия, когда во время дискуссии в рез-те отождествления разных понятий спор по существу заменяется спором о словах.

Отождествление (идентификация) широко используется в следственной практике при опознании людей, сличении почерков, отпечатков пальцев 

15 ОПРЕДЕЛЕНИЕ ПОНЯТИЯ.  ВИДЫ И СПОСОБЫ.

Определение (дефиниция) естьт логическая операция, которая  раскрывает содержание понятия либо устанавливает значение термина. Структура - dfd (определяемое понятие) и dfn (определяющее понятие). 

Реальное определение - когда определяется понятие. Номинальное - определяется термин, обозначающий понятие, с помощью номинальных определений  вводятся новые термины, вводятся знаки, обозначающие термины. Явные определения - это когда даны дфд и дфн и между ними устанавливается отношение равенства "барометр - это прибор для изменения атмосферного давления". Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет "прибор". Генетическое определение - определение предмета путем указания на способ , которым образуется только данный предмет и никакой другой "кислоты - это вещества, образующиеся из кислотных остатков и атомов водорода". Неявные определения - на место dfn подставляется контекст или набор аксиом. 

 Кнтекстуальное  определение позволяет понять  незнакомоен слово через контекст (уравнение). 

Индуктивные определения - определяемый термин используется в  выражении понятия, которое ему  приписывается в кач-ве его смысла "натуральное число". 
 

16 ПОНЯТИЕ ПРИЧИНЫ.  МЕТОД ОСТАТКОВ.

Причина - явление  или совокупность явлений, которые  непосредственно обуславливают, порождают  другое явление (следствие). Причинная  связь существует для любого явления. При наличие причины следствие наступает обязательно. Условия способствуют или мешают действию причины. Причинная связь между явлениями определяется посредством ряда методов, которые открыл Ф.Бэкон. 

Метод остатков - если известно, что причиной исследуемого явления не служат необходимые для него обстаятельства, кроме одного, то это одно обст. И есть, вероятно, причина данного явления. 

Примсер: Наблюдая за величинами отклонения планеты Уран от вычисленной для нее орбиты , ученые решили, что отклонения на величины а, в, с, Вызванные наличием влияния планет А, В, С, не исчерпывают реального отклонения от расчетной орбиты. Оставалась еще величина d . На основании этого был сделан вывод, что должна существовать неизвестная планета D, которая и вызывает это отклонение. Так была открыта планета Нептун. 

  17 ПРАВИЛА ДЕФИНИЦИИ

1. Соразмерность  (дфд = дфн). Ошибки: а) широкое определение  "Лошадь - млекопитающее и позвоночное  животное". Б)Узкое определение  "Совесть - это осознание человеком  ответственности перед самим  собой за совершенные поступки". В) И широкое и узкое одновременно "Бочка - это сосуд для хранения жидкостей". 2. Определение не должно содержать круга - это когда дфд определяется через дфн, а дфн был определен через дфд. Тавталогия - тоже ошибка "Халатность заключается в том, что человек халатно относится к своим обязанностям". 3. Четкость и ясность - определения не должны быть 2-смысленными, не допускаются метафоры и сравнения . Ошибка - "Архитектура - это застывшая музыка, Лев - царь зверей". 

18 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО.

Из 2-х противоречащих суждений одно истинно, а другое - ложно, третьего не дано. Контрадикторными (противоречащими) наз-ся такие 2 суждения, в одном из которых что-либо утверждается о  предмете, а в другом - отрицается. Они не могут быть одновременно истинными или ложными, всегда одно из них истинно, а другое - ложно. 

19 ОПРОВЕРЖЕНИЕ ОСНОВНЫЕ  ВИДЫ

Опроверженеи - это логическая операция установления ложности или необоснованности ранее  выдвинутого тезиса. Опроверженеи должно показывать, что: 1. Неправильно построено само доказательство. 2.Выдвинутый тезис ложен или недоказан. Тезис опровержения - суждение, которое надо опровергнуть. 

Аргументы опровержения - суждения, с помощью которых  опровергается тезис. 3 вида опровержения: 

Опровержение  тезиса - осуществляется с помощью 3-х способов (1-й - прямой, остальные - косвенные). Опровержение фактами - самый верный способ опровержения. Надо приводитьт факты, противоречащие тезису "На Венере возможна органическая жизнь" - тезис, "температура на Венере 470-480 градусов, давление 95-97 атмосфер, эти фаты свидетельствуют, что жизнь на Венере невозможна" - опровержение.Установление ложности следствий тезиса - доказывается, что из данного тезиса вытекают следствия, противоречащие истине (прием: сведение к абсурду). Опровержение через доказательство антитезиса - по отношению к тезису выдвигается противоречащее ему свидетельство и доказывается. Если антитезис истинен, то тезис - ложный, 3-го не дано. Критика аргументов - подвергаются критике аргументы, которые были выдвинуты в доказательство тезиса. Доказывается ложность аргументов, но это не значит, что тезис тоже ложный (отрицание основания не ведет к отрицанию следствия). Иногда тезис истинен, но человек пролсто не может подобрать аргументы для доказательства этого. 

Выявление несостоятельности  демонстрации - показываются ошибки в  форме доказательства. Доказательство может быть построено неправильно, если нарушено какое-либо правило дедуктивного УМЗ. Также часто подбирают доказательства, из которых истинность тезиса не вытекает (ошибка). Обнаружив эти ошибки мы опровергаем ход доказательства, но не можем опровергать истинность тезиса. 
 
 
 
 

20 ОБЩАЯ Х-КА ДОКАЗАТЕЛЬСТВА  И ОПРОВЕРЖЕНИЯ. СТРУКТУРА  ДОКАЗАТЕЛЬСТВА.

Доказательство - это совокупность логических приемов обоснования истинности тезиса. Док-во связано с убеждением, но не тождественно ему : док-ва должны основываться на на данных науки, убеждения же могут быть основаны, например, на религиозной вере, на предрассудках, поэтому убедить, это еще не значит доказать. Структура доказательства - тезис - это суждение, истинность которого надо доказать. 

Форма доказательства (демонстрация) - это способ логической связи между тезисом и аргументами.  

Аргументы - это  те истинные суждения, которыми пользуются при доказательстве тезиса. Аргументы бывают : 1. Удостоверенные единичные факты (фактический материал - подписи лица на документе, статистические данные, свидетельские показания и т.п.). 2. Определения (определения понятий, например научные). 3. Аксиомы и постулаты (это суждения, которые принимаются в качестве аргументов и без доказательств). 4. Ранее доказанные законы науки и теоремы - (напр. Юридические законы являются аргументами в ходе судебного доказательства). 

Опровержение - это логическая операция установления ложности или необоснованности ранее выдвинутого тезиса. Опровержение должно показать, что : 1. Неправильно построено само доказательство. 

2. Выдвинутый  тезис ложен или недоказан.  Есть 3 вида опровержения - Опровержение  тезиса, критика аргументов, выявление несостоятельности демонстрации. 

21 ЗАКОН ДОСТАТОЧНОГО  ОСНОВАНИЯ

Всякая истинная мысль должна быть достаточно обоснованной.

Речь идет только об обосновании истинных мыслей, ложные мысли обоснавать нельзя. В качестве аргументов для подтверждения истинности мысли могут быть использованы истинные суждения, цифровой материал, статистические данные, законы науки, аксиомы, теоремы. Особую доказательную силу имеют аргументы в научных исследованиях, в процессе обучения, когда нельзя принимать на веру недоказанные утверждения. 

22 ПОНЯТИЕ ПРИЧИНЫ.  СОЕДИНЕННЫЙ МЕТОД  СХОДСТВА И РАЗЛИЧИЯ.

Причина - явление  или совокупность явлений, которые  непосредственно обуславливают, порождают  другое явление (следствие). Причинная  связь существует для любого явления. При наличие причины следствие наступает обязательно. Условия способствуют или мешают действию причины. Причинная связь между явлениями определяется посредством ряда методов, которые открыл Ф.Бэкон. 

Метод сходства - если наблюдаемые случаи какого-либо явления имеют общим лишь одно обстаятельство, то очевидно оно и есть причина данного явления. допустим, что нужно выяснить причину какого-то явления а. Исходя из определения причины как явления или совокупности явлений, которые предшествуют другому явлению и вызывают его, будем анализировать предшествующие А явления.

Случаи появления  предшествующие наблюдаемое Т.к. во всех 3-х случаях общим 

события а обстаятельства явление обстаятельством было .А, то делается вывод, что А является причиной или

1 (1) - А Б В  (АБВГ) - а (а) частью причины события а.

2 (2) - А Г Д  (БВГ) - а (-) (вероятно А и есть  причина а).

3 - А З Ж  - а 

Метод различия - Если случаи при которых явление  наступает различаются только в 1-м предшествующем обстаятельстве, то это обстаятельство и есть причина  данного явления. См. () в таблице.

23 ПРАВИЛА ДЕЛЕНИЯ  ПОНЯТИЯ.

Соразмерность - обьем делимого понятия должен быть равен сумме объемов членов деления.

Ошибки: неполное деление (перечисляются не все виды данного родового понятия "Энергия  делится на механическую и химическую (электрическую, атомную)". Деление с лишними членами "химические элементы делятся на металлы, неметаллы и сплавы". Деление должно проводиться по одному основанию

нельзя брать 2 или более признаков, по которым  бы производилось деление. Ошибка - - перекрещивание объемов понятий , получившихся в рез-те деления "Взрывы делятся на подземные, подводные и ядреные".

Члены деления  должны исключать друг друга - не иметь  общих элементов, быть соподчиненными понятиями, объемы которых не пересекаются. Ошибка - см. Предидущий пункт. Непрерывность – нельзя делать скачки в делении. Ошибка - "сказуемые делятся на простые, на составные глагольные и на составные именные".

24 ОБЩАЯ ХАРАКТЕРИСТИКА  СУЖДЕНИЯ. СУЖДЕНИЕ  И ПРЕДЛОЖЕНИЕ

Суждение - форма  мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами. "Ледоколы существуют". Суждения бывают истинные и ложные (в традиционной логике) и еще неопределенными (в 3-х значной логике). "На марсе есть жизнь" - неопределенное суждение. Сужденеи имеет субъект, предикат, связку и квантор. Субъект ( S) - понятие о предмете суждения. Предикат (P) - понятие о признаке предмета, рассматриваемого в суждении. Связка - может быть выражена одним словом (есть, суть, является), группой слов или тире, или простым согласованием слов "собака лает". Квантор - перед субъектом иногда стоит кванторное слово (все, ни один, некоторые) оно указывает, относится ли суждение ко всему объему понятия или к его части. Эти простые суждения наз-ся ассерторическими. 

Суждения делятся  на простые и сложные. Простые  суждения делятся на Атрибутивные (суждения свойства) "у розы приятный запах" , суждения с отношениями "протон тяжелее электрона", и суждения существования "Существует атомный реактор в Чернобыле". По качеству связки (есть, не есть) суждения делятся на утвердительные и отрицательные. Также делятся на общие "Все соболя - ценные пушные звери", частные "Некоторые цветы - розы" и единичные "Везувий - действующий вулкан".