Coin de Quine
Apparence
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
[modifier | modifier le code]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
[modifier | modifier le code]- Quine 1937.
- Murphey 2011, p. 26.
Bibliographie
[modifier | modifier le code]- 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
[modifier | modifier le code]Liens externes
[modifier | modifier le code]- (en) « Miscellaneous Technical
[2300]
», dans The Unicode Standard, version 15.1), (lire en ligne)