ფორმალური მეცნიერებების განმარტება
Miscellanea / / July 04, 2021
ხავიერ ნავაროს მიერ, თებერვალს 2018
მეცნიერების შემადგენელი სხვადასხვა დარგების დალაგება შესაძლებელია სამი პარამეტრის საფუძველზე: სასწავლო ობიექტის მიხედვით, გამოყენებული მეთოდით და დანიშნულების მიხედვით. სხვა მოდელის კლასიფიკაცია შედგება მეცნიერებათა დაყოფად ორ დიდ ჯგუფად: ფორმალური მეცნიერებები და ფაქტობრივი ან ემპირიული.
ოფიციალური
ლოგიკა და მათემატიკა ორი ფორმალური დისციპლინაა, რადგან მათ არ აქვთ კონკრეტული ემპირიული შინაარსი, როგორც ეს ხდება ბიოლოგიასთან დაკავშირებით, მეტეოროლოგია ან ისტორია.
ლოგიკა არის ა დისციპლინა წმინდა ფორმალური და აბსტრაქტული. მკაცრი გაგებით მას არ გააჩნია დაკვირვებადი, გაზომვადი და მატერიალური შინაარსი. სინამდვილეში ეს არის წესების ერთობლიობა, რომელიც გამოიყენება ნებისმიერი ტიპის ცოდნისთვის, იქნება ეს სამეცნიერო თუ ყოველდღიური ცხოვრება.
ლოგიკის წესები საშუალებას იძლევა იფიქრე თანმიმდევრულად და რაციონალურად. ამრიგად, არ შემიძლია ვთქვა, რომ რაღაც არის და არც არის, რადგან მე არღვევ არა – წინააღმდეგობის პრინციპს და ვერ დავამტკიცებ, რომ რაღაც არ არის თავის იდენტური, რადგან მე წინააღმდეგი ვარ პირადობა.
მათემატიკა წმინდა აბსტრაქტულია, რადგან მისი შინაარსი გონებრივია და არა მატერიალური.
გახსოვდეთ, რომ რიცხვები ბუნებაში არსად არსებობს, რადგან ისინი ადამიანის გონების გამოგონებაა, რომლითაც რამე ითვლება ან გამოითვლება რეალობის შესახებ. Ამ თვალსაზრისით, არითმეტიკა, გეომეტრია ან ალგებრა არის მათემატიკური დისციპლინა, რომელიც ემყარება რიგ პრინციპებს, რომელთა რაციონალური დემონსტრირებაც შეიძლება.
თუ მითითებად ავიღებთ რომელიმე განტოლება მათემატიკური, მისი ფორმულირება მოქმედებს სინამდვილის სრულიად დამოუკიდებელი გზით.
მოკლედ, ლოგიკა და მათემატიკა ქმნის ფორმალურ სისტემებს, რომლებიც მოიცავს ელემენტების სერიას: აქსიომები, სიმბოლოები, წესები დასკვნა და თეორემები. ეს ელემენტები გამოხატულია განცხადებების სახით, რომლებიც აღწერილია ნიშნების საშუალებით.
ფაქტობრივებს ფორმალური მეცნიერებები აქვთ დაფარული
დისციპლინების ერთობლიობას, რომელიც ეხება ფაქტების შესწავლას, საჭიროა ფორმალური სტრუქტურა ისე, რომ მათი შესწავლის ობიექტს ჰქონდეს აზრი. მეორეს მხრივ, იმის საჩვენებლად, რომ ბიოლოგიის ან ქიმიის დებულებები ფორმალურად შეესაბამება, უნდა არსებობდეს კორელაცია ემპირიულ მონაცემებთან.
მოკლედ, ფორმალური მეცნიერებები დაპროექტებულია დაკვირვებადი ფაქტების სამყაროში. თუ პითაგორას თეორემას მითითებად მივიღებთ, მისი ფორმულირება მოქმედებს ნებისმიერი რეალობისთვის, რომელშიც არის მართკუთხა სამკუთხედის ფორმირების მართკუთხედი.
მოკლედ, ფორმალური მეცნიერებები და ფაქტობრივი მეცნიერებები ერთმანეთს ავსებენ და არ უნდა იქნეს აღქმული, როგორც ცოდნის ცალკეული სფეროები.
ფოტოები: Fotolia - Artisticco / სერგეი ბოგდანოვი
თემები ფორმალურ მეცნიერებებში