NAUKI FORMALNE: CHARAKTERYSTYKA, PRZEDMIOT BADAŃ I PRZYKŁADY - NAUKA - 2026

Te formalne nauki składa się z systematycznym ciała spójnej i racjonalnej wiedzy. Jego celem nie jest świat fizyczno-naturalny, ale w pełni abstrakcyjne obiekty; Znajomość nauk formalnych może być jednak stosowana w rzeczywistości fizyczno-przyrodniczej i wykorzystywana przez nauki faktograficzne lub empiryczne.

Metodą używaną przez nauki formalne jest dedukcja i, w przeciwieństwie do nauk faktograficznych, nauki formalne nie dopuszczają ani uprowadzenia, ani indukcji. Dlatego formalna nauka pracuje z formami; to znaczy z przedmiotami, które istnieją tylko w ludzkim umyśle i są uzyskiwane przez abstrakcję.

Matematyka jest uważana za naukę formalną. Źródło: pixabay.com

Podobnie, prawda dla nauk formalnych jest rozumiana jako prawda logiczna: jest to szereg konsekwencji, które pojawiają się po rozważeniu wszystkich możliwości lub sposobów połączenia ustalonych z góry faktów. W tym kontekście przykładami nauk formalnych mogą być matematyka lub logika.

Cechą charakterystyczną nauk formalnych jest to, że są one gałęziami wiedzy naukowej badającymi systemy formalne. W konsekwencji nauka formalna potwierdza swoją teorię za pomocą zbioru zdań, aksjomatów, definicji i reguł wnioskowania.

Wszystkie nauki formalne są analityczne. To odróżnia je od nauk przyrodniczych i społecznych, które są argumentowane empirycznie; to znaczy, wymagają obserwacji świata rzeczywistego, aby znaleźć dowody na korzyść teorii. Zamiast tego formalna wiedza naukowa nazywana jest „twierdzeniami” i pochodzi z dowodów matematycznych.

Co więcej, zasady lub prawa określone przez nauki formalne są zawsze przestrzegane, niezależnie od przypadku. W konsekwencji są to prawa uniwersalne, które nie badają konkretnych zjawisk, jak to ma miejsce w przypadku nauk faktograficznych. Treść nauki formalnej jest pusta, ponieważ zachowana jest tylko w formie i związkach przyczynowych.

Jeśli chodzi o ich początki, niektórzy zwracają uwagę, że nauki formalne są tak stare jak ludzkość, ponieważ od początku człowiek posługiwał się matematyką i logiką do organizowania swojego świata. Jednak zaczęto nazywać je w ten sposób od czasów współczesnych, kiedy zostały konceptualizowane i sklasyfikowane.

cechy

Oto najważniejsze cechy nauk formalnych:

- Metodą używaną przez nauki formalne jest dedukcja.

- Kryterium ustalania prawdy przez naukę formalną opiera się na spójności lub niesprzeczności.

- Stwierdzenia nauki formalnej są zawsze analityczne, co oznacza, że ​​są wydedukowane za pomocą twierdzeń lub postulatów.

- Byty nauk formalnych mogą istnieć tylko w ludzkim umyśle.

- Matematycy i logicy budują własne przedmioty badań za pomocą pustych symboli.

- Demonstracja nauki formalnej jest kompletna, całkowita i ostateczna.

- Studia nauk ścisłych pobudzają nawyk rygoru.

Przedmiot badań

Ogólnie rzecz biorąc, można powiedzieć, że przedmiotem badań nauk formalnych są formy; Można je przedstawiać jako relacje, abstrakcje lub obiekty idealne, które zostały zbudowane w umyśle człowieka.

Niektórzy naukowcy twierdzą, że nauka formalna nie jest tak zainteresowana przyczynami zjawisk, ale raczej skupia się na tym, jak; to znaczy, że jest skłonny do form, a nie do samej treści.

Podsumowując, nauki formalne - znane również jako nauki idealne - to te, które nie koncentrują się na świecie lub naturze ani na rządzących nimi prawach chemicznych lub fizycznych.

