1.Предмет и значение логики.

Логика-это наука изучающая формы,законы человеческого мышления.(от греч. Сл.logos-учения)основателем логики явл.Аристотель,он сформулировал осн.законы логики:1.Закон тождества.2.Закон непротиворечия.3.Закон исключительного третьего.4.в 18в.сформулирован немец.ученым Лейбниц-закон достаточного основания.

До Аристотеля проблемы логики разрабатывали-софисты и Сократ,которые логически понимали как часть теории.сократ в частности сформулировал проблему опред.научных понятий:каждое опред.должно иметь четкое и ясное определение.

Логика Аристотеля в последнее время стала осн.развития научных знаний

Предметом изучения логики является мышления в процессе познания.

Мышление-это активный процесс отражение мира,сознание человека.

Различают 2 уровня познания:чувственное и рациональное.Чувственный 1 этап-ощущение , 2-восприятие целостное восприятие предмета , 3-представление-сохранившейся в памяти ранее воспринемавшегося.

Рациональный уровень: 1-Понятие,2-Суждение,3-Умозаключение(формы мышения).

Осн.Характеристики мышления человека.

1.Процессуальность мышления это то,что происходит во времени.

2.Интенцианальность-направленность мысли на что-то.

3.Социальность мышления возникает только в человеческом сообществе.-Предметность.-Социальность.

Язык логики . Язык- это знаковая система которая выполняет функции накопление , хранение и передача инф.,а так же служит средством общения между людьми.

Различают естественные(метаязыки-нац.языки обладающие богатыми выразительными возможностями.немецкий,русский,английский),искусственные(объектные это искусственные языки которые используются для более точной и экономной передачи научной инф.)

В Логике сущ.несколько искусственных языков но обще-признанным является,,язык логики-предикат. Выражение обозначает св-во назв.предикаторами,а число имен наз.местностью.

Значение(Москва)-обозначаемым данным именем предмет.Смысл(столица)-это инф.о предмете которая содержится в данном имене.

2.Осн.Этапы развития логики.

Современная логика как наука о законах и формах человеческого мышления включает в себя две относительно самостоятельные науки: логику формальную и логику диалектическую.

Формальная логика - это наука о формах мышления, о формально-логических законах и других связях между мыслями по их логическим формам. Формальная логика является наукой о правильном мышлении, исследует и систематизирует также типичные ошибки, совершаемые в процессе мышления, то есть типичные алогизмы. При применении средств, вырабатываемых формальной логикой, можно отвлекаться от развития знания. Формальная логика изучает формы мышления, выявляя структуру общую для различных по содержанию мыслей. Рассматривая понятия, она изучает не конкретное содержание различных понятий, а понятия как форму мышления. Изучая суждения, логика выявляет общую структуру для различных по содержанию суждений. Формальная логика изучает законы, обуславливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики.

Формальная логика в своем развитии прошла два основных этапа.

Первый этап - это связь с работами Аристотеля, в которых дано систематическое изложение логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики - логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков - основа другого направления математической логики - логики высказываний. Следующими, кто развил учение Аристотеля, следует назвать Галена; Порфирия, который разработал схему отображающую отношения между понятиями; Боэция, сочинения которого были логическими пособиями. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода - огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж.С.Милль систематизировал методы научной  индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона - Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Второй этап - это появление математической логики. Философ Г.В. Лейбниц считается основоположником. Он пытался построить универсальный язык, с помощью которого споры между людьми можно было разрешить посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. Для выявления структуры вывода строят различные математические исчисления.

Другим основанием деления логики служит различие применяемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и неклассические логики. В.С. Меськов выделяет принципы классической логики: ”1) область исследования составляют обыденные рассуждения; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4) абстракция двузначности высказываний”.

Кроме формальной логики, существует логика диалектическая, предметом специального изучения которой являются формы и закономерности развития знания. Средства диалектической логики применяются в тех случаях, когда от развития знания отвлекаться нельзя. Диалектическая логика исследует такие формы развития знания, как проблема, гипотеза и так далее, такие методы познания как восхождение от абстрактного к конкретному, анализ и синтез.

В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот. В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма. Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин.

Диалектическая логика изучает законы развития человеческого мышления. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны и так далее. Диалектическая логика служит методом познания диалектики объективного мира.

Логика формальная и логика диалектическая изучают один и тот же объект – человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой.

Логика занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями  между  терминами, операциями определения и логического деления понятий, вероятностными и статистическими рассуждениями, парадоксами и логическими ошибками и так далее. Но главные темы логических исследований – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода.

