À la recherche du temps perdu, édition Tadié, collection Quarto
CSBc
Contre Sainte-Beuve, édition Clarac et Sandre
CSBf
Contre Sainte-Beuve, édition Fallois
JS
Jean Santeuil, collection Quarto
PJ
Les Plaisirs et les Jours, collection L’Imaginaire
R&P
Derek Parfit, Reasons and Persons
Chacune de ces abréviations est suivie du numéro de la page.
Pour tous les ouvrages cités, les références complètes sont dans la Bibliographie. Dans les notes, ne sont rappelées que celles qui sont pertinentes pour le propos (par exemple la date quand un problème de priorité peut se poser).
//
Passages parallèles
ssi
si et seulement si
Symbolisme logique :
p, q
propositions quelconques
¬p
non p
p∧q
p et q
p∨q
p ou q
p→q
si p, alors q
p↔q
p si et seulement si q
$x
il existe quelque x tel que
∀x
pour tout x
12
x = y
x est identique à y
◊p
il est possible que p
□p
nécessairement p
A⇔B
A équivaut à B (par définition)
A⇒B
A implique B (par définition)
׀— ou ׀׀—
il est vrai que
׀‒̷‒
il n’est pas vrai que
Dans notre usage de la logique formelle, nous donnons en toutes lettres l’énoncé des formules, mais en raison du rôle rationnel joué par le symbolisme nous y ajoutons leur énoncé en symboles, soit placé avant (suivant le modèle de pédagogie offert sur ce point par Arthur Prior), soit placé après, selon la rhétorique appropriée au contexte.