Interesuje go formalne systemy relacji, które nie mają własnej treści, ale które można wykorzystać podczas analizy dowolnego aspektu rzeczywistości.

Przykładem powyższego może być fizyka, która jest nauką faktograficzną lub empiryczną odpowiedzialną za badanie ciał, ruchu, przestrzeni i materii. Jednak fizyka wykorzystuje matematykę - która jest nauką formalną - do przeprowadzania analiz i wniosków.

Przykłady nauk formalnych

-Statystyka

Statystyka to formalna dyscyplina odpowiedzialna za organizowanie, interpretowanie i przetwarzanie szeregu danych w celu ustalenia pewnych cech określonej populacji lub celu społecznego.

Według niektórych autorów statystykę można również zdefiniować jako naukę, która bada, w jaki sposób należy wykorzystywać informacje w pewnych praktycznych sytuacjach, które generują niepewność. W niektórych przypadkach statystykę definiuje się jako „naukę o danych”, ponieważ gromadzi, klasyfikuje i interpretuje te ostatnie.

Podobnie statystyki pozwalają badaczom przyjąć szereg danych jako punkt wyjścia do podjęcia pracy, gwarantując analizę i obiektywne uzyskanie zestawu wyników.

Statystyki można podzielić na dwie główne grupy:

Opisowe statystyki

Składa się z metody, która numerycznie opisuje zbiór danych. W związku z tym, będąc metodą numeryczną, statystyka opisowa wykorzystuje liczbę jako technikę opisu.

Główną cechą tego typu statystyk jest to, że nie pozwalają one na wyciąganie konkretnych wniosków; zapewnia tylko wyniki liczbowe.

Statystyka dedukcyjna, analityczna lub wnioskowa

Odpowiada za badanie prawdopodobieństwa sukcesu w ramach różnych możliwych rozwiązań konkretnego problemu. Ponadto statystyka wnioskowa tworzy model matematyczny, który wyprowadza zachowanie populacji na podstawie wniosków uzyskanych podczas obserwacji próbek.

W przeciwieństwie do statystyk opisowych, statystyki dedukcyjne lub wnioskowe pozwalają na wyciągnięcie konkretnych wniosków.

-Geometria

Geometria jest nauką formalną, która zaczyna się od matematyki, aby badać pomiary i właściwości postaci znajdującej się w przestrzeni lub na określonej płaszczyźnie. Z kolei geometria wykorzystuje systemy aksjomatyczne lub formalne do przedstawiania różnych aspektów rzeczywistości.

Te systemy aksjomatyczne składają się z symboli, które, przestrzegając pewnych zasad, mogą łączyć się i tworzyć łańcuchy, które również mogą być ze sobą połączone. Na przykład geometria opiera się na abstrakcyjnych pojęciach, takich jak między innymi krzywe, punkty i linie.

Należy zauważyć, że geometria jest jedną z najstarszych istniejących dyscyplin, ponieważ jej początki sięgają starożytnego Egiptu. W rzeczywistości, ważni matematycy i uczeni zwrócili się ku geometrii, aby rozwinąć badania dotyczące objętości, obszarów i długości rzeczy; wśród tych mędrców wyróżniają się Euklides i Herodot.

Jedną z najważniejszych postaci w badaniach geometrycznych był René Descartes, francuski fizyk i filozof, który zaproponował, że geometrię kształtu można wyrazić lub przedstawić za pomocą równań.

Geometrię można podzielić na dwie główne gałęzie:

Geometria analityczna

Składa się z pewnego rodzaju geometrii, która bada figury za pomocą układu współrzędnych. W tym badaniu wykorzystano metodologie analizy matematycznej.

Geometria opisowa

Geometria opisowa składa się z gałęzi poświęconej rozwiązywaniu problemów przestrzennych poprzez operacje wyrażane i rozwijane na płaszczyźnie; w tym są reprezentowane pewne postacie z stałych obiektów rzeczywistości.

