Эмпирическое и теоретическое знания в логике Empirical and theoretical knowledges in logic
Ивлев Ю.В.
Московский государственный университет им. М.В. Ломоносова, г. Москва E-mail: ivlev.logic@yandex.ru
Эмпирическое знание в логике. Для выявления логической формы мысли нужно знать типы нелогических терминов, а следовательно, нужно знать виды объектов, которые этими терминами обозначаются (или выражаются).
Основными из объектов на эмпирическом уровне познания являются предметы, свойства предметов, отношения между предметами, функциональные зависимости между предметами. Другая часть логического знания, которая выражается логической формой мысли, - это информация, которая представлена логическими терминами.Какую информацию о реальности (объективной и субъективной) выражают логические термины на эмпирическом уровне познания? Эти термины можно разделить на описывающие объективную реальность и познание. К первой группе относятся термины, выражаемые, например, словами и словосочетаниями «суть (есть)», «если., то.», «и», а ко второй - «следовательно («если.,то.»)», «совместимо (по истинности или ложности), «необходимо (логически)», «возможно (логически)». Этими словами и сочетаниями слов в естественном языке выражаются различные термины. Например, в естественном языке союз «если., то.» употребляется в разных смыслах, т.е. им выражаются разные логические термины. По этой причине выделяются различные суждения с грамматическим союзом «если., то.» - условные, контрфактические, профактические, условно-ограничительные, суждения логического следования и др. К эмпирическому знанию относятся также знания отношений между мыслями по формам. Указанные знания составляют логическую антропологию.
Теоретическое знание в логике. Основной характеристикой теоретического знания является наличие моделей изучаемых объектов. Модель не только упрощает оригинал, но и, как правило, его искажает. Искажение реальности компенсируется упрощением ее познания. Примером теоретического объекта в логике может служить материальная импликация.