Nilalaman
Angpormal na agham Ang mga ito ay kung saan kinukuha ng mga analytical na panukala ang mga pahayag ng matematika at lohika. Sa ganitong paraan, ang kanyang lugar ng pag-aaral ay hindi ang totoong mundo ngunit ang perpektong mundo, walang laman na mga form ng nilalaman na sa maraming mga kaso ay hindi maaaring ganap na mapagmasdan, ngunit iyon ay wastong mga instrumento ng analitikal upang maunawaan ang katotohanan.
Ang mga pormal na agham ay nailalarawan sa pamamagitan ng hindi pagsasalungat sa katotohanan, dahil wala silang responsibilidad na ma-verify. Sa kabaligtaran, kailangang gamitin ang pormal na agham mga panukala na lohikal na maipapakita, at maaari silang mangyari: kung hindi man, ang mga agham na ito ay gumagamit ng mga 'axioms' na maliwanag na mga panukala na tinatanggap nang hindi nangangailangan ng paunang patunay.
Ang paggamit ng mga axioms ay nauugnay sa karaniwang pamamaraan ng ganitong uri ng agham, na kung saan ay ang Pamamaraan ng deduksyon: pagkuha ng mga axioms bilang isang panimulang punto at pagkatapos ay magpatuloy sa isang hango na paraan, pagdating sa mga panukala na kinakailangan na lohikal na kahihinatnan ng nakaraang mga panukala. Sinasabi, kung gayon, na ang isang pormal na sistema ay binubuo ng mga sumusunod:
- Isang hangganan na hanay ng simbolo ginagamit iyon para sa pagtatayo ng mga pormula.
- A gramatika pormal, bilang isang mekanismo para sa pagtatayo ng maayos na nabuong mga formula.
- Isang hanay ng axioms
- Isang hanay ng panuntunan sa hinuha
- Isang hanay ng mga teorya na kinabibilangan ng lahat na maaaring makuha mula sa mga axioms.
Kinontra nila ang Factual Science
Karaniwan ang paniwala ng pormal na agham ay lumalaban sa makatotohanang agham, alin ang mga nag-aaral ng mga katotohanan. Ang parehong isa at isa pa ay napakahalaga sa mundo ngayon, dahil ang mga ito ay pantulong sa pagitan ng dalawa: ang mga kontribusyon ng ilang pangunahing mga agham sa kung ano ang teknolohikal na pagsulong (tulad ng kimika o computer science) ay suportado ng pormal na mga sistema tulad ng ng matematika.
Mga halimbawa ng pormal na agham
- Theoretical Computer Science: Dibisyon sa loob ng computer science, na nakatuon sa mga pinaka-abstract at matematika na aspeto ng lugar. Kabilang dito ang pagtatasa ng mga algorithm at lalo na ang pormal na semantiko ng mga wika sa pagprograma.
- Mga Istatistika: Agham na responsable para sa pagkolekta, pag-aayos, pagproseso, pag-aralan at pagbibigay kahulugan ng data upang mabawasan ang mga katangian ng isang target na populasyon.
- Lohika: Disiplina na pinag-aaralan ang pormal na mga pamamaraan ng pangangatuwiran, sinusubukan na malaman kung anong uri ng mga pamamaraan ang ginagamit ng utak ng tao sa pamamagitan ng pormal na mga panukala.
- Matematika: Nakaka-agham na agham na nakatuon sa pag-aaral ng mga katangian ng mga abstract na entity at kanilang mga ugnayan. Gumagana sa mga numero, simbolo, at mga geometric na hugis.
- Teorya ng system: Interdisiplinaryong pag-aaral ng mga system sa pangkalahatan, upang mapag-aralan ang mga prinsipyong naaangkop sa mga system sa anumang antas sa lahat ng larangan ng pagsasaliksik.
Iba pang mga uri ng agham:
- Mga halimbawa ng Pure at Applied Science
- Mga halimbawa ng Hard at Soft Science
- Mga halimbawa ng Eksaktong Agham
- Mga halimbawa mula sa Agham Panlipunan
- Mga halimbawa ng Likas na Agham
