Coin de Quine

Pour les articles homonymes, voir crochet.

Cet article est une ébauche concernant la typographie et les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

coin de Quine
⌜ ⌝ ⌞ ⌟
Graphies
Graphie	⌜ ⌝ ⌞ ⌟
Codage
Noms	Coin nord-ouest Coin nord-est, Coin sud-ouest, Coin sud-est
Unicode	U+231C U+231D U+231E U+231F
Bloc	Signes techniques divers
modifier

Les coins de Quine sont des signes de ponctuation utilisés en logique mathématique. Les coins de Quine nord-ouest et nord-est ‹ ⌜ ⌝ › sont utilisés pour les quasi-citations ou citations de Quine, et pour noter la numérotation de Gödel d’une expression.

Utilisation

En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression ${\displaystyle \ulcorner (\zeta \subset \eta )\urcorner }$ désigne une expression combinant les termes ${\displaystyle \zeta }$ et ${\displaystyle \eta }$, peu importe ce qu’ils soient, par un signe d’inclusion entre parenthèses. Si ${\displaystyle \zeta }$ et ${\displaystyle \eta }$ sont respectivement « ${\displaystyle x\prime \prime \prime }$ » et « ${\displaystyle y\prime \prime \ni (y\prime \prime \subset z\prime \prime )}$ », alors ${\displaystyle \ulcorner (\zeta \subset \eta )\urcorner }$ est la formule « ${\displaystyle (x\prime \prime \prime \subset y\prime \prime \ni (y\prime \prime \subset z\prime \prime ))}$ ». En général, l’expression entre coins de Quine représente une expression que l’on obtient lorsque les termes de cette première expression sont spécifiés.^[1],[2]

Notes et références

Bibliographie

• Murray G. Murphey, « Quine: Logic and philosophy », dans The development of Quine’s philosophy, Springer Science & Business Media, 2011, 286 p. (ISBN 9400724233 et 9789400724235), chap. 1
• Unicode Consortium, « Symbols », dans The Unicode Standard, Version 13.0 – Core Specification, 2020, 815–880 p. (ISBN 978-1-936213-26-9, lire en ligne), chap. 22, p. 853
• (en) W. V. Quine, « Logic based on inclusion and abstraction », Journal of Symbolic Logic, vol. 2, n^o 4,‎ décembre 1937, p. 145–152 (DOI 10.2307/2268279, JSTOR 2268279)

Voir aussi

• Demi-crochet

Liens externes

• (en) «  Miscellaneous Technical[2300] », dans The Unicode Standard, version 15.1), 2023 (lire en ligne)

• Portail de l’écriture