В правильном рассуждении заключения вытекает из посылок с логической необходимостью, общая схема такого рассуждения выражает логический закон. Рассуждать логически правильно – значит рассуждать в соответствии с законами логики.

 3.Логика в юриспруденции. Значение логики для юристов. Специфика работы юриста (будь то прокурор, судья, следователь, адвокат, юридический консультант, ученый-правовед и т.д.) заключается в постоянном применении особых логических приёмов и методов: определений и классификаций, аргументации и опровержений, и др. Степень владения этими приёмами, методами и иными логическими средствами является показателем уровня логической культуры юриста.

4.Понятие как форма мышления.Понятие-это форма мышления отражающая предметы в их существенных признаках. В структуре понятия различают объем-это совокупность предметов,которые мыслят в данном понятии.и содержание-совокупность существенных признаков которые мыслят в данном понятии.

Между объемом и содержанием действует закон обратного отношения:чем больше объем понятия,тем меньше его содержание.существуют 2 операции осн.на этом законе:обобщение-это увеличение объема и уменьшение содержания понятия. Ограничение-уменьшение объема и увеличение содержания понятия.

5.Основные виды понятий.1.Пустые-понятия в объем которых не входит ни один предмет(вечный двигатель,сказочные персонажи).2.Единичные понятия- ,в объем которых входит один предмет(столица РФ,солнце).3.Общие-понятия в объем которых входит множество предметов(лекция,студент).4.Регистрирующие-понятия элементы которых можно сосчитать(планета солнечной системы,семья,президент РФ).5.Нерегистрирующие-понятия элементы которых нельзя сосчитать(человек).6.Положительный-это понятия имеющие некоторые признаки(думающие,читающие).7.Отрицательные-неимеющие признаков(нечитающий,неверующий)

6.Объем и содержание понятий. Объём и содержание понятия - две взаимосвязанные стороны понятия. Объем - класс обобщенных в понятии предметов; содержание - совокупность (обычно существенных) признаков, по к-рым произведено обобщение и выделение предметов в данном понятии. Формулировка содержания понятия выявляет тождественное (общее) в предметах данного класса; характеристика объема, т. е. различение в нем элементов (предметов - носителей признаков, составляющих содержание) и частей (видов, подклассов данного класса), выявляет различия в пределах данного класса. между содержанием и объемом имеется связь, выражаемая в формальной логике законом обратного отношения.

7.Отношение между объемами понятий. Понятия могут быть Сравнимые-понятия имеющие общие признаки(преподаватель и студент) Они делятся на совместимые-это объемы которых полностью или частично совпадают:1.равнозначность,2пересечение,3подчинение.и несовместимые-это понятия,объемы которых несовпадают:1координация(соподчинене)2Контрарность(противоположность)3Контрадикторность(противоречие).Несравнимые-понятия неимеющие общих признаков(государство и музыка,студент и чайник).

О

тношение между объемами понятий изображается при помощи круговых схем.

Равнозначность- в таком отношении находится понятие объемы которых полностью совпадают.(студент и учащийся в вузе)

Пересечение- в таком отношении находится понятия объемы которых частично совпадают(студент и трамвайный заяц)

Подчинение- в таком отношении находится понятия объемы из которого входит в объем др.понятия.

Координация- в таком отношении наход.понятия объемы которых полностью входят в объем родового понятия но между собой непересекаются.

Контрарность- в таком отношении наход.понятия с противоположными признаками.

Контродикторность- в таком отношении наход.понятие с противоречивыми признаками.

8.Определение,виды и правила определений. Определение- логическая операция направленная на выевление содержания понятия.Определить значит перечислить сущ.признаки предмета.в структуре определения сущ. 2 элемента: Определяемая- понятия содержание которого требуется раскрыть(дефининдум)

определяющие- понятия при помощи которого раскрывается понятия дефининдума.

Сущ. Логические операции которые неявляются определениями.

Операции- описание,характеристика,остенсивное определение.

Описание- перечесление признаков предмета,как существенных так и несущественных.

Сравнение- это пояснение сущности предмета с помощью аналогии.

Характеристика- при характеристике в отличие от описания перечисляюся не все признаки,а лишь те признаки которые выжны в каком-то отношении.

Астенсивное определение- простое указание на определяемый предмет.

Виды определений:

1.определение через родовое понятие и водовое отличие- делится на 2 этапа- 1 этап-Дифининдум-подводится под более общее родовое понятие.2 этап- указывается водовое отличие.

2.Доминальные-определение в котором дифининдум и дифининс меняется местами.

3.Генетическое-определение в котором указывается способ происхождения предмета.

Правила определения: 1.правило соразмерности.

2.В определении не должно быть замкнутого круга. Т.е нельзя использовать определяемые понятия(тофтология)

