logiika

1.Формы рационального познания, логика как наука, основные понятия и проблемы. Рациональное познание – познание на основе мышления и логики. Познание – процесс отражения действительности, целью которого является адекватное знание о мире. Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка. Формы рационального познания: Понятие Суждение Умозаключение Понятие – это мысль, которая посредством указания на некоторый признак выделяет из универсума и собирает в класс все предметы, обладающие этим признаком. Суждение – мысль, содержащая утверждение о наличии в действительности некоторого положения дел. Умозаключение – непосредственный переход от одного или нескольких высказываний, называемых посылками, к высказыванию, называемому заключением. Познание: 1.Чувственная форма(ощущение,восприятие,представление) 2.рациональная(вербальная) форма (с использованием языка) Логика как наука изучает способы достижения истины в процесе познания последовательным путем, не из чувственного опыта, а из знаний, полученных ранее, поэтому ее также можно определить как науку о способах получения выводного знания. Логика-нормативная наука- потому что она вырабатывает нормы и ее целью является выработка новых познаний. Функции логики: Познавательная(определение явлений и процессов мышления) Мировоззренческая(формирование мировоззрения людей) Методологическая(обеспечивает науку методами познания) Идеологическая Нормативный характер логики – наука о нормах мыслительных, т.е. как нужно мыслить, чтобы их истинных посылок получить истинное заключение Проблемы логики - для каждого типа рассуждений нужен свой метод проверки, мы как раз столкнулись с этими проблемами и поэтому изучали два метод проверки- силлогистику и логику высказываний. Силлогистика изучает простые высказывания и отношения между ними, а логика высказываний сложные предложения и отношения между ними. Термины: -логические(и,а,но,не,все,тогда,никто) -нелогические (им соответствует что-то в мире)

2. Логика и язык. Логическая форма. Логические законы и теории. Язык – это знаковая система, предназначенная для фиксации, переработки и передачи информации. Накопленная информация передается с помощью знаков языка. Знак – материальный объект, выступающий для некоторого интерпретатора в качестве представителя какого-то другого предмета. Виды знаков: Знаки-индексы связаны с представляемыми ими объектами как следствия с причинами (симптомы, признаки, показания приборов и т. п.). Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (чертежи, карты, картины, фотографии) Знаки-символы не имеют сходства с обозначаемыми предметами (эмблемы, нотные знаки, художественные и графические символы, знаки-сигналы или знаки шифров). Знаки бывают описательные(«Пушкин», «Эверест», «Гагарин»и неописательные(«автор Ев. Онегин», «самая высокая гора», «первый космотнавт») Одним из видов знаков являются имена. Имя — это слово или словосочетание, обозначающее какой-либо определенный предмет. Семиотика – наука о знаках. Делится на 3 раздела: 1) Синтактика изучает особенности строения знаков, правила их построения и правила составления их комбинаций (синтаксис знаковых систем). 2) Семантика изучает смысловое содержание знаков и комбинаций. 3) Прагматика изучает особенности использования знаков в процессе коммуникации, устанавливает правила получателя знака в контексте той или иной знаковой ситуации. Язык: -естественный(язык общения) -искусственный(ноты, программы) Логическая форма – выражение, фиксирующее ту часть содержания контекста, которая остается в результате отвлечения от конкретных содержаний нелогических терминов или простых высказываний, входящих в данный контекст. В неправильных по форме рассуждениях из истинных посылок можно получить ложное заключение. Условия для прав рассуждений: -исходные суждения должны быть истинными -способ связи частей должен быть правильно построен Логические теории- это силлогистика и логика высказываний. Силлогистика изучает простые высказывания и отношения между ними, а логика высказываний сложные предложения и отношения между ними. Законы логики – логическая форма высказывания, которая будет истинной при любой интерпретации параметров(снег бел или не бел) Закон запрещения противоречия – не может быть р и не р одновременно

