Исследование логических систем

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