Formel bilim, yasaları veya teorileri genelleştirmek amacıyla soyutlamadan fenomenleri inceleyen bir dizi rasyonel ve düzenli bilgidir.
Bu nedenle, bilgi için gerekli olduklarını söyleyebiliriz. Onlar sayesinde bunlar gerçeğe uygulanabilir. Öte yandan, bilgiye yaklaşımı nedeniyle kullanılan yöntem tümdengelimdir.
Matematik ve formal bilim
Belki de matematik mükemmel bir biçimsel bilim olarak kabul edilebilir. Soyut yapıları ve ilişkileri incelerler. Amaçlarına ulaşmak için mantıksal akıl yürütme yoluyla geliştirilen aksiyomlardan yola çıkarlar. Bu nedenle, öğrenmeleri önemlidir.
Ayrıca, onu tanıyan herkesin anlamasını sağlayan resmi ve evrensel bir dil kullanır. Bu şekilde herkes toplama (+), çıkarma (-) gibi en sık kullanılan sembolleri veya karekök veya integral gibi diğer sembolleri bilir.
Mantık ve biçimsel bilim
Mantık, kanıtları, yanlışları ve daha benzer soruları inceleyen bir felsefe dalıdır. İçinde matematikle ilgili kısım, sonuçlara ulaşmak için biçimsel sistemlerini kullanır.
Bu nedenle biçimsel bilimde mantık gereğinden fazladır. Aslında, ekonomide bu tür akıl yürütmeyi kullanmak çok yaygındır. Örneğin, Avusturya okulu bu sosyal bilim üzerine yaptığı çalışmalarda praxeology'yi kullanır.
bilgisayar bilimi
Bu durumda, hesaplamanın teorik temellerini inceleyen resmi bir bilimle karşı karşıyayız.
Bu şekilde, Google'ınki gibi algoritmalar, bahsedilen resmi ilkelere dayanır ve bunları gerçek sorunlara uygular.
Bu nedenle, bugün dijital dünya, altında yatan teori sayesinde mümkündür. Bu teorik yönler olmasaydı, körü körüne ve bunun sonucunda ortaya çıkan riskle yürürlerdi. Bu nedenle, bu tür bilimin önemi.
Resmi bilim örneği
Son olarak, bariz görünebilecek ancak bu tür bilimde kullanılan tümdengelim yöntemini mükemmel şekilde yansıtan bazı örneklere bakalım.
- Biyolojide bir aksiyomdan başladığımızı düşünelim. Koyun uçmaz. Öte yandan uçan hayvanların kanatları olduğunu biliyoruz. Sonuç, koyunların kanatlarının olmayacağıdır. Açıktır, ancak gerçekte fenomenler çok daha karmaşıktır.
- Kriminolojide. Katil siyah bir erkekti. Ana şüpheli doğulu. Bu katil olmayacak. Gerçek bir kez daha çok daha karmaşıktır, ancak yöntem aynıdır.
- Bu son örnek, tümevarım yöntemini kullanarak tam tersi olacaktır. Dedem kabız oldu, dedem erkek, erkekler kabız oluyor. Gördüğümüz gibi, bu durumda özelden genele gidiyoruz.
Bunlar çok basit örneklerdir, ancak onlarla birlikte, tümevarım yönteminin aksine biçimsel bilimde kullanılan tümdengelim yönteminin nasıl çalıştığını göstermek istedik. Aslında gerçek, daha önce de belirttiğimiz gibi, çok daha karmaşıktır. Tabii ki, birçok kez ona basitlikle yaklaşabiliriz.