KAPSAYICI sıf. Mant.
1. Kısırdöngü ilkesini çiğneyen bir tanım için kullanılır. (Bk. ansikl. böl.)
2. Ancak kısırdöngü ilkesini çiğneyen bir tanımla belirlenebilen bir bütünselliğe denir.
—ANSİKL. Russell’a göre, kapsayıcı tanım, tanımda gözüken bir niceleyici tarafından bağlanmış bir değişkenin değerlerinden birini oluşturan bir nesneyi tanımlar; ya da: tanımlanacak nesnenin ait olduğu bütünselliği işe sokan ya da bunu şart koşan bir tanımdır. Gödel'e göre, böyle bir tanım, ancak “platoncu” bir matematik anlayışını benimsemek, yani tanımlanan nesnenin, tanımından önce herhangi bir biçimde var olduğunu düşünmek koşuluyla geçerli sayılabilir.
1. Kısırdöngü ilkesini çiğneyen bir tanım için kullanılır. (Bk. ansikl. böl.)
Sponsorlu Bağlantılar
—ANSİKL. Russell’a göre, kapsayıcı tanım, tanımda gözüken bir niceleyici tarafından bağlanmış bir değişkenin değerlerinden birini oluşturan bir nesneyi tanımlar; ya da: tanımlanacak nesnenin ait olduğu bütünselliği işe sokan ya da bunu şart koşan bir tanımdır. Gödel'e göre, böyle bir tanım, ancak “platoncu” bir matematik anlayışını benimsemek, yani tanımlanan nesnenin, tanımından önce herhangi bir biçimde var olduğunu düşünmek koşuluyla geçerli sayılabilir.
Kaynak: Büyük Larousse
X-Sözlük Konusu: ne demek anlamı tanımı.
SİLENTİUM EST AURUM