*

  • matematiksel gercekcilik ekollerinden biri, logicism; matematigin mantiga indirgenebilecegini one surer. gottlob frege ile baslayip, whitehead ve russell'in principia mathematica'siyla devam eden bir gelenektir. godel'in eksiklik teoremi'nin ortodoks yorumuna gore, yanilmistir. tabii biraz takla atarak, eksiklik teoremi'nden siyrilmasi mumkun olabilir; mesela soz konusu teoremdeki meta-matematiksel usavurma meta-mantik cercevesinde degerlendirilebilir, matematigin seviyeleri gibi mantigin da seviyelerinden bahsedilebilir belki [belki].

    (bkz: analitik felsefe)
  • frege'nin kant'ın matematiğe olan sentetik a priori yorumuna karşı çıkıp matematiği analitik a priori olarak görmesiyle başlayan, aritmetiğin mantık kurallarına indirgenebileceğini savunan akımdır. frege aritmetiğin temelleri metninde (bkz: aritmetiğin temelleri) anlattığı matematiği temellendirme çabasıdır.
  • matematigin tum aksiyom ve teoremlerini mantik ilkelerinden cikarsama. net ve kesin bilgi var. baslica temsilcileri frege, dedekind, peano ve russell'dir.
  • "g. eliot: hıristiyan tanrısından kurtulmuşlar, şimdi de hıristiyan ahlakına daha sıkı sarılmak zorunda olduklarına inanıyorlar. bu bir ingiliz mantıkçılığıdır, biz onları eliot usulü kocakarı ahlakından dolayı kınamak istemeyiz. ingiltere'de tanrıbilimden her küçük özgürleşme karşılığında kişi kendini bir ahlak fanatiği olarak korkunç bir şekilde temize çıkarmak zorundadır. (...) hıristiyanlık bir sistemdir, her açıdan düşünülmüştür ve nesnelere bütünsel bit bakıştır. (...) hıristiyanlık, insanoğlunun kendisi için neyin iyi neyin kötü olduğunu bilmediğini, bilemeyeceğini öngörür." friedrich nietzsche - götzen-dammerung
hesabın var mı? giriş yap