Aller au contenu

Coin de Quine

Un article de Wikipédia, l'encyclopédie libre.

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

[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]

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)

Liens externes

[modifier | modifier le code]