Лекции по логике КГМУ. ЛЕКЦИИ ЛОГИКА. Любой предмет имеет разнообразные признаки. Они бывают Существенные признаки
 Скачать 1.32 Mb.
|
|
Отношения совместимости: Эквивалентность Логическое подчинение Частичное совпадение (субконтрарность) Совместимые эквивалентные суждения выражают одну и ту же мысль в различной форме. S двух суждений совпадают, а Р различаются по форме, но одинаковы по смыслу. Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным. Пример: «Юрий Гагарин – первый космонавт» и «Юрий Гагарин первым полетел в космос». Логическое подчинение Например: «Все учащиеся нашей группы – спортсмены». Это суждение А общеутвердительное (подчиняющее). Суждение I – «Некоторые учащиеся нашей группы - спортсмены» - подчинённое. Если общее суждение истинно, то частное (подчинённое) суждение истинно. Если общее суждение ложно, то частное (подчинённое) суждение неопределённо. Если частное суждение истинно, то общее (подчиняющее) суждение неопределённо (при нарушении этого правила может возникнуть логическая ошибка – «поспешное обобщение»). Если частное суждение ложно, то общее (подчиняющее) суждение ложно. Частичное совпадение (субконтрарность) Например: «Некоторые учащиеся нашей группы – спортсмены» и «Некоторые учащиеся нашей группы – не спортсмены». Оба одновременно могут быть истинными, но не ложными. Если одно ложное, второе истинно. Если одно истинно, второе – неопределённо. Противоречие (контрадикторность) Например: «Некоторые летчики – космонавты» и «Ни один лётчик не является космонавтом». Два противоречащих суждения не могут быть одновременно истинными и одновременно ложными. Лекция №3 по логике Законы логики Понятие о законе логики Закон мышления — это необходимая, существенная, устойчивая, повторяющаяся связь между мыслями. Порядок и связь мыслей имеет две стороны: содержательная — процесс отражения в сознании объективных связей реальных вещей и их свойств; формальная — установление связей между формами мысли. Формально - логические законы — это законы структурно-смысловой связи элементов мысли между собой, придающие ей определенную форму, посредством которой выражается содержание мысли. Закон тождества Закон тождества — в процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе Запись закона: А=А Т.е., в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. Нельзя тождественные мысли выдавать за различные, а различные — за тождественные. Ошибки: подмена понятия —отождествление различных понятий. Например при употреблении омонимов; подмена тезиса — в ходе доказательства или опровержения выдвинутый тезис умышленно или неосознанно подменяется другим. Закон противоречия Закон противоречия — два противоречащих друг другу суждения не могут быть одновременно истинными; по крайней мере одно из них можно Запись закона: ┐ ( А ^ ┐ А) ( неверно, что а и не-а одновременно истинны). Закон противоречия действует в отношении всех противоречащих суждений. Логического противоречия не будет: — если утверждается принадлежность предмету одного признака и в то же время отрицаем принадлежность этому же предмету другого признака; — не будет противоречия между суждениями, если речь идет о разных предметах; — противоречия не будет, если что либо утверждается и в то же самое время отрицается относительно одного предмета, но который рассматривается в разное время; — противоречия не будет, если один и тот же предмет нашей мысли рассматривается в разных отношениях. Закон исключённого третьего Закон исключённого третьего — два противоречащих высказывания об одном и том же предмете не могут быть вместе ложным: одно из них по необходимости истинно Запись закона: А v ┐ А ( А или не-А) Если в законе противоречия выражаются отношение суждений по истинности, то в законе исключенного третьего — по ложности. Закон достаточного основания Закон достаточного основания — ни одно суждение не может быть признано истинным без достаточного основания В этом законе выражено отношение одних истинных мыслей к другим — отношение логического следования, обеспечивающего их соответствие действительности. Этот закон означает, что в правильном рассуждении вывод всегда достаточно обоснован. Требование, вытекающее из закона достаточного основания: — всякая истинная мысль должна быть обоснованной, или: нельзя признать высказывание истинным, если для него нет достаточных оснований. Законы логики высказываний Закон двойного отрицания — отрицание отрицания дает утверждение, или: повторенное дважды отрицание дает утверждение. ┐ ┐ А → А если неверно, что не-А, то верно А. 2. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным законом двойного отрицания: утверждение влечет свое двойное отрицание. А → ┐┐ А если А, то неверно что не-А 3. Законы контрапозиции — «если есть первое, то есть второе» следовательно «если нет второго, то нет и первого». (А→В)→(┐В→┐А), если дело обстоит так, что если А, то В, то если не -В, то не-А 4. Закон приведения к абсурду. Редукция к абсурду - это рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т.е. логического противоречия. Формулировка закона: Если из высказывания А выводится как высказывание В. так и его отрицание, то верным является отрицание А. (А→В)^(А→┐В)→┐А , если (если А, то В) и (если А, то не -В),то не -А 5. Закон косвенного доказательства. Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основание того, что отрицание этого высказывания влечет противоречие. (┐А→В)^(┐А→┐В)→А, если(если не-А, то В) и (если не -А, то не -В), то А. 6.Закон Клавия— если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. (┐А→А)→А, если не-А имплицирует А, то верно А. 7. Закон транзитивности —когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье. (А→В)→ (В→С)→(А→С), если (если А, то В) и (если В, то С), то (если А, то С). 8. Закон Дунса Скотта— из ложного утверждения вытекает какое угодно утверждение. Закон, носящий имя средневекового логика и философа, монаха Дунса Скотта, характеризует ложное высказывание. Вопрос — это логическая форма, включающая исходную информацию с одновременным указанием на ее недостаточность с целью получения новой информации в виде ответа. Логическая структура вопрос: Исходное знание (базис или предпосылка вопроса) ↓ Требование перехода от незнания к знанию, от исходного к искомому знанию ↓ Искомое знание Позитивная предпосылка вопроса — убеждение, что существует, по крайней мере, один истинный ответ на него. Негативная предпосылка этого вопроса — убеждение в существование хотя бы одного ложного ответа на поставленный вопрос. Типы вопросов: - по степени выраженности знания — скрытые и явные; - по своей структуре — простые и сложные; - по способу запросов неизвестного знания — уточняющие и восполняющие; - по количеству возможных ответов — открытые и закрытые; - по отношение к познавательной цели — узловые и наводящие; - по правильности постановки — корректные и некорректные. Ответ — это суждение, вызванное вопросом. Функции ответа: а) уменьшение неопределенности, заключенной в вопросе, или б) указание на неправильную постановку вопроса. Типы ответов: — 1 — по области поиска — прямые и косвенные; — 2 — по объёму информации — полные и частичные; — 3 — по отношению к вопросу — ответы по существу вопроса и ответы не по существу вопроса; — 4 — по степени точности — определённые и неопределённые; — 5 — по грамматической структуре — развёрнутые и краткие; — 5 — по семантической характеристике — истинные и ложные. Правила выражения ответа: - ответ должен быть ясным, однозначным и кратким; - ответ должен уменьшать неопределенность вопрос, быть информативнее его; - при некорректной постановке вопроса ответ должен содержать и указание на эту некорректность; - ответ не должен формулироваться в виде вопросительного предложения. Логического противоречия не будет: - если утверждается принадлежность предмету одного признака и в то же время отрицаем принадлежность этому же предмету другого признака; - не будет противоречия между суждениями, если речь идет о разных предметах; - противоречия не будет, если что-либо утверждается и в то же самое время отрицается относительного одного предмета, но который рассматривается в разное время; -противоречия не будет, если один и тот же предмет нашей мысли рассматривается в разных отношениях. Лекция №4 по логике УМОЗАКЛЮЧЕНИЕ Понятие об умозаключении Умозаключение — форма мышления, в которой из одного или нескольких суждений на основании определенных правил вывода получается новое суждение. Получение заключений из посылок по правилам дедуктивных умозаключений называется выведением следствий. Логическое следствие из данных посылок есть высказывание, которое не может быть ложным, когда посылки истинны. Виды умозаключений: Дедуктивные умозаключения Индуктивные умозаключения Умозаключения по аналогии Дедуктивные умозаключения — умозаключения, у которых между посылками и заключением имеется отношение логического следования. 1. Дедуктивные умозаключения простые: - Непосредственные - Простой категорический силлогизм - Сокращенный категорический силлогизм 2. Дедуктивные умозаключения сложные: - Полисиллогизм - Сорит - Эпихейрема - Условное умозаключение - Разделительное умозаключение Непосредственные умозаключения; простой категорический силлогизм; сокращенный категорический силлогизм Простое непосредственное умозаключение — дедуктивное умозаключение, делаемое из одной посылки. Превращение — вид непосредственного умозаключения, при котором изменяется качество посылки без изменения е количества, при этом предикат заключения является отрицанием предиката посылки. Способы превращения: 1. С помощью двойного отрицания: S есть P→S не есть не -P Все волки — хищники → Ни один из волков не является не хищником 2. С помощью переноса отрицания из предикта в связку: S есть не -P → S не есть P Некоторые члены предложения являются неглавными Некоторые члены предложения не являются главными Обращение — непосредственное умозаключение, в котором в заключении субъектом является предикат, а предикатом — субъект исходного суждения. S есть P P есть S Чистое (простое) обращение — когда S и P исходного суждения либо оба распределены, либо оба не распределены. Обращение с ограничением — когда в исходном суждении S распределен, а P не распределен, или наоборот. Частноотрицательные суждения (О) не обращаются Противопоставление предикату — это такое непосредственное умозаключение, в котором в заключении предикатом является субъект, а субъектом — понятие, противоречащее предикату исходного суждения, и связка меняется на противоположную. Схема противопоставления предикату: 1. А. Все S есть P. → Ни одно не-Р не есть S. 2. Из частноутвердительного суждения необходимые выводы не следуют 3. Е. Ни одно S не есть P. → Некоторые не-Р есть S. 4. О. Некоторые S не есть Р. → Некоторые не -Р есть S. Категорический силлогизм — это вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, где S и P связаны средним термином при соблюдении правил необходимо следует заключение. Категорический силлогизм состоит из двух посылок и заключения. Все металлы (М) электропроводны (Р) — большая посылка. Медь (S) есть металл (М) — меньшая посылка. Медь (S) электропроводна (Р) — заключение. Понятия, входящие в состав силлогизма, называются терминами силлогизма: Р («электропроводник») — большой термин, это предикат заключения; S («медь») — средний термин, служащий в посылках для связывания S и Р и отсутствующий в заключении. Посылка, содержащая предикат заключения (т.е. больший термин), называется большей посылкой. Посылка, содержащая субъект заключения ( т.е. меньший термин), называется меньшей посылкой. Аксиома силлогизма —все, что утверждается (отрицается) о роде ( или классе), необходимо утверждается (отрицается) о виде или о члене данного класса, принадлежащем данному роду Правила категорического силлогизма: 1. Правила терминов - В каждом силлогизме должно быть только три термина ( S, P, M). Ошибка называется «учетверение терминов» - Средний термин должен быть распределен по крайней мере в одной из посылок. - Термин распределен в заключении, если и только если он распределен в посылке. 2. Правила посылок - Из двух отрицательных посылок нельзя сделать никакого заключения. - Если одна из посылок отрицательная, то и заключение должно быть отрицательным. - Из двух чыстных посылок нельзя сделать заключение. - Если одна из посылок частная, то заключение должно быть частным. - При двух утвердительных посылках заключение также должно быть утвердительным. Сокращенный категорический силлогизм (энтимема) — силлогизм, в котором не выражена в явной форме какая-либо его часть: либо большая посылка, либо меньшая, либо заключение. В энтимеме могут быть пропущены большая посылка, меньшая посылка или заключение. Обоснование корректности энтимемы связано с восстановлением по смыслу пропущенного элемента. Фигуры силлогизма Средние термины в силлогизмах могут располагаться следующим образом: Фигура 1. М→Р S →М Все щелочноземельные металлы (М) - двухвалентны(Р). Стронций (S) -щелочноземельный металл (М). Следовательно, стронций (S)- двухвалентен (Р). Фигура 2. Средний термин может быть предикатом в обеих посылках. Р→М S→М S→P Фигура 3. Средний термин может быть субъектом в обеих посылках. М→Р М→S S→P Все бамбуки ( М) цветут один раз в жизни(Р). Все бамбуки(М) - многолетние растения(S). Следовательно, некоторые многолетние растения (S) цветут один раз в жизни (Р). Фигура 4. Средний термин может быть предиктом в большей посылке и субъектом в меньшей. Р→М М→S S→P Все киты (Р) - млекопитающие (М). Ни одно млекопитающее (М) - не есть рыба (S) . Ни одна рыба (S) не есть кит (Р). Особые правила фигур силлогизма 1 фигура. Большая посылка должна быть общей, меньшая - утвердительной. 2 фигура. Большая посылка общая и одна из посылок, а также заключение отрицательные. 3 фигура. Меньшая посылка должна быть утвердительной, а заключение - частное. 4 фигура. Общеутвердительных заключений на дает. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей. Модусы первой фигуры ААА ЕАЕ АII EIO Большие буквы латинского алфавита в их последовательности указывают соответственно и качество, и количество посылок и заключения силлогизма: 1) большей посылки, 2) меньшей посылки, 3) заключения. А — общеутвердительное суждение I — частноутвердительное суждение Е — общеотрицательное суждение О — частноотрицательное суждение Модусы второй фигуры ЕАЕ АЕЕ ЕIO АОО Модусы третьей фигуры AAI IAI AII EAO OAO EIO Разбор силлогизма 1. Ни одна роза (М) не есть дерево(Р). Все розы (М)- растения (S). Следовательно, некоторые растения (S) не являются деревьями (Р). EAO 2. Некоторые растения (М) ядовиты (Р). Подорожник (S)- растение (М). Следовательно, подорожник (S) - ядовит (Р). IAA Лекция №5 по логике Сложные дедуктивные умозаключения. Индукция и умозаключения по аналогии Сложные и сложносокращенные силлогизмы; условные умозаключения; разделительные умозаключения Полисиллогизмы, или сложные силлогизмы — соединение нескольких силлогизмов. Они соединяются таким образом, что заключение одного из них (просиллогизма) является посылкой другого силлогизма (эписиллогизма). В пилисиллогизме заключение просиллогизма может большей посылкой эписиллогизма (прогрессивный полисиллогизм) или меньшей посылкой эписиллогизма (регрессивный полисиллогизм). Регресивный олисиллогизм Пальмы - деревья. Деревья - Пальмы - растения. - растения Растения - организмы. Пальмы - организмы. Организмы умирают. Пальмы умирают. Сорит — сложносокращенный силлогизм, представляющие собой полисиллогизм с пропущенными промежуточными выводами. Прогрессивный сорит — полисиллогизм, в котором, начиная со второго силлогизма, пропускаются большие посылки. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения. Регрессивный сорит — полисиллогизм, в котором, начиная со второго силлогизма, пропускаются все меньшие посылки. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и заканчивается посылкой, содержащей предикат заключения. — Прогрессивный полисиллогизм — Организмы умирают. Растения - организмы. Растения умирают. Деревья - растения. Деревья умирают. Пальмы - деревья. Пальмы умирают. — Прогрессивный сорит — Организмы умирают. Растения - организмы. Деревья - растения. Пальмы - деревья. Пальмы умирают. — Регрессивный сорит — Пальмы - деревья. Деревья - растения. Растения - организмы. Организмы умирают. Пальмы умирают. Эпихейрема — такой полисиллогизм, в котором каждая посылка является энтимемой. Например: Ложь вызывает недоверие, поскольку она не соответствует истине. Лесть есть ложь, поскольку она не соответствует истине. Следовательно, лесть вызывает недоверие. Эту эпихейрему можно развернуть в полный полисиллогизм, который примет следующий вид: Всякое утверждение, не соответствующее истине, вызывает недоверие. Ложь есть утверждение, не соответствующее истине. Следовательно, ложь вызывает недоверие. Всякое умышленно извращенное положение есть ложь. Лесть является умышленно извращенным положением. Следовательно, лесть есть ложь. Ложь вызывает недоверие. Лесть есть ложь. Следовательно, лесть вызывает недоверие. Условные умозаключения: 1. Чистоусловное умозаключение — умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: « Если a, то b ». Структура его такая: Если a, то b Если b, то с Если а, то с Если Аристотель был учеником Платона, то он учился в его Академии. Если он учился в Академии, то он получил греческое образование. Следовательно, если Аристотель был учеником Платона, то он получил греческое образование. 2. Условно-категорическое умозаключение — это такое дедуктивное умозаключение, в котором одна из посылок — условное суждение, а другая — простое категорическое суждение. Отрицающий модус Если а, то b не -b не -а Если река выходит из берегов, то вода заливает прилегающие территории Вода реки не залила прилегающие территории Следовательно, река не вышла из берегов Разделительное умозаключение — умозаключение, в котором одна или несколько несколько посылок разделительные суждения. Чисторазделительное умозаключение — в нем все посылки являются разделительными суждениями. S есть А, или В, или С. А есть или А1, или А2 В первом разделительном суждение каждое из трех простых суждений: S есть А, S есть В, S есть С — называется альтернативой. Из суждения «S есть А» образуются еще две альтернативы, которые составляют два члена новой дизъюнкции. В разделительно-категорическом умозаключении одна посылка — разделительное суждение, другая — простое категорическое суждение. 1 модус — утверждающе-отрицающий Данный глагол может стоять или в настоящем, или в прошедшем, или в будущем времени. Данный глагол стоит в настоящее времени. Следовательно, данный глагол не стоит ни в будущем, ни в прошедшем времени. В разделительно-категорическом умозаключении одна посылка — разделительное суждение, другая — простое категорическое суждение. 2 модус — отрицающе-утверждающий Минеральные удобрения бывают или азотными, или фосфорными, или калийными. Данное минеральное удобрение не является ни азотным, ни фосфорным. Следовательно, данное минеральное удобрение является калийным. Индуктивные умозаключения Индукция — движение мысли от частного к общему. Полной индукцией — умозаключение, в котором общее заключение о всех элементах класса предметов делается на основании рассмотрения каждого элемента этого класса. Заключение по полной индукции может быть сделано не только из единичных, но и из общих суждений. Полная индукция дает достоверное заключение, поэтому она часто применяется в математических и в других строгих доказательствах. Условия применения полной индукции. 1. Точно знать число предметов или явлений, подлежащих рассмотрению. 2. Убедиться, что признак принадлежит каждому элементу этого класса. Неполная индукция применяется в случаях: — когда нельзя рассмотреть все элементы интересующего класса явлений; — если число объектов либо бесконечно, либо конечно, но достаточно велико; — когда рассмотрение уничтожает объект. В итоге, рассматриваются не все случаи изучаемого явления, а заключение делается для всех. Неполная индукция Железо электропроводно Медь электропроводна. Цинк электропроводен. Олово Электропроводно. Алюминий Электропроводен. Платина электропроводна. Железо, медь, цинк, олово, алюминий, платина - металлы. Следовательно, все металлы электропроводны. Виды неполной индукции Индукция через постое перечисление (популярная индукция) — на основании повторяемости одного и того же признака у ряда однородных предметов и отсутствия противоречащего случая делается общее заключение, что все предметы этого ряда обладают этим признаком. Такая индукция дает заключение вероятное, а не достоверное. Индукция через анализ и отбор фактов — в данном случае стремятся исключить случайность обобщений, используя планомерно отобранные, наиболее типичные предметы - разнообразные по времени, способу получения и существования и другим условиям. Научная индукция — такое умозаключение, в котором на основании познания необходимых признаков или необходимой связи части предметов класса делается общее заключение обо всех предметах этого класса. Достоверность заключений научной индукции объясняется учётом причинно-следственной связи. Аналогия —умозаключение о принадлежности предмету определенного признака (т.е. свойства или отношения) на основании сходства в признаках с другим предметом. Умозаключение по аналогии предполагает приписывание предмету свойства или перенос отношений. Условия повышения степени достоверности выводов по аналогии: — сравниваемые предметы и явления должны быть связаны между собой по существу. Чем существеннее сравниваемые признаки, тем достовернее и точнее выводы; — сравниваемых существенных признаков должно быть как можно больше; — общие признаки сравниваемых предметов должны быть более разнообразными; — чем менее существенны различия между сравниваемыми предметами, тем выше вероятность заключения; — наличие отношений причиной зависимости между признаками сходства у сравниваемых предметов с переносимым признаком. Строгая аналогия — характерным признаком, отличающим строгую аналогию является наличие необходимой связи общих признаком с переносимым признаком. Предмет А обладает признаками a, b, c, d. Предмет В обладает признаками a, b, c, d. Из совокупности признаков a, b, c, d необходимо следует е. Предмет В обязательно обладает признаком е. Нестрогая аналогия — вероятное заключение. Пример нестрогой аналогии - испытание модели корабля в бассейне и заключение о том, что настоящий корабль будет обладать теми же характеристиками. При строгом выполнении всех правил построения и испытания модели этот способ умозаключения может приближаться к строгой аналогии и давать достоверное заключение, но чаще заключение бывает вероятным. Ложная аналогия — при нарушении правил аналогия может дать ложное заключение. — Умышленная ложная аналогия (софистический приём); — Случайная ложная аналогия (незнание правил построения аналогии или отсутствие фактических знаний) Аналогия отношений особенности: — Сравниваются группы предметов; — Переносимыми признаками являются отношения между предметами внутри этих групп. Лекция №6 по логике Логика причинной зависимости Отношения обусловливания Обобщение отношения, причины и действия ( следствия), сущности и явления, аргументов и функции и функции и др. Отношение обусловливания между фактами А и В характеризуется следующими чертами: 1.А и В должны быть связаны между собой, т.е. всякая разновидность обусловливания явления В явлением есть связь между ними, но не наоборот. 2.В не предшествует А. Факты А и В связаны временным отношением: А существует раньше или одновременно с В. Причина и действие не могут меняться местами. 3.Наличие А всегда сопровождается наличием В. Если есть условие, то оно неизбежно порождает строго определённый результат. 3. Наличие В необязательно сопровождается наличием А. В может быть обусловлено предметом, отличным от условия А. Одно и то же действие может быть вызвано разными причинами. Частным случаем отношения обусловливания является отношение взаимообусловливания, когда А обуславливает В, а В обуславливает А. Достаточные и необходимые условия. Причины, зависимость Достаточным условием некоторого события называется условие, наличие которого гарантирует осуществление этого события. Необходимым называется условие, отсутствие которого препятствует осуществлению рассматриваемого события Одно и тоже условие может одновременно оказаться: 1. достаточным и необходимым Большое число голов во время футбольного матча является достаточным и необходимым условием для признания победы 2. недостаточным и необходимым условием воспламенения вещества 3. достаточным и не необходимым Деление числа на 10 является достаточным, но не необходимым условием деления на 5 (без остатка) 4.недостаточным и не необходимым Наличие метана не является достаточным, ни необходимым условием для воспламенения вещества Причинные связи, т.е. связи причин и их следствий, действий. Под причиной явления А понимается: а) совокупность необходимых и достаточных условий; б) необходимое условие, добавление которого к уже существующим условиям вызывает А Причинная зависимость Сильная причинная зависимость- Слабая причинная зависимость – наличие условий наличие условий полностью предопределяют исход события с некоторой предопределяют исход события вероятностью. Слабая причина – генератор, её следствие- продукт. Логика причинности – раздел временной логики, изучающей структуру и логические отношения высказываний о причинных связях. Центральное понятие – каузальная импликация – особого рода условное высказывание, фиксирующее отношения причины и следствия. Методы установления причинной связи 1.Метод сходства (единственное сходство): если какое – то обстоятельство постоянно предшествует наступлению исследуемого явления, в то время как иные обстоятельства изменяются, то это обстоятельство есть, вероятно, причина данного явления. Пример: 1. При условиях А, В, С возникает результат X. 2. При условиях А, D, E возникает результат X. 3. При условиях A, K, M возникает результат X. 4. Значит, по всей вероятности, А есть причина X. 5. Методы установления причинной связи 2.Метод различия (единственное различие): если какое-то обстоятельство имеет место, когда наступает исследуемое явления, и отсутствует, когда этого явления нет, а всё другое остаётся неизменным, то данное обстоятельство и представляет собой вероятную причину явления Пример: 1. При условиях А, В, С, D имеет место X. 2. При условиях B, C, D отсутствует X. Вероятно, что А есть причина Х. Методы установления причинной связи 3.Метод сходства и различия: если два или большее число случаев, когда наступает данное явление, сходны только в одном обстоятельстве, в то время как два или более случаев, когда этого явления нет, различаются только тем, что данное обстоятельство отсутствует, то это обстоятельство и есть, вероятно, причина рассматриваемого явления. Методы установления причинной связи 4.Метод сопутствующих изменений: если с изменением одного явления изменяется и другое, а остальные обстоятельства остаются неизменными, то между данными явлениями существует, по всей вероятности, причинная связь. Пример: 1.В условиях А, В, С имеет место Х. 2.В условиях изменения А и постоянства В и С имеет место изменение Х. Следовательно, вероятно, А есть причина Х. Методы установления причинной связи 5.Метод остатков: если сложная причина производит сложный результат и известно, что часть причины вызывает определённую часть этого результата, то остающаяся часть причины производит, по всей вероятности, остальную часть результата. Пример: 1.Сложное явление АВ есть причина сложного следствия ХУ. 2. В есть причина У. Значит, А- вероятная причина Х. Ошибки при установлении отношений обусловливания 1.Недостаточное основание. Это ошибка – результат нарушения требований закона достаточного основания. Чаще всего при этой ошибке в качестве основания приводится истинные высказывания, из которых доказываемое не следует. 2. «Ложный след». Это ошибка случается при отыскивании необходимых и достаточных оснований. 3. «После этого, значит, по причине этого». Источник этой ошибки – причинно – следственной связью событий, произошедших последовательно во времени. 4. Смешение причины и следствия. Возникает, когда путают причину и следствие при изучении сложных систем. Лекция № 7 по логике Теория логической аргументации Понятие и характеристика гипотезы Гипотеза – научно обоснованное предположение о причинах или взаимосвязях каких- либо явлений или событий природы, общества и мышления. Специфика гипотезы: Гипотеза отражает мир предположительно и вероятно, а не категорически и достоверно Этапы построения и подтверждения гипотезы 1.Выделение группы фактов, которые не укладываются в прежние теории. 2.Форммулировка предположений, которые объясняют данные факты. 3.Выведение из данных предположений всех вытекающих из нее следствий. 4.Сопоставление выведенных из предположений следствий с имеющимися наблюдениями, результатами экспериментов, с научными законами. 5.Превращение гипотезы в достоверное знание или научную теорию, если подтверждаются все выведенные из гипотезы следствия и не возникает противоречия с ранее известными законами науки. Способы подтверждения гипотезы: 1.Обнаружение предполагаемого объекта, явления или свойства, которое служит причиной рассматриваемого явления. 2.Выведение следствий и их верификация, т.е. доказательство Прямое и косвенное доказательство Доказательство – это совокупность логических приёмов обоснования истинности тезиса. Структура доказательства: 1.Тезис- это суждение, истинность которого надо доказать. 2.Аргументы –это те истинные суждения, которыми пользуются при доказательстве тезиса. 3.Демонстрация (форма доказательства) - способ логической связи тезиса с аргументами. Виды аргументов: 1.Удостоверенные единичные факты. 2. Определения понятий. 3.Аксиомы и постулаты. Аксиомы – суждения, которые принимаются в качестве аргументов без доказательства. Постулаты – исходные допущения, принимаемые без доказательств. 4.Ранее доказанные законы науки и теоремы. Демонстрация – процесс выведения тезиса из аргументов и есть демонстрация. Демонстрация выражается в форме цепочки умозаключения Обоснование тезиса может принимать форму дедукции, индукции или аналогии, которые применяются самостоятельно или в различных сочетаниях. Виды доказательства: 1.Прямое доказательство идёт от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами. 2. Непрямое (косвенное) доказательство- истинность выдвинутого тезиса обосновывается путём доказательства ложности антитезиса. Доказательство от противного осуществляется путём установления ложности противоречащего тезису суждения. Разделительное доказательство (метод исключения). В разделительном суждении перечисляются все возможные альтернативны. Истинность тезиса устанавливается путём последовательного доказательства ложности всех членов разделительного суждения, кроме одного. Опровержение Опровержение – логическая операция установления ложности или необоснованности ранее выдвинутого тезиса. Опровержение должно показать, что либо неправильно построено само доказательство (аргумент или демонстрация), либо выдвинутый тезис ложен не доказан. Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис, называются аргументами опровержения. Способы опровержения: 1.Опровержение тезиса а) Опровержение фактами – это прямой способ. б) Установление ложности или противоречивости следствий, вытекающих из тезиса – это косвенный способ. в) Опровержение тезиса через доказательство антитезиса –это косвенный способ. 2.Опровержение с помощью критики аргументов Критика аргументов, которые были выдвинуты в обновление тезиса. Ложность аргументов не означает ложности тезиса: тезис может оставаться истинным. 3. Опровержение с помощью выявления несостоятельности демонстрации Задача: показать ошибки в форме доказательства. Правила по отношению к аргументам: 1.Аргументы, приводимые для доказательства тезиса, должны быть истинными. 2.Аргументы должны быть достаточным основанием доказательства тезиса. 3.Аргументы должны быть суждениями, истинность которых доказана самостоятельно, независимо от тезиса. Правила по отношению к демонстрации: Тезис должен быть заключением, логически следующим из аргументов по общим правилам умозаключений или полученными в соответствии с правилами косвенного доказательства. Ошибки, совершаемые относительно доказываемого тезиса: 1. «Подмена тезиса». Тезис умышленно или неумышленно подменяется другим и этот новый тезис стремится доказать или опровергнуть. 2. «Довод к человеку». -Ссылка на личные качества того, кто выдвинул тезис; Ссылка на цитаты, которые могут вырываться из контекста и иногда произвольно трактоваться.» О мёртвых либо хорошо, либо ничего, кроме правды»,-изречение древнегреческого политика и поэта Хилона из Спарты ( 6 в.до н.э.) «если цель – спасение души, то цель оправдывает средства», - основатель ордена иезуитов Игнатий де Лойола (XVI в.) 3. «Переход в другой род». 2 разновидности: а) « кто слишком много доказывает, тот ничего не доказывает» ( вместо одного истинного тезиса доказывается другой, более сильный, но ложный тезис); б) « кто слишком мало доказывает, тот ничего не доказывает» ( вместо одного истинного тезиса доказывает другой , более сложный, но ложный тезис). Ошибки в аргументах доказательства: 1.Ложность оснований («Основное заблуждение»). В качестве аргументов берутся не истинные, а ложные суждения, которые выдают или пытаются выдать за истинные. 2. «Предвосхищение оснований» Эта ошибка совершается тогда, когда тезис опирается на недосказанные аргументы. 3. «Порочный круг». Ошибка состоит в том, что тезис обосновывается аргументами, а аргументы обосновываются этим же тезисом. Ошибки в форме доказательства: 1.Мнимое следование. Вместо правильного доказательства аргументы соединяются с тезисом посредством слов:» следовательно», итак», «таким образом», « в итоге имеем» и т.п.., - полагая , что это устанавливает логическую связь между аргументами и тезисом .Возникает словесная видимость доказательства. 2.От сказанного с условием к сказанному безусловно. Аргумент, истинный только с учётом определённого времени, отношения, меры, нельзя проводить в качестве безусловного, верного во всех случаях. Аргументация – это речевая процедура, служащая обоснованию точки зрения аргументатора с целью её принятия реципиентом. Аргументация предполагает наличие: -тезиса («Что аргументируется?») -доводов («Чем аргументируется выдвигаемое положение?»). -демонстрации («Каким способом аргументируется тезис?») Разновидность аргументации: Подтверждение – выведение истинных следствий из наличного гипотетического предположения. Оспаривание - выведение ложных следствий из наличного гипотетического предположения. Объяснение – раскрытие сущности характеристик феномена или указание на то, следствием какой причины является событие. Интерпретация – приписывание некоторого содержательного смысла или значения символам и формулам формальной системы. Оправдание – приведение в качестве довода некоторых ценностных соображений (применяется, если речь идёт о поведении, действиях или поступках). Паралогизмы, софизмы и парадоксы Паралогизм – непреднамеренная ошибка, допущенная в мышлении. Софизм –преднамеренная ошибка, совершаемая с целью запутать, выдать ложное суждение за истинное. Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения, т.е. доказывающее как само суждение, так и его отрицание. Известные парадоксы: «рога», «сыр», «куча», « мэр города», « генерал и брадобрей». Лекция № 8 по логике Работа над созданием научного текста Основные формы развития научных знаний: Факт; Проблема; Гипотеза; Теория; Программа. Факт –это достоверное знание о единичном. Феноменологические факты – результаты эмпирических исследований. Эссенциальные факты получаются в результате обобщения, при которых возникают понятия собирательного характера, и открываются возможности для отображения действительности не только на уровне явлений, но и на уровне сущности. Познавательные функции факта 1.Стимулирующая функция – факт выступает истоком и основой теоретического конструирования. 2. Проверочная функция – подтвердить или опровергнуть некоторое теоретическое положение, испытать теорию на её объективную истинность. 3.Стабилизирующая функция –факт вносит ясность в объяснение природы и функции явлений, служит ориентиром в создании и проверке теоретических знаний. Проблема Проблема (с греч. «преграда», «трудность») словесное или знаковое выражение некоего затруднения в процессе познания, описание «белого пятна» в используемой научным сообществом информации («знание о незнании») Проблема в научном смысле составляет не индивидуальный пробел в знании, понимании достаточно фундаментального, массовидного феномена. Вопрос –элементарнее проблемы, которая обычно состоит из серии взаимосвязанных вопросов. Задача – проблема. Уже подготовленная к решению; когда знание и незнание по каким – то вопросам соотнесены между собой и заданы правила преодоления незнания. Гипотеза ( с греч. «основание», «предположение» представляет собой ещё не доказанное теоретическое знание . Основной способ превращения научной гипотезы в теорию гипотетико –дедуктивный метод, который предполагает выдвижение следствий, вытекающих из сформулированной гипотезы (предсказание новых факторов)и их экспериментальную проверку (получение новых факторов на практике). Теория –это высшая, самая развитая форма организации научных знаний, которая даёт целостное отображение закономерностей некоторой сферы действительности и представляет собой знаковую модель этой сферы. Теории (с логической точки зрения) Дедуктивные теории - Недедуктивные теории - характерны для опытных наук в основе понятие логического следования. Теории (с точки зрения глубины) Фенологические теории. Глубина познания теории. Отображают внутренние механизмы изучаемых процессов, широко применяют абстрактные понятия, которые характеризуют ненаблюдаемые объекты. Эссенциальные. В таких теориях не выходит за рамки сферы явлений и поэтому характеризуется использованием близких к опыту понятий. Эссенциальные теории Теории простых систем- отличаются однородностью, линейностью, поведение сложных систем во многом зависит от случайных факторов и поэтому характеризуется неопределённостью и непредсказуемостью. Теории сложных систем – отличаютсяустойчивостью протекающих процессов. Теории Завершённая теория – окончательная знаковая модель некоторого целостного фрагмента реальности с точно установленными границами. Незавершённая теория – вариационная, во многом гипотетическая знаковая модель, границы развития которой пока что неизвестны, они носят открытый характер в том смысле, что отсутствуют представления о предметах, к которым она неприменима. Познавательные функции теории: 1.Объяснить факт (объяснительная функция) – подчинить факт некоторому теоретическому обобщению, которое носит достоверный или вероятный характер. 2.Систематизация факторов (систематизирующая функция) – установление связей факта с другими фактами в результате чего факты приобретают определённую целостность. 3.Предсказательная функция. Зависит от глубины и полноты отображения сущности изучаемых предметов, а так же находится в обратной зависимости от сложности и нестабильности исследуемого процесса. 4.Методологическая функция – теория выступает в качестве опоры и средства дальнейшего исследования. Теория и метод – внутренне связанные феномены, но они соотносятся с разными областями: теория фиксирует знания о познаваемом объекте (предметные знания), а метод – знания о познавательной деятельности (методологические знания), направленной на получение новых предметных знаний. |