3. Предложение, суждение, высказывание. Виды сложных высказываний, условия их истинности. Суждение- форма мысли, содержащая утверждение о наличии или отсутствии некоторого положения дел в действительности. Суждения выражаются с помощью повествовательных предложений. Субъект суждения - это понятие, отражающее предмет мысли, то, о чем мыслится в данном суждении. Обозначается буквой «S». Предикат суждения - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения. Обозначается буквой «Р». Связка выражает отношение, которое существует в суждении между субъектом и предикатом. Она характеризует принадлежность предмету мысли какого-либо свойства, отраженного в предикате, или его отсутствие. Обозначается знаком «тире», а также может подразумеваться или быть выражена словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д. Квантор (кванторное слово) указывает, относится ли признак, выраженный в предикате суждения, ко всему или к части объема понятия, выражающего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Однако квантор может в суждении и отсутствовать. Если предложение - это языковое выражение, группа слов, выражающая мысль, а суждение - это мысль, в которой что-то утверждается или отрицается, то высказывание - это суждение, выраженное в языке. Предложение- это выражение языка, поэтому оно является знаком. У предложения есть смысл и значение. Значение предложения- это та его характеристика, которая не изменяется при замене терминов, входящих в это предложение, то есть его истинностное значение. Предложение истинно если положение дел, которое утверждается в соответствующем суждении соответствует действительности. Предложение со строго фиксированным смыслом, то есть выражающее определенное суждение, называют высказыванием. Высказывания бывают простыми и сложными. Сложные это те высказывания, в составе которых можно выделить какие либо другие высказывания, являющиеся его частями. Так же высказывания бывают истинными и ложными. Высказывание считается истинным, если даваемое им описание соответствует реальной ситуации. В соответствии с функциями логических связок сложные суждения делятся на следующие виды. конъюнктивные дизъюнктивные импликативные Эквивалентные отрицательные Точный смысл логических союзов определяется с помощью так называемых таблиц истинности.

4. Классическая логика высказываний. Язык и табличное построение. Понятие закона логики высказываний КЛВ – теория, изучающая логическую форму сложных суждений без учета логической формы входящих в них простых суждений Алфавит логики высказываний включает в себя три вида символов: 1) пропозициональные переменные – p, q, r, s, ... 2) пропозициональные связки – ¬ , &, ∨, ∨, ⊃, ≡ 3) скобки – ( , ). Пропозициональные переменные замещают собой простые высказывания. Например, высказывание «идет дождь» можно обозначить символом p, высказывание «светит солнце» – символом q, и т.д. Пропозициональные связки предназначены для того, чтобы объединять простые высказывания в более сложные. Их аналогом в естественном языке чаще всего выступают грамматические союзы. ¬ – отрицание («не»; «неверно, что», «неправда, что» и т.п.) & – конъюнкция («и», «а», «но», «хотя», и т.п.) ∨ дизъюнкция («или», «по крайней мере одно из двух» и т.п.) – строгая дизъюнкция («либо-либо», «только одно из двух» ит.п.) ⊃– импликация («если, то», «значит», «вытекает» и т.п.) ≡ – эквиваленция («если и только если», «равнозначно» и т.п.) Алгоритм построения таблицы истинности: 1) Определить число строк (оно вычисляется по формуле k = 2n, где k – количество строк, а n – число различных пропозициональных переменных, входящих в формулу). 2) Задать все комбинации совместной истинности/ложности пропозициональных переменных. 3) Вычислить (построчно) значение каждой подформулы и формулы в целом Формула, принимающая значение И при каждом наборе значений переменных – тождественно-истинная и является законом логики. Если формула принимает значение как Л, так и И, то формула – выполнимая.

5. Логические отношения между сложными высказываниями. Сложные суждения – аналогично простым – находятся в определенных отношениях между собой. Общим здесь является то, что они тоже могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми, причем и для них характерны отношения именно по их истинности или ложности. Сравнимые сложные суждения характеризуются тем, что они включают в себя одинаковые исходные суждения и различаются логическими союзами – конъюнкцией, дизъюнкцией, и т. д. (включая отрицание). Несравнимые сложные суждения отличаются тем, что составляющие его суждения полностью или частично разные. Например: “Прокуроры и судьи имеют юридическое образование” (Р) “Прокуроры и судьи стоят на страже законности” (Q). Здесь общие субъекты, но разные предикаты. Эквивалентность. В таком отношении находятся те сложные суждения, которые при одних и тех же значениях истинности составляющих имеют одинаковые значения. Если истинно Р, то истинно Q, и если ложно Р, то ложно и Q. Но не может быть так, что Р истинно, а Q ложно, и так, что Р ложно, а Q истинно. Подчинение. Это отношение между сложными суждениям характеризуется тем, что при истинности подчиняющего подчиненное ему всегда истинно. Если Р истинно, то и Q истинно, если Р ложно, то Q может быть как истинным, так и ложным. Но не может быть так, что Р истинно, а Q ложно. Противоречие. Характерным для этого отношения между сложными суждениями является то, что их значения могут лишь исключать друг друга: они не могут быть одновременно истинными и не могут быть одновременно ложным. Если Р истинно, то Q – ложно; если Р – ложно, то Q – истинно и т. д. Противоположность. Она проявляется в том, что оба сложных суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Если Р истинно, то Q ложно, если Р ложно, то Q может быть истинным и ложным. Но Р и  Q не могут быть вместе истинными. Подпротивоположность Она выражается в том, что два сложных суждения одновременно могут быть истинными, но не могут быть одновременно ложными. Отношение независимости. Два сложных суждения могут одновременно быть и ложными и истинными.

