Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить последнюю. Это два направления, две ступени в развитии формальной логики.
Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770— 1831) и с материалистических позиций переработанная в философии марксизма.
Диалектическая логика — наука о диалектическом мышлении, в принципах, законах и категориях которого отражаются взаимосвязи, изменение и развитие объективного мира. В отличие от формальной логики, изучающей законы и формы готового знания, диалектическая логика изучает развитие знания, формирует на основе всеобщих законов диалектики методологические принципы: объективность и всесторонность рассмотрения предмета, принцип историзма, восхождение от абстрактного к конкретному и др. Диалектическая логика служит методом познания диалектики объективного мира[12].
Логика формальная и логика диалектическая изучают один и тот же объект — человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Это значит, что диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой.
Формальная логика изучает формы мышления, выстраивая структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает не конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления, независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержанию суждений. Формальная логика изучает законы, обуславливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину.
Мышление, не подчиняющееся требованиям формальной логики, не способно правильно познавать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики, изложение основ которой и составляет задачу предлагаемого учебника.
1. Когда возникла наука логика? Кто ее основатель?
2. В чем отличие современной (символической) логики от традиционной (аристотелевской) логики? Что такое диалектическая логика?
3. Приведите определение формальной логики.
Глава II
Понятие
§ 1. Понятие как форма мышления
Понятие — это форма мышления, отражающая предметы в их существенных признаках.
Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются.
Любые свойства, черты, состояния предмета, которые так или иначе характеризуют предмет, выделяют его, помогают распознать среди других предметов, составляют его признаки. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство (черта, состояние) также рассматривается как его признак. Например, отсутствие билета у пассажира или оружия у преступника. Признаком бесхозного имущества является то, что оно не имеет собственника или его собственник не известен.
По наличию или отсутствию свойств признаки делятся на положительные и отрицательные. Признаки, характеризующие отдельный предмет, называются единичными, признаки, принадлежащие множеству предметов, называются общими. Так, каждый человек имеет признаки, одни из которых (например, черты лица, телосложение, походка, жестикуляция, мимика, так называемые особые приметы, броские признаки) принадлежат только данному человеку и отличают его от других людей; другие (профессия, национальность, социальная принадлежность и т. д.) являются общими для определенной группы людей; наконец, есть признаки, общие для всех людей. Они присущи каждому человеку и вместе с тем отличают его от других живых существ. К ним относятся способность создавать орудия труда, способность к абстрактному мышлению и членораздельной речи.
12
Создавая диалектическую логику, Гегель не отрицал значение логики формальной. Высоко оценивая Аристотеля как основателя формальной логики, Гегель писал: «Изучение этой формальной логики, без сомнения, приносит известную пользу; это изучение, как принято говорить, изощряет ум. Мы приучаем концентрировать мысль, приучаем абстрагировать, между тем как в обычном сознании мы имеем дело с умственными представлениями, перекрещивающимися и перепутывающимися друг с другом». («Энциклопедия философских наук». М., 1975. С. 115—116).