Организационно методический раздел
Скачать 0.56 Mb.
|
Цель данного курса в соответствие с государственным образовательным стандартом является формирование у специалиста в области юриспруденции знаний современной классической логики как основы культуры мышления и культуры речи, средства эффективной коммуникации, универсального инструмента обработки информации. Задачами курса наряду с теоретическим освоением основного содержания классической логики предполагает овладение практическими приемами построения выводов и гипотез (версий), анализа различного типа рассуждений, вопросно-ответных ситуаций, логических основ аргументации. Согласно утвержденному учебному плану курс включает 20 часов лекционных занятий, 14 часов семинарских (практических) занятий и завершается итоговой аттестацией в форме экзамена. II. СОДЕРЖАНИЕ КУРСА Тема1. Предмет и определение логики. 1. Эмпирические и абстрактные объекты. 2. Предметная структура современной логики и ее определение. 3. Принципы логики. 4. Значение логики. Всякий объект есть уникальная целостность, которую человек в процессе мышления способен отличать (по крайней мере, в принципе) от всего того, что не является данной целостностью. В зависимости от природы объектов и самого механизма постижения их человеком различают эмпирические и абстрактные объекты. Эмпирические объекты существуют в пространстве и во времени, доступны человеку в чувственном восприятии. Абстрактные объекты не обладают пространственно-временными характеристиками и доступны человеку как нечто такое, что он может понимать умом, но не воспринимать органами чувств. Логика непосредственно изучает не эмпирические, а абстрактные объекты. Согласно концепции логического реализма, во-первых, идеи (эйдосы, универсалии, общие понятия и т. п.) суть объекты, ибо они представляют собой нечто целостное, на что можно указывать с помощью различных символов; во-вторых, идеи суть абстрактные (лишь умопостигаемые) объекты, являющиеся непосредственным содержанием человеческого мышления и принципиально отличные от эмпирических объектов; в-третьих, в логике, прежде всего, важен сам факт принципиального различия между ними. Существуют две основополагающие разновидности абстрактных объектов: понятия (свойства) и отношения. Более структурно сложными являются суждения, состоящие из понятий и определенных отношений. Суждения являются в свою очередь структурными элементами умозаключений (систем суждений), а умозаключения — структурными элементами концепций и теорий (систем умозаключений). Отсюда может быть дано объектное определение логики: Логика — наука об универсальных (общезначимых) взаимосвязях между понятиями, суждениями, умозаключениями и другими абстрактными объектами. Основными разделами современной логики являются: Логика высказываний - в ней суждения, рассматриваются без учета их внутренней структуры, а также различные умозаключения, образованные из таких суждений. В естественном языке такие суждения представлены соответствующими предложениями (высказываниями), рассматриваемыми лишь с точки зрения их истинности или ложности, а умозаключения — соответствующими системами высказываний (силлогизмами). Логика предикатов - которой изучаются не только связи между суждениями, но и внутренняя понятийная структура суждений. Металогика - предметом изучения которой является вся сфера отношений в целом между понятиями, суждениями, умозаключениями, а также символами, их обозначающими. Содержательные представления о понятиях, суждениях и умозаключениях в конечном счете опираются на некоторые основополагающие, универсальные взаимосвязи между абстрактными объектами. Всякий логический закон есть универсальная взаимосвязь между абстрактными объектами, выраженная средствами некоторого естественного или формального языка. К числу наиболее важных логических законов относятся прежде всего принцип тождества, принцип непротиворечивости, принцип исключенного третьего и принцип достаточного основания. Принцип тождества в его естественноязыковой формулировке гласит: Любой объект тождествен лишь самому себе. Принцип непротиворечивости в его естественноязыковой формулировке гласит: Противоречащие (контрадикторные) друг другу высказывания не могут быть одновременно истинными. Естественно-языковая формулировка принципа исключенного третьего следующая: Из двух противоречащих (контрадикторных) друг другу высказываний одно истинно, другое ложно, а третьего не дано. Принцип достаточного основания в логике используется главным образом в его гносеологическом (познавательном) аспекте и формулируется следующим образом: Любое истинное высказывание имеет достаточное основание, в силу которого оно истинно, а не ложно. Теоретическое значение логики состоит в ее функции основы рационального мировоззрения, общей методологии естественных и гуманитарных наук. Практическое значение логики заключается, во1-х, в качестве основы культуры мышления и культуры речи; во2-х, как средства эффективной коммуникации между людьми; в 3-х, как универсального инструмента обработки информации. Тема 2. Язык логики 1. Естественные и формальные языки 2. Смысл и значение терминов. 3. Язык теории бинарных отношений. Семинар 1. Язык логики 1. Язык как знаковая система. 2. Специфика формальных языков. 3. Принципы современной концепции смысла и значения терминов. 4. Система символов формального языка. Всякий язык есть система символов, отображающая (представляющая, репрезентирующая) некоторую систему эмпирических или абстрактных объектов. В зависимости от степени системной упорядоченности языковых символов различают две основные разновидности языков: естественные и формальные. Формальные языки отличаются более высоким уровнем системности по сравнению с естественными, а в свою очередь среди формальных языков наиболее высоким уровнем системности отличаются логические языки. Любой язык имеет три основных аспекта: синтаксический, семантический и прагматический. В синтаксическом аспекте язык предстает как система отношений между самими символами языка (эти отношения задаются с помощью соответствующих правил образования и преобразования символов), в семантическом аспекте — как система отношений между символами языка и теми объектами, на которые указывают (которые обозначают, именуют, репрезентируют) эти символы; наконец, в прагматическом аспекте язык предстает как система отношений между символами языка и теми, кто использует язык в качестве репрезентативной (обозначающей) системы. Смысл и значение терминов. Согласно классической концепции смысла и значения, всякий термин обозначает некоторый объект (называемый значением или денотатом термина) и выражает некоторый смысл (имеет некоторое абстрактное содержание). Однако данная концепция имеет как минимум два недостатка: во-первых, имеет место неоднозначность значений терминов, а во-вторых, возникает некая труднопостижимая иерархия смыслов. Во второй половине XX в. сформировалась уточненная концепция смысла и значения. В рамках новой концепции смысла и значения основополагающую роль играют три следующих принципа: - Принцип однозначности символ есть логический (научный) термин лишь в том случае, если он обозначает один объект, а не несколько объектов - Принцип предметности: символ есть логический термин лишь в том случае, если существует объект обозначения (существует денотат термина). - Принцип относительности: символ есть термин лишь в некоторой фиксированной системе координат обозначения. В конечном счете суть принципов отражает следующее определение: Логический (научный) термин есть символ, который в фиксированной системе координат обозначает некоторый единственный объект. Семантическая классификация терминов: эмпирические термины – имена эмпирических объектов (символы «а», «а1», «в» «в1», и т.д.), теоретические термины – имена абстрактных объектов. В свою очередь теоретические термины подразделяются на: предикатные (имена свойств) (используются символы « P» , «Р1», «Р2», «Q» и т.д.) , релятивные (имена отношений) (используются символы «R» «R0», «R1», «R2», и т.д.) пропозициональные (имена суждений) (используются символы «p», «p1», «p2», «q», «r» и т.д.). Кроме терминов важную роль в логике играют также переменные — символы, вместо которых допускается подстановка других символов определенного вида. В соответствии с семантической классификацией терминов в формальном языке логики различают и соответствующие типы переменных. Так, в качестве универсальных переменных (вместо которых допускается подстановка любых терминов и термов) обычно используются символы «», «», «»; в качестве индивидных переменных (вместо которых допускается подстановка только индивидных терминов) — символы «х», «х0», «x1», «х2»,...; «у», «у0», «у1», «z», «z0», «z1»,...; в качестве предикатных переменных (вместо которых допускается подстановка предикатных термов) — символы «Р», «Q», «X», «Y», «Z»; в качестве релятивной переменной (вместо которой допускается подстановка релятивных терминов) — символ «R». Наиболее детально разработана теория двухместных (бинарных) отношений. В рамках этой теории тот факт, что объект находится в некотором отношении R к объекту , записывают с помощью высказываний вида R. Различают следующие три основные разновидности отношений. Отношение R: 1) рефлексивно, если и только если для любого объекта имеет место R; 2) симметрично, если и только если для любых объектов , имеют место как R, так и R; 3) транзитивно, в том случае, когда для любых объектов , , , если имеет место R и R, то имеет место R. Смысл некоторых наиболее важных релятивных терминов, в частности терминов «« »», «=Df.», « <= », «», «», «», «», «» задан в универсальной системе координат формального языка логики. Такие релятивные термины суть логические операторы. Тема 3. Понятие. 1. Понятие и слово. 2. Объем и дополнение к объему понятия. 3. Отношение между понятиями. 4. Деление понятий. Классификация. 5. Определение терминов. Понятия суть абстрактные объекты, доступные пониманию человека в качестве простых или сложных свойств (признаков) эмпирических объектов. Понятия не следует смешивать с эмпирическими объектами материального мира, в частности со словами и с иными языковыми символами. Понятия не следует смешивать также с перцепциями (сенсорными образами), возникающими в сознании конкретных людей. В каждом языке имеются специальные синтаксические правила образования символов, обозначающих понятия. Эти правила носят во многом условный (конвенциональный) характер и складываются с учетом особенностей практического использования языка. Правила же постижения (понимания) абстрактных понятий универсальны для любых языков, поскольку представляют собой формы самого рационального мышления. К числу основных правил (приемов) постижения понятий относятся: абстрагирование, сравнение, обобщение, анализ, синтез. Абстрагирование есть мысленное выделение (понимание) некоторого свойства или отношения путем отвлечения от других свойств или отношений эмпирического объекта; сравнение есть установление сходства или различия между объектами; обобщение - мысленное выделение некоторого понятия путем сравнения каких-либо других понятий. Анализ есть мысленное разделение эмпирического или же абстрактного объекта на составляющие его структурные компоненты (части или же свойства отношения); синтез — мысленное объединение различных объектов в некоторый целостный объект. Всякое понятие имеет объем понятия (понятийный объем) и дополнение к объему понятия. Объем понятия есть совокупность всех тех эмпирических объектов, которым присуще данное понятие (в качестве свойства, признака); дополнение к объему понятия - совокупность всех тех эмпирических объектов, которым не присуще данное понятие. Схематически объем понятия изображается круговыми схемами («круги Эйлера»), а дополнение к объему при помощи «диаграммы Эйлера-Венна». Принцип универсальности: любое понятие таково, что его объем и дополнение в сумме составляют совокупность всех эмпирических объектов (универсальную совокупность эмпирических объектов). Наряду с объемом понятие характеризуется содержанием. Содержание того или иного понятия — это упорядоченная совокупность (система) его структурных элементов. Закон обратного отношения между содержанием и объемом понятия. Обобщение и ограничение понятия. Характеристика отношений между понятиями через сравнение их объемов. Простейшими отношениями такого рода являются отношение совместимости и отношение несовместимости. Если объемы понятий X, У полностью или частично пересекаются, то между этими понятиями имеет место отношение совместимости. Если же объемы понятий X, У не пересекаются, то это означает, что между этими понятиями имеет место отношение несовместимости. Имеется три основные разновидности отношения совместимости — тождественность (равнозначность), пересечение, подчинение и две основные разновидности отношения несовместимости — контрарность и контрадикторность. Все понятия являются соподчиненными понятиями, Понятия X, У считаются соподчиненными, если имеется некоторое понятие Z, которому подчинено как понятие X, так и понятие У. Понимания взаимосвязей между понятиями можно достичь также путем деления объемов понятий. Логическое деление понятия есть разделение объема понятия на непересекающиеся части на основании какого-либо признака. Понятия, объемами которых являются непересекающиеся части объема некоторого понятия X, суть члены деления, или видовые понятия; само понятие Х — родовое понятие; а признак, по которому идет деление, — основание деления. В процессе логического деления понятий необходимо соблюдать три следующих достаточно очевидных правила: 1. правило несовместимости: объемы видовых понятий не должны пересекаться (члены деления должны быть несовместимыми друг с другом), 2. правило последовательности: нельзя делить сразу по нескольким основаниям, 3. правило соразмерности: сумма объемов видовых понятий должна быть равна объему родового понятия. Трудности и с соблюдением правила 1 возникают, когда видовые понятия мало изучены (неясна взаимосвязь между ними); правило 2 обычно нарушается вследствие низкой логической культуры мышления; наиболее затруднительно соблюдать правило 3. Наиболее удобным с точки зрения необходимости соблюдать правила 1—3 является дихотомическое деление понятий, или дихотомия. Дихотомическое деление понятий есть разделение объема родового понятия на пары контрадикторных друг другу видовых понятий. В результате многоступенчатого логического деления понятий образуются классификации — определенные системы (упорядоченные совокупности) видовых понятий. Классификации используются с целью поиска новых взаимосвязей между понятиями, а также с целью систематизации уже имеющегося знания Определение. Строго говоря, нельзя определить то или иное понятие как таковое. Понятия суть абстрактные объекты, не зависящие от каких бы то ни было определений и которые можно либо понимать, либо нет. Поэтому имеет место определение не понятий, а терминов. Определение терминов есть процедура уточнения смысла уже известных терминов и введения новых. Существует два основных вида определений: семантические (остенсивные) и синтаксические. Всякое семантическое определение есть придание смысла некоторому термину путем прямого указания на тот объект, который рассматривается в качестве денотата данного термина. Всякое синтаксическое определение есть высказывание о том, что некоторый символ вводится (рассматривается) как терм, тождественный по смыслу некоторому другому терму. Всякое синтаксическое определение есть высказывание вида в=Df.a, где "a","b" — переменные, вместо которых допускается подстановка конкретных термов (в частности, терминов); "=Df." —оператор дефиниции, преобразующий термы вида а и b в высказывание о том, что терм вида b (дефиниендум) вводится как тождественный по смыслу терму вида а (дефиниенсу). При использовании синтаксических определений важно учитывать два следующих правила. Правило однозначности: один и тот же дефиниендум не должен определяться через два или более семантически нетождественных дефиниенса. Правило недопустимости круга: дефиниендум определения не должен входить в качестве термина в дефиниенс данного определения. Семинар 2. Понятие. 1. Способы образования (понимания) понятия. 2. Виды совместимости и несовместимости понятий. 3. Деление понятий по видообразующему признаку. Правила деления. 4. Дихотомия. Классификация. Значение логического деления. 5. Определение терминов. Правила определения. Тема 4. Суждение. 1. Суждение, предложение, высказывание. 2. Структура элементарных суждений. 3. Принцип семантического реализма. 4. Логический квадрат. Суждение—вторая по степени сложности после понятий разновидность абстрактных объектов. Суждения, как и понятия, не следует смешивать с выражающими их предложениями. Структура предложений (высказываний) не тождественна структуре тех суждений, которые эти предложения выражают. В каждом конкретном языке структура предложений определяется соответствующими синтаксическими правилами, имеющими во многом условный характер и отражающими различные эмпирические особенности функционирования языка. Структура суждений, напротив, не зависит от каких-либо синтаксических правил, так как представляет собой абстрактную систему некоторых универсальных взаимосвязей между понятиями. Простое суждение есть абстрактный объект, основными структурными элементами которого являются: индивидный концепт, предикатный концепт, отношение предикации. Индивидный концепт (понятие о предмете суждения) — система понятий, рассматриваемая в качестве понятийной сущности (целостной совокупности свойств) некоторого эмпирического объекта Предикатный концепт — понятие, рассматриваемое в качестве свойства того или иного конкретного эмпирического объекта Отношение предикации — отношение, связывающее индивидный и предикатный концепты некоторого эмпирического объекта в целостный абстрактный объект. Для обозначения суждения предпочтительнее использовать термин «высказывание». Высказывание - это выражение какого-либо языка (в том числе и формального) наиболее точно передающего структуру суждения. Необходимость при логическом анализе предложений выявлять их субъектно-предикатную структуру. Трем структурным элементам суждений (индивидному концепту, предикатному концепту, отношению предикации) соответствуют три структурных элемента (субъект, предикат, субъектно-предикатная связка) тех высказываний естественного языка, которые указывают на эти суждения: Субъект (логический) есть символ, обозначающий индивидный концепт некоторого суждения Предикат (логический) — символ, обозначающий предикатный концепт некоторого суждения Субъектно-предикатная связка — символ, обозначающий отношение предикации. Эти элементы высказываний вместе и образуют то, что обычно называется «субъектно-предикатной структурой высказываний». Высказывания в целом и их структурные элементы в отдельности выполняют только одну функцию: либо обозначают, либо не обозначают тот или иной объект. Суждения как абстрактные объекты сами по себе не истинны и не ложны. Истина (истинностное значение Истина) и ложь (истинностное значение Ложь) суть специфические свойства предложений (высказываний). Специфику понятия истинности и понятия ложности отражает принцип семантического реализма: Предложение (высказывание) истинно, если и только если оно обозначает некоторое суждение; ложно, если и только если оно не обозначает какое-либо суждение. Простые высказывания: атрибутивные и релятивные. Возможность представления релятивных высказываний в форме атрибутивных. Виды атрибутивных высказываний: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I), частноотрицательные (О). Их формализация в традиционной логике и геометрическая интерпретация через круговые схемы. Функционально-истинностные отношения между этими высказываниями, их выражение через «логический квадрат». Основная и производная формы каждого вида простых атрибутивных высказываний. Производная форма как форма отрицания основной. Влияние «внешнего» отрицания на количество и качество высказывания. Семинар 3. Простое (элементарное) суждение. 1. Атрибутивные, релятивные и экзистенциальные высказывания. 2. Структура элементарных суждений и высказываний. 3. Деление атрибутивных суждений (высказываний) по качеству и количеству. 4. Функционально-истинностные отношения высказываний вида А, Е, I, О. 5. Логический анализ предложений, выражающих простые суждения. Тема 5. Основные виды сложных высказываний. 1. Сложные атрибутивные высказывания. 2. Модальные высказывания. 3. Вопросы. Естественноязыковая форма сложных суждений, применение специальных синтаксических конструкций (союзов, отдельных слов и прочее) для образования сложных предложений. Образование сложных атрибутивных высказываний из простых с помощью логических операторов. Абстрагирование от субъектно-предикатной структуры простых высказываний, входящих в состав сложного, но учет их семантики. Пропозициональные связки, пропозициональные переменные, пропозициональные формулы. Зависимость истинностного значения логически сложного высказывания от его логической структуры и истинностных значений входящих простых высказываний. Табличное определение основных видов сложных высказываний: конъюнктивных, дизъюнктивных, импликативных, эквивалентных. Конъюнктивное высказывание – это высказывание истинное тогда и только тогда, когда истинны все входящие в него простые высказывания. Дизъюнктивное высказывание – это высказывание ложное тогда и только тогда, когда ложны все входящие в него простые высказывания. Особенности исключающей дизъюнкции - это высказывание истинное тогда и только тогда, когда истинностные значения входящих в него простые высказываний различны. Содержательное различение исключающих и неисключающих альтернатив. Импликативное высказывание – это высказывание ложное тогда и только тогда, когда истинно предшествующее (антецедент) высказывание и ложно последующее (консеквент). Эквивалентное высказывание - это высказывание истинное тогда и только тогда, когда истинностные значения входящих в него простые высказывания одинаковы. Симметричность конъюнктивного, дизъюнктивного и эквивалентного отношений, но несимметричность импликативного. Табличное установление функционально-истинностной эквивалентности одних видов сложных высказываний другим. Понятие тождественно-истинных (тавтологии, логические законы), тождественно-ложных (логические противоречия) и нейтральных формул логики высказываний. Использование истинностных таблиц для нахождения выводов из системы сложных высказываний. Модальное высказывание как результат применения модальных операторов к атрибутивным высказываниям. Основные виды модальных высказываний алетические, эпистемические, деонтические, аксиологические и темпоральные высказывания. Вопрос как разновидность сложного высказывания. Общая структура вопроса: искомое, предпосылка вопроса, требование вопроса. Основные виды вопросов: ли-вопросы (вопрос к решению) и что-вопросы (вопрос к дополнению). Вопросы простые и сложные, простые вопросы – открытые и закрытые. Семинар 4. Формализация сложных суждений 1. Анализ сложных суждений. 2. Выводы из сложных суждений. Тема 6. Логика высказываний. 1. Основные равносильности логики высказываний. 2. Проблема разрешимости в логике высказываний. Нормальная форма формул. 3. Конъюнктивная нормальная форма (КНФ). 4. Совершенная и сокращенная КНФ. 5. Дизъюнктивная нормальная форма (ДНФ). Основные равносильности логики высказываний. 1. р = р закон двойного отрицания; 2. (р р) = р закон идемпотентности; 3. (р р) = р закон идемпотентности; 4. (р q) = (q р) закон коммутативности; 5. (р q) = (q р) закон коммутативности; 6. ((р q) r) = (р (q r)) закон ассоциативности; 7. ((р q) r) = (р (q r)) закон ассоциативности; 8. (р (р q)) = р закон поглощения; 9. (р (р q)) = р закон поглощения; 10. (р (q г)) = (р q) (р r) закон дистрибутивности; 11. (р (q r)) = (р q) (р r) закон дистрибутивности; 13. (р q) = р q - закон де Моргана; 14. (pq) = p q- закон де Моргана; 15. (р q) = р q - выражение импликации через дизъюнкцию; 16. (р q) = (р q) - выражение импликации через конъюнкцию; 17. (p q) ( p r) = (p q) ( p r) ( q r) - закон выявления 1; 18. (р q) ( р r) = (р q) ( р r) ( q г) закон выявления 2; 19. p=q = (p q) ( p q) = ( p q) ( p q); 20. p q = ( p q) ( p q) = (p q) ( р q). Функционально полный набор логических операторов - набор, позволяющий представить любое выражение логики высказываний. Такими наборами являются и ; и ; и ; , и . Проблема разрешимости как проблема установления класса формулы логики высказываний: тождественно-истинная, тождественно-ложная или нейтральная. Особая значимость класса тождественно-истинных (логических законов) Затруднения определения класса формулы с помощью истинностных таблиц при большом числе высказывательных переменных. Нормальная форма формулы логики высказываний – формула, содержащая только операторы конъюнкция, дизъюнкция и отрицания перед пропозициональной переменной. Приведение произвольной формулы логики высказываний к нормальной форме через равносильные выражения. Элементарная конъюнкция (дизъюнкция) n переменных есть конъюнкция (дизъюнкция) переменных или их отрицаний. Элементарная конъюнкция ложна, если содержит переменную и ее отрицание. Элементарная дизъюнкция истинна, если содержит переменную и ее отрицание. Конъюнктивно-нормальная форма (КНФ) произвольной формулы логики высказываний – равносильная ей конъюнкция элементарных дизъюнкций. Дизъюнктивно-нормальная форма (ДНФ) произвольной формулы логики высказываний – равносильная ей дизъюнкция элементарных конъюнкций. Формула логики высказываний тождественно-истинна, если в ее КНФ каждая элементарная дизъюнкция – истинна. Формула логики высказываний тождественно-ложна, если в ее ДНФ каждая элементарная конъюнкция – ложна. Совершенная КНФ (СКНФ) некоторой формулы логики высказываний – равносильная ей КНФ, содержащая в каждой элементарной дизъюнкции все переменные этой формулы с отрицанием или без него. Позволяет находить все следствия из данной формулы. Следствие – это консеквент для исходной формулы, при котором вновь образованная формула является тождественно-истинной. Совершенная ДНФ (СДНФ) некоторой формулы логики высказываний – равносильная ей ДНФ, содержащая в каждой элементарной конъюнкции все переменные этой формулы с отрицанием или без него. Позволяет находить все гипотезы для данной формулы. Гипотеза – это антецедент для исходной формулы, при котором вновь образованная формула является тождественно-истинной. Сокращенная КНФ. Ее получение из КНФ с применением законов выявления и поглощения. Позволяет находить все простые следствия из исходной формулы логики высказывания. Сокращенная ДНФ. Ее получение из ДНФ с применением законов выявления и поглощения. Позволяет находить все простые гипотезы для исходной формулы логики высказывания. Семинар 5. Проблема разрешимости в логике высказываний. 1. Приведение выражений логики высказываний к нормальной форме. 2. Конъюнктивная нормальная форма (КНФ). 3. Совершенная и сокращенная КНФ, их назначение 4. Дизъюнктивная нормальная форма (ДНФ). 5. Совершенная и сокращенная ДНФ, их назначение. Тема 7. Анализ рассуждений в логике высказываний. 1. Формализация рассуждений в логике высказываний. 2. Основные виды силлогизмов. Анализ силлогизмов средствами логики высказываний. 3. Сокращенный табличный способ. Не тривиальность процесса формализации естественно-языковых рассуждений. Выделение исходных (посылок) и производных (заключения) высказываний. Введение оптимального набора переменных. Анализ логических отношений в посылках и заключении. Формализация рассуждения в целом в виде конъюнкции посылок с импликативно присоединенным заключением. Основные силлогизмы традиционной логики: условные (чисто – условные и условно-категорические), разделительно-категорические, условно-разделительные (лемматические). Чисто-условный (гипотетический) силлогизм. Формульное представление: ((p q) (q r )) ( p r) Условно-категорический силлогизм и его модусы (modus ponens и modus tollens). Формульное представление: modus ponens ((p q) p) q; modus tollens ((p q) q p Разделительно-категорический силлогизм и его модусы (modus ponendo tollens и modus tollendo ponens. Формульное представление modus ponendo tollens (( p q) q) p. Значение для правильности рассуждения по этому модусу исключающей дизъюнкции. Недостаточность средств логики высказываний для доказательной репрезентации рассуждения по modus tollendo ponens. Содержательный анализ разделительной посылки на предмет учета в ней всех возможных альтернатив. Условно - разделительный (лемматический ) силлогизм. Разновидности дилемм: простая конструктивная: (( p q) ( r q) ( p r)) q; сложная конструктивная: (( p q) ( r s) ( p r)) (q s); простая деструктивная: (( p q) ( p r) ( q r)) p; сложная деструктивная: (( p q) ( r s) ( q s)) ( p r). Сочетания традиционных силлогизмов в реальных рассуждениях. Трудности анализа рассуждений с большим числом переменных с помощью полных истинностных таблиц. Сокращенный табличный способ анализа таких рассуждений по главному логическому отношению в них – импликации. Предполагают, что представляющая некоторое рассуждение формула может быть ложной. В силу свойства импликации она ложна тогда и только тогда, когда истинен антецедент и ложен консеквент. Путем подбора истинностных значений для входящих в нее переменных (начиная с консеквента) стремятся к доказательству или опровержению сделанного предположения. В случае подтверждения предположения – формула нейтральна, а рассуждение, которое она представляет – неверно (проблематично). При опровержении – формула не может быть ложной, следовательно, она тождественно-истинная, и рассуждение, которое она представляет – правильно (из посылок данной структуры данный вывод следует с необходимостью). Семинар 6. Формализация рассуждений и их анализ. 1. Формализация рассуждений средствами логики высказываний. 2. Построение таблиц истинности, применение их для решения некоторых задач. 3. Применение сокращенного табличного способа для установления правильности силлогизма. Тема 8. Традиционная классическая силлогистика. 1. Непосредственные силлогизмы. 2. Простой категорический силлогизм. а) структура простого категорического силлогизма б) общие правила простого категорического силлогизма. в) фигуры и модусы простого категорического силлогизма. 3. Энтимемы. 4. Сложные силлогизмы (полисиллогизмы, сорит, эпихейрема) Непосредственные силлогизмы – силлогизмы из одной простой посылки вида A, E, I, O. Принципиальный характер выявления для предложений естественного языка четкой логической структуры высказывания. Превращение суть непосредственный силлогизм, в котором из отношения субъекта к предикату в посылке заключают об отношении субъекта к противоречащему предикату. Операционально: субъектно-предикатная связка меняется на противоположную, а предикат на противоречащий. Обращение суть непосредственный силлогизм, в котором из отношения субъекта к предикату в посылке заключают об отношении предиката к субъекту. Операционально: предикат становится на место субъекта, а субъект на место предиката. Обращение с ограничением для высказываний вида А, невозможность обращения для высказываний вида О. Противопоставление предикату суть непосредственный силлогизм, в котором из отношения субъекта к предикату в посылке заключают об отношении противоречащего предиката к субъекту посылки. Операционально:противоречащий предикат становится на место субъекта, субъектно-предикатная связка меняется на противоположную, а субъект становится на место предиката. Заключение через противопоставление предикату может быть получено из обращения предварительно превращенной посылки. Невозможность достоверного вывода через противопоставление предикату для высказываний вида I. Противопоставление субъекту суть непосредственный силлогизм, в котором из отношения субъекта к предикату в посылке заключают об отношении предиката к противоречащему субъекту. Операционально: предикат становится на место субъекта, субъектно-предикатная связка меняется на противоположную, а противоречащий субъект становится на место предиката. Заключение через противопоставление предикату может быть получено из превращения предварительно обращенной посылки. Невозможность достоверного вывода через противопоставление субъекту для высказываний вида О. Простой категорический силлогизм (ПКС) – система трех логически взаимосвязанных высказываний, каждое из которых является высказываниями вида A, E, I, O. В составе ПКС выделяют две посылки и заключение. В заключении фиксируется отношение двух терминов на основании их отношения к третьему термину. Термины ПКС это субъекты и предикаты высказываний, входящих в него. Предикат заключения называется «большим термином», субъект заключения – «меньшим термином», а общий для посылок, но отсутствующий в заключении - «средним термином» силлогизма. Посылки, содержащие больший и меньший термины (крайние термины), соответственно являются большей и меньшей. Правильность ПКС обусловлена соблюдением следующих правил Правила терминов:
(распределены субъекты общих высказываний и предикаты отрицательных высказываний)
Правила посылок:
Принципиальная необходимость и достаточность указанных правил. Графический подход к исследованию отношений между терминами ПКС и установления его правильности. Фигура ПКС – схема силлогизма с фиксированным положением среднего термина в посылках. Четыре фигуры ПКС. Модус ПКС – схемы силлогизма с фиксированной фигурой и фиксированным видом посылок и заключения. 256 возможных модуса ПКС, из которых правильными являются только 24 (по 6 в каждой фигуре). Энтимема (греч. « в уме») - сокращенный силлогизм с пропущенной посылкой или заключением. Восстановление энтимемы до полного силлогизма и проверка правильности последнего. Особенности анализа энтимем с упущенным заключением ( в случае с распределенным средним термином возможны варианты заключения – следующие с необходимостью или вероятностью). Полисиллогизмы – сложные силлогизмы, в котором заключение предшествующего (просиллогизма) становится посылкой последующего (эписиллогизма). Прогрессивные и регрессивные полисилогизмы. Сорит – сокращенный полисиллогизм. Прогрессивный (гоклениевский) и регрессивный (аристотелевский ) сориты. Эпихейрема – сложносокращенный силлогизм, посылками которого являются энтимемы. Заключения двух энтимем образуют посылки третьего силлогизма, заключение которого – заключение эпихейремы. Правильность ее обусловлена правильностью всех трех силлогизмов. Семинар 7. Аристотелевская силлогистика. (Силлогизмы, с учетом субъектно-предикатной структуры высказываний). 1. Анализ превращения, обращения, противопоставления предикату и субъекту. 2. Анализ простого категорического силлогизма. 3. Анализ энтимем. Тема 9. Правдоподобные рассуждения. 1 Индуктивные обобщения. 2. Методы научной индукции. 3. Аналогия, виды аналогий. Правдоподобные рассуждения это рассуждения, в которых отсутствует логическое следование заключения из посылок, связь между ними не необходима, а только возможна. Подразделение правдоподобных рассуждений на: обобщающую индукцию, методы установления причинных зависимостей (исключающую индукцию) и аналогию. Обобщающая индукция (наведение) – это рассуждения, в которых переходят от знания об определенных предметах некоторого класса к знанию обо всех предметах этого класса. Полная и неполная индукция. Полная индукция как вид демонстративных рассуждений. Полная обобщающая индукция - это рассуждение, в котором переходят от знания об отдельных предметах некоторого класса при условии исследования каждого предмета, входящего в данный класс, к знанию о всех предметах этого класса. Неполная обобщающая индукция, разделение ее на популярную и научную. В популярной обобщающей индукции наличие некоторого свойства у первых попавшихся предметов, которые не исчерпывают исследуемый класс, переносятся на все предметы данного класса. В научной обобщающей индукции предварительно из исследуемого класса (генеральной совокупности) осуществляют специальный отбор предметов – делается выборка, которая подвергается сплошной проверке на наличие некоторого свойства. Затем результат по выборке (полная индукция) переносится на всю генеральную совокупность (неполная индукция). Проблема репрезентативности выборки. Методы (Бэкона-Милля) установления причинных зависимостей (исключающая (элиминативная) индукция), при помощи которых на основании некоторых эмпирических данных между двумя массовыми событиями (явлениями) устанавливается отношение причинной связи, когда имеет место порождение одного события другим. Метод сходства и его правило: если два или более случаев исследуемого явления имеют общим только одно обстоятельство, то в этом обстоятельстве и заключается причина (или следствие) данного явления (остальные обстоятельства исключаются). Затруднения при использовании данного метода (возможность наличия скрытого параметра). Метод различия и его правило: если случай, в котором определенное явление наступает, и случай, в котором оно не наступает, имеет общим все обстоятельства за исключением одного, и это одно обстоятельство встречается только в первом случае, то это обстоятельство и есть причина или необходимая часть причины изучаемого явления. Затруднения при применении данного метода. Метод сопутствующих изменений и его правило: всякое явление, которое каким – либо образом видоизменяется всякий раз, когда видоизменяется некоторое другое явление, составляет причину или следствие этого явления, или связано с ним какой либо общей причиной. Метод остатков и его правило: если вычесть из данного явления природы ту часть его, о которой известно, что она есть следствие определенных предшествующих обстоятельств, и тогда остающаяся часть (остаток) явления природы будет следствием остальных предшествующих обстоятельств. Аналогия (подобие, сходство) это рассуждение, в котором на основе сходства двух предметов (систем предметов) a и b по каким-то характеристикам, а также на основе того, что а присущ некоторый признак, заключают о присущности b того же признака. Аналогия свойств имеет место, когда a и b представляют собой отдельные предметы, переносимый признак – свойство. Аналогия отношений имеет место, когда a и b представляют собой системы объектов. Тема 10. Доказательство и опровержение. 1 Доказательство, его строение и виды. 2. Опровержение, виды и способы опровержения. 3. Правила доказательства и опровержения и основные ошибки, возникающие при их нарушении. Доказательство — это совокупность логических приемов обоснования истинности тезиса. Структура доказательства: тезис, аргументы, демонстрация. Тезис — это суждение, истинность которого надо доказать. Аргументы — это те истинные суждения, которыми пользуются при доказательстве тезиса. Формой доказательства, или демонстрацией, называется способ логической связи между тезисом и аргументами. Различают несколько видов аргументов.
Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое доказательство идет от рассмотрения аргументов к доказательству тезиса, т. е. истинность тезиса непосредственно обосновывается аргументами. Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса.
Опровержение — логическая операция установления ложности или необоснованности ранее выдвинутого тезиса. В опровержение показывается, что: 1) неправильно построено само доказательство (аргументы или демонстрация); 2) выдвинутый тезис ложен или не доказан. Суждение, которое надо опровергнуть, называется тезисом опровержения. Суждения, с помощью которых опровергается тезис, называются аргументами опровержения. Три способа опровержения: I) опровержение тезиса (прямое и косвенное); II) критика аргументов; III) выявление несостоятельности демонстрации. I. Опровержение тезиса (прямое и косвенное) а) Прямое опровержение - опровержение фактами — самый верный и успешный способ опровержения. б) Косвенное опровержение:
II. Критика аргументов. Подвергаются критике аргументы, которые были выдвинуты оппонентом в обоснование его тезиса. Доказывается ложность или несостоятельность этих аргументов. |
Добавить документ в свой блог или на сайт
Похожие:
 | Самостоятельная работа: 120 час. Итоговый контроль: 8 семестр зачет,... Цель дисциплины – изложить научные и организационно-правовые основы криптографии и информационной безопасности | | Организационно-методический раздел 5 Учебно-методическое, информационное и материально-техническое обеспечение дисциплины |
 | Организационно методический раздел России; ознакомление с методологией и методами исследования политических лидеров | | Российской Федерации Федеральное государственное бюджетное образовательное... Организационно-методический раздел |
