"quasi-quotation"辞典での英語の意味

英語でQUASI-QUOTATIONの発音

quasi-quotation

英語でQUASI-QUOTATIONはどんな意味ですか？

準引用

Quasi-quotation

準引用符は、言語表現に関する一般的な規則の厳密で簡潔な定式化を容易にしながら、使用法の区別を適切に観察しながら、形式的言語における言語学的装置である。 これは、哲学者で論理学者Willard van Orman Quineによって1940年に出版されたMathematical Logicの本の中で紹介されました。 別のインスタンスでの式。 たとえば、次のような代替的な定量化の例を示すために準引用符を使用することができます。「雪は白」は雪が白である場合にのみ真です。 したがって、φのすべてのインスタンスがそのシンボルのシーケンスに置き換えられたときに、次の文を真とするシンボルのシーケンスがあります。「φ」はφの場合にのみ真です。 準引用符は、この文におけるφとφが​​関連するものであり、他方がメタ言語での反復であることを示すために使用される。

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.

英語辞典でのquasi-quotationの定義

辞書の準引用符の定義は、変数を含む式の形をそれらの変数の記号を参照することなく参照するためのメタ言語的な装置である。 したがって、 "p"は文字pが続くことのない単語からなる式を指すが、p notではない疑似引用は、変数pの任意の値が後に続く単語からなる任意の式の形式を指す。 通常の記号：、、。

QUASI-QUOTATIONの翻訳

当社の英語多言語翻訳者が翻訳した25ヵ国語のquasi-quotationを探してみましょう。

自動統計翻訳によって、このセクションで示されている英語から他の言語へのquasi-quotationの翻訳を訳しました。この場合は、必須の翻訳単位は英語で«quasi-quotation»という単語です。

• 英語翻訳家 - 中国語: 准报价
• 英語翻訳家 - スペイン語: cuasi - cita
• 英語: quasi-quotation
• 英語翻訳家 - ヒンディー語: अर्ध उद्धरण
• 英語翻訳家 - アラビア語: شبه الاقتباس
• 英語翻訳家 - ロシア語: Квази-цитирование
• 英語翻訳家 - ポルトガル語: quasi- citação
• 英語翻訳家 - ベンガル語: আপাতদৃষ্টিতে উদ্ধৃতি
• 英語翻訳家 - フランス語: quasi - citation
• 英語翻訳家 - マレー語: Kuasi sebut harga
• 英語翻訳家 - ドイツ語: Quasi- Zitat
• 英語翻訳家 - 日本語: 準引用
• 英語翻訳家 - 韓国語: 준 인용
• 英語翻訳家 - ジャワ語: Quasi-quotation
• 英語翻訳家 - ベトナム語: bán báo giá
• 英語翻訳家 - タミル語: அரை மேற்கோள்
• 英語翻訳家 - マラーティー語: अर्धवट
• 英語翻訳家 - トルコ語: yarı-tırnak
• 英語翻訳家 - イタリア語: quasi- citazione
• 英語翻訳家 - ポーランド語: quasi - cytat
• 英語翻訳家 - ウクライナ語: Квазі - цитування
• 英語翻訳家 - ルーマニア語: cvasi - citat
• 英語翻訳家 - ギリシャ語: οιονεί εισαγωγικά
• 英語翻訳家 - アフリカーンス語: kwasi- kwotasie
• 英語翻訳家 - スウェーデン語: kvasi- citat
• 英語翻訳家 - ノルウェー語: kvasi - sitat

«QUASI-QUOTATION»に関連する英語の本

以下の図書目録からquasi-quotationの使いかたを見つけましょう。quasi-quotationに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。

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»を含むニュース項目

国内外の報道機関が語った内容や、次のニュース項目の文脈からquasi-quotationという用語がどのように使われているかを調べてみましょう。

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, 10月 11»