Логика в вопросах и ответах

Значение закона достаточного основания в юридической практике состоит, в частности, в следующем. Всякий вывод суда или следствия должен быть обоснован. В материалах по поводу какого-либо дела, содержащих, например, утверждение о виновности обвиняемого, должны быть данные, являющиеся достаточным основанием обвинения. В противном случае обвинение не может быть признано правильным. Вынесение мотивированного приговора или решения суда во всех, без исключения, случаях является важнейшим принципом процессуального права. Таким образом, закон достаточного основания, сформулированный Лейбницем, можно отнести к общенаучным принципам, поскольку он требует, чтобы ничто не принималось просто так на веру. В случае каждого утверждения следует указывать основания, в силу которых оно считается истинным.

Методы в логике

Научное знание, в отличие от житейского опыта и здравого СМЫСЛА, характеризуется рядом специфических черт.

Во-первых, научное знание имеет сложные социально выработанные формы выражения научной истины в виде научных понятий, принципов, методов и теорий.

Во-вторых, научное знание – это не опыт отдельного человека. Наука является суммарным опытом всего человечества на всем историческом пути его развития.

В-третьих, по своей природе научное знание является не стихийным, строго организованным, упорядоченным и субординированным.

В-четвертых, оно представляет собой принципиально проверяемую систему, основанную на фактах.

В-пятых, научное знание – это не только система готового знания, но и система приобретения нового знания, то есть система научных методов.

Метод – это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.

Современная система методов столь же разнообразна, как и сама наука. Различают экспериментальные, теоретические, эвристические и алгоритмические методы. Можно выделить количественные и качественные методы изучения реальности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, гипотико-индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы идеализации, обобщения, типологизации и классификации.

Каждый из этих методов конкретизируется в какой-либо науке и наполняется своим конкретным содержанием. Некоторые методы являются универсальными, другие – более ограничены. Например, эмпирический метод. Он заключается в накоплении, описании, объяснении, классификации и систематизации фактов и данных экспериментов над явлениями. Будучи конкретным, он далек от универсальности.

Перейдем к рассмотрению некоторых методов, используемых в логике.

Прежде всего это эвристический метод. Он представляет собой нахождение некоторого алгоритма решения проблемы. Здесь начинают играть существенную роль методы познания, связанные с математикой. В то же время данный метод, хотя и являясь теоретическим, тесно связан с эмпирическими методами построения теорий.

Более эффективным в логике является использование аксиоматического метода. Это способ построения теории, при котором некоторые положения теории выбираются в качестве исходных, а все остальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, – теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений – теорем.

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

В символических языках определенные символы, обозначая соотношения между понятиями, соответствуют слову или выражению естественного языка. Таким образом, между структурами мышления и структурами их языкового выражения существует определенное соответствие. Это приводит к тому, что внутри формальной логики операции с мыслями о предметах можно заменить действиями со знаками и символами. Следовательно, формализация в данном случае представляет собой логический метод уточнения содержания мысли посредством уточнения ее логической формы.