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 désigne une expression combinant les termes et , peu importe ce qu’ils sont, 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 16.0), (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