Opak bağlam - Opaque context

Bir opak bağlam veya referentially opak bağlam bir olan dilsel bağlam o cümlelerin gerçeği değiştirmeden (aynı nesneye atıfta ifadeler) "eş-referential" ifadeleri yerine her zaman mümkün değildir ki. İlgili ifadeler genellikle dilbilgisi açısından tekil terimlerdir . Dolayısıyla, ortak referanslı ifadelerin opak bir bağlamda ikame edilmesi her zaman gerçeği korumaz. Örneğin, "Lois x'in bir kahraman olduğuna inanıyor" opak bir bağlamdır çünkü "Lois Süpermen'in bir kahraman olduğuna inanır" doğrudur, "Lois ise Clark Kent'in bir kahraman olduğuna inanır" yanlıştır, 'Süpermen' ve 'Clark Kent' olsa bile. ortak referans ifadeleri.

kullanım

Terim, felsefi referans teorilerinde kullanılır ve referans olarak şeffaf bağlamla karşılaştırılmalıdır . Kaba taslakta:

  • Opaklık: "Mary, Cicero'nun harika bir hatip olduğuna inanıyor ", anlaşılmaz bir bağlama yol açar; Cicero aynı zamanda 'Tully' olarak da adlandırılsa da, bu bağlamda ("Mary, Tully'nin büyük bir hatip olduğuna inanıyor") basitçe 'Tully' yerine 'Tully' koyamayız ve aynı doğruluk değerini garanti edemeyiz, çünkü Mary bunu bilmeyebilir. 'Tully' ve 'Cicero' isimleri bir ve aynı şeyi ifade eder. Tabii ki, eğer Mary Cicero'nun harika bir hatip olduğuna inanıyorsa, o zaman "Tully" ve "Cicero" kelimesini bilmese bile, Mary'nin Tully'nin büyük bir hatip olduğuna inandığı bir his vardır . Özel adların "doğrudan gönderme" teorilerinin, yani özel bir ismin anlamının sadece onun göndergesi olduğunu iddia eden teorilerin bize dayattığı anlamdır.
  • Şeffaflık: "Cicero bir Romalı hatipti" şeffaf bir bağlam yaratır; Burada 'Cicero' yerine 'Tully'yi kullanmakta bir sorun yoktur: "Tully bir Romalı hatipti". 'Cicero' ve 'Tully' aynı kişiye atıfta bulunuyorsa, her iki cümle de zorunlu olarak aynı şeyi ifade eder. Addaki bir değişikliğin orijinalden farklı bir şeyi ifade eden bir cümleyle sonuçlanabileceği opak bağlamlarda bu öğenin eksik olduğuna dikkat edin.

Terimin benzer kullanımı programlama dilleri ve mantık gibi yapay diller için de geçerlidir . Yukarıdaki Cicero–Tully örneği kolayca uyarlanabilir. Notasyonu bir terimden bahseden bir alıntı olarak kullanın . Altı harf uzunluğundaki terimler için doğru olan bir yüklem tanımlayın . Sonra opak bağlamı neden, ya da referentially opak çünkü, gerçek iken ise yanlıştır. Programlama dilleri genellikle gerçeklik ve sahtelik mantığı semantik daha zengin anlambilim var ve bir o kadar operatörü gibi referentially başka nedenlerle şeffaf yanı olmak başarısız olabilir.

Ayrıca bakınız

Referanslar