PORMAL NA AGHAM: MGA KATANGIAN, BAGAY NG PAG-AARAL AT MGA HALIMBAWA - SCIENCE - 2025

Ang pormal na agham ay binubuo ng isang sistematikong katawan ng magkakaugnay at makatuwiran na kaalaman. Ang kanyang layunin ay hindi ang pisikal na natural na mundo, ngunit ganap na abstract na mga bagay; Gayunpaman, ang kaalaman sa pormal na agham ay maaaring mailapat sa pisikal na natural na katotohanan at ginagamit ng mga katibayan o empirikal na agham.

Ang pamamaraan na ginamit ng pormal na agham ay ang pagbabawas at, hindi katulad ng mga agham na pang-agham, ang pormal na agham ay hindi umamin alinman sa pagdukot o induction. Samakatuwid, ang isang pormal na agham ay gumagana sa mga form; iyon ay, sa mga bagay na umiiral lamang sa pag-iisip ng tao at nakuha sa pamamagitan ng abstraction.

Ang matematika ay itinuturing na pormal na agham. Pinagmulan: pixabay.com

Gayundin, ang katotohanan para sa pormal na agham ay nauunawaan bilang isang lohikal na katotohanan: ito ay isang serye ng mga kahihinatnan na sumusunod pagkatapos isinasaalang-alang ang lahat ng mga posibilidad o mga paraan kung saan ang mga naunang naitatag na katotohanan ay maaaring pinagsama. Sa kontekstong ito, ang mga halimbawa ng pormal na agham ay maaaring matematika o lohika.

Isang katangian ng pormal na agham ay ang mga ito ay mga sanga ng kaalamang siyentipiko na nag-aaral ng mga pormal na sistema. Dahil dito, pinatunayan ng isang pormal na agham ang teorya nito sa pamamagitan ng isang hanay ng mga panukala, axioms, kahulugan, at mga panuntunan sa pagkilala.

Ang pormal na agham ay lahat ng analytical. Naiiba ito sa kanila mula sa natural at panlipunang agham, na pinagtatalunan na empirically; iyon ay, nangangailangan sila ng pagmamasid sa totoong mundo upang makahanap ng katibayan na pabor sa isang teorya. Sa halip, ang pormal na kaalaman sa agham ay tinatawag na "theorems" at nagmula sa mga patunay sa matematika.

Bukod dito, ang mga panuntunan o batas na itinakda ng pormal na agham ay palaging sinusunod, kahit na ano ang kaso. Dahil dito, ang mga ito ay mga unibersal na batas na hindi nag-aaral ng mga kongkretong bagay, tulad ng nangyayari sa mga agham na pang-agham. Ang nilalaman ng isang pormal na agham ay walang laman, dahil ito ay pinapanatili lamang sa anyo at sa mga relasyon na sanhi.

Tungkol sa mga pinagmulan nito, itinuro ng ilan na ang pormal na agham ay kasing edad ng sangkatauhan, mula mula sa simula ang tao ay gumagamit ng matematika at lohika upang ayusin ang kanyang mundo. Gayunpaman, sinimulan silang tawaging ganito mula sa Makabagong Panahon, nang sila ay na-conceptualize at inuri.

katangian

Ang mga sumusunod ay ang pinakamahalagang katangian ng pormal na agham:

- Ang pamamaraan na ginagamit ng pormal na agham ay ang pagbawas.

- Ang criterion ng isang pormal na agham upang maitaguyod ang katotohanan ay batay sa pare-pareho o hindi pagkakasalungatan.

- Ang mga pahayag ng isang pormal na agham ay palaging analytical, na nangangahulugang ang mga ito ay naibawas sa pamamagitan ng mga theorems o postulate.

- Ang mga entidad ng pormal na agham ay maaari lamang umiiral sa loob ng pag-iisip ng tao.

- Ang mga matematiko at logologist ay nagtatayo ng kanilang sariling mga bagay ng pag-aaral sa pamamagitan ng walang laman na mga simbolo.

- Ang pagpapakita ng isang pormal na agham ay kumpleto, kabuuan at pangwakas.

- Ang pag-aaral ng pormal na agham ay nagpapasigla sa ugali ng mahigpit.

Bagay ng pag-aaral

Sa pangkalahatang mga linya, masasabi na ang object ng pag-aaral ng pormal na agham ay ang mga form; Ang mga ito ay maaaring iharap bilang mga relasyon, abstraction o mainam na mga bagay na itinayo sa isip ng tao.

Sinasabi ng ilang mga siyentipiko na ang pormal na agham ay hindi gaanong interesado sa kung bakit sa mga phenomena, ngunit sa halip ay nakatuon sa kung paano; iyon ay, ang pagkahilig ay patungo sa mga porma at hindi patungo sa nilalaman mismo.

Sa konklusyon, ang pormal na agham - kilala rin bilang mainam na agham - ay yaong hindi nakatuon sa mundo o kalikasan, o sa mga batas na kemikal o pisikal na namamahala dito.

