Исследование логических систем
Таванец П.В. (ред.)
Логический метод в диалектике совпадает с материалистическим в теории познания, а формальный, например, является специальным методом в освоении правовой действительности и многих других областей знания. Реально мыслящий человек всегда использует логические методы, а анализ и синтез всегда взаимосвязаны. Логический метод познания путем анализа выявляет структурные элементы - виды, типы, уровни знания, оформленные определенным текстом. Далее устанавливается их соотношение, ложность или истинность высказываний, уточняется понятийный аппарат, который реализует знания, устанавливается обоснованность, непротиворечивость и доказанность этого знания. Авторы сборника анализируют такие проблемы, как логическое следование, естественные языки и языки логики, взаимоотношения систем многозначной логики и др. В книге исследуются взаимоотношения формально-логических систем и способы их классификации.
Kategori:
Tahun:
1970
Penerbit:
М.: Наука
Bahasa:
russian
Halaman:
334
Fail:
DJVU, 23.16 MB
IPFS:
,
russian, 1970