Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Quasi-quotation> ?p ?o }
Showing triples 1 to 67 of
67
with 100 triples per page.
- Quasi-quotation abstract "Quasi-quotation or Quine 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 (usually in more complex formulas) that the φ and "φ" in this sentence are related things, that one is the iteration of the other in a metalanguage.Quasi-quotation is sometimes denoted using the symbols ⌜ and ⌝ (unicode U+231C, U+231D) instead of ordinary quotation marks.".
- Quasi-quotation wikiPageExternalLink quotation.
- Quasi-quotation wikiPageID "3648169".
- Quasi-quotation wikiPageLength "6933".
- Quasi-quotation wikiPageOutDegree "35".
- Quasi-quotation wikiPageRevisionID "678049466".
- Quasi-quotation wikiPageWikiLink Arabic_numeral.
- Quasi-quotation wikiPageWikiLink Arabic_numerals.
- Quasi-quotation wikiPageWikiLink Category:Formal_languages.
- Quasi-quotation wikiPageWikiLink Category_mistake.
- Quasi-quotation wikiPageWikiLink Concatenation.
- Quasi-quotation wikiPageWikiLink Denotation.
- Quasi-quotation wikiPageWikiLink Disjunction.
- Quasi-quotation wikiPageWikiLink Electron.
- Quasi-quotation wikiPageWikiLink Electrons.
- Quasi-quotation wikiPageWikiLink First-order_logic.
- Quasi-quotation wikiPageWikiLink Formal_language.
- Quasi-quotation wikiPageWikiLink Formal_languages.
- Quasi-quotation wikiPageWikiLink Greek_alphabet.
- Quasi-quotation wikiPageWikiLink Greek_letter.
- Quasi-quotation wikiPageWikiLink Iteration.
- Quasi-quotation wikiPageWikiLink Latin_script.
- Quasi-quotation wikiPageWikiLink Lisp_(programming_language).
- Quasi-quotation wikiPageWikiLink Logic.
- Quasi-quotation wikiPageWikiLink Logical_consequence.
- Quasi-quotation wikiPageWikiLink Logical_disjunction.
- Quasi-quotation wikiPageWikiLink Logician.
- Quasi-quotation wikiPageWikiLink Metalanguage.
- Quasi-quotation wikiPageWikiLink Natural_number.
- Quasi-quotation wikiPageWikiLink Negation.
- Quasi-quotation wikiPageWikiLink Number.
- Quasi-quotation wikiPageWikiLink Numeral_system.
- Quasi-quotation wikiPageWikiLink Object_language.
- Quasi-quotation wikiPageWikiLink People.
- Quasi-quotation wikiPageWikiLink Philosopher.
- Quasi-quotation wikiPageWikiLink Recursive_definition.
- Quasi-quotation wikiPageWikiLink Roman_letter.
- Quasi-quotation wikiPageWikiLink String_(computer_science).
- Quasi-quotation wikiPageWikiLink String_interpolation.
- Quasi-quotation wikiPageWikiLink Substitutional_quantification.
- Quasi-quotation wikiPageWikiLink Template_processor.
- Quasi-quotation wikiPageWikiLink Truth-value_semantics.
- Quasi-quotation wikiPageWikiLink Use–mention_distinction.
- Quasi-quotation wikiPageWikiLink Variable_(computer_science).
- Quasi-quotation wikiPageWikiLink Variable_(programming).
- Quasi-quotation wikiPageWikiLink Well-formed_formula.
- Quasi-quotation wikiPageWikiLink Willard_Van_Orman_Quine.
- Quasi-quotation wikiPageWikiLink Willard_van_Orman_Quine.
- Quasi-quotation wikiPageWikiLinkText "Quasi-quotation".
- Quasi-quotation wikiPageWikiLinkText "Quine corners".
- Quasi-quotation wikiPageWikiLinkText "quasi-quotation".
- Quasi-quotation hasPhotoCollection Quasi-quotation.
- Quasi-quotation wikiPageUsesTemplate Template:Cite_book.
- Quasi-quotation wikiPageUsesTemplate Template:Redirect.
- Quasi-quotation subject Category:Formal_languages.
- Quasi-quotation hypernym Device.
- Quasi-quotation type Device.
- Quasi-quotation type Language.
- Quasi-quotation type Combinatoric.
- Quasi-quotation type Language.
- Quasi-quotation comment "Quasi-quotation or Quine 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.".
- Quasi-quotation label "Quasi-quotation".
- Quasi-quotation sameAs m.09s3gz.
- Quasi-quotation sameAs Q7269471.
- Quasi-quotation sameAs Q7269471.
- Quasi-quotation wasDerivedFrom Quasi-quotation?oldid=678049466.
- Quasi-quotation isPrimaryTopicOf Quasi-quotation.