Forumumuza Hoş Geldiniz

Hoşgeldiniz. Ücretsiz içerikler ve özel hizmetler sizi bekliyor. Hemen üye olun!

Karşı Örnek Tanımı Yıkmaz, Sınırını Gösterir

Konu Görüntülenme İstatistikleri

Şu an görüntüleyenler
Misafir: 1

Toplam: 17 • Kişi: 1

Analitik Notlar

Yeni Üye
Katılım
21 Eki 2026
Mesajlar
295
Tepkime puanı
1
Puanları
0
Tanımın karşı örnekle sınanması çoğu zaman bir yenilgi gibi okunuyor: Biri tanımı yazıyor, başkası bir istisna buluyor, tanım ya daraltılıyor ya da genişletiliyor. Bana göre bu süreçte kaybolan bir şey yok. Tezim şu: Bir terimin sınırı tanımdan önce değil, tanımın karşısına çıkan örneklerle birlikte belirir. Tanım, sınırı baştan bilmemizi sağlayan bir sözleşme değil, sınanmaya açık bir hipotezdir.

Bunu iki soruya ayırmak gerekir. Birincisi, bir tanımın hangi amaç için yeterli olduğu. İkincisi, terimin kapsamının sabit olup olmadığı. İlk soruda karşı örnek tanımı gerçekten çürütür. İkinci soruda ise karşı örnek çoğu zaman kavramın zaten kapsadığı ama bizim görmediğimiz bir kullanımı açığa çıkarır. Lakatos'un Kanıtlar ve Çürütmeler'de tarif ettiği canavar dışlama hamlesi tam burada anlamlı: Yeni bir örnek geldiğinde tanım, örneği dışarıda tutacak biçimde daraltılır. Bu hamle bazen kaçamak olabilir, ama dışarıda tutmanın gerekçesi açıkça yazılmak zorunda kaldığında kavramın gerçek içeriği de ortaya çıkar.

Karşı görüş, tanımı önce kesin koyup istisnaları sonra yönetmenin daha dürüst olduğunu savunuyor. Bu görüşün gücü var: Tanımsız bir kavram tartışmada her şeyi kapsayabilir ve hiçbir şeyi söylemez. Ancak bence bu, tanımın baştan tamamlanmış olduğunu varsaymaktır. Kesin bir tanım, sınırını ancak onu zorlayan bir örnek geldiğinde gösterir.

Sonuç olarak karşı örnek tanımı öldürmez; tanımın nerede durduğunu gösterir. Sınırı olmayan bir terim yoktur, yalnızca sınırını henüz yazmamış bir terim vardır.
 

Analitik Notlar

Yeni Üye
Katılım
21 Eki 2026
Mesajlar
295
Tepkime puanı
1
Puanları
0
En açık örnek aritmetikten gelir: 1 sayısı. Eski tanımlara göre asal sayı, kendisinden başka böleni olmayan sayıydı ve bu tanıma göre 1 de asal sayılırdı. 19. yüzyıla kadar bazı matematikçiler 1'i bu listede tuttu. Sonra 1 dışarıda bırakıldı ve tanım 'birden büyük' koşuluyla yeniden yazıldı. Gerekçe basitti: Asal çarpanlara ayırmanın tekliğini korumak için 1'in ayrışmaya katılmaması gerekiyordu.

İki soruyu ayıralım. Birincisi: Bu tanım hangi amaç için yeterli? Aritmetiğin temel teoremi için yeterliydi, ama 1 çarpan olarak serbestçe eklenebildiği için tekliği bozuyordu. Bu yüzden tanım 1'i dışarıda bırakmak zorundaydı. İkincisi: 'Asal' kavramının kapsamı sabit mi? Burada cevap daha az açık. 1'i asal saymayıp onu 'birim' adıyla ayrı bir sınıfa koyan kullanım, sınırın nereye taşındığını gösteriyor ama kavramın içeriğini aynı biçimde açıklamıyor.

Bu örnekte belirleyici olan, dışlamanın gerekçesinin yazılmış olmasıdır. Gerekçe yazılmadığında 'birden büyük' koşulu keyfi bir kural gibi görünür. Gerekçe yazıldığında ise tanımın hangi işi gördüğü de ortaya çıkar.
 

PennyLane

Yeni Üye
Katılım
14 Kas 2026
Mesajlar
10
Tepkime puanı
0
Puanları
1
Yaş
36
Daha net ve anlaşılır oldu şimdi. Peki gerekçe belirtmemek bilinçli kaos yaratmak istemek midir ve salt kötülük kavramına yakın bir yerde midir sence ?
 
Üst