6. Отношение логического следования. Методы проверки правильности рассуждений (табличный и сокращенный). Логическое следование – это отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Понятие следования обычно характеризуется путём указания его связей с другими логическими понятиями, и прежде всего с понятиями логического закона и модели. Отличительной чертой логического следования является то, что оно ведёт от истинных высказываний только к истинным. Если бы выводы, относимые к обоснованным, давали возможность переходить от истины ко лжи, то установление между высказываниями отношения логического следования потеряло бы смысл. Поскольку «связь по смыслу» понимается по-разному, существуют различные теории логического следования. Проверить правильность рассуждения и установить отношения между высказываниями поможет таблица истинности. ТАБЛИЦА ИСТИННОСТИ – таблица, с помощью которой устанавливается значение истинности сложного суждения в зависимости от значения истинности простых суждений, входящих в его состав. Каждое из сложных суждений имеет свою таблицу истинностных значений. В классической логике существует таблица для конъюнкции, дизъюнкции, импликации, эквивалентности внешнего отрицания. СОКРАЩЕННЫЙ ТАБЛИЧНЫЙ МЕТОД установления законов логики Если высказывание содержит три и более переменных, то строить полную таблицу для проверки его правильности затруднительно. В этих случаях используют сокращенный метод проверки, рассуждая от противного. При правильном рассуждении формула вида (А1 ^ … ^ Аn) > В должна быть тождественно-истинной. Допускаем что эта формула может оказаться ложной. Далее определяем значения переменных на основе соответствующих таблиц истинности. Если при этом обнаружим противоречие то наше изначальное допущение будет неверным. Отсюда следует, что исследуемая формула является законом логики. Если же из допущения не получаем противоречия, то обнаружим набор переменных, при котором формула ложна. Значит, она не является законом логики.

7. Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания. В зависимости от характера логической связки все простые высказывания могут быть либо утвердительными, либо отрицательными. Изменение логической связки с утвердительной на отрицательную или наоборот изменяет качество высказывания. Логическая связка – термин, с помощью которого обозначается отношение (в виде отрицания или утверждения) между лог подлеж и лог сказ Логическое подлежащее – термин, обозначающий то, о чем говорится в простом высказывании; Логическое сказуемое – термин, обозначающий то, что говорится о предмете (подлежащем)(Р); По местности логического сказуемого все простые высказывания можно разделить на атрибутивные и реляционные. Простые высказывания, в которых логическое сказуемое выражает свойство, называют атрибутивными. «Два является простым числом» Простые высказывания, в которых логическое сказуемое выражает отношение, называют реляционными. «Три больше двух» Условные обозначения для логических и нелогических терминов позволяют выявить логическую форму атрибутивных высказываний. Логические термины: «Есть» -символ утвердительной логической связки «Не есть» - символ отрицательной логической связки «Всякий» - символ квантора общности «Некоторый» - символ квантора существования Нелогические термины: a, b, c- символы для логических подлежащих единичных высказываний. S, S1 и т.д.- символы для логических подлежащих. P, P1 и т.д.- символы для логических сказуемых множественных атрибутивных высказываний. Правило выявления логической формы- Термины, имеющие однотипные значения, обозначаются символами одного вида. Логическая форма множественных высказываний может быть записана следующим образом: Всякий S есть P- SaP; Некоторые S есть P- SiP; Всякий S не есть P- SeP; Некоторые S не есть P- SoP. Условие истинности атрибутивного единичного высказывания совпадает с условием ложности атрибутивного единичного отрицательного высказывания, а условие ложности атрибутивного единичного утвердительного высказывания совпадает с условием истинности атрибутивного единичного отрицательного высказывания. Истинность произвольного множественного высказывания зависит от отношения между значениями входящих в него терминов. В этом сходство условий истинности единичных и множественных высказываний. Условия истинности множественных высказываний могут быть обобщены в таблице истинности.