-Lingwistyka teoretyczna

Lingwistyka teoretyczna jest nauką formalną wywodzącą się z językoznawstwa, która interesuje się głównymi aspektami języków naturalnych, biorąc pod uwagę strukturę języka i charakterystykę wiedzy językowej mówców.

Podobnie można stwierdzić, że językoznawstwo teoretyczne obejmuje inne dyscypliny, takie jak semantyka, fonologia, morfologia i fonetyka.

Nauka ta opiera się na konstrukcji uniwersalnych schematów i teorii, które mogą odnosić się do wszystkich języków używanych na świecie. W konsekwencji lingwistyka teoretyczna nie ma na celu wyjaśnienia pewnych konkretnych faktów w danym języku, ale raczej wskazuje na uniwersalność struktur językowych.

Z tego powodu można powiedzieć, że lingwistyka teoretyczna jest nauką formalną, ponieważ dyscyplina ta, podobnie jak statystyka, jest odpowiedzialna za zbieranie danych, które pozwalają nam interpretować, analizować i katalogować struktury gramatyczne i fonologiczne języków.

Co więcej, ta gałąź językoznawstwa wykorzystuje teoretyczne abstrakcje wraz ze złożonymi schematami, których nie można uchwycić w rzeczywistości, ale istnieją tylko jako idealne w ludzkim umyśle.

-Sztuczna inteligencja

Sztuczna inteligencja (AI) to dziedzina informatyki, która polega na przetwarzaniu szeregu abstrakcyjnych danych wykonywanych przez maszyny; Dane te umożliwiają urządzeniom elektronicznym wykonanie zadania lub celu.

Innymi słowy, poprzez serię abstrakcyjnych i liczbowych danych, sztuczna inteligencja zapewnia dostęp do maszyn, dzięki czemu mogą się uczyć, postrzegać, rozumować lub rozwiązywać pewne problemy.

Niektórzy naukowcy definiują sztuczną inteligencję jako gałąź obliczeniową odpowiedzialną za badanie modeli komputerowych, aby mogli wykonywać czynności typowe dla ludzi poprzez dwie główne cechy: zachowanie i rozumowanie.

Termin „sztuczna inteligencja” został wymyślony przez informatyka Johna McCarthy'ego w 1956 r., Który ustalił, że sztuczna inteligencja jest nauką o pomysłowości, ponieważ umożliwia budowanie inteligentnych programów komputerowych.

Bibliografia

1. Castañeda, J. (sf) Charakterystyka nauk formalnych lub idealnych. Pobrane 8 sierpnia 2019 r. Z Characteristics of science: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) Nauki formalne. Pobrane 8 sierpnia 2019 z Jstor: jstor.org
3. Raffino, M. (2018) Pojęcie nauk formalnych. Pobrane 8 sierpnia 2019 z Concept: concept.de
4. SA (sf) Formal Sciences. Pobrane 8 sierpnia 2019 z Wikipedii: es.wikipedia.org
5. SA (sf) Pojęcie nauk formalnych. Pobrane 8 sierpnia z De Conceptos: deconceptos.com
6. SA (sf.) Co oznacza nauka formalna? Pobrano 8 sierpnia 2019 r. Z Definitions: definitions.net
7. Soledispa, A. (sf) Charakterystyka nauk formalnych i faktograficznych. Pobrane 8 sierpnia 2019 z Academia: academia.edu
8. SA (sf) Co to są statystyki? Rodzaje i cele. Pobrane 11 sierpnia 2019 z Gestiopolis: Gestiopolis.com
9. SA (2018). Co to jest językoznawstwo teoretyczne? Pobrane 11 sierpnia 2019 z Quora: quora.com
10. Tegmark M. Korzyści i zagrożenia związane ze sztuczną inteligencją. Pobrane 11 sierpnia 2019 z Future of life: futureoflife.org
11. Figueras, C. (Sf) Geometry. Pobrane 11 sierpnia 2019 z Monographs: monogramas.com