Простые суждения являются сравнимыми, если они имеют одинаковый субъект и предикат и различаются связкой или квантором.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её, «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры. Во-первых, эта дисциплина формирует логическую культуру правоведа, помогает ему в сложных ситуациях правовой деятельности мыслить правильно, быстро находить логические ошибки в своих рассуждениях и в рассуждениях других людей, грамотно их опровергать. Во-вторых, значение логики для студентов-юристов заключается в том, что методы логического анализа могут применяться для толкования законодательства. В-третьих, значение логических знаний для юристов заключается в том, что методы современной логики сегодня с успехом могут использоваться для исследования научных проблем в правоведении. Благодаря им становится возможным логическое моделирование правовой проблематики, что позволяет перевести содержательные соображения по той или иной проблемы с неточной естественного языка на точную язык логики. Таким образом, содержательная модель проблемы, что исследуется, уточняется и упрощается, а содержание концепта проблемной ситуации получает точное и четкое выражение. №2 Познавая объективный мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт существования предмета. Эти связи и отношения отражаются в мышлении в форме суждений, представляющих собой связь понятий. Например, высказывая суждение «Семенов — адвокат», мы связываем понятия «Семенов» и «адвокат», отражая реальную связь между конкретным лицом и его признаком. В суждении «Владимир — брат Алексея» в связи понятий «Владимир» и «Алексей» выражены родственные отношения между двумя лицами. Итак, суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком.отношения между предметами или факт существования предмета; суждение может быть либо истинным, либо ложным. Суждение о связи предмета и его признака состоит из двух понятий (терминов) суждения: субъекта, отражающего предмет суждения; и предиката, отражающего признак предмета. Субъект и предикат обозначаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку — элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака. Связка выражается словами «есть» («не есть»), «является» («не является») и т.п. В русском языке связка обычно подразумевается или заменяется тире. №3 Деление понятий — это логическая операция, посредством которой объем делимого понятия распределяется по объемам новых понятий, каждое из которых представляет частный случай исходного понятия. Например, расчёты делятся на наличные и безналичные. Понятия разделяются исходя из существенного признака, который может изменяться по определенному принципу или правилу (например, образование из понятия «торговый баланс» новых понятий, в которых фиксируется то или иное соотношение ввоза и вывоза товаров). Следует соблюдать следующие правила деления: 1. Деление должно быть соразмерным, т.е. объединение членов деления должно давать делимый предмет. 2. Деление должно проводиться по одному основанию. 3. Члены деления должны исключать друг друга. 4. Деление должно быть непрерывным (не перескакивать на следующий уровень). №4 В формальной логике доказательство представляет собой обоснование истинности какого-либо суждения или системы суждений. Исходными суждениями доказательства являются аргументы, а то суждение, обоснование истинности которого является его целью, – тезисом. Однако достоверность суждения, обоснованного посредством доказательства, не носит безусловного характера. В большинстве случаев доказанное суждение представляет собой лишь относительную истину. Основными видами доказательств, различающихся по форме, являются доказательства прямые и непрямые (косвенные). Прямое доказательство - это дедуктивный вывод, в котором тезис (Т) непосредственно выводится из аргументов (А) в качестве заключения вывода. Другими словами, истинность тезиса выводится из истинности аргументов без введения дополнительных предположений. Пример. Все млекопитающие дышат легкими. Кит – млекопитающее. Из этого следует, что и кит дышит легкими. Непрямое (косвенное) доказательство истинности или ложности некоторого тезиса (Т) состоит в том, что оно достигается посредством опровержения некоторых других высказываний, несовместимых с тезисом. №5 Понятие– это форма мышления, отражающая предметы или явления на основе существенных и отличительных признаков. Исходной формой абстрактного человеческого мышления является понятие. Любая мысль выражается посредством понятия. Понятие образуется на основе ощущения, восприятия и представления с помощью общенаучных методов: анализ, синтез, сравнение, обобщение, абстрагирование. Чтобы составить понятие о предмете, нужно сравнить данный предмет с другими предметами, найти признаки сходства и различия. Логический прием, устанавливающий сходство или различие предметов, называется сравнением. Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом. Выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием. Признаки – это то, в чем предметы сходны друг с другом или отличны друг от друга. Следовательно, свойства предметов и их отношения являются признаками. Предметы могут быть тождественны по своим признакам (например, сахар и мед сладкие), но могут и отличаться (мед сладкий, полынь горькая). Понятие неразрывно связано с основной языковой единицей – словом. Понятия выражаются и закрепляются в словах и словосочетаниях, без которых невозможно ни формирование понятий, ни оперирование ими. Любое понятие имеет структуру, которая включает объем и содержание. Объем понятия – совокупность предметов, которая мыслится в данном понятии. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки. Содержание понятия – это совокупность основных существенных признаков предмета или группы однородных предметов, отраженных в данном понятии. Например, содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния, виновность, противоправность, наказуемость. №6 Деление суждений по качеству: 1. Утвердительные — выражают принадлежность предмету некоторого признака (S есть Р «Юпитер — планета Солнечной системы»). Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное («Данное решение суда (S) является необоснованным (не-Р)»). 2. Отрицательные — выражают отсутствие у предмета некоторого признака (S не есть Р «Обвиняемый (S) не обязан доказывать свою невиновность (Р)» или «Обвиняемый (S) не есть (связка) лицо, обязанное доказывать свою невиновность (Р)»). Деление суждений по количеству: 1. Единичные — что-либо утверждается или отрицается об одном предмете (Это здание — памятник архитектуры): Это S есть Р и Это S не есть Р. Знания об отдельных явлениях, событиях, лицах. 2. Частные — что-либо утверждается или отрицается о части предметов некоторого класса (некоторые, многие, немногие, большинство, меньшинство, часть:Некоторые свидетели дали показания): Некоторые S суть Р, Некоторые S не суть Р. Обобщенные знания. 3. Общие — что-либо утверждается или отрицается обо всех предметах некоторого класса (все, ни один, каждый, любой, всякий, никто). Общность и завершенность знаний. Все свидетели дали показания; Никто из судей не вправе воздерживаться от голосования. Все S есть Р, Ни одно S не есть Р. №7 По объему понятия бывают единичные (в котором мыслится один предмет), общие (в котором мыслится множество предметов. По содержанию. Конкретные - понятия в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее. Абстрактные- понятия, в которых мыслится не предмет, а какой-либо из признаков, взятый отдельно от самого предмета ( «белизна», «несправедливость», «честность»), отношения между предметами (напр., «неравенство», «подобие»). Относительные- это такие понятия, в которых мыслятся предметы, существование одного из которых предполагает существование другого (родители-дети). Безотносительные - это такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета (напр., «инвестиция», «правило»). Положительные - это понятия, содержание которых составляют свойства, присущие предмету (напр., «проницательность», «грамотный человек»). Отрицательными - называются понятия, в содержании которых указывается на отсутствие у предмета определенных свойств (не живущий по средствам, бесполый). Собирательными - называются понятия, в которых группа однородных предметов мыслится как единое целое. Несобирательные - понятия, содержание которых можно отнести к каждому предмету данного класса, который охватывается понятием. №9 По содержанию между понятиями могут быть только два вида отношений – сравнимость и несравнимость. Далекие друг от друга по своему содержанию понятия, не имеющие общих признаков, называются несравнимыми .Между ними невозможны логические отношения. Сравнимые понятия – это понятия, имеющие в своем содержании общие, существенные признаки (по которым они и сравниваются). Напр., право и мораль. Отношения между понятиями изображают с помощью схем – кругов Эйлера. Между сравнимыми понятиями возможны два вида отношений по объему: совместимость и несовместимость. Совместимые понятия – это такие, объемы которых полностью или частично совпадают. Между совместимыми понятиями складываются следующие отношения: 1 – равнообъемность. Равнообъемными или равнозначными называются понятия, которые различаются по своему содержанию, но объемы которых совпадают. Напр., «Л.Н. Толстой» – А и «автор романа «Война и мир» – В. Объемы тождественных понятий изображаются кругами, полностью совпадающими. 2 – перекрещивание. Перекрещивающимися называются понятия, объемы которых частично совпадают, напр. «студент» и «спортсмен», «юрист» и «писатель». Они изображаются пересекающимися кругами. В перекрещивающейся части двух кругов мыслятся студенты, являющиеся спортсменами. В левой части круга мыслятся студенты, не являющиеся спортсменами, а в правой части – спортсмены, не являющиеся студентами. 3 – подчинение. В отношении подчинения (субординации) находятся понятия, если объем одного полностью входит в объем другого, но не исчерпывает его. Это отношение вида – В и рода – А (млекопитающее и кошка). Несовместимыми называются понятия, объемы которых не совпадают. Несовместимые понятия могут находиться между собой в следующих отношениях. 1 – соподчинение. В отношении соподчинения (координации) находятся понятия, объемы которых исключают друг друга, но принадлежат некоторому более общему родовому понятию. Напр., «ель» – B, «береза» – C принадлежат объему понятия «дерево» – А. Они изображаются неперекрещивающимися кругами внутри общего круга. Это виды одного и того же рода. 2 – противоположность. В отношении противоположности (контрарности) находятся два понятия, признаки которых противоречат друг другу, а сумма их объемов не исчерпывает родового понятия (храбрость – трусость). 3 – противоречие. В отношении противоречия (контрадикторности) находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя никакими другими (напр., А – белая краска, тогда понятие, находящееся с ним в отношениях противоречия, следует обозначить не-А (не белая краска). Круг Эйлера в этом случае делится пополам и между ними нет никакого третьего понятия. №10 1. Тезис должен быть сформулирован ясно и точно. Ошибки, возникающие при нарушении этого правила, могут состоять в том, что тезис сформулирован нечетко, не определяет точно, что подлежит обоснованию, или допускает различные истолкования. 2. Тезис должен оставаться постоянным на протяжении всего доказательства. Он не должен меняться, по крайней мере, без специальных оговорок. №11 Суждения делятся на простые и сложные. Простым называется суждение, выражающее связь двух понятий или выраженное одним понятием, когда второе подразумевается, лишь мыслится. Например, «Сидоров имеет высшее юридическое образование».Суждение, состоящее из нескольких простых суждений, называетсясложным. Например, «Преступность и наказуемость деяния определяется уголовным законом, действовавшим во время совершения этого деяния». Простые суждения классифицируются по следующим основаниям. 1. По объему субъекта (по количеству): Единичные - суждения, включающие утверждение или отрицание об одном предмете субъекта рассуждения. Их формула: Это S есть (не есть) Р Частные - суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определенной и неопределенной. В зависимости от данного обстоятельства частные сужения подразделяются на определенные и неопределенные. Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему: Только некоторые S есть (не есть) Р Логическая схема неопределенного суждения такова: Некоторые S есть (не есть) Р Общие - суждения, в которых что-либо утверждается или отрицается о каждом предмете данного класса. Логические схемы таких суждений имеют вид: Все S есть Р или Ни одно S не есть Р 2. По качеству связки (по качеству) суждение может быть утвердительным или отрицательным. Утвердительное суждение выражает принадлежность предмету некоторого признака. Отрицательное суждение выражает отсутствие у предмета некоторого признака. Общеутвердительное суждение - общее по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы». Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Ни одно S не есть Р». Символом общеотрицательных суждений служит буква «Е». Например, «Ни один подложный документ не является доказательством». Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты — юристы» или «Некоторые писатели - фронтовики». Частноотрицательное суждение — частное по объему субъекта и отрицательное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных являются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами». №12 В опосредованных умозаключениях вывод следует из двух или нескольких суждений, логически связанных между собой. Различают несколько видов опосредованных умозаключений: силлогизмы; условные умозаключения; разделительные умозаключения. Силлогизмы характеризуются тем, что в их состав входят суждения, имеющие субьектно-предикатное строение. Таковыми являются все атрибутивные суждения. Они относятся также к категорическим суждениям, потому что мысль, выраженная в них, высказывается без всяких условий, вполне определенно. Она просто утверждается или отрицается. В зависимости от количества и особенностей суждений, используемых в посылках, различают простой и сложный категорический силлогизм. Рассмотрим наиболее распространенный из них - простой категорический силлогизм. Простой категорический силлогизм (от гр. syllogismos - сосчитывание) - это такой вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных общим термином, получается третье суждение - вывод, являющийся категорическим суждением. В основе вывода по категорическому силлогизму лежит аксиома силлогизма: «Все, что утверждается или отрицается о роде (классе), необходимо утверждается или отрицается о виде (или члене данного класса), принадлежащем к данному роду». Например: Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин). Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой; посылка, в которую входит больший термин, называется большей посылкой. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М (от латинского medius - средний). Средний термин служит для сравнения большего термина с меньшим и установления логической связи между посылками. Сами по себе эти термины не могут быть сравниваемы. №13 Определение понятий- это такая логическая операция, с помощью которой раскрывается содержание понятия. Определить понятие о предмете - значит указать существенные признаки этого предмета. Правила определения : 1. Определение должно быть соразмерным, т. е. объем определяемого понятия должен быть равен объему определяющего понятия. 2. Определение не должно заключать в себе круга. Круг в определении возникает тогда, когда понятие А определяется через понятие В, а В в свою очередь определяется при помощи понятия А. Разновидностью круга в определении является тавтология - ошибочное определение, в котором определяющее понятие повторяет определяемое: «то же - через то же 3.Определение должно быть ясным, т.е. в определяющем понятии должны указываться известные признаки, не нуждающиеся в определении и не содержащие двусмысленности. 4.Определение по возможности не должно содержать в определяющем понятии отрицательных признаков. Определяющее понятие должно указывать признак, принадлежащий предмету, а не отсутствующий у него. №14 Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Различают следующие виды сложных суждений: 1) соединительные, 2) разделительные, 3) условные, 4) эквивалентные. 1. Соединительные (конъюнктивные) суждения. Соединительным, или конъюнктивным называют суждение, состоящее из нескольких простых, связанных логической связкой «и». Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. 2. Разделительные (дизъюнктивные) суждения. Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой «или». 3. Условные (импликативные) суждения. Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если.., то...». 4. Эквивалентные суждения.Эквивалентным, называют суждение, включающее в качестве составных два суждения, связанных двойной условной зависимостью, выражаемой логической связкой «если и только если..., то...». №16 Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений, связанных между собой, с логической необходимостью выводится новое суждение. Структура любого умозаключения включает три элемента: 1)исходное знание, выражающееся в посылках; 2)обосновывающее знание, выражающееся в правилах умозаключения; 3)выводное знание, выражающееся в заключении или выводе. Дедуктивное умозаключение - это такая форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение вытекающее из посылок, с логической необходимостью носит достоверный характер №18 Паралогизмы— это неумышленные логические ошибки, обусловленные нарушением законов и правил логики. Паралогизм не является, в сущности, обманом, так как не связан с умыслом подменить истину ложью. Софизмы–это результат преднамеренного обмана, умышленные логические ошибки. Софизм представляет собой рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Софизм является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение. №19 Доказательство - аргументы обоснованы, из них логически следует тезис Недоказанные – аргументы не полностью обоснованы, тезис не логически следует. Аргументация - это полное или частичное обоснование какого-либо утверждения с использованием других утверждений. Предполагается, что в хороших аргументациях другие утверждения полностью или хотя бы частично обоснованы и обосновываемое положение из них логически следует или, по крайней мере, они подтверждают его. №20 Структура силлогизма подчинена определенным логическим правилам, без соблюдения которых невозможно правильно построить силлогизм и получить верное заключение. Эти правила можно поделить на две группы: правила терминов и правила посылок. Правила терминов: 1. В каждом силлогизме должно быть только три термина — больший, меньший и средний. 2. Средний термин должен быть распределен, т. е. взят в полном объеме, хотя бы в одной из посылок. 3. Термин, не распределенный в посылках, не может быть распределен в заключении Правила посылок: 1. Из двух частных посылок невозможно сделать вывод. 2. Если одна посылка частная, то и вывод будет частным. 3. Из двух отрицательных посылок нельзя сделать вывод. 4. Если одна посылка отрицательна, то и вывод будет отрицательным. Таковы общие правила, которые необходимо учитывать при составлении категорического силлогизма. Без их соблюдения нельзя сделать правильный вывод: нарушая правила, мы нарушаем аксиому силлогизма и логические законы мышления. №21 Индукция– это умозаключение от знания меньшей степени общности к новому знанию большей степени общности. Посылками индуктивного умозаключения являются суждения, в которых закрепляется информация, полученная опытным путем, об устойчивости признака у ряда явлений, принадлежащих одному и тому же классу. Полная индукция – это умозаключение, в котором общее заключение о всех элементах класса предметов делается на основании рассмотрения каждого элемента этого класса. Данные индуктивные умозаключения применяются в тех случаях, когда имеется дело с замкнутыми классами, в которых число элементов конечно и которые легко обозримы (например, число планет Солнечной системы). Неполная индукция – это умозаключение, в котором при повторяемости признаков у явлений опреде-. ленного класса делают вывод о принадлежности этого признака всему классу явлений. Неполная индукция применяется в тех случаях, когда нельзя рассмотреть все интересующие элементы явлений; если число объектов либо бесконечно, либо конечно, но достаточно велико; рассмотрение уничтожает объект. При данном виде индукции исследуются не все, а некоторые элементы класса, и если у каждого из них обнаруживается повторяющийся признак, то делают вывод о его принадлежности всему классу явлений. №22 Отношения между суждениями имеют смысл лишь в случае сравнимых суждений.
Простые суждения являются сравнимыми, если они имеют одинаковый субъект и предикат и различаются связкой или квантором.
Например: "Все студенты имеют зачетные книжки"; "Некоторые студенты не имеют зачетных книжек".
Дата добавления: 2018-02-18; просмотров: 1151; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!