Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Определение (логико-методологические проблемы)
Автор: Горский Д.П.
Аннотация:
Разработанный математической (символической) логикой аппарат дедуктивных способов рассуждения не применяется, как правило, в явной форме не только на уровне повседневных рассуждений, но даже в такой строгой науке, какой является математика. Это, однако, не означает, что теория дедукции (в том числе и такой ее раздел, как метаматематика) имеет чисто теоретический интерес. Она широко применяется в основаниях математики, при решении некоторых математических задач, в технике. Идеи и методы символической логики стали широко использоваться и при анализе отдельных фрагментов и компонентов научного знания вообще (логика научного познания).