QUASI-QUOTATION

CHE SIGNIFICA QUASI-QUOTATION IN INGLESE

Clicca per vedere la definizione originale di «quasi-quotation» nel dizionario inglese.

Clicca per vedere la traduzione automatica della definizione in italiano.

Quasi-citazione

Quasi-citazione è un dispositivo linguistico in lingue formali che facilita la formulazione rigorosa e tersa delle regole generali sulle espressioni linguistiche, osservando correttamente la distinzione di uso-menzione. È stato introdotto dal filosofo e logico Willard van Orman Quine nel suo libro Mathematical Logic, originariamente pubblicato nel 1940. In poche parole, la quasi-citazione consente di introdurre variabili che rappresentano un'espressione linguistica in un dato caso e vengono utilizzate come quelle linguistiche Espressione in un'istanza diversa. Ad esempio, è possibile utilizzare quasi-quotazione per illustrare un'istanza di quantificazione sostitutiva, come il seguente: "La neve è bianca" è vero se e solo se la neve è bianca. Pertanto, c'è una sequenza di simboli che rendono la frase seguente quando ogni istanza di φ viene sostituita da quella sequenza di simboli: "φ" è vero se e solo se φ. Quasi-citazione viene usata per indicare che φ e "φ" in questa frase sono cose correlate, che è l'iterazione dell'altra in una meticulazione. 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.

Più informazione

definizione di quasi-quotation nel dizionario inglese

La definizione di quasi-citazione nel dizionario è un dispositivo metalinguistico per riferirsi alla forma di un'espressione che contiene variabili senza fare riferimento ai simboli per quelle variabili. Così mentre "non p" si riferisce all'espressione consistente della parola non seguita dalla lettera p, la quasi-citazione ⌈ non p ⌉ si riferisce alla forma di qualsiasi espressione consistente della parola non seguita da alcun valore della variabile p. Simbolo usuale: ⌈, ⌉.

The definition of quasi-quotation in the dictionary is a metalinguistic device for referring to the form of an expression containing variables without referring to the symbols for those variables. Thus while "not p" refers to the expression consisting of the word not followed by the letter p, the quasi-quotation ⌈ not p ⌉ refers to the form of any expression consisting of the word not followed by any value of the variable p. Usual symbol: ⌈, ⌉.

Clicca per vedere la definizione originale di «quasi-quotation» nel dizionario inglese.

Clicca per vedere la traduzione automatica della definizione in italiano.

PAROLE IN INGLESE CHE COMINCIANO COME QUASI-QUOTATION

PAROLE IN INGLESE CHE FINISCONO COME QUASI-QUOTATION

PAROLE IN INGLESE ASSOCIATE CON «QUASI-QUOTATION»

quasi-quotation quasi quotation linguistic device formal languages that facilitates rigorous terse formulation general rules about expressions while properly observing mention distinction introduced philosopher logician willard stanford encyclopedia philosophy synonymous with verbal description result writing then template haskell appear either pattern context arbitrary string full facility what meaning quasiquotations stack overflow idea called prex comes from possibility inserting values meta language into quoted define syntax prolog inspired support allows embedding long strings using external nesting lambda ultimate

TRADUZIONE DI QUASI-QUOTATION

Conosci la traduzione di quasi-quotation in 25 lingue con il nostro traduttore inglese multilingue.

Le traduzioni di quasi-quotation verso altre lingue presenti in questa sezione sono il risultato di una traduzione automatica statistica; dove l'unità essenziale della traduzione è la parola «quasi-quotation» in inglese.

Traduttore italiano - cinese

准报价

1 325 milioni di parlanti

Traduttore italiano - spagnolo

cuasi - cita

570 milioni di parlanti

inglese

quasi-quotation

510 milioni di parlanti

Traduttore italiano - hindi

अर्ध उद्धरण

380 milioni di parlanti

Traduttore italiano - arabo

شبه الاقتباس

280 milioni di parlanti

Traduttore italiano - russo

Квази-цитирование

278 milioni di parlanti

Traduttore italiano - portoghese

quasi- citação

270 milioni di parlanti

Traduttore italiano - bengalese

আপাতদৃষ্টিতে উদ্ধৃতি

260 milioni di parlanti

Traduttore italiano - francese

quasi - citation

220 milioni di parlanti

Traduttore italiano - malese

Kuasi sebut harga

190 milioni di parlanti

Traduttore italiano - tedesco

Quasi- Zitat

180 milioni di parlanti

Traduttore italiano - giapponese

準引用

130 milioni di parlanti

Traduttore italiano - coreano

준 인용

85 milioni di parlanti

Traduttore italiano - giavanese

Quasi-quotation

85 milioni di parlanti

Traduttore italiano - vietnamita

bán báo giá

80 milioni di parlanti

Traduttore italiano - tamil

அரை மேற்கோள்

75 milioni di parlanti

Traduttore italiano - marathi

अर्धवट

75 milioni di parlanti

Traduttore italiano - turco

yarı-tırnak

70 milioni di parlanti

Traduttore italiano - italiano

quasi- citazione

65 milioni di parlanti

Traduttore italiano - polacco

quasi - cytat

50 milioni di parlanti

Traduttore italiano - ucraino

Квазі - цитування

40 milioni di parlanti

Traduttore italiano - rumeno

cvasi - citat

30 milioni di parlanti

Traduttore italiano - greco

οιονεί εισαγωγικά

15 milioni di parlanti

Traduttore italiano - afrikaans

kwasi- kwotasie

14 milioni di parlanti

Traduttore italiano - svedese

kvasi- citat

10 milioni di parlanti

Traduttore italiano - norvegese

kvasi - sitat

5 milioni di parlanti

TENDENZE D'USO DEL TERMINE «QUASI-QUOTATION»

Il termine «quasi-quotation» si utilizza appena e occupa la posizione 208.168 del nostro elenco di termini più utilizzati del dizionario di inglese.

100%

FREQUENZA

In disuso

/100

Nella mappa precedente si riflette la frequenza di suo del termine «quasi-quotation» nei diversi paesi.

Principali tendenze di ricerca e usi comuni di quasi-quotation

quasi-quotation online translator

quasi-quotation dictionary app

quasi-quotation antonyms

english dictionary quasi-quotation

quasi-quotation translation

quasi-quotation definition

quasi-quotation dictionary

thesaurus quasi-quotation

synonyms for quasi-quotation

quasi-quotation online dictionary

Elenco delle principali ricerche fatte dagli utenti per accedere al nostro dizionario di inglese online ed espressioni più utilizzate con la parola «quasi-quotation».

FREQUENZA D'USO DEL TERMINE «QUASI-QUOTATION» NEL TEMPO

Il grafico rappresenta l'evoluzione annuale della frequenza d'uso della parola «quasi-quotation» negli ultimi 500 anni. La sua implementazione si basa sull'analisi della frequenza della comparsa del termine «quasi-quotation» nelle fonti stampate digitalizzate dalle inglese pubblicate dal 1500 ad oggi.

10 LIBRI IN INGLESE ASSOCIATI CON «QUASI-QUOTATION»

Scopri l'uso di quasi-quotation nella seguente selezione bibliografica. Libri associati con quasi-quotation e piccoli estratti per contestualizzare il loro uso nella letteratura.

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

Significato di "quasi-quotation" sul dizionario di inglese

PRONUNCIA DI QUASI-QUOTATION IN INGLESE

CATEGORIA GRAMMATICALE DI QUASI-QUOTATION