- •Логика как наука и ее значение в системе образования.
- •Формирование и основные этапы развития логики. Современная л. И основные сферы ее практ. Применения.
- •Познание – основные уровни и формы. Понятие логической формы мышления.
- •Мышление и язык. Естественные и искусственные языки. Основные функции языка.
- •Язык логики. Основные понятия.
- •Семиотика как наука и ее основные понятия: знак и значение, объектный язык и метаязык, синтаксис, семантика и прагматика.
- •Понятие как форма мышления. Содержание и объем понятия.
- •Отношения между понятиями и их изображение на схемах.
- •Операция определения понятия (термина). Правила и виды определений.
- •Суждение (высказывание) и его логическая структура. Виды суждений. Суждение как минимальная единица информации.
- •Операция деления понятий. Правила деления. Классификация.
- •Логические приемы образования понятий.
- •Суждение как форма мышления.
- •Основные виды суждений. Состав и виды простых суждений.
- •Объединенная классификация суждений по количеству и качеству. Распределенность терминов в суждении.
- •Основные виды сложных суждений и их истинность.
- •Логические отношения между простыми суждениями.
- •Логические отношения между сложными суждениями.
- •Отношение между суждениями по логическому квадрату.
- •Модальность суждений. Основные виды модальности. Модальные операторы.
- •Язык логики высказываний (алфавит, понятие формулы). Табличное определение логических связок.
- •Виды формул по истинности. Построение таблиц истинности.
- •Законы логики как тождественно-истинные формулы логики высказываний.
- •Классическая и неклассическая логика.
- •Понятие умозаключения и его логическая характеристика, основные виды умозаключений.
- •Дедуктивные умозаключения (логический вывод) и их логическая характеристика. Понятие логического следования.
- •Непосредственные умозаключения и их виды.
- •Простой категорический силлогизм и его структура.
- •Силлогизм. Его разновидности. Правила силлогизма.
- •Правила терминов
- •Правила посылок
Виды формул по истинности. Построение таблиц истинности.
Формулам приписываются значения типа (И, Л) по следующим правилам:
*Формула вида А & В имеет значение И, если и только если значение А есть И и значение В есть И. В противном случае – если значение А, или значение В, или значения обоих вместе есть Л – формула этого вида имеет значение Л.
*Формула вида А В имеет значение И если и только если – какая-нибудь из ее составляющих – А или В – имеет это значение.
*Значение А есть И если и только если имеет место какой-нибудь из случаев (или оба): значение А = Л или значение В = И.
(p q) и и и л и и и и л л л л |
л и л и |
p л и и л л и и л |
При вычислении истинностных значений сложных высказыва-ний вида (p q) p при заданных значениях его составляю-щих: значение р – Л (ложь), q – И (истина). Для вычисления всего выраже-ния надо вычислить значе-ния его составляющих (p q) и p.
Законы логики как тождественно-истинные формулы логики высказываний.
Зак. мышления или лог. заключений- это необходимая существ. связь мыслей в проц. рассуждения.
Закон тождества- всякая мысль в процессе рассуждения должна быть тождественна сама себе, т.е. нельзя отождествлять различные мысли (подмена понятий) и тождеств. мысли принимать за нетождеств.. p→p.
Закон не противоречия- два несовместимых друг с другом суждения не могут быть одновременно истинными, хотя бы одно из них ложно. не(p и не p), не p- любое высказывание, искл. p. Зак. действ. в отнош. всех несовместных сужд..
Закон искл. третьего- два противоречащих сужд. не могут быть одновременно ложными, одно из них необходимо истинно. a есть либо b, либо не b.
Закон достаточного основания- всякая мысль признаётся ист., если она имеет достаточное основание. Аргументация утверждения. a→b.
Классическая и неклассическая логика.
Классическая л. как система знаний сформировалась еще в 4 в. до н.э. в трудах др.греч. мыслителя Аристотеля. Неклассическая л. возникла в конце 19 – начале 20 века в результате критики и дополнений некоторых основных положений парадигмы классической л.
Классическая л. ориентировалась на анализ математич-х рассуждений. С этими связаны многие ее особенности, нередко расценивающиеся теперь как ее недостатки. В процессе развития она оказалась одной из многих логических теорий. Классическая л. остается ядром современной л. сохраняющим как теоретическую, так и практическую значимость.
Различ.лассические направления, возникшие позднее, составляют то целое, которое принято объединять под именем неклассической л. Некоторые из этих направлений формировались в оппозиции к классической л., другие — в полемике с нею. Но для всех она была образцом подхода к логич-му анализу мышления, первой теорией, последовательно и полно реализовавшей программу математизации логики.
Неклассическая логика включает в себя модальную логику,; темпоральную (временную) логику; интуиционистскую логику; многозначную логику; релевантную логику; паранепротиворечивую логику; нефрегевскую логику; квантовую логику; вероятностную и др. Идущий в настоящее время процесс порождения новых систем неклассической логики позволяет охарактеризовать современное состояние логики как период логического плюрализма.