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

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

1. Изучение форм рационального мышления

2. Разработка правил для логических операций

3. Разработка методов логического мышления

Значение логики: 1) исследует общее правило, законы, без учета которых нельзя правильно мыслить

2) дает инструмент для анализа мыслительных процессов и для оценки правильности мышления

3) формирует у человека навыки обращать внимание на характер суждения

4) формирует культуру логического мышления.

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

3-Формы логического мышления – такой способ организации

проявления мыслительной активности человека, при которым мыслительные

процессы приобретают способность быть доступными для потребления не

только какому-то одному субъекту, человеку, но и любому другому,

владеющему соответствующей системой исчисления.Объектами изучения логики являются формы мышления: понятие, суждение иумозаключение. Понятие – это мысль, в которой обобщаются отличительные свойства предметов. Суждение (высказывание) – есть мысль (выраженная в форме повествовательного предложения), в которой нечто утверждается о предмете действительности, которая объективно является либо истинной, либо ложной. 

Логика изучает формы мысли как бы существующие сами по себе,

независимо и от тех средств (знаковых систем), в которых мысль

выражается, и от тех предметов, которые мысленно отражаются. Логика не

отрицает всех этих связен, но они не входят в предмет науки логики.

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

4-общая характеристика понятия как форма рационального мышления. Понятие — это форма мышления, отражающая предметы в их существенных признаках. Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков. Понятие — одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы. Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии. Множество предметов, которое мыслится в понятии, называется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки. Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса». Классом, или множеством, называется определенная совокупность предметов, имеющих некоторые общие признаки. Класс (множество) может включать в себя подкласс, или подмножество. Например, класс студентов включает в себя подкласс студентов юридических вузов, класс преступлений — подкласс экономических преступлений. Отношение элемента к классу выражается при помощи знака е: Класс, состоящий из всех элементов исследуемой области, называется универсальным классом Если класс состоит из одного элемента, то это будет единичный класс. класс, который не содержит ни одного элемента, называется нулевым (пустым) классом. Содержание и объем понятия тесно связаны друг с другом. Эта связь выражается в законе обратного отношения между объемом и содержанием понятия, который устанавливает, что увеличение содержания понятия ведет к образованию понятия с меньшим объемом, и наоборот. 

5- Объём и содержание понятия.Предмет мысли, отражаемый в понятии, обладает существенными признаками и связью между ними. Поэтому в понятии различают объем и содержание. Объем -это все предметы мысли, к которым применимо данное понятие. В объем понятия наз.элементом объема. Группа предмета мысли, входит в объем и сохраняет свою особенность наз.частью объема. Все предметы мысли вход. В объем, называется множеством объема. Содержание-совокупность существенных признаков предмета мысли. Увеличение объема понятия вызывает уменьшение его содержания и наоборот. 6)виды понятия по их объему и содержанию. Виды понятий. По объему: 1.Единичные-понятия,в объеме которых отражается единич.предмет(есть 1 элемент) 2.Общие-в объем которых входят все предметы мысли данного класса. 3.Нулевые-в объеме этих понятий нет одерж. По содержанию: 1.Конкретные-в объеме которых отражается реально существ.предмет,взятый как единое целое. 2.Абстрактные-понятие в которых выражается признак предмета, взятый сам по себе, без матер.носителя. 3.Положительные-пон.в котором фиксируется наличие у предмета данного признака, но этот признак может быть как позитивным так и негативным. 4.Отрицательное-в котором фиксируется отсутствие у предмета данного признака, выражается с помощью частиц а не, бес, без-которые отделимы от слова(нехороший) 5.Соотносительные-в которых фиксируются предметы мысли, сущ.только в связке а др.пред.немыслим. 6.Безотносительные-выраж.предмет мысли, существ.сам по себе. 7.Собирательные-в которых фиксируется группа предмета одного класса рассматриваемое как единое целое(студенчество) 8.Разделительное-понятие,содержания которого общее для всех предюданного класса. 

Закон обратного отношения между объёмом и содержанием понятия : если первое понятие шире второго по объёму, то оно беднее его по содержанию; если же первое понятие у́же второго по объему, то оно богаче его по содержанию.Закон говорит о том, что объёмы и содержания понятий находятся в тесной обратной взаимозависимости.

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

Неклассическая логика соответственно есть логика, в которой один или несколько законов классической логики не выполняются. Самым известным примером неклассической логики есть интуиционистская логика (отказ от закона исключения третьего).

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

Логика высказываний- это формальная теория, основным объектом которой служит понятие логического высказывания.

Модальная- логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности.

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

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

б)понятие носит общий характер и не зависит от индивидуальных особенностей человека.

в)Понятие- мыслительый образ предмета, а не сам предмет, это абстракция, мысленное выделение сущест.признаков предмета.

Объем — структурный элемент понятия, отражающий со­бой совокупность предметов, обладающих одинаковыми существенными и отличительными признаками.

Содержание — элемент струк­туры понятия, отражающий собой совокупность существенных и отличительных признаков, присущих предмету, явлению (клас­су предметов, множеству явлении, процессов и пр.). 

Утвердительные (положительные) понятия отражают наличие некоторого признака у предмета. Положительными понятиями могут быть как общие, так и единичные, пустые. Положительными, общими, а в некоторых случаях и пустыми являются понятия о городе, луне, цене, морали и пр.   Отрицательные понятия образуются путем добавления частицы «не» к положительному понятию: «не-роза», «не-студент», т.е. они указывают на отсутствие любого признака, который утверждается положительным понятием. Понимание отрицательности в обычном смысле не всегда совпадает с логическим.

Конкретными называются понятия, отражающие предмет, явление или процесс в целом: «ночь», «улица», «фонарь», «аптека» и т.п. Конкретными понятиями могут быть любые утвердительные как общие, так и единичные и пустые понятия. Абстрактными  в логике считаются понятия, отражающие отдельное  свойство предмета, отдельный его признак,причем так, словно он существует независимо от своего предмета-носителя: «белизна», «человечность», «вечность» и пр.

Понятие называется соотносительным, если оно своим содержанием требует непременного соотнесения с другими понятиями. Такими понятиями являются, например «меньше», «между», «мать» и др.  

1. Определение должно быть соразмерным, т. е. объем определяемого понятия должен совпадать с объемом определяющего; они должны быть равнозначащими понятиями.

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

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

4. Определение должно быть кратким, точным и понятным.

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

Деление понятия состоит из трех частей:

1. Делимое понятие

2. Результаты деления

3. Основание деления

Виды деления. 1.Простое-деление по видообразующему признаку. Оно основано на отношение соподчинения. В этом случае понятие вводится в объем более широкого понятия а затем выясняется на какие виды группы делятся виды.

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

Правила деления понятий: 1)деление должно быть соразмерным. Объем делимого понятия и члены понятия должны совпадать.

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

3)Члены деления должны исключать друг друга, не пересекаться.

4) Деление должно быть последовательным, т.е. делимое понятие должно представлять ближайший род для членов деления, а члены деления должны быть непосредственными видами делимого понятия.

10- Обобщение и ограничение понятий. Обобщить понятие — значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Министерство юстиции Российской Федерации», мы переходим к понятию «министерство юстиции». Из приведенного примера видно, что для образования какого-либо нового понятия путем обобщения нужно уменьшить содержание исходного понятия, т.е. исключить видовые (или индивидуальные) признаки.

Ограничение понятия представляет собой операцию, противоположенную операции обобщения. Ограничить понятие— значит перейти от понятия с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но ббльшим содержанием. Чтобы, например, ограничить понятие «юрист», мы переходим к понятию «следователь», которое в свою очередь можем ограничить, образовав понятие «следователь прокуратуры». Пределом ограничения понятия является единичное понятие (например, «следователь прокуратуры Иванов»). Логические операции обобщения и ограничения понятии широко применяются в практике мышления: переходя от понятий одного объема к понятиям другого объема, мы уточняем предмет нашей мысли, делаем наше мышление более определенным и последовательным. Обобщение и ограничение понятий не следует смешивать с мысленным переходом от части к целому и рис. ю выделением части из целого. Например, сутки делятся на часы, часы на минуты, минуты на секунды. Каждое последующее понятие не является видом предыдущего, которое в свою очередь нельзя рассматривать как родовое. Поэтому переход от понятия «час» к понятию «сутки» — не обобщение, а переход от части к целому; переход от понятия «час» к понятию «минута» — не ограничение, а выделение части из целого.

