Belirsizlik ve Sorites
Tek bir taneyi çıkarmak bir yığını asla yığın olmaktan çıkarmaz, ancak tekrarlanan çıkarmalar bunu yapmaktadır — sorites paradoksu belirsiz yüklemlerin mantığını ortaya koymaktadır.
Tanım
Bir yüklem, sınırda kalan durumları kabul ettiğinde ve keskin bir sınırdan yoksun olduğunda belirsizdir; sorites paradoksu, bireysel olarak ikna edici bir dizi tolerans adımının açık bir durumdan açık bir durum olmayana yol açması nedeniyle ortaya çıkmaktadır.
Kapsam
Bu konu, belirsizlik olgusunu ve bunun yarattığı sorites (yığın) paradoksunu kapsamaktadır. Paradoksun yapısını, sınırda kalan durumların ve görünürdeki sınırsızlığın varlığını ve önde gelen kuramları ele almaktadır: epistemizm (belirsiz yüklemlerin keskin ancak bilinemez sınırları vardır, klasik mantık korunur), süperdeğerleme (klasik mantık korunarak doğruluk-değer boşlukları) ve derece kuramları (çok değerli veya bulanık mantık), ayrıca bunlardan birkaçını etkileyen yüksek dereceli belirsizlik sorununu da incelemektedir.
Temel sorular
- Sorites argümanının hangi öncülünü reddetmeliyiz?
- Belirsiz yüklemlerin bilemediğimiz keskin sınırları var mıdır (epistemizm)?
- İki değerli mantığı terk edip doğruluk-değer boşluklarını veya doğruluk derecelerini kabul etmeli miyiz?
- Yüksek dereceli belirsizlik — sınırda kalan durumlar hakkındaki belirsizlik — nasıl ele alınmalıdır?
Anahtar kavramlar
- sınırda kalan durumlar
- tolerans ilkesi
- sorites serisi
- epistemizm
- süperdeğerleme ve kesinleştirme
- yüksek dereceli belirsizlik
Temel kuramlar
- Epistemizm
- Williamson, belirsiz yüklemlerin kullanım yoluyla belirlenmiş keskin sınırlara sahip olduğunu, ancak konumlarının bilgi üzerindeki hata payı kısıtlamaları nedeniyle prensipte bilinemez olduğunu savunmaktadır, bu nedenle klasik mantık ve iki değerli mantık tamamen korunmaktadır.
- Süperdeğerleme
- Fine, bir cümlenin ancak her kabul edilebilir kesinleştirme üzerinde doğru olması durumunda doğru olduğunu kabul etmektedir; sınırda kalan cümleler ne doğru ne de yanlıştır, süper-doğruluk düzeyinde klasik mantığı korurken, bireysel durumlar için iki değerli mantığı reddetmektedir.
Tarihçe
Sorites, antik mantıkçı Eubulides'e atfedilmektedir. Modern yaklaşımlar yirminci yüzyılın sonlarında yeniden canlanmıştır: Fine'ın 1975 süperdeğerlemesi, bulanık ve derece-kuramsal açıklamalar ve Williamson'ın 1994'teki etkili epistemizm savunması, Keefe'nin 2000'deki rakip kuramları karşılaştıran araştırmasıyla birlikte.
Tartışmalar
- Bilemediğimiz keskin sınırlar var mıdır?
- Epistemizmin, belirsiz yüklemlerin keskin ancak bilinemez çizgiler çizdiği iddiasının, iki değerli mantığı terk etmekten (süperdeğerleme, derece kuramı) daha inandırıcı olup olmadığı ve herhangi bir görüşün yüksek dereceli belirsizlikten kaçıp kaçmadığı.
Öne çıkan isimler
- Timothy Williamson
- Kit Fine
- Rosanna Keefe
- Crispin Wright
- Eubulides of Miletus
İlgili konular
Temel eserler
- fine1975
- williamson1994
- keefe2000
Sıkça sorulan sorular
- Sorites paradoksu nedir?
- Bir kum yığınıyla başlayın ve her seferinde bir tane kum tanesi çıkarın. Her bir çıkarmanın bir yığını yığın olmaktan çıkarmak için çok küçük olduğu görülmektedir (tolerans ilkesi), ancak yeterince çıkarmanın ardından yığın kalmamaktadır. Akla yatkın adımların zinciri yanlış bir sonuca yol açmaktadır, bu nedenle öncüllerden biri — genellikle tolerans ilkesi — reddedilmelidir.