Coin de Quine

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

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 $\ulcorner (\zeta \subset \eta )\urcorner$ désigne une expression combinant les termes $\zeta$ et $\eta$, peu importe ce qu’ils soient, par un signe d’inclusion entre parenthèses. Si $\zeta$ et $\eta$ sont respectivement « $x\prime \prime \prime$ » et « $y\prime \prime \ni (y\prime \prime \subset z\prime \prime )$ », alors $\ulcorner (\zeta \subset \eta )\urcorner$ est la formule « $(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.

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)