11 – Классификация и деление понятий. Виды классификаций.

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

12 - Суждение как форма рационального мышления . Суждение и предложение.

Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком. отношения между предметами или факт существования предмета; суждение может быть либо истинным, либо ложным. Языковой формой выражения суждения является предложение. Подобно тому как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. Однако единство суждения и предложения не означает их полного совпадения. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предл

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

В состав суждения входит субъект S и предикат Р

Метро (S) открылось рано утром (Р) .

Игра (S) не получила должного продолжения (Р).

13 – Структура суждения. Его виды.

СУЖДЕНИЕ(структура)

      Субъект суждения ( S )           Логическая связка            Предикат суждения ( P )

        Понятие о предмете                                                    Понятие о признаке

         Суждения                                                                        Суждения               

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

1. По объему субъекта (по количеству).Единичные - суждения, включающие утверждение или отрицание об одном предмете. Формула такого суждения: Это S есть (не есть) P.

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

В неопределенных суждениях логическая схема такова: «Некоторые S есть Р». Слово «некоторые» придает им неопределенность.

Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения. Оно имеет такую логическую схему:

«Только некоторые S есть Р».

Общие - суждения, в которых что-либо утверждается или отрицается в каждом предмете данного класса. Логическая схема таких суждений имеет вид: «Все S есть Р» или «Ни одно S не есть Р»

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

Следует различать отрицательное суждение и негативную форму выражения утвердительного суждения. Такого вида суждения не всегда идентичны.

3. По содержанию предиката суждения делятся на суждения свойства (атрибутивные), суждения отношения (релятивные) и суждения существования (экзистенциальные).

Суждения свойства отражают принадлежность или непринадлежность предмету мысли того или иного свойства, состояния.

Суждения отношения выражают различные связи между предметами мысли по месту, времени, величине и прочее.

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

14 – Простые суждения. Их виды.

Суждения делятся на простые и сложные. Простым называется суждение, выражающее связь двух понятий. Суждение, состоящее из нескольких простых суждений, называется сложным

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

- Субъект - это часть суждения, которая выражает предмет мысли. S

- Предикат - это та часть суждения, в которой что-либо утверждается или отрицается о предмете мысли. P

- Связка «есть, суть, является»

В зависимости от того, что утверждается или отрицается в суждениях, - принадлежность признака предмету, отношение между предметами или факт существования предмета - они делятся на:

   1) атрибутивные суждения;( называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Например: "Сроки аренды определяются договором", "Никто из судей не вправе воздержаться от голосования".)

   2) суждения с отношениями;( Суждением с отношением называется суждение, отражающее отношение между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения. Например: "А равно В", "С больше О", "Семен - отец Сергея", "Казань восточнее Москвы")

   3) суждения существования (экзистенциальные).( «существование» выражается сам факт существования или несуществования предмета суждения. Например: "Существуют статистические законы"; "На земле уже нет многих видов животных"; "Суждения без предложения не существует")

15 – Качество и количество суждения. Деление суждений по качеству и количеству.

Классификация категорических суждений

Категорические  суждения делятся:

 1) по качеству;

2) по  количеству.

А так  как любое суждение имеет и  количественную и качественную характеристику, их принято делить по: 3) объединенной классификации.

1)Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Например, "Автором произведения признается гражданин, творческим трудом которого оно создано" - утвердительное суждение. Его логическая схема "S есть Р". "Обвиняемый не обязан доказывать свою невиновность" - отрицательное суждение. Логическая схема отрицательного суждения - "S не есть Р".

2) Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим по количеству суждения делятся на единичные, частные и общие.        Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: "Это здание - памятник архитектуры", "Васильев в нотариальной конторе не работает". Схемы единичных суждений: "Это S есть Р" и "Это S не есть Р".

      Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: "некоторые", "многие", "немногие", "большинство", "меньшинство", "часть" (например, "Некоторые свидетели дали показания"; "Часть преступлений относится к хозяйственным"; "Большинство студентов нашего курса не имеют академической задолженности"). Схемы частных суждений: "Некоторые S суть Р" и "Некоторые S не суть Р".

16 – Классификация суждений по качеству и количеству взятых вместе.

