Öncül - Premise

Bu makale, Öncül söylem ve mantıkta. Diğer kullanımlar için bkz. Önerme (belirsizliği giderme).

Bir Öncül veya öncül[a] bir argümanın, bir sonuç.[1] Bir şeyin doğru olduğu varsayımıdır.

Açıklama

İçinde mantık, bir tartışma gerektiren Ayarlamak / (en az) iki beyan cümleler (veya "önermeler" ) "bina" (veya "öncüller") olarak bilinir, başka biriyle birlikte beyan cümle (veya "teklif") olarak bilinir sonuç. İki öncül ve bir sonuçtan oluşan bu yapı, temel argümantasyon yapısını oluşturur. Daha karmaşık argümanlar, birkaç öncülü tek bir sonuca bağlamak veya daha sonra ek sonuçlar için öncül olarak hareket eden orijinal önermelerden bir dizi sonuç çıkarmak için bir dizi kural kullanabilir. Buna bir örnek, çıkarım kuralları içinde bulundu sembolik mantık.

Aristo herhangi bir mantıksal argümanın iki öncüle ve bir sonuca indirgenebileceğini savundu.[2] Mülkler bazen belirtilmeden bırakılır, bu durumda bunlara eksik bina adı verilir, örneğin:

Sokrates ölümlüdür çünkü bütün insanlar ölümlüdür.

Sokrates'in bir erkek olduğu zımnen anlaşılan bir iddianın olduğu açıktır. Tam olarak ifade edilen mantık şu şekildedir:

Çünkü tüm insanlar ölümlüdür ve Sokrates bir adamdır, Sokrates ölümlü.

Bu örnekte, bağımsız maddeleri Virgülden önce (yani, "tüm insanlar ölümlüdür" ve "Sokrates bir insandır") önermeler, "Sokrates ölümlüdür" ise sonuçtur.

Bir sonucun ispatı, hem hakikat tesislerin ve geçerlilik argümanın. Ayrıca, sonucun tam anlamının ne olduğu ile örtüşüp örtüşmediğini belirlemek için öncül anlamının ötesinde ek bilgi gereklidir.[3]

İçin Öklid öncüller, bir içindeki üç önermeden ikisini oluşturur kıyas, diğeri sonuçtur.[4] Bu kategorik önermeler üç terim içerir: sonucun konusu ve yüklemi ve orta terim. Sonuç konusu küçük terim olarak adlandırılırken yüklem ana terimdir. Orta terimi ve ana terimi içeren öncül, ana öncül olarak adlandırılırken, orta terimi ve küçük terimi içeren öncül, küçük önermedir.[5]

Bir öncül, ifadelerin bir veya daha fazla ifadenin rolünü işaretlemek için mantıksal bir argüman ve bu tür kelime işlevlerinde birleştirilmesi durumunda bir gösterge kelime olabilir.[6] Bağlı olduğu ifadenin bir öncül olduğunu gösterir.[6]

Ayrıca bakınız

Notlar

  1. ^ Genel kullanımda, yazım "öncül" en yaygın olanıdır; ancak mantık alanında, özellikle İngiliz yazarlar arasında "öncül" yazımı sıklıkla kullanılır.

Referanslar

  1. ^ Audi, Robert, ed. (1999). Cambridge Felsefe Sözlüğü (2. baskı). Cambridge: Cambridge University Press. s. 43. ISBN  0-521-63136-X. Argüman: bazılarının ( tesisler) bir diğerini kabul etmek için sebepler sunma iddiası, sonuç
  2. ^ Gullberg, Ocak (1997). Matematik: Sayıların Doğuşundan. New York: W. W. Norton & Company. s.216. ISBN  0-393-04002-X.
  3. ^ Byrne, Patrick Hugh (1997). Aristoteles'te Analiz ve Bilim. New York: New York Press Eyalet Üniversitesi. s. 43. ISBN  0791433218.
  4. ^ Ryan, John (2018). Felsefe ve Felsefe Tarihi Çalışmaları, Cilt 1. Washington, D.C .: CUA Press. s. 178. ISBN  9780813231129.
  5. ^ Potts, Robert (1864). Öklid'in Geometri Öğeleri, Kitap 1. Londra: Longman, Green, Longman, Roberts ve Green. s. 50.
  6. ^ a b Luckhardt, C. Grant; Bechtel William (1994). Mantıkla Nasıl Yapılır?. Hillsdale, NJ: Lawrence Erlbaum Associates, Yayıncılar. s. 13. ISBN  0805800751.

Dış bağlantılar