1.Предмет логики логика-это нормативная наука о законах, формах и приёмах интеллектуальной деятельности.(логика-наука о правильном мышлении) Она вырабатывает нормы, критерии правильности осуществления процедур мышления, формируя тем самым некий канон любой рациональной деятельности. Предметом логики являются законы и формы правильного мышления, а также приемы, средства, методы и операции рационального познания и объективного осмысления мира. Законы логики выражают необходимую и существенную связь мыслей в процессе рассуждения. Как и любая наука, логика имеет объект и предмет изучения. Объектом логики является мышление человека Предмет логики – это система закономерностей правильного мышления. Предмет логики составляют: 1)законы, которым подчиняется мышление в процессе познания; 2)формы мыслительного процесса – понятия, суждения, умозаключения; 3)методы получения нового выводного знания; 4)способы доказательства истинности полученных знаний. 2.Мышление и язык.Структура и виды языков. Мышление — высшая форма активного отражения объективной реальности, целе­направленное, опосред­ство­ван­ное и обобщён­ное позна­ние суще­ствен­ных связей и отношений предметов и явлений. Язык — это знаковая деятельность, обеспе­чи­ва­ю­щая материальное оформление мыслей и обмен информа­ци­ей между членами общества По происхождению языки бывают естественные и искусст­венные. Естественный язык – это исторически сложившиеся в обществе информационные знаковые системы. Искусственный язык – это вспомогательная знаковая система, созданная на базе естественного языка для выполнения специальных задач. Язык логики является искусственным языком - это язык символов, формул, знаков, исчислений. Искусственные языки различной степени строгости широко ис­пользуются в современной науке и технике: химии, математике, тео­ретической физике, вычислительной технике, кибернетике, связи, стенографии. Особую группу составляют смешанные языки, базой в которых выступает естественный (национальный) язык, дополняемый симво­ликой и условными обозначениями, относящимися к конкретной предметной области. Искусственные языки успешно используются и логикой для точ­ного теоретического и практического анализа мыслительных струк­тур Структура языка – это совокупность закономерных связей и отношений между языковыми единицами, зависящих от их природы и определяющих качественное своеобразие языковой системы в целом и характер ее функционирования. Своеобразие языковой структуры определяется характером связей и отношений между языковыми единицами. 3.Язык как знаковая система .Понятие знака. Язык – это система знаков любой физической природы, которая служит для хранения информации. Знак – это материальный предмет, который замещает любой другой предмет в нашем мышлении и используется для передачи информации. Различают два типа знаков: естественные и искусственные. Естественные языки складываются стихийно в ходе общественного развития. Искусственные языки создаются специально для реализации определенных целей. Различают языки-науки и формализованные языки. Языки-науки состоят из части слов естественных и специальных терминов, которые имеют строго 1 значение. Формализованные языки более строги и точны, их грамматика строится заранее сформированными правилами. 4.Понятие. Виды понятий Понятие – это форма мышления, отражающая предметы в их существенных признаках. Разновидности (виды) понятий различаются: а) по количественной характеристике объема понятия различают понятия общие и единичные, а также всеобщие (универсальные) и с нулевым объемом, или "пустые". Общие - это понятия, в объеме которых мыслится некоторая конечная совокупность предметов (дом). Единичные - это понятия об отдельно взятых, единичных предметах (Дом правительства). Всеобщие (универсальные) - это понятия, в которых отражены признаки, присущие любым предметам и явлениям действительности. б) по характеру признаков, отраженных в содержании понятия различают конкретные и абстрактные понятия. Конкретными понятиями называются понятия, в которых предметы мыслятся целиком, во всей совокупности своих основных признаков ("дом", "человек", "наука"). Абстрактными понятиями называются понятия, в которых мыслятся отдельные признаки предметов и явлений, взятые сами по себе, как особый предмет ("домашний", "социальный", "научный"); в) также по характеру признаков различают понятия относительные и безотносительные. Относительными называются понятия, в содержании которых имеются признаки-отношения. г) также по характеру признаков различают понятия положительные и отрицательные. Положительные понятия - это понятия, в содержании которых нет ни одного признака указывающего на отсутствие чего-то у определяемых предметов. Отрицательность понятий нередко подчеркивается в самих их именах: "невысокий", "неправильный", "алогичный". д) по характеру элементов объемов понятий различают понятия собирательные и несобирательные. Собирательными называют понятия, в качестве элементов объемов которых мыслятся образования, состоящие из нескольких (многих), как правило, близких, связанных предметов - "мебель", "библиотека", "студенческая группа" и т.д. Несобирательными называются понятия, в которых в качестве элементов объемов мыслятся отдельно взятые, единичные, индивидуальные, пусть и сложные предметы: "стол", "книга", "студент-отличник" и т.д. и т.п. Приведенная выше классификация понятий исчерпывает основные их виды, традиционно выделяемые в логике. 5.Понятие. Отношение между понятиями. Обращение и ограничение понятий. Отношения между понятиями. Понятия существуют в системе знаний не изолированно друг от друга, а находятся между собой в определенных отношениях. Прежде всего понятия вступают в отношения по объему и содержанию. Возможны различные виды отношений. Сравнимость - это такое отношение между двумя и большим числом понятий, у которых есть хотя бы один общий признак в их содержании (положительный или отрицательный). Понятия, в содержании которых нет ни одного общего признака, называются формально несравнимыми. Несравнимые понятия - это понятия из различных, далеких друг от друга предметных областей. Отношение сравнимости-совместимости - это отношение, при котором у сравниваемых понятий имеются общие элементы в объемах (хотя бы один). У этого отношения три разновидности: а) совместимость-тождество (равнообъемность) - отношение между понятиями, объемы которых полностью совпадают, т.е. один и тот же предмет или класс предметов является объемом каждого из этих понятий: "рука" - "верхняя конечность тела человека". б) совместимость-пересечение (перекрещивание) отношение, при котором объемы понятий частично совпадают, но у каждого из сравниваемых понятий имеются несовпадающие части, предметы, которые входят в объем только одного из сравниваемых понятий: "студент" и "спортсмен". в) совместимость-подчинение (субординация)- это отношение, при котором объем одного из понятий является частью, подклассом объема другого понятия, но у второго понятия есть элементы, не входящие в объем первого: "студент". Более широкое понятие называется подчиняющим, или родовым, понятие, объем которого составляет часть, подкласс другого, называется подчиненным, или видовым ("студент" - род, подчиняющее, "студент-юрист" - вид, или подчиняющееся понятие). Несовместимостъ-соподчинение (координация) - это отношение между такими понятиями, каждое из которых находится в отношении подчинения к некоторому третьему понятию, но между собой они не пересекаются, не имеют общих элементов: "студентпервокурсник" и "студент-пятикурсник" в отношении понятия "студент" (имеется в виду один факультет). Несовместимость-противоположностъ, или контрарность - это такое отношение, при котором объемы понятий не совпадают, поскольку в них указываются признаки, которые не могут принадлежать одному и тому же предмету: "высокий" - "низкий", "сильный" - "слабый" (предметы берутся при этом в одном и том же отношении: человек "низкий" в смысле занимаемого им в обществе социального положения может быть высоконравственным, то есть не "низким" в моральном плане). Несовместимость-противоречие, или контрадикторность - это отношение между двумя взаимно отрицающими друг друга понятиями. В одном понятии признаки мыслятся как присущие предметам, в другом, эти же признаки мыслятся как отсутствующие: "наука" - "ненаука" (не смешивать с "лженаукой"). Несовместимыми могут быть близкие и даже очень близкие понятия: "муж" - "жена", "истина" - "ложь" и т.д. Обобщить понятие — значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Минис­терство юстиции Российской Федерации», мы переходим к понятию «министерство юстиции». Продолжая операцию обобщения, можно последовательно обра­зовывать понятия«министерство», «орган государственного управ­ления». Ограничить понятие— значит перейти от понятия с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но большим содержанием. Чтобы, например, ограничить понятие «юрист», мы переходим к понятию «следователь», которое в свою очередь можем ограничить, образо­вав понятие «следователь прокуратуры». Пределом ограничения по­нятия является единичное понятие (например, «следователь проку­ратуры Иванов») 6.Определение понятия. Правила классического определения Определение понятия— это предложение, в котором раскрывается содержание понятия Определение не должно быть широким, т.е. определение не должно превышать своим объемом определяемое понятие Определение не должно быть узким, т.е. определение не должно быть по своему объему меньше определяемого понятия. В определении не должно быть круга, т.е. в определении нельзя употреблять понятия, которые являются определяемыми. Определение не должно быть двусмысленным, т.е. в нем нельзя употреблять термины в переносном значении. Определение не должно быть сложным и непонятным, или оно должно быть коммуникабельным Определение не должно быть только отрицательным Приведем еще несколько примеров правильных определений, а также – определений, в которых нарушены рассмотренные правила и допущены различные ошибки. а) Сутки – это отрезок времени, в течение которого Земля делает полный оборот вокруг своей оси (правильное определение).б) Жанр – это устойчивая форма какого-либо произведения искусства (правильное определение).в) Собака – это друг человека (двусмысленное определение).г) Творческое мышление – это мышление, которое обеспечивает решение творческих задач (круг в определении). 7.Деление понятий.Виды деления.Правила деления. Делением называются логические операции, раскрывающие объем понятия. В операции деления есть делимое (объем которого стоит раскрыть), члены деления (соподчиненные виды, на которое делится понятие) и основание деления (признак по которому производится деление). Пример: сделка (делимое), многосторонняя, одностороння (члены деления), основание деления – число сторон сделки. Различают деление: - по видоизменению признака – основанием для деления является признак, при изменении которого образуется видовое понятие, входящее в объем делимого (пример: государства в зависимости от формы гос. устройства делятся на унитарное и федеративное). - дихотомическое деление – деление объема делимого понятия на два противоречащих понятия, В и не-В (пример: все современные государства можно разделить на демократические и недемократические). 4 основных правила деления: - соразмерность деления (объем членов деления в сумме должен быть равен объему делимого понятия), ошибочным является неполное деление или деление с лишними членами). - единство основания (в процессе деления избранный признак должен оставаться одним и тем же и не подменяться другим признаком). - члены деления должны исключать друг друга (правило вытекает из предыдущего, т.е. выбрано должно быть только единое основание деления и понятия в процессе деления будут исключать друг друга). - непрерывность деления (в процессе деления родового понятия необходимо переходить к ближайшим видам, не пропуская их, т.е. от большего к меньшему по каждому делению). Ошибочно переходить от деления вида одного к делению на виды другого порядка, т.е. не допущение скачка в делении. 8.Суждение.Структура простых суждений.Виды суждений. Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами Полная структура простого суждения включает четыре элемента: ● субъект (S) - понятие, отражающее сам предмет мысли, то, о чем чтото говорится; ● предикат (Р) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами); ● связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является" и т.п., либо вообще только подразумевается). Отражает наличие /отсутствие определенной связи субъекта и предиката; ● квантор (всеобщности () - "все", "каждый", "ни один… не" ("все … не") и т. п.; существования () - "некоторые", "многие", "часть" и т. п.; единственности существования (!) - "этот", "данный" и т. п.), отражающий количественную характеристику суждения. Символически структура простого суждения выражается формулой: (K)S-P, где <К> - некоторый квантор, а <-> - связка (если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу). Простые суждения подразделяются по качеству на: утвердительные и отрицательные, а по количеству на: ● единичные (что-либо утверждается или отрицается об одном предмете - "Этот свидетель дал показания"); ● общие (что-либо утверждается или отрицается обо всех предметах некоторого класса - "Все свидетели дали показания"); ● частные (что-либо утверждается или отрицается о части предметов некоторого класса - "Некоторые свидетели дали показания"). Особое место в классификации суждений по количественной характеристике занимают выделяющие и исключающие суждения. Выделяющие суждения выражают тот факт, что признак, выраженный предикатом, принадлежит (не принадлежит) только данному предмету. Выделяющие суждения могут быть единичными, частными и общими, например: "Только Иванов написал эту контрольную на отлично" выделяющее единичное суждение, "Некоторые учащиеся (и только учащиеся) являются школьниками" - выделяющее частноутвердительное суждение, "Все квадраты (и только квадраты) являются прямоугольными ромбами" - выделяющее общеутвердительное суждение (определение). Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. По характеру предиката различают суждения: ○ атрибутивные. Атрибутивным называется суждение о признаке предмета, например: "Лист зеленый"; ○ с отношением. Релятивным называется суждение об отношении между предметами. Например, "Москва больше Красноярска"; ○ существования. В суждениях существования выражается сам факт существования или несуществования предмета суждения. Например: "Высшее образование есть". 9.Логический квадрат Логический квадрат, или квадрат оппозиции — это диаграмма, представляющая отношения между основными категориальными пропозициями, которые, в свою очередь, утверждают, что все или некоторые из членов одной категории (субъектный термин) включены в другую (предикатный термин). Происхождение квадрата может быть приписано Аристотелю, который впервые провел различие между двумя оппозициями: противоречие и противоположность. Но Аристотель не делал каких-либо схем. 10.Распределенность терминов в простых суждениях Субъект и предикат называются терминами суждения. В любом суждении каждый термин является распределенным или нераспределенным. Термин считается распределенным(то есть развернутым, исчерпанным, взятым в полном объеме), если в суждении речь идет обо всех объектах, входящих в объем этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом (то есть кругом, который не содержит в себе другого круга и не пересекается с другим кругом): Термин считается нераспределенным(то есть неразвернутым неисчерпанным, взятым не в полном объеме), если в суждении речь идет не обо всех объектах, входящих в объем этого термина, и обожается знаком «-», а на круговых схемах Эйлера изображается неполным кругом (то есть кругом, который содержит в себе другой круг или пересекается с другим кругом): 11.Модальность суждений, виды модальности. Модальность - это явно или неявновыраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках. Наиболее важными и распространенными выступают такие виды модаль­ности, как алетическая, деонтическая, эпистемическая и аксиологическая. Алетическая модальность выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке, в этом случае, являются «возможно», «случайно» и их синонимы. С точки зрения алетической модальности различают следующие разно­видности суждений: - ассерторические суждения или суждения о реальном факте. Например: «В России действительно осуществляется реформирование Вооруженных Сил». В таких суждениях модальность не выражена, констатируется лишь сам факт чеголибо; - проблематические суждения или суждения о возможности чего-либо. На­пример: «В России может быть осуществлено реформирование Вооруженных Сил»; - аподиктические суждения или суждения о необходимости чего-либо. Например: «В России необходимо осуществить реформирование Вооружен­ных Сил». Деонтическая модальность распространяется только на деятельность лю­дей, нравственные и правовые нормы их поведения в обществе. Она выра­жается с помощью таких слов, как «разрешается», «запрещается», «обяза­тельно» и т. п. В зависимости от характера норм деонтическая модальность имеет сле­дующие разновидности: - суждения о наличии (или отсутствии) какого-либо права. Они форми­руются с помощью слов «разрешено», «запрещено», «вправе» и других. На­пример: «Каждый имеет право на свободу и личную неприкосновенность» (правопредоставляющая норма) и «Запрещаются любые формы ограничения прав граждан при вступлении в брак и в семейные отношения по признакам социальной, расовой, национальной, языковой или религиозной принад­лежности» (правозапрещающая норма); - суждения о наличии (или отсутствии) какой либо обязанности. Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Признание, соблюдение и защита прав и свобод человека и гражданина — обязанность государства». Эпистемическая модальность характеризует степень достоверности зна­ния. Она выражается с помощью слов «доказано», «недоказуемо», «опро­вергнуто» и им подобных. Выделяют две разновидности эпистемической мо­дальности: - суждения, основанные на вере. Например: «Верю в наступление луч­шей жизни»; - суждения, основанные на знании. Например: «По показаниям свиде­телей Николаев не участвовал в похищении материальных ценностей». Аксиологическая модальность выражает отношение человека к матери­альным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т. п. Например: «Безразличное отношение к государственному имуществу приводит к его утрате» или «Хорошо, что я не опоздал на заня­тия в институт». 12.Сложные суждения.Виды сложных суждений. Сложные суждeния образуются из нескольких простых суждений. Сложные суждения — суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения. Примеры сложных суждений Сверкнула молния и загремел гром Мальчишки наш его класса увлекаются или компьютерными играми, или спортом Сложные суждения разделяются на виды в зависимости от использованного между ними логического союза. Виды сложных суждений: 1. Соединительное суждение (конъюнкция). 2. Разделительное суждение (дизъюнкция). 3. Условное суждение (импликация). Соединительные суждения (конъюнктивные) - это такие суждения, ко­торые включают в качестве составных частей другие суждения - конъюнк­ты, объединяемые связкой «и». Например, «Осуществление прав и свобод человека и гражданина не должно нарушать права и свободы других лиц». Разделительные (дизъюнктивные) суждения - включают в качестве со­ставных частей суждения - дизъюнкты, объединяемые связкой «или». Напри­мер, «Истец вправе увеличить или уменьшить размер исковых требований». Условные (импликативные) суждения образованы из двух простых суж­дений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут дого­вор, то он считается принятым на постоянную работу». Аргумент, начинаю­щийся в импликативных суждениях словом «если», называется основанием, а составляющая, начинающаяся со слова «то» - следствием. 13.Умозаключение .Классификация умозаключений. Умозаключение– это форма мышления, посредством которой из одного или нескольких суждений мы по определенным правилам вывода получаем суждение – заключение. Исходное суждение называется посылка. Все умозаключения делятся на непосредственные и опосредованные. В непосредственныхумозаключениях вывод делается из одной посылки. Например: Все цветы являются растениями. Некоторые растения являются цветами. Верно, что все цветы являются растениями. Неверно, что некоторые цветы не являются растениями. В опосредованных умозаключениях вывод делается из нескольких посылок. Например: Все рыбы – это живые существа. Все караси – это рыбы. Все караси – это живые существа. Опосредованные умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии. дедуктивные умозаключения (дедукция) (от лат. deductio – «выведение») – это умозаключения, в которых из общего правила делается вывод для частного случая (из общего правила выводится частный случай) Индуктивные умозаключения (индукция) (от лат. inductio – «наведение») – это умозаключения, в которых из нескольких частных случаев выводится общее правило. Умозаключения по аналогии(аналогия) (от греч. analogia – «соответствие») – это умозаключения, в которых на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках. 14.Непосредственные умозаключения. Непосредственные умозаключения – это умозаключения, в которых вывод совершается из одной посылки, являющейся категорическим высказыванием. К ним относятся превращение, обращение, противопоставление предикату, противопоставление субъекту и выводы по «логическому квадрату». 1. Превращение Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением. 2. Обращение Преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат — субъектом заключения, называется обращением. 3. Противопоставление предикату Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения, называется противопоставлением предикату. 4.Умозаключение по «логическому квадрату». «Логический квадрат» - это схема, выражающая истинностные отношения между простыми суждениями, имеющими один и тот же субъект и предикат. 15.Простой категорический силлогизм.Энтимема. Силлогизмы характеризуется тем, что в их состав входят суждения, имеющие субъективно-предикатное строение. Простой категорический силлогизм – вид дедуктивного умозаключения, в котором из двух истинных категорических суждений, связанных общим термином, получается третье суждение – вывод, являющийся также категорическим суждением. Структура простого категорического силлогизма. Он называется простым именно потому, что состоит всего из двух посылок, особым образом связанных между собой, и заключения. В свою очередь, посылки и заключение, будучи суждениями, состоят из терминов, тоже определенным образом соотносящихся друг с другом. Принципиально важно отметить, что их всего три: меньший, больший и средний. Энтимема (др.-греч. ἐνθύμημα) — сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается. Виды энтимем ● ● ● ● С пропущенной большей посылкой С пропущенной меньшей посылкой С пропущенным заключением Простой категорический силлоги́зм (греч. συλλογισμός) — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся нафигуры, а последние по логической форме посылок и заключения — на модусы. 16.Индуктивные умозаключения.Виды индукции.Методы научной индукции. Индуктивным называется умозаключение, в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности всему классу. Индукция— это переход от частного к общему. То есть это постепенное обобщение более частного, конкретного понятия. Полная индукция - такое умозаключение, в котором общий вы­вод о классе предметов делается на основании изучения всех пред­метов данного класса. Неполная индукция - такое умозаключение, в котором общий вывод делается на основании изучения некоторой части класса однородных предметов. По способам обоснования заключения различают следующие виды не­полной индукции: популярную и научную. Научная индукция, или индукция через анализ фактов, представляет собой умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления. Популярная неполная индукция, или индукция через простое перечисление, рассматривает предметы и классы, к которым эти предметы относятся, не очень глубоко. Так, на основе повторяемости одного и того же признака у некоторой части однородных предметов и при отсутствии противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком. Методы научной индукции - это методы установления причинных связей между явлениями. Это довольно простые и часто применяемые в повседневной практике методы. Впервые они были описаны английским философом Ф. Бэконом, а затем систематизированы и усовершенствованы другим английским ученым Дж. Миллем. Существует пять методов научной индукции. 1. Метод сходства состоит в том, что если два и более случаев, каждый из которых вызывает исследуемое явление, имеют какое-либо одно - единственное общее обстоятельство, то это общее обстоятельство является, вероятно, причиной искомого явления 2. Метод различия - метод, основанный на сравнении двух случаев, в одном из которых исследуемое явление наступает, а в другом - не наступает и при этом первый случай отличается от второго только одним обстоятельством; вероятно, именно это обстоятельство является причиной исследуемого явления 3. Объединенный метод сходства и различия представляет собой комбинацию первых двух методов, когда путем анализа множества случаев обнаруживают в них как сходное, так и различное. Исследование причинных связей 4. Метод сопутствующих изменений используется при анализе сходных случаев, когда изменение одного обстоятельства всякий раз сопровождается изменением другого обстоятельства. На этом основании делается вывод о причинной связи между двумя меняющимися обстоятельствами. по данному методу осуществляется по следующей
