Formal bilim

Vikipedi, özgür ansiklopedi

Formal bilimler, ideal bilimler, biçimsel bilimler veya biçim bilimleri, doğada var olmayıp yalnızca insan düşüncesindeki, duyularla algılanamayan soyut kavramları ve zaman ve mekandan bağımsız olguları, doğrudan akıl yoluyla (deney ile değil) tümdengelim yöntemini kullarak açıklamaya çalışan akademik disiplinler bütünüdür[1]. Bilimin üç ana dalından (fennî, sosyal, formal) biri olan formal bilimler[2]; mantık, matematik, bilişim, geometri gibi bilim dallarından oluşur.

Formal bilimler teorik sembol ve kurallardan oluşurlar. Formal bilimler zaman zaman gerçekliğe (realiteye) uygulanabilirler ve belirli sınırlamalar dahilinde, yararlıdırlar. İnsanlar sıklıkla teorik sistemlerle gerçekliği birbirine karışma hatasına düşerler ve teorik modelleri, sanki gerçekliği mükemmel bir biçimde temsil ediyorlarmış gibi, uygularlar, veya teorik modellerin aslında gerçekliğin kendisi olduğuna inanırlar.

Fen bilimleri ile formal bilimler arasındaki fark, formal bilimlerin teorik fikirlerle başlaması ve düşünme süreci sayesinde diğer farklı teorik fikirlere ulaşmasıdır; oysa fen bilimleri gerçek dünyadaki çeşitli gözlemlerle başlarlar ve gerçekliğin bir bölümü için bir ölçüde kullanışlı olan modellere ulaşırlar. Sonuç olarak, sadece formal bilimleri inceleyerek gerçeklik hakkında bir şey öğrenmek mümkün değildir; formal bilimler kullanılarak gerçeklik üzerine herhangi bir şey kanıtlanamaz.

Bununla birlikte, formal bilimler, fen bilimlerine ve genel olarak gerçekliğe uygulanabilirler. Örneğin, uygulamalı matematik dalı, bazı teorik matematik modellerini gerçekliğe uygulamaktadır. Bu da ancak belirli sınırlar ve kısıtlamalar dahilinde, belirli bir kesinlikle mümkündür.

Kaynakça[değiştir | kaynağı değiştir]

  1. ^ "Formal Bilim Nedir?". 11 Kasım 2017 tarihinde kaynağından arşivlendi. 
  2. ^ "Bilimin Ana Dalları". 11 Kasım 2017 tarihinde kaynağından arşivlendi.