8. Отношения между атрибутивными высказываниями По своему содержанию атрибутивные суждения могут находиться в двух важнейших отношениях – сравнимости и несравнимости. Несравнимые суждения. У них разные субъекты или предикаты или то и другое вместе. В подобных случаях истинность или ложность одного из суждений непосредственно не зависит от истинности или ложности другого. Она прямо определяется отношением к действительности – соответствием или несоответствием ей. Очевидна лишь их относительная самостоятельность и независимость с точки зрения истинности или ложности. Сравнимые суждения. Они, наоборот, имеют одинаковые термины – и субъект, и предикат, но могут различаться по количеству и качеству. Эти суждения сопоставимы по истинности и ложности. По своей логической форме – прежде всего по количеству и качеству – сравнимые суждения подразделяются на совместимые и несовместимые. Совместимые суждения содержат одну и ту же мысль полностью или частично. Между ними возникают следующие логические отношения: эквивалентности, подчинения, частичной совместимости. Эквивалентность (равнозначность) – это отношение между суждениями, у которых субъект и предикат выражены одни и теми же или равнозначными понятиями “Все адвокаты юристы” Последующие отношения между простыми атрибутивными суждениями – А, Е, I, O – для наглядности изображают графически в виде логического квадрата. Его вершины символизируют простые категорические суждения – A, E, I, O; стороны и диагонали отношения между суждениями. Подчинение – это отношение между такими суждениями, у которых количество различно, а качество одно и то же. При подчинении действуют следующие закономерности: а) из истинности подчиняющего (А или Е) следует истинность подчиненного (соответственно I или O), но не наоборот; б) из ложности подчиненного (I или O) следует ложность подчиняющего (соответственно А или Е), но не наоборот. Примеры. Если истинно А, что “Все адвокаты – юристы”, то тем более истинно, что “По крайней мере, некоторые адвокаты – юристы”. Но если истинно, что “Некоторые свидетели правдивы”, то отсюда еще не следует, что истинно А: “Все свидетели правдивы”. В данном случае это ложное суждение. Частичная совместимость– это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (I) и частноотрицательными (О) суждениями. Для нее характерна следующая закономерность: оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного из них следует истинность другого, но не наоборот. Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия. Противоположность – это отношение между общеутвердительными (А) и общеотрицательными (Е) суждениями. Оба таких суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из истинности одного непременно следует ложность другого, но не наоборот. Противоречие – отношение между такими суждениями, как общеутвердительное (А) и частноотрицательное (О), общеотрицательное (Е) и частноутвердительное (I). Им присущи следующие закономерности: они не могут быть одновременно истинными и не могут быть одновременно ложными. Из истинности одного непременно следует ложность другого и наоборот.

9. Непосредственные умозаключения. Умозаключения по логическому квадрату. Самой простой разновидностью силлогистических рассуждений являются непосредственные умозаключения. Существует несколько видов непосредственных умозаключений. Рассмотрим умозаключения по логическому квадрату. Правильные схемы непосредственных умозаключений по логическому квадрату обосновываются через соответствующие отношения между высказываниями. 1) Отношение подчинения. Это отношение позволяет обосновать правильные умозаключения следующих видов: SaP\SiP; SeP\SoP Например: Все студенты любят каникулы \ Некоторые студенты любят каникулы. 2) Отношение противоречия. В этом отношении находятся общеотрицательные и частноутвердительные, а так же общеутвердительные и частноотрицательные высказывания. Если одно из высказываний истинно, то противоречащее ему ложно. Формы правильных умозаключений: SaP\\¬SoP; SeP\\¬SiP; ¬SaP\\SoP; ¬SeP\\SiP Двойноая черта значит что если посылки и заключение поменять местами, умозаключение по-прежнему будет правильным. Например: Неверно, что некоторые кролики бояться удавов\ Ни один кролик не боится удавов. 3) Отношение противоположности. Находящиеся в этом отношении высказывания не могут быть вместе истинными. Если одно из противоположных высказываний истинно, то второе ложно. SaP\¬SeP; SeP\¬SaP Например: Все студенты любят каникулы\ Неверно что все студенты не любят каникулы. 4) Отношение подпротивоположности. Подпротивоположные высказывания не могут быть вместе ложными. Если одно из них ложное, то второе должно быть истинным. ¬SiP\SoP; ¬SoP\SiP Например: Неверно, что некоторые люди не умеют смеяться\ Некоторые люди умеют смеяться. Обращение – непосредственное умозаключение, в котором логическое подлежащее посылки становится логическим сказуемым заключения, а логическое заключение посылки – логическим подл заключения При обращении E =>E, I => I, A => I, O не обращается. Для частноутвердительных высказываний обращение осуществить невозможно. При истинности посылки заключение обязательно должно быть истинным. Существует довольно простой способ проверки обращения- распределенность термина в высказывании. Термин считается распределенным,если он полностью включается или полностью исключается по объему из другого термина. Правила распределенности терминов в высказывании: 1)Логическое подлежащее распределено в общих высказываниях. 2)Логическое сказуемое распределено в отрицательных высказываниях. Превращение – непосредственное умозаключение, в заключении которого устанавливается отношение между лог подл посылки и термином, противоречащим лог сказуемому посылки. Например: Все S есть P/ Все S не есть -P Противопоставления. Существуют два вида противопоставления: противопоставление субъекту и противопоставление предикату. Противопоставление субъекту. Представляет собой результат последовательного обращения, а затем превращения. Общая схема: S#P\P@-S Например: Ни один трус не играет в хоккей\ Ни один хоккеист не является трусом\ Все хоккеисты - не трусы. Противопоставлние предикату. Представляет собой результат последовательного превращения и только потом обращения. Общая схема: S#P\-P@S Например: Ни один трус не играет в хоккей\ Все трусы не хоккеисты \Некоторые не хоккеисты- трусы.	10. Простой категорический силлогизм. Общие правила силлогизма. Силлогизм простой категорический – Умозаключение, которое состоит из двух посылок, на основании которых выводится заключение Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина – быть связующим звеном между крайними терминами, между субъектом и предикатом вывода. 1) наименования «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина; 2) с переменой места любого термина в посылке обозначение его не меняется – больший термин (предикат вывода) всегда обозначается символом Р, меньший (субъект вывода) – символом S, средний – символом М; 3) от перемены порядка посылок в силлогизме вывод, то есть логическая связь между крайними терминами, не зависит. Таким образом, логический анализ силлогизма нужно начинать с вывода, с уяснения его субъекта и предиката, с установления отсюда меньшего и большего терминов силлогизма. В зависимости от этого выделяется большая и меньшая посылка, а также средний термин, повторяющийся в обеих посылках. При построении силлогизма нужно следить за подбором посылок, позволяющих по содержанию сделать объективный вывод. При этом необходимо строго учитывать логическое основание всякого силлогистического вывода, так называемую аксиому силлогизма. Фигура силлогизма – множество силлогизмов, имеющих одинаковую структуру, определяемую положением среднего термина. В зависимости от положения среднего термина различаются четыре фигуры силлогизма: М ––– Р               Р ––– М               М ––– Р              Р ––– М S ––– M              S ––– M               M ––– S             M ––– S (предполагается, что большая посылка ставится первой, а меньшая - второй). Различия силлогизмов в зависимости от местоположения среднего термина в посылках называется фигурами силлогизма. Все силлогизмы делятся по этим четырем фигурам. Модус – разновидность силлогизма, которая определяется качественной и количественной характеристиками посылок и заключения По каждой фигуре силлогизма есть определенные сочетания посылок, дающие правильный вывод. Некоторые же сочетания противоречат основным правилам (силлогизма, поэтому правильных выводов дать не могут. Отсюда возникает необходимость установить правильные модусы каждой фигуры. Каждая фигура силлогизма имеет свои правильные модусы: I фигура – ААА, ЕАЕ, AII, EIO; II фигура – ЕАЕ, АЕЕ, ЕIO, AOO; III фигура – AAI, IAI, EAO, EIO, АII, ОАО; IV фигура – ААI, IАI, АЕЕ, ЕАО, ЕIО. Структура силлогизма подчинена определенным логическим правилам, без соблюдения которых невозможно построить силлогизм. 1)Имеется хотя бы одна утвердительная посылка. 2)Если имеется отрицательная посылка, то и заключение отрицательное. 3)Если есть 2 утвердительные посылки, то заключение утвердительное. 4)Cредний термин должен быть распределен в хотя бы одной из посылок. 5)Если термин распределен в заключении, то он должен быть распределен в посылке.			11. Методы проверки категорического силлогизма. Алгоритм восстановления энтимемы в силлогизм. 1) Существует 3 метода проверки простого категорического силлогизма. Первый метод заключается в выполнении общих правил силлогизма. Если все правила соблюдены, силлогизм является правильным. Если хотя бы одно правило нарушено, силлогизм неправилен. Общие правила: 1) Имеется хотя бы одна утвердительная посылка. 2) Если имеется отрицательная посылка, то и заключение отрицательное. 3) Если утвердительными являются обе посылки, то заключение утвердительное. 4) Cредний термин должен быть распределен хотя бы в одной и зпсоылок 5) Если термин распределен в заключении, то он должен быть распределен в посылке. Второй метод. С помощью фигур силлогизмов: Каждая фигура силлогизма имеет свои правильные модусы: I фигура – ААА, ЕАЕ, AII, EIO; II фигура – ЕАЕ, АЕЕ, ЕIO, AOO; III фигура – AAI, IAI, EAO, EIO, АII, ОАО; IV фигура – ААI, IАI, АЕЕ, ЕАО, ЕIО. Так же для выявления неправильных силлогизмов используется графический метод. Он заключается в следующем. Логическое следование между посылками и заключением силлогизма бывает только тогда, когда не существует такой модельной схемы, на которой посылки силлогизма истинны, а заключение ложно. Таким образом, чтобы показать что некоторый силлогизм неправильный, достаточно подобрать хотя бы одну модельную схему, на которой его посылки истинны, а заключение ложно. 2) Энтимема – силлогизм с пропущенной посылкой или заключением. Энтимема является корректной, если: 1)Она может быть восстановлена в правильный силлогизм. 2)Все посылки восстановленного силлогизма являются истинными высказываниями. Метод восстановления энтимемы в силлогизм заключается в следующем. В начале необходимо установить что пропущено-посылка или заключение. Затем выявить логическую форму имеющихся высказываний, и возможные логические формы пропущенного высказывания. Далее, пользуясь правилами силлогизма и правилами распределенности терминов следует отбраковать те варианты пропущенного высказывания, которые не соответствуют правилам силлогизма. Если в итоге все варианты окажутся негодными, то энтимема является некорректной. После этого требуется проверить, является ли восстановленное высказывание истинным. Если это условие выполняется, то энтимема признается корректной.		12. Понятие как форма рационального познания. Общая характеристика понятий. Закон обратного отношения между содержанием и объемом. Чувственное познание опирается на образы, возникающие в сознании в результате деятельности пяти основных чувств человека — зрения, слуха, вкуса, обоняния и осязания. В отличии от него Рациональное познание, основывается на абстрактном мышлении, позволяет человеку выйти за ограниченные рамки чувств. Основной формой рационального познания является понятие: Понятие — мысль, которая отражает предметы, явления и связи между ними в обобщенной форме. Например, понятие «человек» не тождественно простому чувственному образу какого-то конкретного человека, а обозначает в обобщенном виде мысль о любом человеке — кем бы он ни был. Аналогично понятие «стол» включает в себя образы всех столов — различной формы, размеров, окраски, а не какой-либо определенный образ стола. Таким образом, понятие схватывает не отдельные признаки предмета, а его сущность, в частности, в случае стола — его функции, использование (перевернутый ящик тоже может входить в понятие «стол», если он используется в таком качестве) Понятия - это имена объектов, событий. Например, "дом", "дерево", "человек". У каждого понятия, как правило, выделяют две основные характеристики - объем и содержание. Объем понятия - это множество тех объектов, которые обозначаются данным понятием. Например, объем понятия "человек" - множество всех людей, когда-либо живших, живущих или тех, которые будут жить в будущем. Содержание всякого сложного понятия представляет собой синтез элементов, их единство. Особенность этого единства характеризует структуру понятия, в которой существенным является различие между родовым признаком, который часто называют главной частью содержания понятия. Закон обратного отношения между объёмом и содержанием понятия В этом законе речь идет о понятиях, находящихся в родовидовых отношениях. Объем одного понятия может входить в объем другого понятия и составлять при этом лишь его часть. Например, объем понятия «моторная лодка» целиком входит в объем другого, более широкого по объему понятия «лодка» (составляет часть объема понятия «лодка»). При этом содержание первого понятия оказывается шире, богаче ( содержит больше признаков), чем содержание второго. На основе обобщения такого рода примеров можно сформулировать следующий закон: чем шире объем у первого из двух понятий , тем уже его (первого понятия) содержание , и наоборот. Этот закон называется законом обратного отношения между объемами и содержаниями понятий . Он указывает на то, что чем меньше информация о предметах, заключенная в понятии , тем шире класс предметов и неопределеннее его состав (например, «растение»), и наоборот, чем больше информация в понятии (например, «съедобное растение» или «съедобное злаковое растение»), тем уже и определеннее круг предметов.
13. Виды понятий Понятие – это мысль, которая посредством указания на некоторый признак выделяет из универсума и собирает в класс все предметы, обладающие этим признаком. Виды понятий: 1) По объему. Пустые и непустые понятия. Пустыми называются понятия, которым не соответствует ни один предмет в объективном мире. Они могут быть фактически пустыми и логически пустыми. Непустые понятия делятся на общие и единичные. Соответственно, общими являются понятия, соответствующие каким-либо предметам действительности, должно существовать более 1 элемента. Единичные- один элемент. Общие в свою очередь делятся на универсальные и н6е универсальные. 2) По содержанию. - Абстрактные(свойства или отношение).(дружба) - Конкретные (о предметах и свойствах предметов). (война) 3) По типу выделяемых объектов - Собирательные (чайный сервиз-множество, мыслимое как целое) - Несобирательные (человек). 4) По типу выделяемых объектов (представить останется ли значение этого понятия если всё исчезнет) - Относительные (отец) (если значение исчезнет) -Безотносительные (человек) (если значение останется) 5) по содержанию - Положительные - Отрицательные(несчастье)		14.Отношения между понятиями по объему. Отношения между понятиями Рассматривая отношения между понятиями, следует прежде всего различать понятия сравнимые и несравнимые. Сравнимыми называются понятия, имеющие некоторые призна­ки, позволяющие эти понятия сравнивать друг с другом. Несравнимыми называются понятия, не имеющие общих при­знаков, поэтому и сравнивать эти понятия невозможно. Сравнимые в свою очередь делятся на: Совместимые: 1) Тождественность. Когда объем одного понятия равен объему другого. Такие понятия называются взаимозаменяемыми. Например, «геометрическая фигура с тремя углами» и «треугольник» (соответственно А и В). 2) Подчинение. Объем понятия В включен в понятие А, здесь понятие А является подчиняющим, а В – подчиненным. Например, «человек» и «мужчина» («женщина»). 3) Пересечение. При этом существует группа понятий, общая для обоих объемов, за пределами которой имеются еще группы понятий, одна из которых принадлежит понятию А, а другая – понятию В. Например, «студент» и «мастер спорта», «адвокат» и «альпинист» и т.п. Мастер спорта может быть студентом, но не только: им может быть и рабочий, и военнослужащий, и чиновник и пр. 4) Дополнительность. Например: Территория находящаяся севернее южного тропика» и «территория находящаяся южнее экватора» Несовместимые: 1) Противоречие. Противоречащие понятия полностью исчерпывают объем известного класса предметов, и промежуточного третьего понятия быть не может. Например, «преднамеренное» и «непреднамеренное действие» (А или «не-А»). В отношении этих понятий действует логический закон исключенного третьего. 2) Соподчинения: два исключающих друг друга понятия оба находятся в объеме третьего. Например, «черное» и «белое» находятся в объеме третьего понятия «тело»; «» материализм и «идеализм» находятся в объеме третьего понятия «философия» и т.д.	15. Операции ограничения, обобщения, деления. Виды и правила деления. Обычно к операциям с понятиями (или над понятиями) относят обобщение, ограничение, деление и определение. Обобщение рассматривается в логике как операция с понятием. Обобщение – переход от понятия с меньшим объемом к понятию с большим объемом. Так, переход от понятия «студент» к более общему понятию «учащийся» или «человек» совершается путем отбрасывания одного или нескольких признаков исходного понятия. Таким образом, увеличение объема понятия, т.е. обобщение, в тоже время есть и уменьшение содержания. Ограничение – переход от понятия с большим объемом к понятию с меньшим объемом Ограничение совершается прибавлением к содержанию исходного понятия одного или нескольких новых признаков. Так, если к содержанию понятия «студент» прибавим хотя бы такой  признак, как обучение в университете, то получим новое, содержательно более богатое понятие «студент университета». Деление – переход от данного понятия к системе понятий, объемы которых включены в данное Делению поддаются общие понятия, единичные понятия, объемы которых индивидуальны, делению не подлежат. Правила деления 1. Деление должно быть соразмерным. Задача деления заключается в том, чтобы перечислить все виды делимого понятия. Поэтому объем членов деления должен быть равен в своей сумме объему делимого понятия. 2. Деление должно производиться только по одному основанию. В процессе деления избранный нами признак должен оставаться одним и тем же и не подменяться другим признаком. Например, граждан какой-либо страны в зависимости от поставленной задачи можно разделить по их социальному положению или национальнос­ти, профессии или полу. Но нельзя смешивать эти признаки и де­лить, скажем, граждан России на рабочих, русских, шахтеров и жен­щин. 3. Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления — видовые понятия — будут находить­ся в отношении частичного совпадения. Подобный же результат получим при делении преступле­ний на умышленные, неосторожные и воинские. Деление всех сту­дентов института на заочников, первокурсников и спортсменов также приведет к нарушению данного правила. 4. Деление должно быть непрерывным. В процессе деления родового понятия нужно переходить к бли­жайшим видам, не пропуская их. Но нельзя переходить от деления на виды одного порядка к делению на виды другого порядка, например делить преступления на преступления против личности, в сфере экономики, и утрату военного имущества. Такое деление лишено последовательности, оно называется скачком в делении. В зависимости от основания деления различают два вида данной логической операции: деление по видоизменению признака, дихотомическое деление. Дихотомия, или дихотомическое деление, — это деление любой предметной области, любого объема (множества, класса) всего лишь на два члена деления. Дихотомия — это и есть деление на противоречащие члены деления, на два взаимоисключающие друг друга понятия. Например, мир природы можно делить на органический и неорганический. Общий объем этих двух понятий соответствует объему делимого понятия, так что дихотомия никогда не нарушает главного закона этой операции: она всегда соразмерна. При делении по видоизменению основания в качестве основания деления используется варьируемые характеристики элементов объема делимого понятия(вес, цвет, форма, величина) Классификация. Так как логическая операция деления лежит в основе всякой классификации, то и определяется она как такое распределение объема (множества, предметной области и пр.) на составляющие его виды (группы, классы и пр.) по единому основанию (признаку деления), при котором каждый вид занимает строго определенное место в системе других и обладает в зависимости от этого места определенными свойствами. Классификация, таким образом, не только распределяет, упорядочивает предметную область, но и устанавливает некоторые свойства видов этой предметной области, Зачастую классификации выступают завершающим моментом научного исследования различных предметных областей - это и классификация (систематизация) растительных и животных видов, химических элементов, наук, правовых норм и пр.		16. Определение. Виды и правила. Определение – логическая процедура придания строго фиксированного смысла языковым выражениям. Правила определения: 1) Соразмерность. Как логическая операция определение состоит из двух элементов: определяемого понятия и определяющих понятий. Определяющие - это те понятия, с помощью которых раскрывается содержание определяемого. Законом связи этих двух элементов определения является требование логики, аналогичное требованию к делению, - определение должно быть соразмерным. 2) Отсутствие тавтологии. Определяемое понятие нельзя определять через само себя или через понятия, которые, в свою очередь, определяются с помощью определяемого понятия. Простейшим видом является тавтология. Например: человек есть человек; бизнес есть бизнес; масло есть масляное; окончание - это то, что стоит в конце; этого не может быть, потому что этого быть не может и т.п. 3) Ясность. Лаконичность. В логике формулируется и такое правило - определение должно быть ясным, четким, свободным от двусмысленности, туманности и противоречивости; определение должно быть лаконичным. Запутанные определения не выполняют своей основной роли, они не раскрывают в краткой форме содержания определяемого понятия, их усложненные формулировки трудно запомнить и ими поэтому сложно пользоваться.: «драка есть такое состояние, субъекты которого, выходя за рамки границ правовой объективности, совершают неправомерные вторжения в область охраняемых государством объективных прав личности, нарушая, тем самым, или стремясь нарушить целость физических покровов личности многократным нарушением таковых прав» 4) Отсутствие отрицания. Последнее правило-пожелание: определение, по возможности, не должно быть отрицательным, ибо отрицание не раскрывает сущности, не перечисляет существенные признаки предмета, отражаемого определяемым понятием. Определения в науке выступают обычно итогом исследования того или иного предмета, той или иной предметной области. Виды определения. Как логическая операция с понятием, определение по структуре своей и по способности раскрывать возможно полнее содержание того или иного понятия, подразделяется на явное и неявное. Явные определения, перечисляя существенные и отличительные признаки определяемого, раскрывая его сущность, подразделяются на: определение через ближайший род и видовое отличие, генетическое определение и номинальное. Неявные. К неявным определениям относится довольно большая группа приемов, сходных с определением: указание, описание, метафора, сравнение, гипербола, характеристика, операциональное определение. Определения так же делятся на: Номинальные. Номинальными называется опре­деление, посредством которого взамен описания какого-либо пред­мета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п. Реальные. Реальным называется определение, раскрывающее существен­ные признаки предмета. Номинальные и реальные определения различаются по своим задачам: объяснить значение термина или раскрыть существенные признаки предмета. часть семейного имущества.