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

მასალა ვიკიპედიიდან — თავისუფალი ენციკლოპედია
Jump to navigation Jump to search

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


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