Ang kanyang interes ay namamalagi sa pormal na mga sistema ng mga relasyon na walang sariling nilalaman, ngunit maaaring magamit sa panahon ng pagsusuri ng anumang aspeto ng katotohanan.

Ang isang halimbawa ng nasa itaas ay maaaring mapatunayan sa pisika, na isang katotohanan o empirikal na agham na may pananagutan sa pag-aaral ng mga katawan, kilusan, puwang at bagay. Gayunpaman, ginagamit ng pisika ang matematika - na isang pormal na agham - upang maisagawa ang mga pagsusuri at konklusyon nito.

Mga halimbawa ng pormal na agham

-Katnayan

Ang mga istatistika ay isang pormal na disiplina na namamahala sa pag-aayos, pag-interpret at pagproseso ng isang serye ng data upang maitaguyod ang ilang mga katangian ng isang tiyak na populasyon o panlipunang layunin.

Ayon sa ilang mga may-akda, ang mga istatistika ay maaari ding tukuyin bilang agham na nag-aaral kung paano dapat gamitin ang impormasyon sa ilang mga praktikal na sitwasyon na nagdudulot ng kawalan ng katiyakan. Sa ilang okasyon ang mga istatistika ay tinukoy bilang "ang agham ng data", dahil kinokolekta, kinaklase at binibigyang kahulugan ang huli.

Gayundin, pinapayagan ng mga istatistika ang mga mananaliksik na kumuha ng isang serye ng data bilang panimulang punto upang maisagawa ang kanilang gawain, ginagarantiyahan ang pagsusuri at layunin ng pagkuha ng isang hanay ng mga resulta.

Ang mga istatistika ay maaaring nahahati sa dalawang pangunahing grupo:

Mga istatistika ng naglalarawan

Binubuo ito ng isang pamamaraan na ayon sa bilang na naglalarawan ng isang hanay ng data. Samakatuwid, ang pagiging isang numero ng numero, ang mga deskriptibong istatistika ay gumagamit ng bilang bilang isang pamamaraan upang ilarawan.

Ang pangunahing katangian ng ganitong uri ng mga istatistika ay hindi pinapayagan na gumuhit ng kongkreto na konklusyon; nagbibigay lamang ito ng mga bilang ng mga resulta.

Mga istatistika ng dedikado, analitikal o pagkukulang

Ito ay may pananagutan sa pag-aaral ng mga posibilidad ng tagumpay sa loob ng iba't ibang mga posibleng solusyon sa isang partikular na problema. Bilang karagdagan, ang mga mahihinang istatistika ay lumilikha ng isang modelo ng matematika na binabawasan ang pag-uugali ng populasyon batay sa mga konklusyon na nakuha sa pag-obserba ng mga sample.

Sa kaibahan sa mga istatistika na naglalarawan, binibigyang-daan sa amin ang mga deduktibo o mas kaunting mga istatistika upang makagawa ng kongkreto na konklusyon.

-Ang geometry

Ang Geometry ay isang pormal na agham na nagsisimula mula sa matematika upang pag-aralan ang mga sukat at katangian ng isang pigura na matatagpuan sa isang puwang o sa isang tiyak na eroplano. Kaugnay nito, ang geometry ay gumagamit ng axiomatic o pormal na mga sistema upang kumatawan sa iba't ibang mga aspeto ng katotohanan.

Ang mga sistemang axiomatic na ito ay binubuo ng mga simbolo na, na iginagalang ang ilang mga patakaran, ay maaaring sumali at bumubuo ng mga kadena, na maaari ring maiugnay sa bawat isa. Halimbawa, ang geometry ay batay sa mga abstract na mga paningin tulad ng mga curves, puntos at linya, bukod sa iba pa.

Mahalagang tandaan na ang geometry ay isa sa mga pinakalumang disiplina na umiiral, dahil ang mga pinagmulan nito ay bumalik sa Sinaunang Egypt. Sa katunayan, ang mga mahahalagang matematika at iskolar ay bumaling sa geometry upang makabuo ng mga pag-aaral sa mga volume, lugar, at haba ng mga bagay; kabilang sa mga marunong na lalaki sina Euclides at Herodotus.

Ang isa sa pinakamahalagang mga pag-aaral sa geometriko na pag-aaral ay si René Descartes, isang Pranses na pisiko at pilosopo na nagmungkahi na ang geometry ng isang hugis ay maaaring ipahayag o kinakatawan ng mga equation.

Ang geometry ay maaaring nahahati sa dalawang pangunahing sanga:

Analitikong geometry

Binubuo ito ng isang uri ng geometry na nag-aaral ng mga numero sa pamamagitan ng isang coordinate system. Ginagawa ito ng pag-aaral sa pamamagitan ng paggamit ng mga pamamaraan mula sa pagtatasa ng matematika.

