KAPSAYICI sıf. Mant. 1. Kısırdöngü ilkesini çiğneyen bir tarif için kullanılır. (Bk. ansikl. böl.) 2. Sadece kısırdöngü ilkesini çi...
KAPSAYICI sıf. Mant.
1. Kısırdöngü ilkesini çiğneyen bir tarif için kullanılır. (Bk. ansikl. böl.)
2. Sadece kısırdöngü ilkesini çiğneyen bir tanımla belirlenebilen bir bütünselliğe denir.
—ANSİKL. Russell'a nazaran, kapsayıcı tarif, tanımda görünen bir niceleyici tarafınca bağlanmış bir değişkenin değerlerinden birini oluşturan bir nesneyi tanımlar; ya da: tanımlanacak nesnenin ilişkin olduğu bütünselliği işe sokan ya da bunu koşul koşan bir tanımdır. Gödel'e nazaran, bu şekilde bir tarif, sadece “platoncu†bir matematik anlayışını benimsemek, şu demek oluyor ki tanımlanan nesnenin, tanımından ilkin herhangi bir şekilde var bulunduğunu düşünmek koşuluyla geçerli sayılabilir.
1. Kısırdöngü ilkesini çiğneyen bir tarif için kullanılır. (Bk. ansikl. böl.)
2. Sadece kısırdöngü ilkesini çiğneyen bir tanımla belirlenebilen bir bütünselliğe denir.
—ANSİKL. Russell'a nazaran, kapsayıcı tarif, tanımda görünen bir niceleyici tarafınca bağlanmış bir değişkenin değerlerinden birini oluşturan bir nesneyi tanımlar; ya da: tanımlanacak nesnenin ilişkin olduğu bütünselliği işe sokan ya da bunu koşul koşan bir tanımdır. Gödel'e nazaran, bu şekilde bir tarif, sadece “platoncu†bir matematik anlayışını benimsemek, şu demek oluyor ki tanımlanan nesnenin, tanımından ilkin herhangi bir şekilde var bulunduğunu düşünmek koşuluyla geçerli sayılabilir.
Kaynak: Büyük Larousse
kapsayıcı
isim, mantık
isim, mantık
- Tüm özelikleri ve incelikleri içine alan tarif, kısır döngü karşıtı.
YORUMLAR