[ «НЕГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ САНКТ-ПЕТЕРБУРГСКИЙ ИНСТИТУТ ВНЕШНЕЭКОНОМИЧЕСКИХ СВЯЗЕЙ, ЭКОНОМИКИ И ПРАВА ЛОГИКА УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС по специальности ...»
НОУ ВПО ИВЭСЭП
НЕГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ
ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
«САНКТ-ПЕТЕРБУРГСКИЙ ИНСТИТУТ ВНЕШНЕЭКОНОМИЧЕСКИХ
СВЯЗЕЙ, ЭКОНОМИКИ И ПРАВА»
ЛОГИКА
УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС
по специальности 030501.65 «Юриспруденция»
САНКТ-ПЕТЕРБУРГ
2012 Логика: Учебно-методический комплекс / Автор - составитель Роговой Ю.П.– СПб.: ИВЭСЭП, 2012 – 62 с.
Утвержден на заседании кафедры философии, протокол № 1 от 28.08.2012г.
Утвержден и рекомендован к печати Научно-методическим Советом, Протокол № 1 от 5.09.2012г.
Автор-составитель кандидат философских наук, доцент Ю.П. Роговой Рецензент:
доктор философских наук Антонова О.А.
1.
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Целью курса является овладение студентами системой знаний по логике.Успешная профессиональная деятельность современного специалиста в любой области интеллектуального труда невозможна без овладения навыками эффективной работы с информацией. Такие требования к информации как ясность, точность, последовательность и доказательность могут быть обеспечены в достаточной мере только средствами логики.
Поэтому знакомство с логической культурой, владение навыками логичного рассуждения является не только показателем культурного уровня человека, но и необходимым условием успешной работы в выбранной молодым человеком сфере.
Курс логики рассчитан на студентов начальных курсов очного и заочного обучения по специальности юриспруденция и знакомит учащихся с основными разделами традиционной (формальной) логики: учениями о понятии, суждении и умозаключении.
Особое внимание уделено использованию логических приемов для обработки информации. Освоению практических навыков предполагается уделить большую часть времени на семинарских занятиях.
Структура курса соответствует требованиям программ по логике, одобренным Министерством образования и науки РФ.
Задачами курса является:
- раскрыть понятийный аппарат логики;
- познакомить студентов с основными логическими приемами обработки информации;
- познакомить студентов с логическими принципами построения аргументации и правилами ведения рациональной дискуссии - раскрыть содержание основных законов формальной логики, продемонстрировать их роль в интеллектуальной деятельности, осуществляемой в профессиональной сфере.
В результате изучения курса студент должен знать:
- предмет, метод, основные цели и задачи формальной логики;
- формы мысли (понятие, суждение, умозаключение) и их логические характеристики;
- основные законы формальной логики;
- основные виды умозаключений и правила их построения;
- логические операции над понятиями и суждениями;
- правила построения прямого и косвенного доказательства;
В результате изучения курса студент должен уметь:
- выполнять операции выполнять логические операции над понятиями и суждениями;
- представлять отношения между объемами понятий с помощью диаграмм Эйлера;
- проводить логический анализ умозаключений и определять их правильность;
- выделять логическую структуру текста и анализировать тексты на предмет представленной в них аргументации;
- логически правильно строить аргументацию в сфере своей профессиональной деятельности;
К основным видам занятий относятся лекции и семинары (практические занятия). В процессе чтения лекций используются методики, позволяющие активизировать внимание слушателей и интенсифицировать их мыслительную деятельность. С этой целью производится постановка вопросов, создание проблемных ситуаций, работа в диалоговом режиме, использование в ходе лекций достаточно простых упражнений, совместное решение и последующий анализ логических задач, проведение миниконтрольных работ с оперативным анализом результатов. В ходе проведения практических занятий (семинаров) основное внимание уделяется самостоятельному выполнению упражнений, анализу специально подобранных текстов, решению задач, выполнению тестов и т.п. Главная задача здесь – создать возможность для студентов иметь объемную и интенсивную интеллектуальную практику. Индивидуализация обучения достигается за счет того, что все виды заданий ранжированы, их выполнение организуется в соответствии с одним из важнейших принципов дидактики – «от простого к сложному», и количество выполненных заданий оказывается различным для студентов с разным уровнем подготовленности.
(промежуточный), итоговый. В ходе текущего контроля регулярно отслеживается качество и количество материалов, подготовленных студентами как в процессе восприятия лекций, так и при создании ими информационной базы для активного участия в семинаре. Кроме того, фиксируется и оценивается степень участия студента в процессе обсуждения поставленных вопросов и проблем, результаты выполнения упражнений, тестовых заданий, решения логических задач и т.п. Рубежный контроль осуществляется в форме проведения контрольной работы или тестового испытания. Итоговый контроль осуществляется в соответствии с учебным планом в форме зачета.
МЕТОДИЧЕСКИЕ УКАЗАНИЯ
ДЛЯ СТУДЕНТОВ-ЗАОЧНИКОВ ПО ОСНОВНОЙ ЧАСТИ КУРСА:
«ВАЖНЕЙШИЕ ЛОГИЧЕСКИЕ ФОРМЫ.
ВИДЫ, СПОСОБЫ И СХЕМЫ РАССУЖДЕНИЙ»
При усвоении содержания темы «Понятие» начинать следует с уточнения ключевого термина: «Понятие есть базисная форма абстрактного мышления, благодаря которой мы удерживаем в нашем сознании сущность какой-либо вещи, представленную совокупностью существенных признаков». Для выявления существенных признаков используются логические операции: сравнение, абстрагирование, анализ, синтез, обобщение. Понятие характеризуется содержанием (совокупность существенных признаков) и объемом (то множество вещей, к которым приложима данная совокупность). При этом увеличение содержания влечет уменьшение объема понятия и наоборот. Например, увеличим содержание понятия «студент», добавив признак «первокурсник ДЮИ», и получим резко уменьшившееся множество. Приняв идею Эйлера о представлении объемов понятий в виде кругов, можно увеличивать объем или уменьшать его;«складывать», «вычитать», «накладывать» (совмещать) полностью или частично; можно делить объем понятия, устанавливая при этом: а) противоположность; б) противоречие; можно делить по существенным признакам (что дает «естественную классификацию»), можно делить, беря за основу в каком-либо отношении значимые, но не существенные признаки (что дает классификацию вспомогательную). При этом надо соблюдать правила: не изменять основание деления, не упускать ни одного из элементов исходного множества и не включать новых. В отношении содержания можно осуществлять многими способами логическую операцию, именуемую «определение понятия». Например, указанием ближайшего родового понятия и видовых различий; указанием способа построения или происхождения объектов, обозначаемых данным понятием; через совокупность операций;
через систему правил; путем введения контекста; путем демонстрации типичного объекта. При определении понятий должны соблюдаться правила:
правило четкости, ясности и понятности; правило соответствия левой и правой частей определения; правило независимости определяемого от определяющего.
При усвоении правил определения надо обратить внимание на типичные ошибки. Нарушение правила соразмерности приводит к ошибкам:
а) «слишком широкое определение», б) слишком узкое определение», в) определяющего перекрещиваются/, г) «определение как попало»/ беспорядочное определение/. Другая типичная ошибка – «круг в определении». Разновидностью является «тавтология» или «определение то же через то же». Нарушение правила ясности, понятности приводит к ошибке «определение неизвестного через неизвестное».
Усвоение темы «Суждение» лучше начать со знакомства с различными видами суждений, приняв за основу простые категорические атрибутивные суждения, имеющие структуру «S есть (не есть) Р», где S логическое подлежащее», Р - «логическое сказуемое». Далее надо уточнить отношения между четырьмя видами простых суждений по истинности ложности (с помощью логического квадрата и логической таблицы). О реляционных и модальных суждениях достаточно составить самое общее представление, а вот сложные суждения (образуемые из простых с помощью логических союзов) надо рассмотреть основательно. Особое внимание обратить на оценку истинности-ложности сложных суждений и на проблему отрицания сложных суждений, ибо здесь есть моменты, неодолимые с помощью лишь "здравого смысла". В рамки этой же темы можно включить три способа преобразования простых суждений: превращение (= замена предиката и связки на противоположные), обращение (= «ролевой обмен»
между субъектом и предикатом) и противопоставление предикату (= объединение первого и второго способа), хотя эти способы часто называют «Умозаключение».
Знание истинностного значения простых высказываний и точного значения логических союзов позволяет совершенно точно устанавливать истинностное значение сложного высказывания, что на уровне обыденной интуиции или весьма затруднительно, или практически невозможно. В случае решения логических задач, в которых используются сложные высказывания, и требуется оценка их истинности или ложности, использование истинностных таблиц позволяет получать неоспоримый результат. Рассмотрим решение за дачи со следующими условиями:
Сказочное существо /лев/, лгущее по ПН, ВТ, СР и говорящее правду в ЧТ,ПТ,СБ,ВС, на вопрос девочки Алисы «Какой сегодня день недели?»
отвечает двумя простыми высказываниями;« Я лгал вчера». «Я буду лгать завтра». Поразмыслив, обнаружим, что задача не имеет решения. Изменится ли ситуация, если лев ответит одним, но сложным высказыванием: «Я лгал вчера и я буду лгать завтра». Изменение кардинальное: знание таблицы истинности для конъюнкции позволяет утверждать, что задача имеет два решения! Лев имеет полное «логическое право» высказаться так и в ПН, и в СР. Для ПН первая часть сложного высказывания будет ложной, вторая истинной, а в высказывание в целом будет ложным, что и требуется от льва в ПН. Для СР первое будет истинным, второе - ложным, высказывание в целом - ложным, что также допустимо в СР. Легко увидеть, что других решений задача не имеет.
Для правильного отрицания сложных суждений надо располагать знанием основных равносильность: чему равносильно отрицание сложного конъюнктивного, дизъюнктивного, импликативного суждений. Их достаточно легко запомнить /или вывести самостоятельно/. Отрицание конъюнктивного суждения равносильно дизъюнктивному, у которого оба дизъюнктивного - конъюнктивному с отрицаемыми исходными; отрицание импликативного равносильно конъюнктивному; у которого второе простое суждение взято с отрицанием.
Имеет смысл запомнить эти равносильности в символической записи: (1) А В =A B; (2) AvB =А"лВ; (3) А->В =АлВ.
В теме «Вопрос. Проблема. Гипотеза. Теория» надо обратить внимание на ясное и понятное определение этих форм мышления и познания и на важнейшие правила, которые необходимо соблюдать при постановке вопросов и проблем, при формулировании ответов, при выдвижении и обосновании гипотез. Сначала надо уяснить, что в логической структуре вопроса обычно выделяют три элемента (1 - основа или базис, или предпосылка вопроса; 2 - указание на неизвестное: 3 -требование ответа).
Затем надо убедиться на примерах, что ключевым моментом при постановке вопросов является истинность предпосылок, и что следует всячески избегать постановки сложных вопросов, ибо они оказываются большей частью некорректными.
Надо учитывать, что предпосылки вопросов могут использоваться для неявной передачи информации. Например, в вопросе «С кем окажется армия в случае попытки государственного переворота?» фактически утверждается, что такая попытка возможна /как и выступление армии либо на стороне организаторов, либо противников/. Неявные предпосылки вопросов могут использоваться в уловках типа «подмена вопроса» или «сокрытие необоснованности утверждения». Например, в вопросе преподавателя к студенту: «Когда вы начнёте регулярно заниматься?», содержится предпосылка, которая может быть необоснованной: «Вы занимаетесь нерегулярно».
Очень важно не упускать возможность констатации логической некорректности вопросов. Вопрос считается некорректным, если в его формулировке содержатся выражения, смыслы и значения которых неизвестны; если между словами и выражениями нет согласования; если содержатся многозначные слова; если контекст недостаточен для однозначного истолкования вопроса; если предпосылка вопроса ложное суждение; если он содержит провокацию; если это тавтологичный вопрос (логически или фактологически). Среди истинных ответов важно различать правильные и неправильные: первые полностью или частично устраняют познавательную неопределенность /устраняющие полностью называются сильными, частично - слабыми/.
Неправильные ответы могут полностью или частично повторять тавтологичными, или же являться ответами не на заданные, а на другие вопросы.
При постановке проблем надо учитывать, как минимум, два момента:
исследовательский вопрос (как правило, поддающийся разложению на подчинённые ему вопросы) постольку в отношении проблемы может быть сказано многое из того, что было сказано в отношении вопросов. Выдвигая проблему, надо выполнять все правила постановки вопросов, а кроме этого учитывать момент своевременности /или несвоевременности/ и момент оптимальности с точки зрения затребованной информации - условия разрешения проблемы ухудшаются как в случае недостатка, так и избытка информации. При этом важно различать реальные и мнимые проблемы /псевдопроблемы/, а также отдавать себе отчёт, имеется ли с самого начала метод решения проблемы /или же он ещё должен быть создан/ и насколько ясно, что именно можно считать решением проблемы.
принципиально вероятностный статус, который может быть изменен лишь в процессе доказательства, обоснования гипотезы или же ее опровержения.
Надо отметить также, что гипотетической формой объяснения правовых проблем является версия. В отношении версии действуют все правила, которые соблюдаются в отношении гипотезы, но есть и специфические моменты, связанные с особенностями функционирования правовой сферы. В отношении гипотезы важно помнить, что это слово может употребляться в двух смыслах: либо как особого рода знание, либо как особый процесс развития знания; чаще всего гипотезу понимают как сложный процесс познания, заключающийся в выдвижении обоснованного предположения и в его доказательстве или опровержении. Выдвинув предположение /на основе аналогии, неполной индукции, методов Бэкона-Милля/, стараются на его основе объяснить все имеющиеся факты, относящиеся к предметной области данной гипотезы. Предположение, чтобы стать гипотезой, должно удовлетворять следующим требованиям: оно не должно быть логически противоречивым; оно не должно противоречить фундаментальным положениям науки /но это не абсолютное требование/; оно должно быть принципиально проверяемым - в качестве гипотез не признаются догадки, которые в принципе нельзя проверить /обосновать или опровергнуть/; оно не должно противоречить ранее установленным фактам, для объяснения которых оно не предназначено; оно должно быть приложимо к возможно более широкому кругу явлений - это называют также принципом простоты /под простотой здесь понимают отсутствие фактов, которые гипотеза должна объяснять, но не объясняет/.
В процессе следственной и судебной деятельности часто выдвигается ряд гипотез, по-разному объясняющих одни и те же факты. Эти гипотезы и называются следственными или судебно-следственными версиями, т.е.
версия - это один из вариантов утверждения об одних и тех же обстоятельствах, фактах, явлениях. На первом этапе развития версии её специфика по сравнению с гипотезой в том, что должно выполняться требование полноты предположений: выдвигаются всевозможные предположения. На втором же этапе даётся объяснение всем имеющимся фактам на основе, по крайней мере, одного из предположений. По непротиворечивости, принципиальной проверяемости, непротиворечивости ранее установленным фактам, а вот требование простоты здесь не действует, ибо ни одно из предположений /ни одна из версий/ не должно выпускаться из поля зрения.
В теме «Умозаключение» начинать следует с уяснения основных видов умозаключений (= рассуждений), выделив из них дедуктивные, индуктивные, по аналогии, а также непрямые или косвенные выводы. Обычно из дедуктивных рассуждений особо детальному рассмотрению подвергаются силлогистические. Здесь очень важно выполнить как можно больше упражнений и обязательно запомнить важнейшие правила - правила посылок и терминов силлогизма. Следует также обратить внимание, что при рассмотрении некоторых видов силлогистических рассуждений (например, условно-категорических, условно-разделительных) могут быть весьма эффективно использованы таблицы истинности логических союзов (приводимые в разделе «сложные суждения»). Уточняя свои представления о рассуждениях индуктивных, по аналогии и косвенных выводах, надо постараться отобрать самые понятные для вас, наиболее яркие и запоминающиеся примеры. Дело в том, что многие правила, которые необходимо соблюдать при осуществлении упомянутых рассуждений, в достаточной мере известны вам и являются достаточно очевидными. Наряду с ними имеются правила, способствующие повышению вероятности вывода.
Для индуктивных рассуждений это: 1) увеличение количества исходных данных: 2) увеличение их разнообразия; 3) ориентация на случайность выбора (непредвзятость); 4) максимально возможная полнота данных. Для выводов по аналогии: 1)ориентация на фиксацию действительного, а не мнимого сходства; 2) «ухватывание» существенных черт, признаков, а не случайных и поверхностных; 3) учет не только сходства сопоставляемых объектов, но и их различия.
«Умозаключение» надо постараться выполнить как можно больше упражнений, постоянно обращаясь к учебнику и соотнося «теорию и практику». По силлогистическим умозаключениям предлагается вьшолнить следующие задания:
1. Сделайте вывод и с помощью общих правил силлогизма установите, следует ли заключение с необходимостью:
военнослужащие - офицеры. Следовательно,...
/б/ Супруги должны материально поддерживать друг друга. М. и Н.
материально поддерживают друг друга. Следовательно, … 2. Дайте полную характеристику силлогизму, определив его фигуру, термины, вывод, модус, посылки,... /а/Действия обвиняемого Н. не являются мошенничеством, так как в его действиях не было умысла, а мошенничество может быть совершено только умышленно, /б/ В странах растет преступность.
3.Проверьте правильность вывода с помощью круговых схем: /а/ К особо опасным рецидивистам условно досрочное освобождение не применяется. М. не может быть условно досрочно освобожден.
Следовательно, М. является особо опасным рецидивистом, /б/ Все люди смертны. Ни одна собака не является человеком.
Следовательно, ни одна собака не смертна.
утверждающему и по отрицающему модусу; постройте схему в символической записи: /а/ Для усыновления требуется согласие усыновляемого, если он достиг десятилетнего возраста, /б/ Если суд придёт к выводу о подложности документа, он устранит его из 5.Правильно ли произведено доказательство? Это подразделение поощрено за отличную службу в прошлом году, следовательно, оперативный работник Медведев, работающий здесь, отлично нёс службу в прошлом году, 6.Подберите аргументы и постройте доказательство тезиса:«Я готов к сдаче экзамена по логике».
7.Какая ошибка будет совершена в доказательстве, если вместо того, чтобы доказать, что данный человек совершил преступление, мы будем доказывать, что данный человек поступил нечестно?
По индуктивным умозаключениям выполните следующие задания:
1. Обосновано ли заключение и если нет, то какие требования к научной индукции не выполнены?
совершивших тяжкие преступления /опросили 10 заключённых/.
Почти все они ответили, что строгие меры наказания не влияли на их решение совершить преступление. Сделали вывод, что строгие меры наказания не являются сдерживающим фактором при совершении тяжких преступлений»
2.В каком из рассуждений заключение более правдоподобно и почему:
/а/ Все известные логике способы рассуждения осуществимы на русском, английском, немецком, итальянском и венгерском языках.
Следовательно, все известные логике способы рассуждения осуществимы на любом языке, /б/ Все известные логике способы рассуждения осуществимы на русском, английском, немецком, арабском, японском и венгерском языках. Следовательно, все эти способы рассуждения осуществимы на любом языке.
3.По какому методу установления причинных связей сделаны заключения? /а/ При удалении из телевизора одной лампы изображение на экране исчезло. Отсюда сделали вывод, что работа минимальными примесями углерода железо легко куется. При добавлении небольшого количества - железо /сталь/ куется труднее.
При большем добавлении--железо /чугун/ иногда вообще не куется.
Отсюда сделали вывод, что увеличение количества углерода является причиной ухудшения ковкости железа, /в/ Чем меньше трение между колесом и осью повозки, тем меньше замедление её движения. Следовательно, трение- причина замедления движения повозки, /г/ Различные растения, находящиеся на солнце, имеют зелёную окраску. Те же растения, помещенные в темноту, теряют зелёную окраску. Следовательно, причиной зелёной окраски растений является солнечный свет, /д/ Явление радуги наблюдалось на небе во время дождя, в водяной пыли водопада, в каплях росы.
Сделали вывод, что причиной явления радуги является прохождение солнечного света через капли воды.
Понимание особенностей и степени значимости умозаключений по аналогии закрепите выполняя следующие задания:
1. Дайте критику рассуждения, построенного на идеях Платона:
«Начертите на песке круг. Он несовершенен и полон всяких отклонений от идеального крута. Однако, имея перед глазами этот несовершенный круг, можно легко представить себе идеальный круг и построить о нём точнейшую науку. Почему же метод идеальных моделей не применить к человеческому обществу? Давайте скажем преступнику, что он преступник /следовательно, отличается от совершенного человека/, давайте усовестим его. И он перестанет быть преступником, ибо на первый план выступит его идеальное человеческое поведение. Это невозможно? Но почему же подобное возможно с кругом, столь несовершенно начерченным на песке?»
2. Проанализируйте рассуждение: «Американский проф. Карл Саган так обосновывал утверждение, что СССР - агрессивная страна: «На ваших монетах ваш национальный символ охватывает весь земной шар». Академик Арбатов ему ответил: «Что касается советского герба на монетах, то он имеет такое же притязание на земной шар, как полумесяц на турецком флаге к притязаниям Турции на Луну или созвездие Южного Креста на австралийском - к заявке этой страны на часть Вселенной».
3. В каком случае вывод по аналогии будет более достоверным и почему?
/а/ При ограблении касс предприятий преступники действовали одним способом. Они нападали на сторожа, обезоруживали его, связывали.
С помощью ломика и кувалды отжимали дверку сейфа и похищали деньги. Через несколько лет в этом городе стали происходить ограбления касс предприятий тем же способом. Выдвинули версию, что в ограблениях участвует один из ранее осуждённых, бежавший из мест заключения.
/б/ В другом городе тоже стали происходить ограбления касс предприятий. Способ ограбления был сходен с первым с той разницей, что преступники дверь кассы не взламывали, а отпирали замок отмычкой. Предположили, что и в этих ограблениях замешан тот же человек.
4. В какой функции выступает аналогия в следующем рассказе? «По дороге шёл крестьянин. Он нёс барашка. Его остановил прохожий и спросил: «Что несёшь?» Крестьянин ответил. Затем второй прохожий задал ему тот же вопрос. Крестьянин ответил. Но когда десятый встречный опросил о том же, крестьянин избил его.
Крестьянина вызвали в суд. Войдя в помещение, крестьянин приветствовал судью: «Аллах велик и всемогущ» Встав, судья ответил: «И Мохаммед пророк его». Крестьянин повторил приветствие. Судья встал и повторил ответ. Так повторилось несколько раз, после чего судья сказал крестьянину, что изобьет его, если он будет продолжать. В ответ крестьянин рассказал судье о том, что с ним произошло, и судья оправдал крестьянина».
Наконец, в теме «Доказательство. Опровержение. Спор» в первую очередь надо уточнить содержание основных понятий и особое неумьшшенные) и на формулирование правил (надо стремиться как можно больше правил сформулировать самим, уяснив себе суть дела), соблюдение которых делает корректным логический процесс собственный опыт проведения доказательств, опровержений, участия в спорах, дискуссиях. Имеет смысл самостоятельно доказательстве, опровержении, споре, и список корректных и некорректных приемов, уловок.
Свой опыт проведения доказательств, опровержений, опыт ведения спора, полемики, дискуссии можно обогатить, выполнив ряд упражнений, заданий. Например, следующие:
1. Проанализируйте, можно ли считать следующее •рассуждение доказательным: «Кто слаб душой.., и кто живёт чужими соками, тем ложь нужна... одних она поддерживает, другие -прикрываются ею... А кто - сам себе хозяин... кто независим и не жрет чужого, зачем тому ложь? Ложь - религия рабов и хозяев... Правда -бог свободного человека».
2. Определите ошибки в доказательстве: /а/»Ах, батюшки мои! Да чем же он плут, скажи, пожалуйста! Каждый праздник он в церковь ходит; посты держит; великим постом и чаю не пьёт с сахаром - все с мёдом либо с изюмом. А если обманет кого, так что за беда! Не он первый, не он последний; человек коммерческий. Тем, Антипушка, и торговля-то держится. Не зря говорится: «Не обмануть, не продать», /б/ Студент удовлетворительную оценку, или экзаменовать его дальше: «Я же весь учебник прочел. Так неужели же я ничего не знаю? Может быть я и отвечу на что-нибудь», /в/ Немецкий физик Н., автор третьего начала термодинамики так доказывал, что ему удалось завершить разработку фундаментальных законов термодинамики: у первого начала было три автора (Майер, Джоуль, Гельмгольц) у второго - два (Карно и Клаузиус), а у третьего - один (Н); следовательно, число авторов четвёртого начала должно равняться нулю, т. е. такого закона не может быть, /г/ «Этот человек, сказал он, самый умный и самый сильный из всех людей, это правда. Но именно поэтому его и следует казнить как можно скорее. Ведь если во время войны он вздумает присоединиться к врагам нашей родины, то мы погибли. Сейчас он ещё в наших руках, и надо действовать, пока не поздно», /д/ Какую ошибку в доказательстве имел в виду С.Поварнин, приводя пример следующего спора: «...юный идеалист доказывает человеку «опыта», что такой-то поступок малодушен и бесчестен. Тот сперва спорит «чин чином», но затем, видя, что дело его плохо, заявляет:
«Очень вы ещё молоды и неопытны. Поживёте, узнаете жизнь и сами со мною согласитесь». Юноша же начинает доказывать, что молодость не при чём, что «он знает жизнь», /е/. Прокомментируйте аргументацию кота: «А почему вы знаете, что вы ненормальный?» - спросила Алиса Чеширского Кота - «Начнём с собаки,- сказал Кот. -Возьмём нормальную собаку, не бешеную. Согласна?» - «Конечно» -сказала Алиса. - «Итак,продолжал Кот, - собака рычит, когда, сердится, и виляет хвостом, когда, радуется. Я же ворчу, когда мне приятно, и виляю хвостом, когда злюсь.
Вывод: я -ненормальный», /ж/ На чём основан софизм: «Лекарство, принимаемое больным, есть добро. Чем больше делать добра, тем лучше.
Значит, лекарства нужно принимать как можно больше»?
УЧЕБНО-ТЕМАТИЧЕСКИЙ ПЛАН
Предмет логики Понятие как объект логики Основные принципы правильного Умозаключение Основные формы развития знания.Логические основы аргументации
СОДЕРЖАНИЕ КУРСА
Тема 1. Предмет логики Логика как наука о мышлении. Абстрактное мышление и его роль в процессе познания. Форма и содержание мышления. Логика как нормативная наука о рассуждении. Формальная правильность рассуждения. Связь мышления и языка. Естественный язык и искусственный язык логики. Место логики среди других наук: методологическая функция логики. Структура формальной логики. Логика и язык права. Основные этапы истории логики.Тема 2. Понятие как объект логики.
Понятия. Понятие как форма мысли. Понятие и чувственные формы познания. Понятие и слово. Логические характеристики понятия: объем и содержание. Семантический треугольник и логические характеристики понятия. Признаки предметов и их виды. Закон отношения между объемом и содержанием понятия. Проблема образования понятий и элементарные методы познавательной деятельности (анализ, синтез, сравнение, абстрагирование, обобщение).
Виды понятий. Отношения между понятиями и их представление на кругах Эйлера. Отношения совместимости: тождество, частичное совпадение, подчинение. Отношение рода и вида и отношение части и целого. Отношения несовместимости: соподчинение, контрарность, контрадикторность.
Логические операции над понятиями. Определение и классификация.
Обобщение и ограничение понятий. Логическая операция определения. Виды определений: остенсивное и вербальное определение, номинальное и реальное определение. Способы определения. Определение через род и видовое отличие. Конструктивно-генетическое определение.
Операциональное определение. Индуктивные определения. Аксиомы как определения. Правила определения понятий. Способы уточнения информации, не являющиеся определениями: сравнение, описание, характеристика.
Деление понятия. Виды делений: дихотомическое деление и деление по видоизменению признака. Правила деления. Классификация, и ее роль в научном познании.
Тема 3. Суждение Сущность суждения. Суждение и понятие. Суждение и норма.
Логические характеристики суждения. Истинность в логике. Виды истинности: логическая, фактуально-эмпирическая и аналитическая истинность. Суждение и предложение. Простое и сложное суждение.
Суждения с отношениями, суждения существования, атрибутивные суждения. Простое суждение и его структура. Деление суждений по количеству и качеству. Отношения между простыми категорическими суждениями («логический квадрат»). Характеристики отношений по основаниям рефлексивности, симметричности и транзитивности.
Распределенность терминов в простом суждении.
Сложные суждения. Союзы логические и грамматические. Семантика основных логических союзов: конъюнкции, дизъюнкции, импликации, эквивалентности, отрицания.
Деление суждений по модальности. Логическая и онтологическая модальности. Основные категории алетической модальности, их логическая взаимосвязь. Нормы и нормативные высказывания.
Тема 4. Основные принципы правильного мышления.
непротиворечивость, последовательность, доказательность. Основные законы логики. Закон тождества. Закон противоречия, закон исключенного третьего, закон достаточного основания.
Определение умозаключения и его структура. Отношение логического следования и его свойства. Дедуктивные и недедуктивные умозаключения.
Простые и сложные умозаключения. Непосредственные и опосредованные умозаключения. Дедукция, индукция и аналогия.
Дедуктивные умозаключения.
Непосредственные умозаключения: превращение, обращение, противопоставление предикату, выводы по правилам «логического квадрата».
Простой категорический силлогизм. Структура силлогизма. Аксиома простого категорического силлогизма. Фигуры и модусы силлогизма. Общие правила силлогизма. Специальные правила фигур силлогизма. Приведение модусов второй, третьей и четвертой фигур к модусам первой фигуры.
Умозаключения, основанные на простом категорическом силлогизме:
энтимемы, полисиллогизмы, сориты, эпихейремы. Восстановление энтимемы до полного силлогизма.
Условный силлогизм. Условно-категорический силлогизм.
Раделительно-категорический силлогизм. Дилемма.
Индуктивные умозаключения Понятие индукции. Полная и неполная индукция. Популярная и научная индукция. Способы повышения вероятности индуктивного вывода.
Индуктивные методы установления причинно-следственных связей. Роль индукции в научном познании.
Умозаключения по аналогии Структура умозаключений по аналогии. Аналогия свойства и аналогия отношения. Строгая и нестрогая аналогии. Условия повышения вероятности вывода по аналогии. Эвристическая функция аналогии.
Тема 6. Основные формы развития знания.
Формы развития знания: проблема, гипотеза, судебно-следственная версия, теория. Основные функции научного познания: описание, объяснение, предсказание. Понятие проблемы. Проблемные ситуации в научном, правовом, гуманитарном познании. Проблемная ситуация как парадоксальная фиксация перехода от старого знания к новому. Логическая структура проблемы как формы мышления, познания, интеллектуального взаимодействия.
Гипотеза как форма решения или объяснения проблемы, как форма научного познания. Понятие версии, и ее роли в юридической практике.
Основные этапы построения гипотезы и версии. Логические методы обоснования, подтверждения, доказательства или опровержения гипотез и версий.
Теория как логико-методологическая форма систематизации и развития знания. Логическая структура научной теории; язык и категориальный аппарат теории; система законов теории. Логические требования к теории:
требование непротиворечивости, требование независимости исходных положений, постулатов-гипотез, требование разрешимости и полноты теории.
Тема 7. Логические основы аргументации.
Понятие аргументации. Функции аргументации. Содержательная и логическая аргументация (доказательство). Структура доказательства: тезис, аргументы, демонстрация. Виды доказательств. Правила построения доказательства Опровержение как логическая операция. Критика тезиса, аргументов демонстрации.
Типичные ошибки в доказательстве и опровержении. Паралогизмы и софизмы. Уловки в споре: допустимые и недопустимые.
Вопросно-ответные ситуации. Диалог и вопрос. Режимы диалога:
закрытый, открытый, ограниченный.
ПЛАНЫ СЕМИНАРСКИХ ЗАНЯТИЙ
Семинар 1. Понятие как объект логики.Понятие и слово. Содержание и объем понятия.
Отношения между понятиями.
Логические операции над понятиями.
Литература:
1. Гетманова А.Д. Логика. 9-е изд. / А.Д. Гетманова. – М.: Омега-Л, 2008.
2. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин. – М.: ФаирПресс, 2010.
3. Ивлев Ю.В. Логика: Учебник / Ю.В. Ивлев. – М.: ТК ВЕЛБИ, изд-во Проспект, 2008.
4. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: ООО «Издательство Проспект», 2008.
Семинар 2. Суждение, как объект логики.
Определение суждения и его структура.
Суждение и предложение. Истинные и ложные Деление простых суждений по количеству и качеству.
Распределенность терминов в суждении.
Приведение суждения к стандартной форме (уточнение логической структуры суждения) Отношения «логического квадрата».
Свойства отношений: рефлексивность, Литература:
1. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин. – М.: ФаирПресс, 2010.
2. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: ООО «Издательство Проспект», 2008.
3. Милославов А.С. Логика: учебно-методическое пособие: Часть 1 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
4. Милославов А.С. Сборник упражнений по логике / А.С. Милославов, Ю.П.Роговой. – СПб.: ИВЭСЭП, 2006.
Семинар 3. Операции над простыми суждениями. Сложные Обращение, превращение и противопоставление Вывод следствий по «логическому квадрату».
Сложные суждения и их виды. Логические союзы и Представление предложений естественного языка на языке символической логики (логики высказываний).
Литература:
1. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин. – М.: ФаирПресс, 2010.
2. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: ООО «Издательство Проспект», 2008.
3. Милославов А.С. Логика: учебно-методическое пособие: Часть 1 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
4. Милославов А.С. Сборник упражнений по логике / А.С. Милославов, Ю.П.Роговой. – СПб.: ИВЭСЭП, 2006.
Семинар 4. Умозаключение. Простой категорический силлогизм.
Определение умозаключения. Дедукция Простой категорический силлогизм и его структура.
Общие правила категорического силлогизма.
Фигуры и модусы категорического силлогизма.
Проверка правильности силлогизма на кругах Эйлера.
Сведение модусов 2-ой, 3-ей, и 4-ой фигур к модусам Литература:
1. Гетманова А.Д. Логика. 9-е изд. / А.Д. Гетманова. – М.: Омега-Л, 2008.
2. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин. – М.: ФаирПресс, 2010.
3. Ивин А.А. Логика и теория аргументации / А.А.Ивин. – М.: Гардарики, 2008.
2. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: ООО «Издательство Проспект», 2008.
3. Милославов А.С.Логика: учебно-методическое пособие: Часть 1,2,3 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
6. Милославов А.С. Сборник упражнений по логике / А.С. Милославов, Ю.П.Роговой. – СПб.: ИВЭСЭП, 2006.
7. Тоноян Л.Г. Сборник задач и упражнений по логике / Л.Г. Тоноян. – СПб., 2008.
Семинар 5. Сложные силлогизмы. Умозаключения, основанные на семантике логических союзов.
Сокращенные, сложные и сложно-сокращенные Восстановление энтимемы.
Условный и условно-категорический силлогизм.
Разделительно-категорический силлогизм.
Проверка правильности силлогизмов с помощью Литература:
1. Гетманова А.Д. Логика. 9-е изд. / А.Д. Гетманова. – М.: Омега-Л, 2008.
2. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин. – М.: ФаирПресс, 2010.
3. Ивин А.А. Логика и теория аргументации / А.А.Ивин. – М.: Гардарики, 2008.
4. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: ООО «Издательство Проспект», 2008.
5. Милославов А.С.Логика: учебно-методическое пособие: Часть 1,2,3 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
6. Милославов А.С. Сборник упражнений по логике / А.С. Милославов, Ю.П.Роговой. – СПб.: ИВЭСЭП, 2006.
7. Тоноян Л.Г. Сборник задач и упражнений по логике / Л.Г. Тоноян. – СПб., 2008.
Семинар 6. Логические основы аргументации.
Доказательство и его структура.
Литература 1. Ивин А.А. Логика А.А.Ивин. – М.: Гардарики, 2008.
2. Ивин А.А. Логика и теория аргументации А.А.Ивин. – М.:
3. Кириллов В.И. Логика: Учебное пособие В.И.Кириллов. – М.:
4. Милославов А.С. Логика: учебно-методическое пособие: Часть / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.:
КОНТРОЛЬНЫЕ ВОПРОСЫ К ЗАЧЕТУ
Каков предмет логики?2 Какова общая характеристика понятия, что такое содержание и объем понятия?
3 Каковы основные виды понятий и каковы отношения между понятиями ?
4. Как осуществляются операции обобщение и ограничение понятий?
5. Что такое определение и каковы его основные виды?
6. Как осуществляются деление и классификация?
7. Какова общая характеристика суждения?
8. Каков состав простого категорического атрибутивного суждения?
9. Как осуществляется деление суждений по количеству и качеству и что такое распределенность терминов в суждении?
10. Каково деление суждений по модальности?
11. Что такое сложное суждение и каковы его виды?
12. Какие отношения между суждениями фиксирует «логический квадрат»?
осуществляется?
14. Что такое противопоставление предикату и субъекту и как оно осуществляется?
15. Как характеризуется основные законы логики ?
16. Какова общая характеристика умозаключения?
17. Что такое простой категорический силлогизм, его фигуры и модусы?
18. Каковы общие правила категорического силлогизма?
19. Каковы модусы первой фигуры категорического силлогизма?
20. Каковы модусы второй фигуры категорического силлогизма?
21. Каковы модусы третьей фигуры категорического силлогизма?
22. Каковы модусы четвертой фигуры категорического силлогизма?
23. Что такое условно-категорический силлогизм и каковы его модусы?
24. Что такое условно-разделительный силлогизм и каковы его модусы?
25. Что такое разделительно-категорический силлогизм и каковы его модусы?
26. Что такое дилемма и трилемма?
27. Что такое сложные, сокращенные и сложносокращенные силлогизмы?
28. Какова общая характеристика индукции и дедукции?
29. Что такое полная и неполная индукция?
30. Что такое популярная и научная индукция?
31. Каковы индуктивные методы установления причинных связей?
32. Какова общая характеристика аналогии?
33. Что такое проблема, проблемная ситуация?
34. Какова общая характеристика гипотезы, версии?
35. Какова общая характеристика теории?
36. Какова общая характеристика доказательства?
37. Что такое прямое и косвенное доказательство и опровержение?
38. Каково соотношение понятий: аргументация, убеждение, доказательство?
ПРИМЕРНЫЕ ВАРИАНТЫ
КОНТРОЛЬНЫХ РАБОТ
ПО КУРСУ «ЛОГИКА» ДЛЯ СТУДЕНТОВ
ЗАОЧНОЙ ФОРМЫ ОБУЧЕНИЯ
Вариант 1) Представьте с помощью кругов Эйлера отношения между объемами понятий в следующих группах:а) Самолет, воздушный шар, летательный аппарат, «Боинг-747»;
б) Юрист, адвокат, прокурор, мужчина.
2) Выполните не менее чем на три шага операции обобщения и ограничения над следующими понятиями: а) юридический документ; б) справочник 3) Установите, являются ли представленные ниже высказывания, правильно выполненными определениями, либо делениями, если нет – укажите ошибку (т.е. укажите, какое правило выполнения этих операций нарушено):
а) По типу темперамента люди делятся на холериков, сангвиников и флегматиков.
б) Логика – это наука о мышлении.
в) Преступления бывают гражданские, воинские и тяжкие.
г) Квадратом называют прямоугольный ромб.
4) Выполните операции обращения, превращения и противопоставления предикату над каждым из следующих высказываний:
а) Каждому довелось видеть свинью.
б) Часть шпионов не носит носовые платки.
г) Все англичане любят пудинг.
5) Для приведенных ниже умозаключений определите их тип, правильность, фигуру и модус. Если умозаключение неправильное, укажите ошибку.
а) Все американцы – любители жевательной резинки Все европейцы – не американцы Следовательно, некоторые европейцы не являются любителями жевательной резинки.
б) Ни одна обезьяна не солдат Все обезьяны любят бананы Следовательно, некоторые любители бананов не солдаты.
в) Если ваша девушка не отражается в зеркале, значит она вампир.
Ваша девушка отражается в зеркале Следовательно, она не вампир.
Вариант 1) Представьте с помощью кругов Эйлера отношения между объемами понятий в следующих группах:
а) Хищник; крокодил, травоядное, млекопитающее;
б) Студент, спортсмен, трусливый человек.
2) Выполните не менее чем на три шага операции обобщения и ограничения над следующими терминами: а) операция сложения; б) модный костюм 3)Установите, являются ли представленные ниже высказывания, правильно выполненными определениями либо делениями, если нет – укажите ошибку (т.е. укажите, какое правило выполнения этих операций нарушено):
а) Любовь – это одно из самых возвышенных чувств.
б) Бесхозное имущество – имущество, не имеющее собственника или собственник которого не установлен.
в) Метр делится на сантиметры.
г) Выделяют четыре стороны горизонта: Север, Юг, Восток и Запад.
4) Выполните операции обращения, превращения и противопоставления предикату над каждым из следующих высказываний:
а) Некоторые дядюшки щедрые.
б) Все драконы любят девушек на ужин.
г) Ни одна ящерица не пишет стихи.
5) Для приведенных ниже умозаключений определите их тип, правильность, фигуру и модус. Если умозаключение не правильное укажите ошибку.
а) Все влюбленные неразумны Ромео влюблен Следовательно, он не разумен.
б) Ни один верблюд не любит прошлогодние кактусы Ни один верблюд не является гурманом Следовательно некоторые гурманы любят прошлогодние кактусы.
в) Если следствие ведет комиссар Мэгре, преступник будет пойман Преступник был пойман Следовательно, дело вел Мэгре.
МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ
ПО ВЫПОЛНЕНИЮ
КОНТРОЛЬНЫХ РАБОТ СТУДЕНТАМИ ЗАОЧНОГО ОТДЕЛЕНИЯ
Общие положения и требования к оформлению.1. Контрольные работы по дисциплине «Логика» для студентов заочной формы обучения, прежде всего, преследуют цель, проверить насколько хорошо учащийся умеет применять полученные при изучении курса знания на практике. Поэтому в содержание контрольных работ входят упражнения по основным разделам курса «Логика». (Обращаем внимание: контрольная работа по логике не является работой реферативного плана).
2. Работа должна быть представлена в тетради (12 или 18 листов), либо на скрепленных листах формата А4. Допустимы как рукописный, так и машинописный варианты оформления текста. Титульный лист работы оформляется в соответствии с общими требованиями к оформлению письменных работ в вузе. В конце следует указать литературу, к которой обращался студент при выполнении работы.
В контрольной работе должны быть представлены решения всех предложенных студенту заданий. Только в этом случае работа считается выполненной.
Поскольку некоторые в некоторых заданиях контрольной работы содержится сразу несколько связанных между собой вопросов, то представленное студентом решение должно обязательно содержать в себе ответы на все сформулированные вопросы. Иначе говоря, ответ должен быть полным. Например, если задание состоит в следующем: «для приведенных ниже умозаключений определите их тип, правильность, фигуру и модус.
Если умозаключение не правильное укажите ошибку», нельзя ограничиваться в ответе словами «правильно» или «неправильно», но необходимо дать ответ по всем присутствующим вопросам. При этом от студента не требуется в тексте контрольной работы предварять решение задачи подробным изложением теоретического материала, относящегося к заданию.
5. Во время зачета от студента, в частности, требуется уметь объяснить, решение задания и аргументировать правильность решения.
Общие рекомендации по выполнению работы 1.Несмотря на то, что контрольная работа заключается в выполнении практических заданий, для того чтобы успешно с ней справиться, необходимо овладеть теоретическими знаниями в области логики. Поэтому рекомендуется следующая последовательность организации самостоятельной работы: 1) прочитать материал соответствующего раздела учебника; 2) выполнить несколько упражнений из задачника (сборника упражнений)1; 3) выполнить аналогичное задание в контрольной работе. Представляется разумным выполнять упражнения и контрольные задания постепенно, по мере освоения теоретического материала, не откладывая «практику» до того момента, когда будет прочитан весь учебник.
2.Следует помнить, что логика – это наука о правилах интеллектуальной деятельности. Она предоставляет в наше распоряжение совокупность методов, в соответствии с которыми следует обрабатывать информацию.
Применение метода, т.е. набора фиксированных правил всегда приводит к удовлетворительному результату. Поэтому, решая контрольную работу, преподавателя. Не полагайтесь на свою интуицию. Она нас, к сожалению, достаточно часто подводит.
Прочитайте задание внимательно, убедитесь в том, что все логические термины, встречающиеся задании вам понятны. Если в задании встречаются незнакомые вам термины, уточните их смысл, обратившись к учебнику, конспекту лекций, или прибегнув к помощи преподавателя.
Выполнив задание, внимательно проверьте полученный результат. Помните:
решение, полученное с помощью применения правил логики, не должно противоречить здравому смыслу.
Как показывает опыт, полезно обсуждать решаемые задачи с однокурсниками. Рекомендуем прибегать к этой практике, по мере возможности. Приобретение знаний – это социальный процесс, и коллективное Рекомендации по выполнению типовых заданий 1. При выполнении задания по представлению отношений между понятиями на «кругах Эйлера» рекомендуется, прежде всего, придерживаться принципа последовательности: изобразите с начала отношение между двумя понятиями из группы. После этого, подумайте, как с этими понятиями соотносится третье, и включите его в имеющуюся схему. Аналогично работайте с четвертым понятием, пятым и т. д. Не стремитесь представить для себя всю итоговую схему сразу: результат, в таком случае, чаще всего бывает ошибочным. После того как вы включили в схему все понятия, проверьте правильность решения, проинтерпретировав каждую из образованных соответствовать здравому смыслу.
Наконец, размышляя над этими заданиями, отталкивайтесь от имеющихся в задаче понятий, но не пытайтесь «подогнать» понятия под известные вам изображения видов отношений.
2. Задания, в которых требуется выполнить операции обобщения и ограничения над понятием, достаточно просты. Однако рекомендуем проверить правильность их решения. Помните: при операции ограничения каждое последующие понятие должно быть видовым по отношению к предыдущему, а, при операции обобщения – родовым по отношению к предшествующему понятию. Изобразите полученную цепочку понятий на круговых схемах и убедитесь, что они на самом деле образуют родовидовую последовательность.
3. Наибольшая часть ошибок при выполнении заданий, связанных с операциями определения и деления вызвана следующим. Иногда не различают «истинное суждение» и результат правильно выполненной операции. Помните, что истинность суждения еще не гарантирует того, что представленная в нем информация – это результат правильно выполненного обсуждение практических заданий помогает выявить каждому участнику обсуждения те моменты в содержании курса, которые поняты им недостаточно хорошо.
определения (деления). Например, суждение «Земля – это планета Солнечной системы» является истинным. Но оно не является правильным определением.
Здесь нарушено правило «соразмерности».
4. Следующая группа заданий предполагает знакомство учащихся с темой «Суждение». Выполнять логические операции над простым категорическим суждением легко тогда, когда ясно представляешь себе структуру суждения и его логические характеристики. Поэтому, прежде чем выполнять логические операции над суждениями, рекомендуем определить, какие термины в нем относятся к субъекту суждения, а какие к предикату. Установите также количественную характеристику и представьте, если это необходимо в явном виде связку. Только после этого выполняйте требуемую логическую операцию, строго следуя схеме. Если прояснение структуры суждения вызывает затруднение, воспользуйтесь процедурой указанной в [Мил, Рог, с.
37]. Кроме этого, рекомендуем внимательно следить за «отрицаниями» в суждениях и помнить о том, что логические операции над суждениями не являются простой перестановкой слов в предложении.
5. Наконец, дадим несколько советов для работы с умозаключениями. Вопервых, здесь важно для успешного выполнения задания уметь определять вид умозаключения. Внимательно посмотрите, какие суждения используются в посылках и в заключении: простые или сложные. В зависимости от этого установите, относится ли анализируемое вами умозаключение к простому категорическому силлогизму. Если ответ утвердительный, то, установив элементы силлогизма, определите его фигуру. После этого, подумайте над вопросом: все ли правила силлогизма соблюдаются в вашем примере. Если все правила выполнены, установите модус силлогизма. Если вас все таки «терзают сомнения» относительно правильности умозаключения, то проверьте его с помощью «кругов Эйлера». Пример такой проверки можно найти в работе [Милославов А.С., Роговой Ю.П. Сборник упражнений по логике. СПб.: СПбИВЭСЭП, 2006 с.56-57].
Если же в посылках анализируемого умозаключения встречаются сложные суждения, то «круги Эйлера» не помогут. В этом случае важно установить, какие логические союзы использованы при построении сложных суждений и на основе этого, определить, к какому виду относится умозаключение. Установить его правильность можно, найдя в учебнике соответствующую схему.
ЛИТЕРАТУРА
а) основная литература 1. Гетманова А.Д. Логика. 9-е изд. / А.Д.Гетманова. – М.: Омега-Л, 2008.2. Ивин А.А. Логика: Учебник для гуманит. ф-тов / А.А.Ивин – М.: ФаирПресс, 2010.
3. Ивлев Ю.В. Логика: Учебник / Ю.В.Ивлев. – М.: ТК ВЕЛБИ, изд-во Проспект, 2008.
4. Кириллов В.И. Логика / В.И. Кириллов, А.А.Старченко. – М.: Юристъ, 5. Милославов А.С. Логика: учебно-методическое пособие: Часть 1 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
6. Милославов А.С. Логика: учебно-методическое пособие: Часть 2 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
7. Милославов А.С. Логика: учебно-методическое пособие: Часть 3 / А.С.Милославов, Ю.П.Роговой, О.А.Антонова. – СПб.: ИВЭСЭП, Знание, 2009.
б) дополнительная литература 1. Бочаров В.А. Основы логики В.А.Бочаров, В.И.Маркин. – М.: Форум, ИНФРА-М, 2009.
2. Грядовой Д.И. Логика: Практический курс основ формальной логики Д.И.Грядовой. – М.: Щит-М, 2008.
3. Жоль К.К. Логика в лицах и символах: Учебник для вузов К.К.Жоль.
– М.: Аст, Восток – Запад, 2009.
4. Ивин А.А. Логика А.А.Ивин. – М.: Гардарики, 2008.
5. Ивин А.А. Логика и теория аргументации А.А.Ивин. – М.:
Гардарики, 2008.
6. Кириллов В.И. Логика: Учебное пособие В.И.Кириллов. – М.: Юрист, в) вспомогательная литература 1. Бартон В.И. Логика: учеб. пособие для вузов / В.И. Бартон. – Минск, Новое знание, 2007.
2. Берков В. Ф. История логики: Учебное пособие для высших учебных заведений / В.Ф. Берков, С.В. Воробьева и др. – Минск, 2008.
3. Берков В.Ф. Вопрос как форма мысли / В.Ф. Берков. – Минск, 1972.
4. Войшвилло Е.К. Понятие / Е.К. Войшвилло. – М., 1967.
5. Горский Д.П. Определение / Д.П. Горский. – М., 1974.
6. Ивин А.А. Искусство правильно мыслить / А.А. Ивин. – М., 2008.
7. Ивин А.А. Практическая логика: Задачи и упражнения / А.А. Ивин. – 8. Ивин А.А. Строгий мир логики / А.А. Ивин. – М.,1986.
9. Ивин А.А. Словарь по логике / А.А. Ивин, А.Л. Никифоров. – М., 1999.
10. Как решать задачи по логике. – СПб., 2000.
11. Кобзарь В.И. Основы логических знаний / В.И. Кобзарь.
СПб., 2006 и другие издания.
12. Курбатов В.И. Как развить свое логическое мышление / В.И.
Курбатов. – Ростов-на-Дону, 1997.
13. Минто В. Дедуктивная и индуктивная логика / В. Минто. – 14. Тоноян Л.Г. Сборник задач и упражнений по логике / Л.Г.
Тоноян. СПб., 2008.
15.Федоров Б.И. Элементы логической культуры / Б.И. Федоров, Г.П.
Любимов и др. – СПб., 1996.
16. Яшин Б.Л. Задачи и упражнения по логике / Б.Л. Яшин. – г) базы данных, информационно-справочные и поисковые системы 1. Национальная философская энциклопедия - http: //terme.ru/ 2. Портал (Социально-гуманитарное и политологическое образование) - http:
// www. humanities.edu.ru 3. Федеральный портал «Российское образование» - http://www.edu.ru/ 4. Электронная гуманитарная библиотека - http://www.humfak.ru Рекомендации по использованию Интернет-ресурсов и других электронных информационных источников http://humanities.edu.ru/db/sect/27 - Сайт «Социально-гуманитарное и политологическое образование». Раздел «Логика» содержит информацию о литературе и интернет-ресурсах, посвященных логике.
http://www.iph.ras.ru/~logic/index.html - Сайт Сектора логики Института философии РАН. Рекомендуется тем, кто желает познакомиться с современным состоянием логических исследований, а также тем, кто хочет более глубоко изучить предмет. Имеется большое количество ссылок на другие Интернет-ресурсы, посвященные логике.
http://golovolomka.hobby.ru – Этот ресурс полезен тем, кто любит интеллектуальные развлечения. Содержит задачи, головоломки, анекдоты.
Кроме того имеются полнотекстовые электронные версии работ Р.
Смаллиана, М. Гарднера, Л. Кэрролла, величайших популяризаторов логики.
Рекомендуется посетить всем.
http://ntl.narod.ru/logic/index.html - «Логика для всех» (задачи, головоломки).
http://www.wwnorton.com/ - Имеется тестирующая программа «Logictutor»
Михаэля Грина. Рекомендуется тем, кто желает проверить свои знания по логике на английском языке.
Два полезных ресурса посвященные теории аргументации:
Argumentation on the World Wide Web // http://www.dnai.com/~mackey/thesis/thesis.html Informal Logic // http://plato.stanford.edu/entries/logic-informal/
ВЫПИСКА ИЗ ОБРАЗОВАТЕЛЬНОГО СТАНДАРТА
ГСЭ.Ф.06 ЛОГИКА Логика и язык права. Суждение и норма. Вопросно ответные ситуации. Понятия. Определение и классификация.Дедукция, индукция и аналогия. Логические основы аргументации.
Формы развития знания: проблема, гипотеза, судебно следственная версия, теория.
СЛОВАРЬ ТЕРМИНОВ
Абсолютные и относительные модальности - модальные характеристики, выступающие как свойства объектов, называются абсолютными, например, "Плохо, что ты не выполнил обещание"; выступающие как отношения относительными. Например: "Лучше не давать обещание, чем не выполнить его".Абсурд - противоречивое выражение, в котором что-то утверждается и отрицается одновременно, например: "Совесть есть и совести нет".
Абсурдным также считается выражение, из которого может быть выведено противоречие. Абсурд отличается от бессмысленного: бессмысленное не истинно и не ложно.
Аксиологическая модальность = оценочная модальность - характеристика объекта с точки зрения определенной системы ценностей. Например:
"Плохой мир лучше хорошей ссоры".
Аксиома - исходное, принимаемое без доказательств, положение какой-либо теории, лежащее в основе доказательств других ее положений.
Алогизм - ход мысли, нарушающий законы и правила логики, содержащий ошибку.
Амфиболия - логическая ошибка, в основе которой - двусмысленность языковых выражений. Например: "Говорят, язык до Киева доведет. А я купил вчера копченый язык. Теперь могу идти в Киев".
Анализ и синтез - разделение объекта на составные части (анализ) и объединение полученных частей объектов в некоторую систему (синтез).
Анализ и синтез применяются в практической и мыслительной деятельности.
Аналогия - сходство между предметами, явлениями... Различают аналогию свойств и аналогию отношений. Умозаключение по аналогии (= просто аналогии) - вывод о сходстве двух вещей в некоторых отношениях на основе их сходства в других отношениях.
Антиномия - рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером антиномии является парадокс "лжеца": "Что говорит человек, сказавший: «Я лгу».?
Антитезис - суждение, противоречащее тезису доказательства и используемое в качестве исходной посылки логического вывода в доказательствах "от противного".
Аподиктический - безусловно достоверный, основанный на необходимости.
Различают высказывания (суждения) вероятностные - отражающие возможные связи между субъектом и предикатом, ассерторические выражающие наличие действительно существующей связи и аподиктические - выражающие необходимую связь.
Апория - проблема, связанная с противоречием между данными опыта и их мысленным анализом. Наиболее известны апории Зенона Элейского:
"Ахилл", "Дихотомия" и др. В отличие от антиномии, которая обосновывает оба несовместимых утверждения, апория обосновывает утверждение, противоречащее опыту.
Апостериори и априори - понятия для обозначения знания, полученного из опыта, на основе опыта (апостериори) и знания, которое предшествует опыту и независимо от него (априори), например, что сумма углов треугольника равна двум прямым.
Аргумент - суждение (или их совокупность), с помощью которого обосновывается истина какого-либо другого суждения.
Аргументация - приведение аргументов, приведение доводов в обоснование какого-либо положения; совокупность таких доводов.
Ассерторический - установленный, достоверный. Ассерторическое суждение утверждает нечто действительно существующее, например: "Волга впадает в Каспийское море".
Бессмысленное - языковое выражение, не отвечающее требованиям синтаксиса или семантики языка. Бессмысленное выражение не истинно и не ложно, оно вообще не сопоставимо с действительностью. Например:
"Натуральные числа лысые".
Бритва Оккама - принцип устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте: "Не следует умножать сущности без необходимости". Бритва Оккама - одна из первых формулировок принципа простоты, требующего возможно меньшего количества независимых теоретических допущений.
Вера - в отличие от религиозной традиции, в науке вера понимается как принятие некоторых положений, которые в данный момент не доказываются.
Верификация - установление истинности научных утверждений посредством их эмпирической проверки.
Вероятностная логика - логика, оперирующая высказываниями, принимающими значения, промежуточные между истиной и ложью.
Вероятность - характеристика степени возможности появления какого-либо события.
Видообразующий признак = видовое отличие - признак, отличающий предметы одного вида от предметов других видов, входящих в один и тот же род. Например, в определении "Термометр есть физический прибор, служащий для определения температуры", слова "служащий для измерения температуры".
Возможность логическая - одна из модальных характеристик высказывания;
высказывание возможно, если его отрицание не является логически необходимым. Возможность логическую определяют и как внутреннюю непротиворечивость высказывания.
Возражение - обоснованное отрицание (отклонение) какой-либо мысли, положения.
Вопрос - высказывание, выражающее недостаток информации о каком-либо объекте и требующее устранения этого недостатка в виде ответа.
Вопросов логика - исследует логико-семантические свойства вопросительных предложений.
Вывод (логический) - рассуждение, в ходе которого из каких-либо исходных суждений с помощью логических правил получают заключение новое суждение.
Высказывание - грамматически правильное осмысленное предложение. В логике используются несколько существенно различающихся понятий, высказывания. Например, описательные (дескриптивные), оценочные, неопределенные.
Гипотеза - положение, выдвигаемое в качестве предварительного, условного объяснения некоторой группы явлений. Гипотеза не истинна и не ложна.
Собственно логический способ обоснования гипотезы - выведение ее из более общих положений. Однако, самые интересные гипотезы, как правило, не выводимы из уже установленных положений в качестве следствия.
Гипотетическое утверждение - высказывается не как установленная истина, а как предположение, которое может быть (оказаться) или истинным или ложным. Например: "Возможно, на Марсе есть жизнь".
Двузначная логика - опирающаяся на принцип двузначности, т.е. исходящая из того, что всякое высказывание либо истинно, либо ложно.
Дедукция - а) переход в процессе познания от общего к частному; б) процесс логического вывода, представляющего собой переход от посылок к заключениям на основе применения правил логики.
Деление логическое - операция, посредством которой объем делимого понятия по определенным правилам распределяется на классы (множества) с точки зрения некоторого признака.
Деонтическая логика = логика норм - исследует логическую структуру и логические связи нормативных высказываний (устанавливающих какую-то норму поведения). Нормы выражаются понятиями "обязательно", "разрешено", "запрещено". Эти понятия считаются взаимно определяемыми.
Деонтическая модальность = модальность долженствования - характеристика практического действия с точки зрения определенной системы норм. Понятие обязанности (или деонтической необходимости) отличают от логической и физической необходимости. Логически необходимо все, что вытекает из законов логики; физически необходимо то, что вытекает из законов природы; деонтически необходимо то, что следует из действующих законов, норм.
Дизъюнктивный силлогизм - см. Модус понендо толленс, Модус толлендо поненс.
Дизъюнкция - логическая операция - аналог употребления союза "или" в обычном языке, с помощью которой из двух или более простых суждений строится новое, сложное. Различают слабую (нестрогую) дизъюнкцию - на основе соединительно-разделительного союза "или", и сильную (строгую) дизъюнкцию - на основе строго разделительного союза "либо": "либо, то, либо другое, но не то и другое вместе".
Дилемма - умозаключение, посылки которого имеют структуру условных и разделительных суждений. Пример дилеммы: "Поедешь направо - коня потеряешь, налево - в темный лес попадешь. Но есть лишь две дороги.
Следовательно, либо коня потеряешь, либо в темный лес попадешь".
Дискурсивный - рассудочный, логический, - в противоположность интуитивному.
Дискуссия - обсуждение какого-либо вопроса компетентными лицами с целью достичь взаимоприемлемого решения. Хотя в дискуссии есть элементы компромисса, она ориентирована в общем на отыскание и утверждение истины.
Дихотомия - деление объема понятия на две взаимоисключающие части, исчерпывающие объем делимого понятия. Основанием дихотомии служит наличие или отсутствие видообразующего признака. Часто используется при классификации как вспомогательный прием.
Доказательство - рассуждение, устанавливающее истинность какого-либо утверждения путем приведения других утверждений, истинность которых уже доказана.
Достаточного основания закон - один из четырех основных законов формальной логики, согласно которому всякая истинная мысль должна быть обоснована другими мыслями, истинность которых доказана.
Достоверность - обоснованность, бесспорность знания. Достоверные суждения разделяют на ассерторические (констатирующие реальное положение дел) и аподиктические (утверждающие необходимую связь явлений).
Заблуждение - оценка знания, выражающая его ограниченный характер.
Иногда под заблуждением понимают ложь, ошибочно принимаемую за истину. При диалектическом рассмотрении познания категория заблуждения добавляется к понятиям абсолютной и относительной истины.
Относительная истина содержит элементы собственно истины и заблуждения.
Закон гипотетического силлогизма = Гипотетического силлогизма закон один из законов исчисления высказываний, который может быть выражен следующим образом: "Если из А следует В, а из В следует С, то из А следует С".
Закон двойного отрицания - отрицание отрицания дает утверждение, или :
повторенное дважды отрицание ведет к утверждению.
Законы де Моргана - а) отрицание конъюнкции эквивалентно дизъюнкции отрицаний; б) отрицание дизъюнкции эквивалентно конъюнкции отрицаний.
Например: "Неверно, что завтра будет холодно и будет дождливо' = "Завтра не будет холодно или не будет дождливо".
Закон дистрибутивности - позволяет распределить одну логическую связь (союз) относительно другой. Например, закон дистрибутивности конъюнкции относительно дизъюнкции может быть расписан так: "Первое и (второе или третье), если и только если (первое и второе) или (первое и третье).
Закон Дунса Скота - характеризует логическое противоречие и материальную импликацию: ложное высказывание влечет (имплицирует) любое высказывание. Например: "Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит".
Закон исключенного третьего - один из четырех основных законов формальной логики, согласно которому истинно или само высказывание или его отрицание, а третьего не дано. Закон устанавливает связь между противоречащими высказываниями.
Закон Клавдия - характеризует связь импликации и отрицания: высказывание, вытекающее из своего собственного отрицания, истинно. Или:
если необходимым условием ложности некоторого высказывания является его истинность, то высказывание истинно. Закон Клавдия лежит в основе рекомендации к доказательству: если хочешь доказать А, выводи А из допущения, что верным является не-А. Закон Клавдия является одним из случаев общей схемы косвенного доказательства.
Закон коммутативности - позволяет менять местами высказывания, связанные логическими союзами. Эти законы аналогичны алгебраическим законам коммутативности для умножения, сложения... Союз "и" обычного языка, как правило, не коммутативен. Например, мы говорим: "Он сломал ногу и попал в больницу", но нельзя сказать: "Он попал в больницу и сломал ногу".
Закон композиции - позволяет объединить следствия некоторых условных высказываний, или разделить их основание: а) если верно, что если первое, то второе, и если первое, то третье, то верно, что если первое, то второе и третье; б) если дизъюнкция двух высказываний влечет третье высказывание, то каждый из членов этой дизъюнкции влечет это высказывание.
Закон косвенного доказательства - закон, позволяющий делать заключения об истинности какого-либо высказывания на основании того, что отрицание этого высказывания влечет противоречие.
Закон экспортации-импортации - позволяет в отдельных случаях заменять конъюнкцию импликацией и наоборот: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье.
Знак - материальный предмет, воспроизводящий свойства, отношения некоторого другого предмета. Различают языковые и неязыковые знаки.
Среди последних - знаки-копии, знаки-признаки, знаки-символы.
Знание - результат познания действительности, получивший подтверждение в практике; адекватное отражение. Различают обыденное и научное знание.
Значение - содержание, связываемое с тем или иным языковым выражением.
Вопрос о значении языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. Наиболее известна концепция значения Готлоба Фреге.
Идеализация - мыслительный процесс создания идеализированных предметов (абсолютно черное тело, идеальный газ, точка...) или формулирование идеализированных допущений (например, равенство спроса и предложения на рынке; допущение Евклида, что любой отрезок прямой может быть с помощью циркуля и линейки разделен пополам).
Идемпотентности закон - позволяет исключить повторение одного и того же высказывания: повторение высказывания через "и" и "или" равносильно самому высказыванию.
Импликация - логическая связка, соответствующая "если..., то...". С ее помощью из двух простых высказываний образуется сложное импликативное.
Имя - выражение естественного или искусственного языка, обозначающее отдельный предмет, множество, свойства, отношения,... Имя имеет предметное значение и смысл (см.).
Индуктивная логика - в широком смысле - логика правдоподобных рассуждений. А также: логика, изучающая переходы от единичного знания к общему и логика, связанная с применением математических методов к индуктивному рассуждению.
Индукции каноны - методы установления причин. Сформулированы Д.С.
Миллем, опиравшемся на "Таблицы открытий" Ф. Бэкона. Всего пять методов: единственного различия, единственного сходства, сходства и различия, сопутствующих изменений, остатков.
Индукция - а) вывод, не гарантирующий истинности заключения; б) метод исследования, познания, связанный с обобщением результатов эксперимента.
Индукция математическая полная - средство доказательства общих положений в математике и других дедуктивных науках.
Индукция неполная - заключение о том, что всем представителям изучаемого множества принадлежит свойства Р на том основании, что Р принадлежит некоторым представителям этого множества.
Индукция полная - дает заключение о том, что все представители множества имеют свойство Р на основании информации, что каждый его имеет.
Индукция элиминативная - неполная индукция, которая использует план отбора случаев, направленный на исключение (элиминацию) случайных сообщений.
Индукция энумеративная - неполная индукция через простое перечисление.
Интерпретация - приписывание некоторого содержательного смысла, значения символам и формулам формальной системы, превращая ее в язык, описывающий ту или иную предметную область.
Интуиция - способность как бы "внезапно", непосредственно открыть истину, не прибегая к развернутому логическому рассуждению.
Иррациональное - находящееся за пределами разума, противоречащее логике.
Исключенного третьего закон - один из четырех основных законов формальной логики, согласно которому из двух противоречащих высказываний только одно истинно и между ними нет никакого третьего высказывания.
Истина - адекватное отражение мира, знание, соответствующее действительности.
Истинностное значение - одна из возможных характеристик высказывания.
Если допускается, что высказывание является либо истинным, либо ложным, то говорят, что высказывание имеет одно из двух значений истинности.
Исчисление - основанный на четких правилах формальный аппарат оперирования со знаниями определенного вида, позволяющий дать точное описание некоторого класса задач, а для определенных подклассов алгоритм решения.
Категорическое суждение - суждение, в котором предикат "логическое сказуемое" утверждается или отрицается относительно субъекта суждения "логического подлежащего" без каких-либо условий, безусловно, например:
"Все дикие звери опасны". Классификация - распределение предметов какого-либо рода на классы согласно наиболее существенным признакам, присущим предметам данного рода (естественная классификация) или согласно в каком-либо отношении значимым, хотя и несущественным признакам, - вспомогательная (искусственная) классификация. В основе классификации - операция деления объема понятия.
Классическая логика – одно из направлений мат.логики, в котором высказывание считается либо истинным, либо ложным. Первый раздел мат.логики – исчисление высказываний – изучает логические операции с простыми высказываниями, которые объединяются в сложные, устанавливая истинностное значение сложного высказывания.
Коннотация - добавочное значение, дополнительные черты, оттенки, сопутствующие основному содержанию понятия, суждения. Например, слова "военные" и "военщина" совпадают по семантическому значению, но во втором слове присутствует негативный оттенок.
Контекст - относительно законченный по смыслу текст, в пределах которого точно и конкретно выявляется смысл и значение определенного слова, фразы.
Контекстуальное определение - позволяет выяснить содержание незнакомого слова, выражающего понятие, через контекст, не прибегая к словарю.
Контрапозиции закон - общее название для законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания. Закон простой контрапозиции: если первое влечет второе, то отрицание второго влечет отрицание первого; закон сложной контрапозиции: если дело обстоит так, что если "а" и "б", то "с", то если "а" и "не-с" то "не-б".
Конъюнкция - логическая операция - аналог употребления союза "и" в обычном языке - с помощью которой образуют новое сложное высказывание, значение истинности которого зависит от простых: сложное высказывание истинно только тогда, когда все входящие в него простые истинны.
Косвенное доказательство - установление истинности тезиса путем показа ошибочности противоположного ему допущения.
Круг в доказательстве - "порочный круг" - логическая ошибка в доказательстве, когда истинность доказываемого положения (тезиса) обосновывается с помощью аргумента, истинность которого - с помощью тезиса.
Круг в определении - логическая ошибка, когда взамен определяющего термина вводиться определяемый, но при этом определяющий или какая-то его часть ранее определяются через определяемый термин.
Логика - формальная логика - наука о законах и операциях правильного мышления. Согласно основному принципу логики, правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Главные темы логических исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.
Логика высказываний - пропозиционная логика - занимается формализацней употребления логических связок ("и", "или",...), служащих для образования сложных высказываний из простых. Предполагается, что простое высказывание является либо истинным, либо ложным и что истинностное значение сложного высказывания зависит от значения простых и их связи.
Логика отношений - раздел логики, изучающий свойства высказываний об отношениях между объектами. Различают двухместные или бинарные отношения, тернарные или трехместные и вообще N-местные или N-арные отношения. В случае эквивалентности для бинарных отношений отмечают свойства рефлексивности, симметричности, транзитивности.
Логическая правильность - соответствие законам и правилам формальной логики. Обычно различают истинность и правильность человеческого мышления.
Логическая форма - логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее основных частей. Логическая форма это способ связи содержательных частей рассуждения (доказательства, вывода,...). Логическая форма представляется посредством логических констант ("и", «или", "если, то",...) и переменных (высказываний, имен).
Логический закон - выражение, содержащее только логические константы и переменные и являющиеся истинным в любой (непустой) предметной области. Понятие логический закон связано с понятием логического следования: заключение логически следует из принятых посылок, если оно связано с ними логическим законом.
Логический квадрат - диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между простыми атрибутивными суждениями.
Логическое следование - отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Заключение следует из данных посылок, если оно не может быть ложным, когда эти посылки истинны.
Логическое ударение - ударение, характеризующее смысловую нагрузку компонентов суждения, вследствие чего роль предиката будут выполнять соответствующие компоненты. Логическое ударение (позволяет выделить часть текста в качестве предиката, например, "Студент Иванов болен".
Метод - способ исследования, обучения, изложения; способ достижения определенных результатов в познании и практике.
Многозначная логика - опирающаяся на принцип многозначности, т.е.
наряду со значениями "истинно", "ложно" принимаются и другие:
"неопределенно", "возможно", "бессмысленно",... Ни двузначность, ни многозначность не являются прирожденными свойствами мышления.
Некоторые проблемы решаются в рамках двузначной логики, для решения других требуется многозначная.
Многозначность - характеристика выражения, имеющего в разных контекстах разное значение.. С многозначностью связана трудность понимания говорящими друг друга, ибо большинство слов обычного языка многозначно.
Модальность - оценка высказывания, данная с какой-либо точки зрения.
Модальность выражается с помощью понятий "необходимо", "возможно", "доказуемо", и др.
Модус - свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и связей, в которых он находится. Модус противопоставляется атрибуту - неотъемлемому свойству предмета.
Модус понендо толленс - термин средневековой логики, обозначающий схемы рассуждения: а) посылки "либо А, либо В"; "А"; заключение "не-В";:
б) посылки "либо А, либо В", "В"; заключение "не-А".
Модус поненс - термин средневековой логики, обозначающий правило вывода: Имеет место "Если А, то В";'имеет место "А"; следовательно, имеет место "В".
Модусы силлогизма - разновидности силлогизма, отличающиеся друг от друга по количеству и качеству суждений, составляющих его посылки и заключение.
Модус толлендо поненс - термин средневековой логики, обозначающий разделительно-категорическое рассуждение: имеет место "А или В"; имеет место "не-А"; следовательно, имеет место "В".
Модус толленс - термин средневековой логики, обозначающий схему рассуждения: имеет место "Если А, то В"; имеет место "не-В; следовательно, имеет место "не-А".
Мышление - активный процесс отражения объективного мира в понятиях, суждениях, гипотезах, научных теориях,... имеющий опосредованный, обобщенный характер.
Наука - сфера человеческой деятельности, функцией которой является производство и систематизация знаний о природе, обществе, человеке,...
"Не следует, не вытекает" - логическая ошибка в доказательстве, когда между аргументами доказательства и его тезисом отсутствует логическая связь.
"Недоказанное обоснование" - логическая ошибка в доказательстве, когда в число аргументов включается положение, само нуждающееся в доказательстве.
Необходимость - необходимым является высказывание, отрицание которого логически невозможно. Или: высказывание логически необходимо, ели его истинность может быть установлена независимо от опыта или на чисто логических основаниях. Вообще же выделяют три вида необходимости: логическую, физическую и нормативную (то, отрицание чего противоречит нормам).
Непосредственное умозаключение - умозаключение (вывод) из одной посылки, операция, позволяющая путем преобразования структуры исходного суждения получить на его основе новое. Осуществляется тремя способами: превращение, обращение, противопоставление предикату (см.).
Непротиворечивость - невыводимость противоречия в некоторой системе предложений. Непротиворечивость теории означает, что никакое предложение не может быть в ней доказано и вместе с тем опровергнуто.
Непротиворечия закон - один из четырех законов формальной логики, согласно которому не могут быть одновременно истинными две противоположных мысли об одном и том же предмете, например, "Эта доска черная" и "Эта доска белая", т.е. нельзя противоречить самому себе.
Неточность - характеристика употребления термина (понятия), обозначающего недостаточно определенный или нечетко очерченный класс объектов.
Неясность - характеристика употребления термина (понятия) с недостаточно определенным, расплывчатым смыслом. Понятие, отсылающее к размытому множеству вещей, является неточным, а понятие с неопределенным содержанием, смыслом называется неясным.
Номологическое высказывание - высказывание, выражающее закон природы.
Нормативное высказывание = деонтическое - устанавливающее норму поведения.
Обобщение - мыслительная операция, приводящая от мысли об индивидуальном к мысли об общем. Или: переход от понятия меньшей общности к понятию большей общности путем отбрасывания признаков.
Обоснование - процедура использования определенных знаний для принятия каких-либо утверждений. В логике речь идет об обосновании истинности суждений. Средством обоснования служит доказательство. Суждение обосновано, если его доказательство удовлетворяет правилам логики.
Обращение = конверсия - преобразование простых категорических атрибутивных суждений путем "ролевого обмена" между субъектом и предикатом, например, "Некоторые металлы -жидкости" - "Некоторые жидкости - металлы".
Ограничение понятия = ограничение объема понятия - переход от понятия исходного к понятию меньшего объема добавлением новых признаков, т.е.
увеличением содержания понятия.
Омонимия - языковое выражение, имеющее несколько значений, не связанных между собой семантически.
Определение = дефиниция - логический прием, позволяющий отличить изучаемый объект от других; формировать значение вводимого знакового выражения.
Определение аналитическое - определение, являющееся явным формулированием значений терминов, существующих в каком-либо, языке, где они уже определились независимо от вводимого определения, например, контекстуально.
Определение генетическое - через описание способов образования, возникновения, построения определяемого предмета.
Определение классическое - определение через род и видовое отличие.
Определение контекстуальное - строится на основе знания связи определяемого с контекстом, т.е. с законченной в смысловом отношении частью текста, в которой достаточно точно выявляется значение определяемого понятия.
Определение неполное - в котором не выполнено требование соразмерности, а именно: определяющее шире определяемого, например: "Страус - это такая большая птица, которая быстро бегает, но не умеет летать".
Определение номинальное - посредством которого формулируется значение некоторого знакового выражения. Когда новый термин вводится как простое сокращение другого знакового выражения, это называют также определением типа сокращения.
Определение операциональное - главным образом определение физических величин (массы, длины, силы и др.) через описание специфицирующих их операций.
Определение остенсивное - определение значений слов путем непосредственного показа, демонстрации, предъявления соответствующих объектов.
Определение реальное - когда предмет выделяется, специфицируется среди других смежных с ним по некоторому отличительному признаку.
Определение реальное и номинальное взаимопереводимы: "Квадрат есть прямоугольник с равными сторонами" - "Термин "квадрат" служит для обозначения прямоугольников с равными сторонами".
Определение семантическое - номинальное определение, в котором термин определяется посредством описания обозначаемого им предмета (реального или абстрактного).
Определение неявное - а) аксиоматические определения в аксиоматически построенных теориях; б) определения контекстуальные.
Определение явное - когда определяемое равно в известном отношении определяющему. Различают абсолютные - когда ни одна часть определяемого не входит в определяющее (например, определяемое состоит из одного слова: "Барометр есть прибор...") и неабсолютные - когда часть определяемого входит в определяющее (например, "Затухающие колебания – это такие колебания, которые...").
Опровержение - рассуждение, направленное против выдвинутого тезиса и имеющее целью установление его ложности или недоказанности.
Осмысленность - наличие смысла в противоположность бессмысленному.
Существует несколько критериев осмысленности предложений:
верификационный, операциональный, критерий переводимости и др.
Основание и следствие - части условного высказывания: идущая после слова "если" называется основанием или антецедентом; после слова "то" следствием или консеквентом.
Отношение - в логике отождествляется с многоместным предикатом (языковым выражением, обозначающим какое-то свойство). Одноместные предикаты соответствуют свойствам, двух- или более -местные соответствуют отношениям.
Отношение нерефлексивное - такое двухместное отношение, что для любого элемента множества неверно, что оно находится в данном отношении к самому себе.
Отношение рефлексивное - бинарное (двухместное) отношение, когда для любого X некоторого множества элемент X находится в данном отношении к самому себе. Примерами отношений рефлексивных могут быть: равенство, одновременность и т.п.
Отношение симметричное - такое бинарное отношение, когда из того, что элемент "X" находится в отношении R к "У", следует, что "У" находится в том же отношении к "X".
Отношение типа равенства - двухместное отношение, удовлетворяющее следующим условиям (аксиомам): а) рефлексивности; б) симметричности; в) транзитивности.
Отношение транзитивное - такое двухместное отношение, когда для любых "х", "у", "z" из xRy и yRz следует xRz. Примеры отношений транзитивных:
"больше", "меньше".
Отношение функциональное (однозначное) - такое бинарное отношение, когда каждому значению "у" отношения xRy соответствует единственное значение "х". Например: "х отец у". Отрицание - получение из данного высказывания" нового, обладающего противоположным истинностным значением. Отрицанием высказывания "А" считается сложное высказывание "не-А".
Оценочное высказывание - устанавливает абсолютную или относительную (сравнительную) ценность какого-то объекта.
Ошибка логическая - нарушение каких-либо законов, правил логики.
Неумышленная ошибка - паралогизм, умышленная - софизм. Логические ошибки надо отличать от фактических ошибок, которые обусловлены незнанием фактического положения дел.
Парадигма - совокупность теоретических и методологических положений, принятых научным сообществом на некотором этапе в качестве образца, модели.
Парадокс - в широком смысле: утверждение, резко расходящееся с общепринятым; в более узком: два противоположные утверждения, для каждого из которых имеются убедительные аргументы. Наиболее известную и сложную группу парадоксов составляют антиномии (типа "Лжец").
Паралогизм - непреднамеренная логическая ошибка, связанная с нарушением законов и правил логики.
Подмена тезиса - логическая ошибка в доказательстве, когда переходят к доказательству другого положения, сходного с тезисом.
Познание - высшая форма отражения действительности, процесс выработки истинных знаний. Различают: чувственное и рациональное, обыденное, научное познание.
Полемика - разновидность спора, когда усилия спорящих направлены на утверждение своей точки зрения по обсуждаемому вопросу.
Понимание - универсальная операция мышления, связанная с усвоением нового содержания, включением его в систему устоявшихся идей, представлений.
Понятие - форма абстрактного мышления, фиксирующая существенные признаки отображаемых в ней предметов и позволяющая отличать эти предметы от смежных с ними.
"Порочный круг" - логическая ошибка в определении понятий и в доказательстве.
"После этого, значит, по причине этого" - логическая ошибка, когда простую последовательность во времени принимают за причинную связь.
Поспешное обобщение - логическая ошибка в индуктивном выводе.
Особенно часто совершается в обыденной жизни, когда по одному-двум случаям судят о целом классе вещей, событий.
Правило вывода - определяет переход от посылок к следствиям. Например, модус поненс (см.).
«