3.Определение должно быть четким и ясным без использования метафор.

4.Определение должно быть положительным,а не отрицательным,т.е в нем должно указыватся лишь те признаки которые присутствуют у предмета,а не те которые отсутсвуют.

9.Обобщение и ограничение понятий. Ограничение - логическая операция перехода от родового понятия к видовому (например, “поэт”, “великий поэт”, “вели­кий английский поэт”, “великий английский поэт Джордж Ноэл Гордон Байрон”). При ограничении мы переходим от понятия с большим объемом к понятию с меньшим объемом. Пределом ограничения является единичное понятие (в данном примере это “великий английский поэт Джордж Ноэл Гордон Байрон”).Обобщение — логическая операция, обратная ограничению, когда осуществляется переход от видового понятия к родовому путем отбрасывания от первого его видообразующего признака или признаков. Пример обобщения: “Опера П. И. Чайковского “Евгений Онегин”, “опера П. И. Чайковского”, “опера русского композитора XIX в.”, “опера русского композитора”, “опера”, “произведение музыкального искусства”, “произведение искус­ства”. При обобщении мы переходим от понятия с меньшим объ­емом к понятию с большим объемом. Обобщение применяется во всех определениях понятий, которые даются через род и ви­довое отличие. Пределом обобщения являются категории (фи­лософские, общенаучные, категории конкретных наук).

10.Деление и классификация.

Деление- это логическая операция направленная на выявление объема понятия.

Виды делений:

1. по видоизменению признака-деление по одному основанию.

2. Дихотомическая- деление объема понятия на 2 части.

Правило деление:

1. Правило соразмерности -не должно быть неполного деления или деления с лишним элементом.

2. Деление должно производится только по одному основанию.

11.Суждение как форма мышления.

Суждение- это форма мышления отражающая отношения между предметами и их признаками.

В логике осн.видом суждения является котигорическая (артибутивная). Если понятия отражают совокупность существенных признаков предмета, то суждения отражают отдельные отношения между предметами и их признаками. Причём, эти отношения выражаются путём утверждения или отрицания. Таким образом, суждение придаёт человеческой мысли законченную форму.

Суждения как форма мышления в языке закрепляется и передаётся другим людям с помощью предложения. Например, понятие «Киев» принимаем форму предложения, когда мы утверждаем что его как «Киев – столица Украины»; это и есть мысль, выраженная в форме логического суждения.

Суждение – это такая логическая форма, которая может быть истинной или ложной; установление того или другого и являются задачей логики.

12.Экзистенцианальные суждения и суждения об отношениях.существование – это особый признак, свойство предмета быть, находиться в реальности.

Примеры: "Бог есть". "Есть на свете добрые люди". "Существуют инопланетяне". "Нет проблем".

13.Простые категорические суждения.

Виды:

1.Общеутвердительное суждение- общее по кол-ву и утвердительное по качеству.(структура все s явл.p)

2.Частноутвердительные суждения-суждения частные по кол-ву и утвердительные по качеству(некоторые s явл.p)

3.Общеотрицательное суждение- общее по кол-ву и отрицательное по качеству(ни одна s неявл.p)

4.Частноотрицательно суждение-частное по кол-ву,отрицательное по качеству(некотрые s неявл.p)

В логике все единичные суждения приравниваются к общему.

14.Распределенность терминов в суждениях.

S и P-термин явл. распеределенным если его объем полностью входит другого термина или полностью исключается из него.

Термин не явл.распределенным если его объем лишь частично входит в объем другого термина или частично исключается из него.

Распределенность терминов устанавливается с помощью круговых схем:

1

2

3

4

15.Лог.отношения между простыми категорическими суждениями.

Суждения могут быть сравнимыми – суж.с одинаковыми субъектами и предикаторами.они делятся на совместимые-это суждение которые могут одновременно быть истинными:1-полная совместимость.2-логическое подчинение.3-субконтрарность(частичная совместимость) и несовместимые – это суж.котрые одновременно истинными быть не могут:1-контрарность.2-контрадикторность.

И несравнимые – суж. С различными субъектами или предикатами.

Отношения между простыми категорич.суж.изображаются при помощи логического квадрата:

-1-Полная совместимость-это одно и тоже суж.,но с различной формулировкой.-все люди разумны.-каждый чел.разумен)-2-Логическое подчинение-в таком отношении находится суждение с одинаковыми качественными,но с различными кол-венными характеристиками.

Св-ва: 1.если общие суждения явл. Частными то частные-истина.

2.если об суж. Явл.ложными,то частные могут быть как ложными так и истинными.

3.Субкантрарность-в таком отношении находится частное суждение-

