Definicja nauk formalnych

Poszczególne dyscypliny składające się na naukę można uporządkować według trzech parametrów: według przedmiotu badań, zastosowanej metody i celu. Inny model Klasyfikacja polega na podzieleniu nauk na dwie duże grupy: nauki formalne i faktyczne lub empiryczne.

Te formalne

Logika i matematyka to dwie formalne dyscypliny, ponieważ nie mają konkretnej treści empirycznej, jak to ma miejsce w biologii, meteorologia lub historii.

Logika to dyscyplina czysto formalny i abstrakcyjny. W ścisłym tego słowa znaczeniu nie ma obserwowalnej, mierzalnej i namacalnej treści. W rzeczywistości jest to zbiór zasad, które mają zastosowanie do każdego rodzaju wiedzy, czy to naukowej, czy życia codziennego.

Pozwalają na to zasady logiki myśleć spójnie i racjonalnie. Nie mogę więc powiedzieć, że coś jest i nie jest jedno i drugie, ponieważ naruszam zasadę niesprzeczności i nie mogę stwierdzić, że coś nie jest identyczne z samym sobą, ponieważ jestem przeciwko tożsamość.

Matematyka jest czysto abstrakcyjna, ponieważ jej treść jest umysłowa, a nie materialna.

Pamiętaj, że liczby nie istnieją nigdzie w przyrodzie, ponieważ są wynalazkami ludzkiego umysłu do liczenia lub obliczania czegoś o rzeczywistości. W tym sensie, arytmetyka, geometria lub algebra to dyscypliny matematyczne oparte na szeregu zasad, które można racjonalnie zademonstrować.

Jeśli weźmiemy za punkt odniesienia dowolne równanie matematyczny, jego sformułowanie jest ważne w sposób całkowicie niezależny od rzeczywistości.

Krótko mówiąc, logika i matematyka tworzą systemy formalne, które zawierają szereg elementów: aksjomaty, symbole, reguły wnioskowanie i twierdzenia. Elementy te wyrażane są w formie stwierdzeń, które są opisane znakami.

Faktyczne mają ukryte nauki formalne.

Zbiór dyscyplin zajmujących się badaniem faktów wymaga formalnej struktury, aby przedmiot badań miał sens. Z drugiej strony, aby wykazać, że twierdzenie z biologii lub chemii jest formalnie prawdziwe, musi istnieć korelacja z danymi empirycznymi.

Krótko mówiąc, nauki formalne rzutowane są na świat obserwowalnych faktów. Jeśli przyjmiemy twierdzenie Pitagorasa jako odniesienie, jego sformułowanie jest ważne dla każdej rzeczywistości, w której istnieje kąt prosty tworzący trójkąt prostokątny.

Krótko mówiąc, nauki formalne i merytoryczne są komplementarne i nie powinny być rozumiane jako odrębne obszary wiedzy.

Zdjęcia: Fotolia - Artisticco / Sergey Bogdanov