Валерий Александрович Суровцев

Литература:

Войшвилло, Дегтерёв, Ивлев – все логика. Бочаров, Маркин – основы логики

1 тема: Предмет и метод формальной логики.

302 – аудитория

Логика – это наука о формах и законах мышления.

Процесс мышления субъективен. Знания имеют объективный характер.

Мышление объективизируется в знании.

Знание состоит из двух существенно разнородных вещей: 1) Содержание знания (Совокупность разнородных сведений, в которых одно знание отличается от другого) 2) Формы представления знаний. Формы представления знаний у всех знаний одинаковы. Формы организация бывает разные. Три формы организации знания: 1) Прагматическая форма ( руководствуется полезностью знания ) 2) Эстетическая (руководствуется эстетическими категориями) 3) Теоритическая (Руководствуется потребностью чистого разума, на целено на поиски истины. В качестве оценки выступает истина и ложь )

1)Если сахар поместить в воду, то он растворится

2)Если число делится на четыре, то и делится на два

Если А, то В – метод формализации

А есть В

a R b

Два вопроса:

1. Источником знания является опыт.

2. Логические формы – это результат мышления

Эмпирическая арифметика. Метод формализации. (2+1=3, к двум яблокам + прибавить одно = 3, a+b=c) Алгебра изучает свойство отношений и представлений.

Выявить и систематизировать формы.

Естественно-научный закон – это знание, которое претендует на истинность своих притязаний в связи с подтверждением опытом.

1) Либо А, либо не-А.

2) А есть не-А

Логический закон – это знание, истинное в силу своей формы.

Все люди смертны => Сократ смертен

Сократ – А, Все – С, Люди – В,

С-В, А-С, => A-B

Все З-К, С-К => С-З

B-C, A-C => A-B

Нам неважно о чем мы говорим для нас главное выполнять нормативную базу.

1. Загадки про морковку ( задачи на угадывание )

2. Логические задачи, которые имеют четкий алгоритм решения.

Логика делится на две части:

1. Учение о логических формах

2. Теория доказательств

Теория понятий – это раздел об учение логических элементов

Выделяли три логических элементов:

1. Понятие

2. Суждение

3. Умозаключение

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

Способность к чувственному восприятию. Наглядные представления субъективны. Наглядные представления единичны. Наглядные представления изменчивы. Мышление – активная способность и результатом мышления являются понятия. Понятия объективны. Понятие общие. Понятия устойчивы.

Структура понятия:

Любое понятие состоит из двух элементов:

1. Это то, что называют объемом понятия – это совокупность мыслимых в понятие предметов.

2. Содержание понятия – это совокупность мыслимых в понятие признаков.

При характеристике любого понятия используется два типа отношений:

1. Говорят, что некоторые предметы подпадают подпонятия.

2. Полное содержание понятия – это совокупность всех мыслимых в понятии признаков. Основное содержания понятия – это совокупность признаков, необходимых и достаточных для образования понятия.

Классификация признаков по степени их существенности. В этой классификации выделяют два вида: 1) Существенные – это те признаки, без которых понятие невозможно. 2) Несущественные – признаки при которых понятие возможно.

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

Несущественные признаки: Сопутствующие признаки – это признаки, которые сопровождают представление о предмете. Неотъемлемые и отъемлемые – это, которые характеризует определенную степень ущербности.

Случайные признаки – это признаки, которые имеют случайную степень, либо отсутствие совсем.

Виды понятий:

17.09.2011

Для различия видов понятий используется несколько оснований:

1. Все понятия различаются по количеству мыслимых предметов.

Понятия делятся на пустые и непустые:

1. Пустые понятия – это понятие, о несуществующих предметах. Делятся на фактические пустые и логически пустые

Фактически пустые понятия – понятия о нереальных, но возможных предметах

Логически пустые – О невозможных понятий

Противоречия ставит границы возможных реализаций тех или иных понятий. Возможно все, что мыслится не противоречиво, а все, что противоречиво помыслить нельзя.

Непустые понятия единичны и общие

Под единичные понятия попадает один единственный предмет, например, президент России.

Общие понятия, например, суд, спутник, президент.

По характеру мыслимых предметов все понятия делятся на абстрактные и конкретные.

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

Абстрактные понятия это понятия об отвлеченных свойствах, отношениях и операциях.

Собирательные понятия.

Абстрактные понятия, например, деревянный, ближе, дальше, тяжелее.

По характеру содержания:

1. Простые

2. Сложные

Все понятия делятся на положительные и отрицательные.

Понятие человек – это положительное, а понятие несовершеннолетний – отрицательное.

Соотносительные и безотносительные понятия:

Специфика соотносительных в том, что они мыслятся парами.

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

Отношения между понятиями

Все понятия делятся на сравнимые и несравнимые.

Сравнимые имеет общее содержание, несравнимое не имеет.

Сравнимые делятся так же на две группы:

Отношения совместимости и отношения несовместимости.

Совместимые имеют общие элементы объема, например, студент и спортсмен.

Совместимых бывает три разновидности:

1. Равнозначности. Называют понятия, которые имеют один и тот же объем. Совпадает А с В

2. Подчинения в этом случае объем одного понятия является частью объема другого. В подчиняется А

3. Перекрещивания в этом случае объем совпадают частично. Есть общая часть

Несовместимые понятия:

