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