практикум по логике

При необходимости определить фигуру силлогизма и проверить специальные правилафигуры.Если в посылках правила выполнены, то выводим форму заключения. Если в посылках правила нарушаются – форма заключения невыводится.По полученной форме заключения формулируемвысказывание.А теперь приступим к решению задания.Выпишите высказывания, соответствующее вашему варианту для задания 4 из Приложения и обозначьте термины силлогизма:1 посылка:некоторые преступления являются умышленными2 посылка:причинение тяжкого вреда здоровью по неосторожности – преступление2.Запишителогическуюформупосылоксиллогизмаиобозначьте распределенностьтерминов:M-P-S+M-3. Проверка правил терминов силлогизма:нарушено правило среднего термина – средний термин не распределен ни в одной из посылок4. Проверка правил посылок силлогизма:нарушено правило терминов – если одна из посылок – частное суждение, то и заключение должно быть частным суждением, а оно – общее В посылках правила посылокитерминовне соблюдены,значит достоверное заключение получить не получаетсяЗаписываем форму заключения:всеS есть PФормулируем высказывание по форме заключения: причинение тяжкого вреда здоровью по неосторожности является умышленнымЗадание 5. Проверьте правильность умозаключения с помощью правил построения или правильных модусов.Передтемкакприступитькрешениюданногозаданияответьтена следующиевопросы:Умозаключением из сложных суждений называют умозаключение дедуктивный вывод из сложных сужденийВиды умозаключений из сложных суждений:чисто условное (посылки – только условные суждения), условно-категорическое (одна посылка – условное суждение, вторая – категорическое), разделительно-категорическое (одна посылка – разделительное суждение, второе – категорическое), условно-разделительное (одна посылка – условное суждение, вторая – разделительное)Правила построения условно-категорического умозаключения:- в утверждающем правильном модусе заключение получается путем перехода от утверждения основания к утверждению следствия- в отрицающем правильном модусе заключение получается путем перехода от отрицания следствия к отрицанию основанияПравила построения разделительно-категорического умозаключения:- в утверждающе-отрицающем правильном модусе утверждая одну альтернативу, отрицают все остальные- в отрицающе-утверждающем модусе: отрицая несколько альтернатив, утверждают однуПравила построения чисто условного умозаключения:следствие следствия есть следствие основанияПравильные модусы условно-разделительного умозаключения (дилеммы):1) [(P → Q) ˅ (S → Q), (P ˅ S)] → Q2) [(Q → P) ˅ (Q → S), (P ˅ S)] → Q3) [(P → Q) ˅ (S → T), (P ˅ S)] → (Q ˅ T)4) [(P → Q) ˅ (S → T), (Q ˅ T)] → (P ˅ S)Алгоритм решенияВыявить в рассуждении структуру умозаключения. Для этого необходимо определить в составе рассуждения посылки, заключение и далее расположить их по порядку: а именно, каждую посылку записать с новой строки, под ней – заключение, отделяя посылку от заключениячертой.Определить простые суждения в составе умозаключения и обозначить их символами (p, q, r, s, t).Определить логическую связь между простыми суждениями впосылках.Записать логическую формуумозаключения.Определить вид умозаключения из сложных суждений и егомодус.Проверить выполнение правил построения данного умозаключения для этогомодуса.Сделать вывод о форме умозаключения и о содержаниизаключения.А теперь приступим к решению задания.Выпишите рассуждение, соответствующее вашему варианту для задания 5 из Приложения «Следствию известно, что пожар на складе мог произойти или в результате небрежного обращения с огнем, или в результате поджога, или по причине неисправной электропроводки. Доказано, что пожар не произошел ни в результате небрежного обращения с огнем, ни по причине неисправной электропроводки. Значит, пожар произошел в результате поджога»Записываем рассуждение в форме умозаключения и определяем простые суждения в составеумозаключения:Посылка:Следствию известно, что пожар на складе мог произойти или в результате небрежного обращения с огнем(P), или в результате поджога(Q), или по причине неисправной электропроводки(S)Посылка:Доказано, что пожар не произошел ни в результате небрежного обращения с огнем(P), ни по причине неисправной электропроводки(S)Заключение: пожар произошел в результате поджога(Q)Записываем логическую формуумозаключения:[(P ʬ Q ʬ S), (P ˄ S)] → Q5. Данное умозаключение являетсяразделительно-категорическим силлогизмом, модус – отрицающе-утверждающий4. Проверка правил отрицающегомодусаразделительно-категорического умозаключения:все правила соблюдены5. Данное умозаключение поформеявляется правильным,а заключение по содержаниюистинно и достоверноЗадание 6. Выведите достоверное заключение из посылок (если это возможно) и докажите его истинность.Алгоритм решенияЗаписать высказывания в качестве посылокумозаключения.Определить простые суждения в составе посылок и обозначить их символами (p, q, r, s, t).Определить логическую связь между простыми суждениями впосылках.Записать логическую форму посылок. Определить вид умозаключения имодус.Если в посылках правила выполнены, то выводим форму заключения. Если в посылках правила нарушаются – форма заключения невыводится.По полученной форме заключения формулируемвысказывание.А теперь приступим к решению задания.Выпишите высказывания, соответствующее вашему варианту для задания 6 из Приложения в качестве посылок для умозаключения и обозначьте простые суждения в составепосылок:Если наука идет от заранее обозначенного идеала к жизни(P), то она обречена на схоластику (Q). Если же она идет от жизни к идеалу (P), то она становится плодотворной (S). Наука может идти или от идеала к жизни (P)или от жизни к идеалу (P). Следовательно, ... Запишите логическую формупосылок:[(P → Q) (P →S), (P ʬ P)]→ (Q ʬ S)3. Вид умозаключения: простоя конструктивная дилемма умозаключение4. Модус умозаключения: конструктивная дилеммаВпосылкахправиламодусавыполняются,значит достоверное заключение получитьвозможноЗаписываем форму заключения:(Q ʬ S)Формулируем высказывание по форме заключения:наука обречена на схоластику или становится плодотворнойСПИСОК ОСНОВНОЙЛИТЕРАТУРЫДемидов И.В. Логика [Электронный ресурс]: учебник/ Демидов И.В.– Электрон.текстовые данные. – М.: Дашков и К, 2014. – 348 c. – Режим доступа:http://www.iprbookshop.ru/10936. – ЭБС«IPRbooks»Спирин А.Д. Логика [Электронный ресурс]: учебное пособие/ Спирин А.Д.– Электрон. текстовые данные. – М.: Всероссийский государственный университет юстиции (РПА Минюста России), 2015. – 130 c.– Режим доступа:http://www.iprbookshop.ru/41195.html. – ЭБС«IPRbooks»Грядовой Д.И. Логика: Общий курс формальной логики: Учебник. М., 2010.Грядовой Д.И., Стрелкова Н.В. Логика. Задачи и упражнения: Учебное пособие. М.,2010.Ивлев Ю.В. Логика для юристов. Учебник - М.: Проспект,2015.Ганс Е.С., Новиченко А.С., Фролова Т.Н. Логика: Учебное пособие для студентов юридических вузов. М.,2005.Стрелкова Н.В. Логика в задачах и упражнениях: Учебное пособие. М., 2004.Стрелкова Н.В., Фролова Т.Н. Логика. Учебное пособие. М.,2017.СЛОВАРЬ ОСНОВНЫХ ПОНЯТИЙ И ТЕРМИНОВАлгоритм - набор правил, позволяющий решать любую задачу из класса однотипных задач Антецедент и консеквент - два высказывания, из которых с помощью логической операции импликации («если..., то ...») образуется сложное импликативное высказывание. А. — высказывание, вводимое «если», К. — высказывание, вводимое «то». Два высказывания, составляющие условное высказывание, именуются также основанием и следствиемВывод логический - рассуждение, в ходе которого из к.-л. исходных суждений — посылок — с помощью логических правил получают заключение — новое суждениеДедукция - переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Д. от истинных посылок всегда ведет к истинному заключениюДеление дихотомическое - деление понятия на два видовых понятия, находящихся в отношении контрадикторностиДеление по видоизменению признака - Деление понятия на виды по определенному признаку Деление понятия - Логическая операция, раскрывающая объем понятия. На основании признака (основания деления) объем делимого понятия (родового) распределяется на подклассы (видовые понятия)Дизъюнкция логическая - операция — аналог употребления союза «или» в обычном языке, с помощьюкоторойиздвухилиболееисходныхсужденийстроитсяновоесуждениеДилемма - условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительныесужденияДихотомия - деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого понятияДостаточного основания закон - требование обоснованности знания, т.е. для каждого утверждения должны указываться основания, в силу которых оно принимается и считается истиннымЗакон обратного отношения между содержанием и объемом понятия - чем большеобъем понятия, тем меньше его содержание, инаоборотИмпликация - логическая связка, указывающая, что одна ситуация является достаточным условием для возникновения другой ситуацииИсключенного третьего закон - логический закон, согласно которому истинноилисамо высказывание, или егоотрицаниеИстина - мысль или высказывание, соответствующие действительностиКвадрат логический - диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительными (А), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями(О)Классификация - многоступенчатое, разветвленное деление логического объема понятияКонъюнкция - логическая операция, с помощью которой два или более высказываний объединяются в новое сложное высказываниеКруг в определении - логическая ошибка, состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с помощью данного определяемогопонятияЛогика - наука о законах и формах правильного мышленияЛогика формальная - наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержанияМодус и атрибут - философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится. Атрибут - неотъемлемое свойство предмета, без которого он не может ни существовать, ни мыслиться. В логике модус - разновидность некоторой общей схемырассужденияМодус понендо толленс - схема рассуждения от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое, значит, второго нетМодус поненс - схема рассуждения, позволяющая от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента) этого высказыванияМодус толлендо поненс - схема рассуждения, обозначающая разделительно-категорическое умозаключение: первое или второе; не первое; значит, второеМодус толленс - схема рассуждения от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказыванияНе следует - логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемоготезисаНепосредственное умозаключение - умозаключение из одной посылкиНепротиворечия закон - логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истиннымиНесовместимые понятия - понятия, у которых общие элементы объема отсутствуютОбобщение понятия - логическая операция, состоящая в переходе от видового понятия к родовому (от понятия с меньшим объемом, но большим содержанием, к понятию с большим объемом, но меньшим содержанием)Обращение - вид непосредственного умозаключения, в котором вывод получается путем постановки предиката посылки на место субъекта, а субъекта посылки - на место предикатаОграничение понятия - логическая операция, состоящая в переходе от родового понятия к видовому (от понятия с большим объемом, но с меньшим содержанием, к понятию с меньшим объемом, но большим содержанием)Определение генетическое - родо-видовое определение, в котором спецификация определяемого предмета осуществляется путем указания способа его образования, возникновения, получения или построенияОпределение неявное - определение, не имеющее формы равенства определяемого и определяющего Определение номинальное - определение, выражающее требование, как должно употребляться вводимоепонятиеОпределение понятия - логическая операция, раскрывающая содержание понятияОпределение реальное - определение, дающее описание каких-то объектовОпределение через род и видовое отличие - определение, в котором предметы определяемого понятия вводятся в объем более широкого понятия и при этом с помощью отличительных признаков (видовое отличие) выделяются среди предметов этого более широкого понятияОпределение явное - определение, имеющее форму равенства между определяемым и определяющим понятиямиОснование и следствие - части условного высказывания, устанавливающего, что одно событие, состояние и т. п. является в том или ином смысле условием или основанием для другогоОшибка логическая - нарушения к.-л. законов, правил и схем логикиПерекрещивающиеся понятия - понятия, имеющие некоторые общие элементы своих объемов Подчиненные понятия - понятия, объем одного из которых полностью входит в объем другого понятия, но его не исчерпываетПонятие - форма мышления, отражающая предметы в их существенных признакахПоспешное обобщение - логическая ошибка в индуктивном выводе, которая заключается в том, что, рассмотрев несколько частных случаев из какого-либо класса явлений, делают вывод обо всем классе Правильность логическая - соответствие законам и правилам формальной логикиПревращение - вид непосредственного умозаключения, характеризующегося тем, что предикат в исходных суждениях заменяется на противоречащий, при этом качество суждения изменяется, а его общность (т.е. количество суждения) остается прежнейПредикат - языковое выражение, обозначающее какое-то свойство или отношение Противоположность логическая - вид отношения между противоположными понятиями или суждениямиПротивопоставление предикату - вид непосредственного умозаключения, в котором субъектом заключения является понятие, противоречащее предикату посылки, предикатом является субъект посылки, а связка изменяется на противоположнуюПротиворечащие понятия - понятия, объемы которых исчерпывают родовое понятие, но не имеют общих элементов в своих объемахРавнообъемность - отношение между понятиями, объемы которых совпадаютРазделительное суждение - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или» Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическоеСвязка - элемент простого суждения, соединяющий субъект и предикатСиллогизм категорический - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму, следует новое суждение (заключение), имеющее также субъектно- предикатную формуСледование логическое - отношение, существующее между посылками и обоснованно выводимыми из них заключениямиСложное высказывание - высказывание, полученное с помощью логических связок из простых высказыванийСовместимые понятия - понятия, имеющие общие элементы объемаСоподчиненные понятия - понятия, объемы которых не имеют общих элементов, а их объемы не исчерпывают объем родового понятияСуждение - форма мышления, отражающая предметы в их связях и отношениях.Суждение категорическое - суждение, в котором предикат утверждается или отрицается относительно субъекта безусловноТаблица истинности - таблица, с помощью которой устанавливается истинностноезначение сложноговысказыванияприданныхзначенияхвходящихвнегопростыхвысказыванийТождества закон - логический закон, согласно которому всякое высказывание влечет (имплицирует) само себяУмозаключение - форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключениемУсловное высказывание - сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другогоУсловное умозаключение - умозаключение, включающее посылки, представляющие собой условные сужденияУчетверение терминов - логическая ошибка в простом категорическом силлогизме, обусловленная тем, что в силлогизме слово, играющее роль среднего термина, в одной посылке выражает одно понятие,авдругойпосылке—иноепонятиеФорма логическая - способ связи структурных элементов мыслиЧастное суждение - суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение).Эйлера круги - геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью круговЯзык логики - специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее№ работы№ заданияВариант 3Работа 1Задание 1ПреступлениеЗадание 2Свидетельпроисшествия–виновникпроисшествия–водитель автомобиля – пешеходЗадание 3КражаЗадание 4Арендаторомназываетсячеловек,получающийза определенную плату землю во временноепользование.Задание 5НатерриторииРоссийскойФедерации классифицируются следующие виды правовой ответственности:уголовная,дисциплинарнаягражданско-правовая, материальная.Работа 2Задание 1Некоторые государства не являются членами ООН.Задание 2Суд оставляет заявление без рассмотрения, если истцом не соблюден досудебный порядок урегулирования споров, заявление подано недееспособным лицом,атакже других случаях, предусмотренных федеральным законом.Работа 3Задание 1Ни один европейский город не находится в южномполушарии.Задание 2Все участники совещания являются юристами, так как некоторые юристы – следователи, а всеучастникисовещания – следователи.Задание 3Вомногихэкономическиразвитыхстранахрастет преступность.США–экономическиразвитаястрана.Следовательно, в США растет преступность.Задание 4Некоторыепреступленияявляютсяумышленными. Причинение тяжкого вреда здоровью понеосторожности– преступление. Следовательно, …Задание 5Следствию известно, что пожар на складе мог произойти или в результате небрежного обращения с огнем, или в результате поджога, или по причине неисправной электропроводки. Доказано, что пожар не произошел ни в результате небрежного обращения с огнем, ни по причине неисправной электропроводки. Значит,пожарпроизошел в результате поджога.Задание 6Если наука идет от заранее обозначенного идеала к жизни, то она обречена на схоластику. Если же она идет от жизни к идеалу, то она становится плодотворной. Наукаможетидтиилиотидеалакжизниилиотжизникидеалу. Следовательно, ...