Znaczenie słowa "quasi-quotation" w słowniku

WYMOWA SŁOWA QUASI-QUOTATION

quasi-quotation

CO OZNACZA SŁOWO QUASI-QUOTATION

Quasi-cytat

Quasi-quotation

Quasi-cytat jest językowym urządzeniem w językach formalnych, które ułatwia rygorystyczne i krótkie sformułowanie ogólnych reguł dotyczących wyrażeń lingwistycznych, przy jednoczesnym zachowaniu wyróżnienia w użyteczności. Został on wprowadzony przez filozofa i logika Willarda van Ormana Quine'a w jego książce Logika matematyczna, wydana pierwotnie w 1940 roku. Po prostu, quasi-cytat umożliwia wprowadzenie zmiennych, które mają w danym przypadku znaczenie językowe i są używane jako językoznawstwo wyrażenie w innej instancji. Na przykład można użyć quasi-cytatu w celu zilustrowania instancji kwantyfikacji substytucji, np .: "Śnieżka jest biała" - jeśli tylko śnieg jest biały. W związku z tym istnieje pewna sekwencja symboli, która sprawia, że ​​następujące zdanie jest prawdziwe, gdy każde wystąpienie φ zostanie zastąpione następującą sekwencją symboli: "φ" jest prawdziwe, gdy i tylko wtedy, gdy φ. Quasi-cytat jest używany do wskazania, że ​​φ i "φ" w tym zdaniu są sprawami pokrewnymi, to jest iteracją drugiego w metajęzyk.

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.

Definicja słowa quasi-quotation w słowniku

Definicja quasi-cytowania w słowniku jest metalingwistycznym narzędziem odnoszącym się do formy wyrażenia zawierającego zmienne bez odwoływania się do symboli dla tych zmiennych. Zatem, podczas gdy "nie p" odnosi się do wyrażenia składającego się z słowa, za którym nie następuje litera p, quasi-cytat ⌈ nie p ⌉ odnosi się do formy dowolnego wyrażenia składającego się z słowa, za którym nie następuje żadna wartość zmiennej p. Zwykły symbol: ⌈, ⌉.

TŁUMACZENIE SŁOWA QUASI-QUOTATION

Poznaj tłumaczenie słowa quasi-quotation na 25 języków dzięki naszemu tłumaczowi wielojęzycznemu.

Tłumaczenie słowa quasi-quotation na inne języki w tej sekcji zostało uzyskane za pomocą automatycznego tłumaczenia statystycznego, gdzie podstawową jednostką tłumaczeniową jest słowo «quasi-quotation».

• Tłumacz angielski - chiński: 准报价
• Tłumacz angielski - hiszpański: cuasi - cita
• angielski: quasi-quotation
• Tłumacz angielski - hindi: अर्ध उद्धरण
• Tłumacz angielski - arabski: شبه الاقتباس
• Tłumacz angielski - rosyjski: Квази-цитирование
• Tłumacz angielski - portugalski: quasi- citação
• Tłumacz angielski - bengalski: আপাতদৃষ্টিতে উদ্ধৃতি
• Tłumacz angielski - francuski: quasi - citation
• Tłumacz angielski - malajski: Kuasi sebut harga
• Tłumacz angielski - niemiecki: Quasi- Zitat
• Tłumacz angielski - japoński: 準引用
• Tłumacz angielski - koreański: 준 인용
• Tłumacz angielski - jawajski: Quasi-quotation
• Tłumacz angielski - wietnamski: bán báo giá
• Tłumacz angielski - tamilski: அரை மேற்கோள்
• Tłumacz angielski - marathi: अर्धवट
• Tłumacz angielski - turecki: yarı-tırnak
• Tłumacz angielski - włoski: quasi- citazione
• Tłumacz angielski - polski: quasi - cytat
• Tłumacz angielski - ukraiński: Квазі - цитування
• Tłumacz angielski - rumuński: cvasi - citat
• Tłumacz angielski - grecki: οιονεί εισαγωγικά
• Tłumacz angielski - afrikaans: kwasi- kwotasie
• Tłumacz angielski - szwedzki: kvasi- citat
• Tłumacz angielski - norweski: kvasi - sitat

KSIĄŻKI POWIĄZANE ZE SŁOWEM «QUASI-QUOTATION»

Poznaj użycie słowa quasi-quotation w następujących pozycjach bibliograficznych Książki powiązane ze słowem quasi-quotation oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.

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

WIADOMOŚCI, KTÓRE ZAWIERAJĄ SŁOWO «QUASI-QUOTATION»

Sprawdź, o czym dyskutuje się w prasie krajowej i zagranicznej oraz jak jest stosowane słowo quasi-quotation w wiadomościach.

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, Paz 11»