Teorem
Tanım
Teorem, aksiyomlar ve daha önce kanıtlanmış önermelerden mantıksal çıkarımla elde edilen önermedir.
Cümle
“Teorem, kanıtlanmış bilgidir.”
Bağlam
- Biçimsel bilgi üretiminin temel sonucudur.
- Mantıksal zorunluluğu temsil eder.
Kapsam ve Sınırlar
- Aksiyom sistemine bağımlıdır.
Kullanım Örnekleri
- Pisagor teoremi
Yanlış Kullanımlar
- Ampirik doğrularla karıştırmak
Anlam Dönüşümü
- Kesinlik ve zorunluluk idealini temsil etmiştir.
Kavram Kökeni
- Yunanca: theōrēma
- Görülen, kavranan
Disiplinlere Göre Kullanım
Teorem, aksiyomlar ve tanımlardan mantıksal çıkarımla elde edilen, sistem içi zorunlu doğruları ifade eder.
Teorem, biçimsel sistemlerde türetilebilirlik ve geçerlilik kavramlarıyla ilişkilidir.
Filozoflar Arası Kullanım Farkı
Teoremi, ilk ilkelerden zorunlu sonuçların çıkarılması olarak ele almıştır.
Teoremleri aksiyomatik sistemler içinde biçimsel olarak tanımlamış ve kesinlik idealinin parçası hâline getirmiştir.