Coin de Quine
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir crochet.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e8/FontForge_icon.svg/35px-FontForge_icon.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
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 désigne une expression combinant les termes et , peu importe ce qu’ils soient, par un signe d’inclusion entre parenthèses. Si et sont respectivement « » et « », alors est la formule « ». 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
- ↑ Quine 1937.
- ↑ Murphey 2011, p. 26.
Bibliographie
- Murray G. Murphey, « Quine: Logic and philosophy », dans The development of Quine’s philosophy, Springer Science & Business Media, , 286 p. (ISBN 9400724233 et 9789400724235), chap. 1
- Unicode Consortium, « Symbols », dans The Unicode Standard, Version 13.0 – Core Specification, , 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, no 4, , 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), (lire en ligne)
v · m Symboles typographiques | |
---|---|
Ponctuation |
|
Diacritique (de l’alphabet latin) |
|
Symbole typographique |
|
Symbole mathématique |
|
Symbole logique |
|
Symbole monétaire |
|
Portail de l’écriture