İngilizce sözlükte "quasi-quotation" sözcüğünün anlamı

İNGILIZCE DİLİNDE QUASI-QUOTATION SÖZCÜĞÜNÜN OKUNUŞU

quasi-quotation

QUASI-QUOTATION SÖZCÜĞÜ İNGILIZCE DİLİNDE NE ANLAMA GELİR?

Yarı-tırnak

Quasi-quotation

Quasi quotation, resmi dillerdeki dilsel bir araçtır ve sözlü ayrımcılığı gözlemleyerek dilsel ifadelerle ilgili genel kuralların titiz ve basit formülasyonunu kolaylaştırır. Felsefeci ve mantıkçı Willard van Orman Quine tarafından 1940'da yayınlanan Matematiksel Mantık adlı kitabında ortaya atılmıştır. Basitçe, kısaca tırnak işareti, belirli bir durumda bir dilsel ifade için kullanılan değişkenleri tanıtmasını sağlar ve bu dilsel olarak kullanılır farklı bir örnekteki ifade. Örneğin, aşağıdaki gibi, yarı-fiyatlamayı ikame nicelemenin bir örneğini göstermek için kullanabiliriz: "Kar beyaz" doğrudur ve ancak kar beyazsa doğrudur. Bu nedenle, φ'nin her örneği bu sembol dizisi ile değiştirildiğinde aşağıdaki cümleyi doğru yapan bazı sembol dizisi vardır: "φ", yalnızca ve yalnızca φ ise doğrudur. Quasi-quotation, bu cümledeki φ ve "φ" nin birbiriyle ilintili şeyler olduğunu, birinin diğerinin bir metaloktada iterasyon olduğunu belirtmek için kullanılır.

Quasi-quotation is a linguistic device in formal languages that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use–mention distinction. It was introduced by the philosopher and logician Willard van Orman Quine in his book Mathematical Logic, originally published in 1940. Put simply, quasi-quotation enables one to introduce variables that stand for a linguistic expression in a given instance and are used as that linguistic expression in a different instance. For example, one can use quasi-quotation to illustrate an instance of substitutional quantification, like the following: "Snow is white" is true if and only if snow is white. Therefore, there is some sequence of symbols that makes the following sentence true when every instance of φ is replaced by that sequence of symbols: "φ" is true if and only if φ. Quasi-quotation is used to indicate that the φ and "φ" in this sentence are related things, that one is the iteration of the other in a metalanguage.

İngilizce sözlükte quasi-quotation sözcüğünün tanımı

Sözlükte kısmi tırnak tanımlaması, bu değişkenler için kullanılan sembollere atıfta bulunmaksızın değişken içeren bir ifadenin biçimine atıfta bulunan metal dilci bir aygıttır. Böylece, "not p", p harfi tarafından takip edilmeyen sözcükten ibaret iken, p "değil" tırnak işareti, değişken p'nin herhangi bir değeri tarafından izlenmeyen sözcüğün oluşturduğu herhangi bir ifadenin biçimini belirtir. Normal simge: ⌈, ⌉.

QUASI-QUOTATION SÖZCÜĞÜNÜN ÇEVİRİSİ

Çok dilli İngilizce çevirmenimiz ile quasi-quotation sözcüğünün 25 dile çevirisini bulun.

Bu bölümde verilen quasi-quotation sözcüğünün İngilizce dilinden diğer dillere çevirisi otomatik istatistiksel çeviri ile elde edilmiştir ve temel alınan çeviri birimi İngilizce dilindeki «quasi-quotation» sözcüğüdür.

• İngilizce - Çince Çevirmen: 准报价
• İngilizce - İspanyolca Çevirmen: cuasi - cita
• İngilizce: quasi-quotation
• İngilizce - Hintçe Çevirmen: अर्ध उद्धरण
• İngilizce - Arapça Çevirmen: شبه الاقتباس
• İngilizce - Rusça Çevirmen: Квази-цитирование
• İngilizce - Portekizce Çevirmen: quasi- citação
• İngilizce - Bengalce Çevirmen: আপাতদৃষ্টিতে উদ্ধৃতি
• İngilizce - Fransızca Çevirmen: quasi - citation
• İngilizce - Malezya Dili Çevirmen: Kuasi sebut harga
• İngilizce - Almanca Çevirmen: Quasi- Zitat
• İngilizce - Japonca Çevirmen: 準引用
• İngilizce - Korece Çevirmen: 준 인용
• İngilizce - Cava Dili Çevirmen: Quasi-quotation
• İngilizce - Vietnamca Çevirmen: bán báo giá
• İngilizce - Tamil Çevirmen: அரை மேற்கோள்
• İngilizce - Marathi Çevirmen: अर्धवट
• İngilizce - Türkçe Çevirmen: yarı-tırnak
• İngilizce - İtalyanca Çevirmen: quasi- citazione
• İngilizce - Lehçe Çevirmen: quasi - cytat
• İngilizce - Ukraynaca Çevirmen: Квазі - цитування
• İngilizce - Romence Çevirmen: cvasi - citat
• İngilizce - Yunanca Çevirmen: οιονεί εισαγωγικά
• İngilizce - Afrika Dili Çevirmen: kwasi- kwotasie
• İngilizce - İsveççe Çevirmen: kvasi- citat
• İngilizce - Norveççe Çevirmen: kvasi - sitat

