Логика. Черняк Н.А. - 3 стр.

                          ВВЕДЕНИЕ                                     сированных элементов его формы. Данное обстоятельство позволило
                                                                       заменить вывод какого-либо содержательного предложения выводом
                     ПРЕДМЕТ ЛОГИКИ                                    формулы, её выражающей. Мышление стало исследоваться с помощью
       Формальная логика – наука о законах и формах мышления.          формализованных языков (логических исчислений), а формализован-
Термин «логика» имеет свое происхождение от греческого logos, что      ные языки послужили основой для разработки языков, которыми поль-
означает «мысль», «слово», «разум», «закон».                           зуются в вычислительных машинах.
       Логика исследует логические формы, отвлекаясь от их конкрет-          Математическая логика – вторая после традиционной логики
ного содержания, анализирует мышление со стороны его формальной        ступень в развитии формальной логики, применяющая математические
правильности.                                                          методы и специальный аппарат символов и исследующая мышление с
       Формальная правильность означает соответствие мышления (рас-    помощью исчислений (формализованных языков). Большая, чем в тра-
суждения, доказательства) известным фиксированным правилам, соблю-     диционной логике, степень абстрагирования и обобщения позволяет
дение которых обеспечивает правильность перехода от одних выска-       современной символической логике познавать новые закономерности
зываний к другим.                                                      мышления, возникающие при решении сложных логических конструк-
       Предметом логики является выводное знание, т. е. знание, по-    ций в математике, кибернетике, при проектировании и в работе элек-
лученное из ранее проверенных истин в соответствии с определенны-      тронно-вычислительных машин и управляющих устройств.
ми законами. Логику не интересует в каждом отдельном случае истин-           С помощью логического аппарата и найденных законов логиче-
ная характеристика исходного знания. Ее задача заключается в том,      ского следования математическая логика дала возможность по-новому
чтобы установить, следует ли вывод из определенных посылок с необ-     осмыслить законы и правила традиционной логики и решить такие
ходимостью либо вероятно.                                              проблемы, которые долгое время оставались нерешёнными. Это отно-
       Другой задачей, вытекающей из уже указанной, является фор-      сится прежде всего к теории вывода, т. е. к самому существенному в
мализация и систематизация правильных способов рассуждений.            предмете формальной логики.
       Формальная логика представлена сегодня двумя науками – тра-           Значение логики заключается в том, что она учит, как правильно
диционной и математической (символической) логикой.                    по форме построить рассуждение, чтобы при условии верного приме-
       Традиционная логика – это первая ступень логики выводного       нения формально-логических законов из истинных посылок прийти к
знания. Она изучает общечеловеческие формы мысли (понятия, суж-        истинному выводу, расширяющему наши знания.
дения), формы связи мыслей в рассуждении (умозаключения), зафик-             Понятие логической формы. Логическая форма – это структу-
сированные в системе формально-логических законов (тождества, про-     ра мысли или способ связи элементов ее содержания. Логическая фор-
тиворечия, исключенного третьего и достаточного основания).            ма выражается посредством логических переменных и логических
       Основоположником традиционной логики считается Аристотель       констант. В качестве логической переменной может выступать любая
(384–322 гг. до н. э.). Ему принадлежит заслуга разработки основных    буква латинского алфавита: A, B, C, p, q. Константы, или логические
логических категорий и законов, а также систематического и последо-    постоянные, выступают способом связи логических переменных и вы-
вательного изложения логического учения.                               ражаются словами «все», «некоторые», «суть», «и», «или», «либо, ли-
       Изучение форм мышления и символическое обозначение их эле-      бо», «если…, то» и т.д. Для обозначения логических констант упот-
ментов, начатое ещё Аристотелем в IV в. до н. э., было продолжено      ребляются символы. Этим достигается большая компактность и стро-
затем Г. В. Лейбницем, Дж. Локком, Дж. Булем, П. Порецким, Г. Фре-     гость изложения. Примерами логических констант являются:
ге, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем и другими         ∀ (x) – квантор общности «для всякого x верно, что».
математиками и логиками. Это открыло перспективный путь исследо-             ∃ (x) – квантор существования – «существуют x».
вания материальных объектов, заключающийся в том, что, отвлекаясь            ∧ – логический союз конъюнкция, выражается посредством грам-
от внутренней изменчивости этих объектов и их вещественного субст-     матических союзов «и», «да», «но».
рата, содержание изучаемого явления можно выразить с помощью фик-
                                 5                                                                      6