Классификация суждений по качеству и количеству взятых вместе. Атрибутивные суж.различаются также по кач.и количеству взятых вместе,поэтому в классиф.сужд.выделяют 4 вида: 1.Общеутвердительные с.:общие по кол-ву,утв. По кач-ву всеS естьР 2.общеотрицательные с.-общие по кол-ву,отриц.по кач-ву ни одно S не есть Р 3.частноутвердительные с.-частное по кол-ву утвердительных по кач. Некоторые S есть Р 4.частноотрицательные-частное по кол-ву отриц.по кач. Некоторые S не естьР.

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

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

Существуют такие правила распределенности терминов в суждениях.

1(а) В общеутвердительных суждениях, в которых объем термина S полностью входит в объем термина Р , S — распределено, а Р — не распределено.

Рассмотрим это правило на таком примере: "Все основные понятия соционики отражают нацеленность этой новой отрасли знаний на повседневную жизнь" ("Все S суть Р"). Поскольку объем субъекта этого суждения ("основные понятия соционики") полностью входит в объем предиката ("нацеленность на повседневную жизнь"), то S здесь распределено, а Р — не распределено. В данном суждении говорится о всех основных понятиях соционики, но не о всей нацеленности на повседневную жизнь. Объем предиката (Р) в таких суждениях не исчерпывается объемом субъекта (S).

1(б) В общеутвердительных суждениях, в которых объем субъекта и предиката является одним и тем же , распределен не только субъект (S), но и предикат (Р).

2) В общеотрицательных суждениях оба термина всегда распределены, они полностью взаимоисключаемы и являются несовместимыми понятиями. Например: "Ни один милитарист не является сторонником мира". Речь идет о всех милитаристах и о всех сторонниках мира.

3) В частноутвердительных суждениях оба термина не распределены, если они выражены перекрещивающимися понятиями. Например: "Некоторые преподаватели нашего института — изобретатели". Если же частноутвердительное суждение является выделяющим, т. е. предикат в нем подчинен субъекту, то предикат будет распределен.

18 – Логические отношения между сужениями . Логический квадрат.

Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);две вертикальные стороны - отношения между А и I (левая), Е иО (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие(контрадикторность).

Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными.

Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот. Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих. A истинно, E – ложно.

19– Условие, разделительные и условно-разделительные суждения.

Разделительные –

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

Условные – Если А есть В, то С есть D когда сказуемое ограничивает отношение каким-либо условием. Прим: «Если дождь пойдет, то почва будет мокрая»

Основание – (предыдущее) суждение, которое содержит условие

Следствие - (последующее) суждение, которое содержит следствие.

20 – Сложные суждения. Их особенность и виды.

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

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

• нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;

• строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как  или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

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

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

21. Суждения модальности,их виды.

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

1. Алетическая модальность выражается с помощью операторов (функторов) "необходимо"(□), "возможно"(◊), "случайно"(С). Основными алетическими понятиями принято считать понятия возможности и необходимости. Для выражения возможности в русском языке употребляются слова "возможно", "может быть", "вероятно" и др. Для выражения необходимости употребляются слова "необходимо", "должно быть", "следовательно" и др.

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

3. Деонтическая (нормативная) модальность отражает связь утверждаемого в суждении с нормами морали, права, конкретными обязательствами ("должен", "обязан", "может", "допустимо", "запрещено", "разрешено"), а также может выражать приказ, побуждение к определенным действиям.

Деонтические опрераторы:

О - обязывание

F - запрещение

Р - разрешение

4. Эпистемическая модальность отражает степень обоснованности содержания суждения в знании (от "доказано" или "опровергнуто" до "вероятно", "проблематично", "маловероятно" т. п.), а также способ принятия информации, содержащейся в суждении ("знаю", "верю", "убежден", "сомневаюсь" и т.п.).

22.Понятие логического закона. Основные логические законы,их особенность.

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

Основные логические законы-закон тождества,закон непротиворечия,закон исключённого третьего,закон достаточного основания.

23.Закон тождества.

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

Нарушением закона будет неопределенность или двусмысленность. Ошибки, допускаемые при нарушении закона тождества, получили общее название «подмена тезиса».Нарушением закона тождества можно считать и тавтологии, то есть использование тождественных понятий по принципу «масло масляное».