Nicelik belirteci (dilbilim) - Quantifier (linguistics)

Gelen dilbilim ve dilbilgisi, bir nicelik türüdür belirleyici gibi, bütün , bazı , birçok , birkaç , bir sürü ve hiçbir , (ama spesifik değildir rakamları miktarını gösterir).

Niceleme aynı zamanda, eski formüllerden yeni formüller üreten bir formül yapıcısı olduğu mantıkta da kullanılır. Doğal dillerin belirleyicilerinin anlamsal düzeyde mantıksal niceleyicilere karşılık geldiği ileri sürülmüştür .

Giriş

Bilinen tüm insan dilleri nicelleştirmeden yararlanır (Wiese 2004). Örneğin, İngilizce olarak:

  • Son siparişimdeki her bardak yontulmuştu.
  • Nehrin karşısında duran bazı insanların kollukları beyaz.
  • Çoğu insanlar ben aday olmalarına bir ipucu yoktu konuştum.
  • Pek çok insan zeki.

İtalik yazılan sözcükler nicelik belirteçleridir. Bu ifadelerden herhangi birini, cümlelerin birleşimi veya ayrımı olarak yeniden formüle etmenin basit bir yolu yoktur; her biri, Şarap kadehi parçalanmış gibi bir bireyin basit bir yüklemidir . Bu örnekler aynı zamanda doğal dilde ölçülü ifadelerin oluşturulmasının sözdizimsel olarak çok karmaşık olabileceğini göstermektedir. Matematiksel iddialar için, niceleme süreci sözdizimsel olarak daha basittir.

Doğal dillerde nicelleştirme çalışması, biçimsel diller için karşılık gelen sorundan çok daha zordur . Bu kısmen, doğal dil cümlelerinin gramer yapısının mantıksal yapıyı gizleyebileceği gerçeğinden kaynaklanmaktadır. Dahası, matematiksel kurallar biçimsel dil niceleyicilerinin geçerlilik aralığını kesin olarak belirler; doğal dil için, geçerlilik aralığını belirlemek, önemsiz olmayan anlamsal problemlerle uğraşmayı gerektirir. Örneğin, " New York'ta her 10 dakikada bir birisi saldırıya uğruyor " cümlesi , her 10 dakikada bir aynı kişinin saldırıya uğrayıp uğramadığını tanımlamaz, ayrıca aşağıya bakın .

Montague grameri , doğal dillerin yeni bir biçimsel anlamını verir. Savunucuları, Frege , Russell ve Quine'ın geleneksel tedavilerinden çok daha doğal bir biçimsel doğal dil sunumu sağladığını iddia ediyorlar .

Nicelik belirteçlerinin sırası ve belirsizlik

Nicelik belirteçlerinin sırası anlam açısından kritiktir. Matematiksel biçimsel gösterim, nicelik belirteçlerinin önüne yazılmasını gerektirir, böylece belirsizlikten kaçınırken, nicelik belirteçleri de eklendiğinde doğal (veya karışık) dilde sorunlar ortaya çıkar:

  • " ∃ A : ∀ B : C " - kesin
  • " ∀ B : C şeklinde bir A vardır " - kesin
  • "Bir orada bir tüm bu tür B , Cı açık, Resim arasındaki ayrım olduğu -" B ve C açıktır
  • " Tüm B için C gibi bir A vardır " - kastedilenin ne olduğu genellikle açıktır
" ( tüm B için C ) şeklinde bir A vardır ", resmi olarak: "∃ A : ∀ B : C "
ama şu şekilde yorumlanabilir
"( C gibi bir A vardır ) tüm B için ", resmi olarak: "∀ B : ∃ A : C "
  • " C ∀ B gibi bir A vardır " - daha güçlü bir şekilde birincinin kastedildiğini ima eder; bu, örneğin yeni bir satıra " C ∀ B " koyarak, düzen tarafından pekiştirilebilir .

Tarih

Aristoteles mantığı olarak da adlandırılan terim mantığı , nicelemeyi doğal dile daha yakın ve ayrıca biçimsel analize daha az uygun bir şekilde ele alır. Terim mantığı , MÖ 4. yüzyılda Hepsi , Bazıları ve Hayır'ı , aynı zamanda alethic modalitelere de değinen bir hesapta ele aldı . Gottlob Frege'nin 1879 Begriffsschrift , Charles Sanders Peirce'nin 1885 çalışması ve Bertrand Russell'ın 1903 Matematik İlkeleri'nden başlayarak , niceleyiciler matematiksel mantık biçimciliğine dahil edildi. Ayrıntılar için Nicelik belirteci (mantık) § Geçmiş'e bakın.

Ayrıca bakınız

Referanslar

  1. ^ Matthews, PH (2014). Özlü Oxford dilbilim sözlüğü (3. baskı. Ed.). Oxford [ua]: Oxford Üniv. Basın. ISBN 9780199675128. Alındı 25 Nisan 2018 .
  • Dag Westerståhl (2001). "Quantifiers", Goble, Lou, ed., The Blackwell Guide to Philosophical Logic . Blackwell.
  • Stanley Peters, Dag Westerståhl (2002). " Niceleyiciler. "
  • Heike Wiese (2003). Sayılar, dil ve insan zihni . Cambridge University Press. ISBN  0-521-83182-2 .
  • Edward Keenan; Denis Paperno (2012). Doğal Dilde Niceleyiciler El Kitabı . Dilbilim ve Felsefe Çalışmaları. 90 . Springer Science & Business Media. s. 16. ISBN 9400726813.