QUASI-QUOTATION SÖZCÜĞÜ İNGILIZCE DİLİNDE NE ANLAMA GELİR?
Yarı-tırnak
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.
İ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» İ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.
1
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 ...
2
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 ...
3
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 ...
4
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 ...
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 ...
6
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 ...
7
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
...
8
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 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.
10
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 ...
«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»