Эмпирическое и теоретическое знания в логике Empirical and theoretical knowledges in logic

Ивлев Ю.В.

Московский государственный университет им. М.В. Ломоносова, г. Москва E-mail: ivlev.logic@yandex.ru

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

Какую информацию о реальности (объективной и субъективной) выражают логические термины на эмпирическом уровне познания? Эти термины можно разделить на описываю­щие объективную реальность и познание. К первой группе относятся термины, выражаемые, например, словами и словосочетаниями «суть (есть)», «если., то.», «и», а ко второй - «следовательно («если.,то.»)», «совместимо (по истинности или ложности), «необходимо (логически)», «возможно (логически)». Этими словами и сочетаниями слов в естественном языке выражаются различные термины. Например, в естественном языке союз «если., то.» употребляется в разных смыслах, т.е. им выражаются разные логические термины. По этой причине выделяются различные суждения с грамматическим союзом «если., то.» - условные, контрфактические, профактические, условно-ограничительные, суждения логиче­ского следования и др. К эмпирическому знанию относятся также знания отношений между мыслями по формам. Указанные знания составляют логическую антропологию.

Теоретическое знание в логике. Основной характеристикой теоретического знания явля­ется наличие моделей изучаемых объектов. Модель не только упрощает оригинал, но и, как правило, его искажает. Искажение реальности компенсируется упрощением ее познания. Примером теоретического объекта в логике может служить материальная импликация.