Формальна логіка, наука про мислення, предметом якої є дослідження висновків і доказів з точки зору їх форми і у відверненні від їх конкретного вмісту. Ф. л. – базисна наука; її ідеї і методи використовуються як в повсякденній практиці, наприклад як засіб запобігання логічним помилкам, так і особливо в теорії для логічного аналізу наукового знання. Див. Логіка .
