Логика – это нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью языка.
Ступени познания: чувственная – рациональная.
Формы познания мира на чувственной ступени: ощущения, восприятия, представления.
Формы познания мира на рациональной ступени: понятия, суждения, теории.
Познавательные приемы (рациональная ступень): определение, деление и классификация, научный спор, РАССУЖДЕНИЕ.
Логика – это теория рассуждений.
Рассуждение – это цепь (последовательность) умозаключений.
Умозаключение – это непосредственный переход (выведение) от (из) нескольких высказываний к одному (одного) высказыванию (я).
А1… Аn посылки
____________ черта («значит»)
В заключение
Все сыновья Гегеля – сумасшедшие.
Ни один сумасшедший не допускается до выборов.
Следовательно?
Ганс Мюллер голосует.
Следовательно?
Если город большой, там легко потеряться приезжему (в первый раз, без карты и т.д.)
В Нью-Йорке приезжему легко потеряться.
Поэтому Нью-Йорк – большой город.
Если у вас есть конспект лекций, вы получите зачет.
Значит, если у вас нет конспектов лекций, вы не получите зачета.
Если у человека есть дети, он должен заполнить эту графу (указав их количество и возраст)
У меня нет детей.
Значит, я должен оставить эту графу пустой (не заполнять ее).
Не все люди философы.
Поэтому некоторые люди философы.
Некоторые шоферы не мужчины.
Поэтому некоторые мужчины не шоферы.
Поэтому собаки не летают.
Кот Васька играет на тромбоне или говорит по-французски.
Кот Васька не умеет играть на тромбоне.
Поэтому Кот Васька владеет французским.
Все боятся Дракулы.
Дракула боится только меня.
Значит, я – Дракула.
Высказывания (элементы умозаключения) оцениваются в категориях «истинно – ложно», умозаключения – в категориях «правильно – неправильно».
Это два разных вопроса, ответы на которые в общем случае независимы друг от друга. Истинность посылок и заключения не гарантирует правильность УЗ, так же как ложность не гарантирует неправильности. И обратно, правильность УЗ не означает истинности его заключения (это будет справедливо только при условии истинности всех посылок), а неправильность – ложности заключения.
Если у человека есть дети, он должен заполнить эту графу (указав их количество и возраст)
У меня нет детей.
Значит, я должен оставить эту графу пустой (не заполнять ее).
Если А, то В.
Неверно, что А.
_____________
Неверно, что В
Если число делится на 4, оно делится на 2.
Число 6 не делится на 4.
_________________
6 не делится на 2
Это называется логической формой умозаключения. Выявлена без учета структуры простых высказываний.
Некоторые шоферы не мужчины.
Поэтому некоторые мужчины не шоферы.
Некоторые А не есть В.
__________________
Некоторые В не есть А
Некоторые животные не кошки
__________________
Некоторые кошки не животные
Логическая форма выявлена с учетом структуры простых высказываний.
Умозаключение является неправильным, если и только если его логическая форма не гарантирует, что при истинных посылках мы обязательно получим истинное заключение, то есть существует (хотя бы одно) умозаключение той же логической формы с истинными посылками и ложным заключением.
Умозаключение является правильным, если и только если его логическая форма гарантирует, что при истинных посылках мы обязательно получим истинное заключение, то есть не существует (ни одного) умозаключения той же логической формы с истинными посылками и ложным заключением.
