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