Coin de Quine

En logique mathématique, les coins de Quine sont utilisés de la façon suivante : l’expression ${\displaystyle \ulcorner (\zeta \subset \eta )\urcorner }$ désigne une expression combinant les termes ${\displaystyle \zeta }$ et ${\displaystyle \eta }$, peu importe ce qu’ils soient, par un signe d’inclusion entre parenthèses. Si ${\displaystyle \zeta }$ et ${\displaystyle \eta }$ sont respectivement « ${\displaystyle x\prime \prime \prime }$ » et « ${\displaystyle y\prime \prime \ni (y\prime \prime \subset z\prime \prime )}$ », alors ${\displaystyle \ulcorner (\zeta \subset \eta )\urcorner }$ est la formule « ${\displaystyle (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.[1]^,[2]

• 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)

• Demi-crochet