Mapaglarawang geometry

Ang naglalarawang geometry ay binubuo ng isang sangay na nakatuon sa paglutas ng mga problema sa spatial sa pamamagitan ng mga operasyon na ipinahayag at binuo sa isang eroplano; sa ito, ang ilang mga numero mula sa solidong mga bagay ng katotohanan ay kinakatawan.

-Ang teoretikal na linggwistika

Ang teoretikal na linggwistiko ay isang pormal na agham na nagmula sa lingguwistika at interesado sa mga pangunahing aspeto ng mga likas na wika, na isinasaalang-alang ang istraktura ng wika at mga katangian ng kaalaman sa lingguwistika ng mga nagsasalita.

Gayundin, maaari itong maitaguyod na ang teoretikal na linggwistika ay binubuo ng iba pang mga disiplina tulad ng semantika, ponolohiya, morpolohiya at ponema.

Ang agham na ito ay batay sa pagtatayo ng mga unibersal na mga scheme at teorya, na maaaring may bisa para sa lahat ng mga wika na sinasalita sa mundo. Dahil dito, ang teoretikal na lingguwistika ay hindi naglalayong ipaliwanag ang ilang partikular na mga katotohanan ng isang partikular na wika, ngunit sa halip ay tumuturo sa unibersidad ng mga istrukturang lingguwistika.

Para sa kadahilanang ito, masasabi na ang teoretikal na linggwistika ay pormal na agham dahil, tulad ng mga istatistika, ang disiplina na ito ay namamahala sa pagkolekta ng data na nagbibigay-daan sa atin upang bigyang-kahulugan, pag-aralan at katalogo ang mga istrukturang pang-gramatika at phonological ng mga wika.

Bukod dito, ang sangay ng linggwistika na ito ay gumagamit ng teoretikal na mga abstraction kasama ang mga kumplikadong pamamaraan na hindi mahuli sa katotohanan, ngunit umiiral lamang bilang isang perpekto sa pag-iisip ng tao.

-Ang katalinuhang katalinuhan

Ang artipisyal na katalinuhan (AI) ay isang sangay ng computer science na binubuo ng pagproseso ng isang serye ng mga abstract na data na ginawa ng mga makina; Pinapayagan ng data na ito ang mga elektronikong aparato na magsagawa ng isang gawain o layunin.

Sa madaling salita, sa pamamagitan ng isang serye ng mga abstract at numerical data, binibigyan ka ng artipisyal na katalinuhan ng pag-access sa mga makina upang malaman nila, madama, mangatuwiran o malutas ang ilang mga problema.

Ang ilang mga siyentipiko ay tinukoy ang artipisyal na katalinuhan bilang isang computational branch na responsable para sa pag-aaral ng mga modelo ng computer upang maaari silang magsagawa ng mga aktibidad na tipikal ng tao sa pamamagitan ng dalawang pangunahing katangian: pag-uugali at pangangatwiran.

Ang katagang "artipisyal na katalinuhan" ay pinahusay ng siyentipiko ng computer na si John McCarthy noong 1956, na itinatag na ang AI ay ang agham ng talino ng talino, sapagkat pinapayagan nito ang pagbuo ng mga intelihente na computer program.

Mga Sanggunian

1. Castañeda, J. (sf) Mga katangian ng pormal o perpektong agham. Nakuha noong Agosto 8, 2019 mula sa Mga Katangian ng agham: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) Ang pormal na agham. Nakuha noong Agosto 8, 2019 mula sa Jstor: jstor.org
3. Raffino, M. (2018) Konsepto ng pormal na agham. Nakuha noong Agosto 8, 2019 mula sa Konsepto: concept.de
4. SA (sf) Pormal na Agham. Nakuha noong Agosto 8, 2019 mula sa Wikipedia: es.wikipedia.org
5. SA (sf) Konsepto ng pormal na agham. Nakuha noong Agosto 8 mula sa De Conceptos: deconceptos.com
6. SA (sf.) Ano ang ibig sabihin ng pormal na agham? Nakuha noong Agosto 8, 2019 mula sa Mga Kahulugan: definitions.net
7. Soledispa, A. (sf) Mga katangian ng pormal at pang-agham na agham. Nakuha noong Agosto 8, 2019 mula sa Academia: academia.edu
8. SA (sf) Ano ang istatistika? Mga uri at layunin. Nakuha noong Agosto 11, 2019 mula sa Gestiopolis: Gestiopolis.com
9. SA (2018). Ano ang teoretikal na linggwistika? Nakuha noong Agosto 11, 2019 mula sa Quora: quora.com
10. Tegmark, M. Mga pakinabang at panganib ng artipisyal na katalinuhan. Nakuha noong Agosto 11, 2019 mula sa Hinaharap ng buhay: futureoflife.org
11. Mga Figueras, C. (Sf) Geometry. Nakuha noong Agosto 11, 2019 mula sa mga Monograpiya: monogramas.com