«QUASI-QUOTATION» İLE İLİŞKİLİ İNGILIZCE KİTAPLAR

quasi-quotation sözcüğünün kullanımını aşağıdaki kaynakça seçkisinde keşfedin. quasi-quotation ile ilişkili kitaplar ve İngilizce edebiyattaki kullanımı ile ilgili bağlam sağlaması için küçük metinler.

Semantics, Applications, and Implementation of Program ...

Inside quotations, "anti-quotation" annotations allow the programmer to splice in computations that result in object-code. I am told that the idea of quasi-quotation originates in the work of the logicians Willard V. Quine in his book Mathematical ...

Walid Taha, 2001

Routledge Encyclopedia of Philosophy: Index

Related to regular quotation is a notation invented by Quine (1940), called 'quasi- quotation'. Quine, who has done more to encourage the correct use of quotation marks than any other writer, created quasi-quotation to help in capturing ...

Edward Craig, 1998

Wittgenstein on Rules and Private Language: An Elementary ...

Readers familiar with Quine's 'quasi-quotation' will be aware that in some cases I use ordinary quotation where logical purity would require that I use quasi- quotation or some similar device. I have not tried to be careful about this matter, since I ...

Saul A. Kripke, 1982

Trading Ontology for Ideology: The Interplay of Logic, Set ...

Quasi- quotation is an elaborate form of quotation.4 By means of quotation it is possible to mention expressions instead of merely using them. In the sentence ' Boston is populous', the city Boston is used, or, in other words, the city Boston ...

L. Decock, 2002

Program Specialization

Programming the generation of code using macros is facilitated by the mechanism of quasi-quotation [BAW 99], popularized by Lisp but also used in Scheme and other languages, including in C with the `C (Tick C) system [ENG 96a]. The idea ...

Renaud Marlet, 2013

Mathematical Logic, Revised Edition

We may translate any quasi-quotation: r 1 into words in corresponding fashion: The result of putting fi for V, v for 'v', . . . , 4 for V, ^ for in ' '. Described in another way: a quasi-quotation designates that (unspecified) expression which is obtained ...

Willard QUINE, 2009

Logic, Induction and Sets

A good way to think of quasi-quotes is not as a funny kind of quotation mark, for quotation is referentially opaque and quasi-quotation is referentially transparent, but rather as a kind of diacritic, not unlike the I^TeX commands I am using to write  ...

Thomas Forster, 2003

Central European Functional Programming School: Second ...

5.4 Representing Programs Using Quasi-quotes Quasi-quotation is an attempt to represent object-programs without cumbersome constructor functions. Here the actual representation of object-code is hidden from the user by the means of a ...

Zoltán Horváth, Anna Soós, 2008

Anna's Shtetl

Anna's actual words were: “She said, Come over, come over this weekend, Sunday. I'll give you something. . . . And bring along that pan. . . . So I knew what she meant, that she'll [sic] give me some milk.” No quasi-quotation is entirely invented.

Lawrence A. Coben, 2007

Provability, Computability and Reflection

2.4.9. Quasi-quotation and other cousins. Quasi-quotation can be defined in our terms by using f...a...' =biff[3e1] ('e1'=aandb='...e1...') once for each variable free inside the quasi-quotes. Conversely, quantification into quotes with expression ...

Lev D. Beklemishev, 2000

«QUASI-QUOTATION» TERİMİNİ İÇEREN HABERLER

Ulusal ve uluslararası basında konuşulanları ve quasi-quotation teriminin aşağıdaki haberlerde hangi bağlamda kullanıldığını keşfedin.

Salmond takes it to the 'max'

Prior to that oblique quasi-quotation from one of Dundee's most prominent MPs, Mr Salmond's address was carefully structured. Firstly, he dealt at length and in ... «BBC News, Eki 11»