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