1. Отношение соподчинения (Два несовместимых понятий обладают общими родовыми признаками и соподчинены С )

2. Отношение противоречий ( Одно понятие дополняет другого до третьего понятия )

3. Противоположности ( В этом случае два понятия являются крайним выражением состояния )

Юрист , прокурор, депутат, президент

Студент, Студент ТГУ, студент Юрист, студент вечерник

Мужчина, Женщина, умный человек, студент юрист

Человек, общество, человечество.

Человек, животное, млекопитающие, обезьяна

24.09.2011

Операции с понятиями:

Вопросы:

1. Определение понятий

2. Обобщение и ограничение понятий

3. Деление понятий

Определение – это логическая операция, раскрывающая содержания понятия, фиксирующая необходимые и достаточные признаки предмета некоторого класса. ( Дефиниция )

В структуре определения выделяют два элемента:

1. Определяемое понятие ( дефиниендум Dfd ) – это содержание которого раскрывается в понятие

2. Определяющие понятие ( дефиниенц Dfn ) – это понятие с помощью которого мы раскрываем понятие

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

По средствам выражения определения делятся:

1. Вербальные – определение по средствам языковых выражений

2. Не вербальные – по средствам жестов

По цели определения:

1. Реальные – целью являются вещи или предметы

2. Номинальные – это определения, в которых уточняется смысл термина или языкового выражения

По способу раскрытия содержания:

1. Явные – это такие определения, в которых фиксируется признаки, принадлежащие предмету. Разновидностью являются родовидовые определения. A=Bc

2. Не явные - это определения, в которых описывается отношения, в которых предмет находится с другими предметами. Разновидностью является: аксиомы и контекстуальные определения ( смысловая связь слов )

Атрибутивное определение, функциональное определение, генетическое определение, операциональное определение.

Атрибутивное определение – это такие определения, в которых мы указываем внутри присущие предмету признаки или их называют атрибуты.

Функциональное определение – это такие определения, в которых мы фиксируем функции предмета.

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

Операциональное определение - указывает на способ измерения или проявления определяемого предмета.

Остенсивное определение – это определение по средством указания на предмет.

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

1. Определение должно быть соразмерным, ошибки: 1.1) Слишком объемные определения Dfd < Dfn 1.2) Слишком узкое определение Dfd > Dfn

2. Определение не должно содержать в себе круга ошибка: 2.1 ) Круг в определение, когда одно понятия выражаем через первое, а последующие через опять же через первое, когда становится слишком много определения, то замкнутый круг неизбежен. 2.2) Порочный круг А-В, В-А.

3. Определение должно быть ясным и точным ошибка: 3.1) Определение известного через неизвестное. 3.2) В определение нельзя использовать метафоры и образы.

4. Определение не должно быть отрицательным.

5. Не нужно определять все.

Определения – это логическая операция, в которой раскрывается содержание понятия или смысл, соответствующего понятию термину.

01.10.2011

Принцип Лейбница: при замене равного на равное целое не меняется.

Контекстуальное определение – содержание термина усваивается, когда его смысл понятия, когда он усваивается из контекста определения.

Обобщение и ограничение понятий.

Обобщение – это логическая операция, при которой от понятия с меньшим объемом и большим содержанием переходят к понятию с большим объемом и меньшим содержанием.

Обобщение – это переход от вида к роду

Обобщение ограничения осуществляется относительно некой теоретической системы. Обобщение осуществляется за счет отбрасывания специфических признаков.

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

Подчинено правилу

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

08.10.2011

Операция деления понятий:

Деление понятия – это логическая операция, при которой раскрывается объем понятия за счет выделения его составных частей.

Любое деление понятия состоит их трех элементов:

1. Делимое понятие – это исходное понятие, которое нужно поделить

2. Члены деления – это понятия, которые получаются в результате деления

3. Основание деления – это признак, по которому делится понятие.

Два типа деления:

1. По способу образования членов деления, во-первых, это деление по видообразующему признаку, в этом случае, члены деления образуются на основание различных степени проявлений признаков.

2. Дихотомическим ( деления пополам ) – в этом случае, члены образуются на основание наличия или отсутствия признака.

Операция деления в основании всех возможных классификаций. Классификация имеет более сложный характер, дерево классификации, корневое понятие, таксономические определения, члены деления – таксоны. Предел классификации - единичные понятия. В отличие от простого деления классификация имеет строгий порядок.

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

1. Правило соразмерности – совокупность объемов членов деления должна исчерпывать объем делимого понятия. Ошибка – неполное деление.

2. Члены деления не должны пересекаться т.е это значит, что один и тот же предмет не должен попадать в разные таксоны.

3. Правило несовместимости делителей: говорит о том, что деление нужно проводить только по одному основанию. Ошибка – смещение оснований

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

«Хороший, плохой, злой»

Все классификации бывают естественными и искусственными.

Если признак существенный, то естественное, а если нет, то искусственное.

Основные и вспомогательные.

Классификационно-подобные операции основа типология.

Идеализированный объект основана на идеализации. Процедура, при которой одно или несколько свойств объекта рассматриваются в высшей степени, а остальные свойства игнорируются.

Типологии бывают двух типов:

1. Типологии, основанные на идеальном типе. В качестве образца рассматривается нереальный предмет, а идеализированные объект

2. Эталонные. В качестве образца реально существующий объект.

15.10.2011