3. Предмет логики

Точность, по всей видимости, есть соответствие известному образцу, норме. Точные мысли обладают определённостью, т.е. соблюдают границы изменчивости, не нарушают установленный порядок. Принцип простоты построен на том, что не следует придавать исследуемым видам неоправданную сложность, искусственность. Необходимо учиться разлагать сложные мысли на более простые, внутренне однородные, более доступные для понимания. Средневековой британский философ и логик Уильям Оккам выработал и оформил этот принцип: "Сущности не следует умножать без необходимости", который получил наименование "бритвы Оккама". В несколько иной формулировке данный принцип выглядит так: "Не следует объяснять посредством большего то, что можно объяснить посредством меньшего".

Человеку достаточно сложно соблюдать правило пропорциональности, так как для этого нужно иметь склонность к прекрасному, гармонии и уметь видеть теорию в целом. Эллины называли такое чувство эстетическим и вырабатывали рекомендации, правила прекрасного в самых разных отраслях действительности. Логику можно назвать наукой о точных, простых пропорциях, характерных для стройного правильного ясного мышления. Логику иногда рассматривают как науку о симметрии, соразмерности и порядке наших мыслей, благодаря которому они становятся убедительными, весомыми и глубокими. В этих целях изучаются образцы, нормы, правила сочетания, способы связи мыслей. Логику вполне можно считать такой же классической наукой, как грамматика и математика. Все эти науки берут свой отсчёт с простых и очевидных положений. И лишь тогда, когда мы научимся их соблюдать, мы будем готовы перейти к более сложным сочетаниям и исключениям из правил.

В логике пользуются методом формализации, чтобы выявить структуру (форму) наших мыслей. В связи с тем, что любая мысль или система мыслей имеет определённую структуру (форму), эта структура (форма) может быть определена и выражена символически. Если бы мы не были в состоянии формализовать ту или иную мысль или систему мыслей, иначе говоря, определить то общее, что имеется в мыслях различного содержания и зафиксировать это общее посредством символов (знаков), развитие логики едва ли было бы возможным. Вместе с тем для процесса формализации характерно то, что он может применяться лишь к устойчивым, сформировавшимся мыслям, так сказать, мыслям, рассматриваемым в статике. Между тем и сами предметы, и мысли о предметах (т.е. наши знания о них) непрестанно изменяются, развиваются. Логические принципы нашего мышления также развиваются и совершенствуются в связи с поступательной исследовательской практикой человечества. Следовательно, и формализованные системы нашего мышления также находятся в постоянном развитии, уточняются и углубляются.

Указать предмет той или иной науки – это, по сути, то же самое, что дать определение науке. Логика – древняя наука, к тому же исследует достаточно широкий круг проблем, поэтому и существует множество её определений. Предметом логики (основным предметом) являются структуры (формы) мышления и его законы. Как уже указывалось, основными формами мышления выступают понятие, суждение и умозаключение. Основными законами мышления считают "закон тождества", "закон противоречия (непротиворечия)", "закон исключённого третьего" и "закон достаточного основания".

В символической записи первый закон выглядит так: "А есть А", "А=А", "АА (А эквивалентно А)". Закон противоречия (непротиворечия): (АА), т.е. не могут быть одновременно истинными суждение А и его отрицание. Закон исключения третьего: АА, из двух противоречащих суждений одно истинно, другое ложно, третьего не дано. Закон достаточного основания не имеет символической записи и может быть сформулирован следующим образом: "любое положение, для того чтобы считаться достоверным, должно быть доказанным, т.е. должны быть известны достаточные основания, в силу которых оно считается верным.

Таким образом, в качестве указания на предмет логики можно дать её следующее определение: "Логика – это философская наука о формах, в которых протекает мышление, и законах, которым оно подчиняется", которое сформулировал в своих учебных пособиях д.филос.н., профессор В.И. Кириллов. Весьма удачным определением этой науки нам кажется и определение, которое даёт М.М. Новосёлов в Философском энциклопедическом словаре: "…наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания". Под средствами мысли следует понимать законы мышления и те правила и методы, которые формулируются на основе знания этих законов.