св-ва: частные суждения могут быть одновременно истенными но не могут быть одновременно ложными:

4.Контрарность в таком отношении находятся общие суждения.общие суждения согут быть одновременно ложными но не могут быть одновременно истенными.

5.Контрадикторность-в таком отношении находится суждения с различными кол-венными и качественными характеристиками.такие суждения не могут быть одновременно истинными или одновременно ложными.

16.Деление суждений по модальности.

Модальность- это явно или не явно выраженное в суждении доп.инф.о логическом статусе суждения о временных пространственных и иных его характеристик.

Виды модальности :

1.Эпистемическая(знания)- суждение истенность или ложность уже установлено.с этой т.зрения различают достоверные и вероятностные суждения.

Вероятностные-не являются не истенными и не ложными.

2.Деонтическая- это выраженное в суждении побуждение людей конкретным действиям.Формы: совета,команды,приказа.

3.Алетическая-это доп.инф о логической зависимости,между субъектом и предикатом суждения.Виды:1-Аподиктичекая-суж.выражающая необходимость.2-Ассерторическая-суж.выражающие действительные положения дел.3.Проблематическая-суж.выражающие возможность.

Проблемы модальности суж.изучается в самостоятельном разделе логики-«модальной логики».

Отношения между осн.видами модальности изображаются при помощи модального шестиугольника.

Выводы из модального шестиугольника.

1.Из истинности суж.необходимо что А следует,истинной суж.А,обратное неверно.

- Из ложности суж. А след.ложность суж. Необходимо что А обратное неверно.

2.Из истинности суж. Необходимо что А след.истинность суж. Возможно ,что А обратное неверно.

-Из ложности суж возможно что А след. Ложность суж. Необходимо что А.обратное неверно.

3.Из истинности суж. А след.истиность суж.возможно,что А обратное неверно.

- Из ложности суж.возможно,что А след.ложность суждения А.обратное неверно.

17.Осн.виды сложных суждений.

Сложными – наз.совокупность простых суждений,связанных между собой логическими союзами:

1.Соединительные- сложные суж.в которых простые сужд. Связаны между собой знаком конъюнции.Такие суж.будут истеными только при одновременной истинность всех простых суждений.Условия истинности слож.суждений изображается с помощью таблицы истинности.

2.Разделительные-слож.суж. в которых простые связаны между собой знаком дезъюнции.Различают слабую(простые суж.могут быть одновременно истенными) и строгую(простые суж.одновременно истеными быть не могут) дизъюнцию.

3.Условные-это условные суждения которые простые связаны знаком импликации.

1 часть условного суждения-Антецедент(причина)

2 часть-Кансеквент(следствие).Условные суждения будут истенными всегда кроме 1-го случая: они будут ложному только при истености антецедента и ложности консеквента.

Сложные суждения в которых простые суждения связаны между собой двойной импликацией.Такие суж. Будут истеными только при одновременной истености или одновременной ложности обоих суждений.

18.Осн.законы логики.

1. Первый и наиболее важный закон логики — это закон тождества, который был сформулирован Аристотелем 

2. Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. 

3.Закон исключительного третьего. Суждения бывают противоположными и противоречащими. Например, суждения: «Сократ высокий», «Сократ низкий», — являются противоположными, а суждения: «Сократ высокий», «Сократ невысокий», — противоречащими. 

4. Закон достаточного основания утверждает, что любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с необходимостью (тезис должен с необходимостью следовать из оснований).

19.Умозаключение как форма мышления.

Умозаключение - такая форма суждения, в процессе которой человек, сопоставляя и анализируя различные суждения, выводит из них новое суждение.

Различают умозаключения индуктивные, дедуктивные и по аналогии. Индукция - логический вывод в процессе мышления от частного к общему, установление общих законов и правил на основании изучения отдельных факторов и явлений ("мой мяч круглый, у соседа мяч круглый - значит любой объект, который называют мячом, имеет округлую форму"). Дедукция - логический вывод в процессе мышления от общего к частному, познание отдельных фактов и явлений на основании общих законов ("все рыбы не могут жить без воды, значит рыба в моем аквариуме, тоже не может без нее жить"). Аналогия - логический вывод в процессе мышления от частного к частному на основе некоторых элементов сходства ("порода моей собаки - овчарка и она хороший охранник, у соседа тоже овчарка, значит и у него собака тоже хорошо охраняет дом").

В мышлении моделируются объективные существенные свойства и взаимосвязи явлений, они объективируются и закрепляются в форме суждений, умозаключений и понятий.

Формы мышления - это формальные структуры мыслей. Различаются три формы мышления - понятие, суждение и умозаключение.