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

 ფორმალური მეცნიერებები არის ის, რომლებშიც ანალიტიკური წინადადებები მიიღება განცხადებები მათემატიკისა და ლოგიკის. ამ გზით, მისი სასწავლო სფეროა არა რეალური სამყარო, არამედ იდეალური სამყარო, შინაარსის ცარიელი ფორმები ვიდრე ბევრი შემთხვევა შეიძლება სრულად არ იყოს დაკვირვებადი, მაგრამ ისინი მოქმედი ანალიტიკური საშუალებებია ამის გასაგებად რეალობა. Მაგალითად: სტატისტიკა, ლოგიკა, მათემატიკა.

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

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

მას შეუძლია მოგემსახუროს:

ისინი ფაქტობრივ მეცნიერებებს ეწინააღმდეგებიან

ჩვეულებრივ, ფორმალური მეცნიერებების ცნება ეწინააღმდეგება ფაქტობრივი მეცნიერება, ვინც შეისწავლის ფაქტებს. როგორც ერთი, ასევე მეორე ძალიან მნიშვნელოვანია დღევანდელ სამყაროში, რადგან ისინი შეავსებენ ერთმანეთს ამ ორს შორის: ზოგიერთი ფუნდამენტური მეცნიერების წვლილი ტექნოლოგიურ წინსვლაში (მაგალითად, ქიმია ან გამოთვლა) ემყარება ფორმალურ სისტემებს, როგორიცაა მათემატიკა.

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

1. თეორიული კომპიუტერული მეცნიერება. კომპიუტერული მეცნიერების განყოფილება, რომელიც ფოკუსირებულია ტერიტორიის უფრო აბსტრაქტულ და მათემატიკურ ასპექტებზე. იგი მოიცავს ალგორითმების ანალიზს და განსაკუთრებით ფორმალური სემანტიკის ანალიზს პროგრამირების ენები.
2. სტატისტიკა. მეცნიერება, რომელიც პასუხისმგებელია მონაცემთა შეგროვებაზე, ორგანიზებაზე, დამუშავებაზე, ანალიზსა და ინტერპრეტაციაზე, ა მოსახლეობა ობიექტური
3. Ლოგიკა. დისციპლინა, რომელიც სწავლობს გონივრულობის ოფიციალურ პროცედურებს, ცდილობს იცოდეს თუ რა ტიპის პროცედურებს იყენებს ადამიანის ტვინი ფორმალური წინადადებების საშუალებით.
4. Მათემატიკა. დედუქციური მეცნიერება, რომელიც ეძღვნება აბსტრაქტული პირების თვისებებისა და მათი ურთიერთობების შესწავლას. მუშაობს რიცხვები, სიმბოლოები და გეომეტრიული ფიგურები.
5. სისტემების თეორია. ზოგადად სისტემების ინტერდისციპლინარული შესწავლა, კვლევის ყველა დარგში სისტემების ნებისმიერი დონის პრინციპების შესწავლის მიზნით.

მიჰყევით შემდეგს: