ფორმალური მეცნიერებები

ფორმალური ეწოდება მეცნიერებას, რომელიც შეისწავლის აბსტრაქტულ თემებს, რომელთაც ერთი შეხედვით პრაქტიკული გამოყენება არ გააჩნიათ. გამოყენებითი მეცნიერებების საპირისპიროდ, მათ წმინდა მეცნიერებებსაც უწოდებენ. ჭეშმარიტების დადგენისათვის მათი კვლევის მეთოდი არის დედუქცია.

ფორმალური მეცნიერებები და მათი კვლევის მთავარი საგანი: