Link to this article: http://journals.cambridge.org/abstract_S0022481200037506How to cite this article: Teo Grünberg (1983). A tableau system of proof for predicate-functor logic with identity .
Dil hakkındaki araştırmaların tümünü içine alan en kuşatıcı işaretler-bilimine (C. Morris'i izleyerek) "semiotik" 1 diyoruz. 'Dil' sözcüğünü burada, dar mânâda yalnız günlük-dil (tabii dil, tarihsel dil) olarak değil, bütün bilim sel ve teknik dilleri ve genel olarak her türlü tabiî veya yapma sembol-sistemlerini kapsamı içine alacak şekilde, en geniş mânâda kullanıyoruz. Örneğin 'C' sembolü kimya-dilinin bir terimi ve 'C + O 2 -» CO 2 ' sembol-dizisi (de yimi) ise aynı dilin bir önermesi sayılmalıdır. Bu anlamda her bir özel uğraşı alanına (bilimler, güzel-sanatlar, ahlâk, hukuk, metafizik, v.ö.) özgü bir "dil" bulunduğunu söyleyebiliriz.Dilde şu üç faktörü ayırdedebiliriz: a) deyimler (yani tek tek anlamlı semboller ve bu sembollerden kurulu sonlu diziler); b) deyimlerin dil-dışı karşılıkları (yani dile getirdikleri nesneler) c) "kullanan" (yani deyimleri belli bir yer ve zamanda kullanan tek tek insanlar veya insan topluluğu). Genel olarak, verilen bir deyimin belli bir dil-dışı karşılığı olması bu deyimin içkin (intrinsic) veya tabiî bir özelliği değildir; yani deyim ile dil-dışı karşılığı ara sındaki bağlantı ne mantıksaldır, ne de nedensel (causal). Duman görülen yerde ateş beklenir, öyle ki duman ateşin bir işareti sayılabilir. Burada "işa ret" ile "işaret edilen" arasında gerçekten de tabiî, nedensel bir bağlantı vardır. * Bu yazıyı hazırlarken dostum Doç. Dr. Hüseyin Batuhan'ın düşüncelerinden pek çok yararlandım. Dr. Batuhan üstelik manüskriyi baştan aşağı büyük titizlikle gözden geçirerek düzeltmiştir. Bütün bu yardımlarından dolayı kendisine candan teşekkürlerimi tekrarlamayı bir borç bilirim.1 Bk. Batuhan ve Grünberg, Modern Mantık, Kitap I, özellikle s. 34-47.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.