логіка формальна

рос. логика формальная

наука, що вивчає форми мислення (поняття, судження, умовиводи) та структури наукового знання (дедуктивні системи, схеми доведення тощо).

Значення в інших словниках

1. логіка формальна — ЛОГІКА ФОРМАЛЬНА — наука, яка вивчає форми (схеми, способи) різноманітних міркувань. Її головна мета полягає в обґрунтуванні правильності чи неправильності способів отримання нового знання із уже наявного знання в процесі міркування.  Філософський енциклопедичний словник