| Методические указания по выполнению рефератов V. Примерный перечень... Организационно-методический раздел | | Самостоятельная работа: 40 Итоговый контроль: зачет организационно-методический... Ландшафтоведение – наука о ландшафтной оболочке Земли, ее структурных составляющих, природных и природно-антропогенных системах.... |
| Организационно-методический раздел Курс реализуется в рамках направления «Информатика и вычислительная техника», относится к циклу специальных дисциплин | | I. организационно-методический раздел Место дисциплины в структуре ооп впо (основной образовательной программы высшего профессионального образования) 5 |
| Организационно-методический раздел Задача дисциплины научить студентов применению статистических методов исследования социально-экономических процессов и явлений | | Организационно-методический раздел Задача дисциплины научить студентов применению статистических методов исследования социально-экономических процессов и явлений |
| Учебно-методический комплекс дисциплины «физическая культура» Т. В. Никольская, О. Ю. Масалова (раздел гимнастика); Т. Н. Хатанцева, Е. П. Панова, Ю. В. Булков (раздел легкая атлетика); А. Б.... | | Организационно-методический раздел цель дисциплины Учебно-методическое, информационное и материально-техническое обеспечение дисциплины 27 |
| Структура учебной программы организационно методический раздел Данная дисциплина изучается студентами в 6 семестре и является обязательной. Дисциплина включает в себя 13 тем | | Литература по дисциплине 7 Материально-техническое обеспечение 7... Рецензент программы: д э н., проф. Орешкин В. А., профессор кафедры Международной торговли и внешней торговли РФ |
| Рабочая учебная программа дисциплины Организационно методический... Экологических принципах использования природных ресурсов и охраны природы; об основах экономики природопользования | | Пояснительная записка Раздел организационно-методический выписка... ... |
