Логика

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