İfade (mantık) - Statement (logic)

In mantık terimi deyimi çeşitli ya kastedilen:

  1. doğru veya yanlış olan anlamlı bir bildirim cümlesi veya
  2. bir teklif . Hangisi iddia (yani yapılır anlam arasında) bir doğru veya yanlış bildirim cümle .

İkinci durumda, bir ifade bir cümleden farklıdır, çünkü bir cümle bir ifadenin yalnızca bir formülasyonu iken, aynı ifadeyi ifade eden başka birçok formülasyon olabilir.

genel bakış

Dilin Filozof , Peter Strawson tercih için duyu (b) 'de dönem "ifadesi" kullanımını savunmuştur önerme . Strawson, aynı şeyi farklı şekillerde söylüyorlarsa iki bildirim cümlesinin aynı ifadeyi yapabileceğini belirtmek için "Bildirim" terimini kullandı. Böylece Strawson tarafından savunulan kullanımda, "Bütün insanlar ölümlüdür." ve "Her insan ölümlüdür." aynı ifadeyi yapan iki farklı cümledir.

Her iki durumda da bir ifade gerçeğin taşıyıcısı olarak görülür .

İfade olan (veya yapan) cümle örnekleri:

  • "Sokrates bir erkektir."
  • "Üçgenin üç kenarı vardır."
  • "Madrid ispanyanın başkentidir."

İfade olmayan (veya yapmayan) cümle örnekleri:

  • "Kimsin?"
  • "Çalıştırmak!"
  • "Yeşillik dolaşıyor."
  • "Bir tane homurdandım ama orada patlıcan vardı."
  • "Fransa Kralı bilgedir."
  • "Brokoli çok lezzetli."
  • "Pegasus var."

İlk iki örnek bildirim cümlesi değildir ve bu nedenle ifade değildir (veya yapmaz). Üçüncü ve dördüncü ifadeler bildirim cümleleridir, ancak anlamları olmadığı için ne doğru ne de yanlıştır ve bu nedenle ifade değildir (veya yapmaz). Beşinci ve altıncı örnekler, anlamlı bildirim cümleleridir, ancak ifadeler değil, fikir veya beğeni meselesidir. "Pegasus var" cümlesinin olup olmadığı. bir ifadedir, filozoflar arasında bir tartışma konusudur. Bertrand Russell bunun (yanlış) bir ifade olduğuna karar verdi. Strawson, bunun bir açıklama olmadığını savundu.

Soyut bir varlık olarak

Bazı tedavilerde, bir cümleyi bilgi içeriğinden ayırmak için "ifade" kullanılır. Bir ifade, bilgi içeren bir cümlenin bilgi içeriği olarak kabul edilir. Dolayısıyla bir cümle, taşıdığı sayıyla, atıf yaptığı sayı gibi, taşıdığı ifadeyle ilişkilidir. İfadeler soyut mantıksal varlıklarken , cümleler dilbilgisel varlıklardır .

Ayrıca bakınız

Notlar

Referanslar

  • AG Hamilton, Matematikçiler için Mantık , Cambridge University Press, 1980, ISBN  0-521-29291-3 .
  • Rouse, David L., "Cümleler, İfadeler ve Argümanlar", Biçimsel Mantığa Pratik Bir Giriş. (PDF)
  • Ruzsa, Imre (2000), Bevezetés a modern logikába , Osiris tankönyvek, Budapeşte: Osiris, ISBN 963-379-978-3
  • Xenakis, Jason (1956). "Cümle ve Açıklama: Bay Strawson üzerine Prof. Quine". Analiz . 16 (4): 91–4. doi : 10.2307/3326478 . ISSN  1467-8284 . JSTOR  3326478 – JSTOR aracılığıyla .
  • Peter Millican , "İfadeler ve Yöntem: Strawson , Quine ve Wolfram", http://philpapers.org/rec/MILSAM-2/
  • PF Strawson , "On Referring" in Mind , Cilt 59 Sayı 235 (Tem 1950) PF Strawson ( http://www.sol.lu.se/common/courses/LINC04/VT2010/Strawson1950.pdf/ )