Abréviations et symboles
- Publication type: Book chapter
- Book: La Mathesis de Marcel Proust
- Pages: 11 to 12
- Collection: Proustian Library, n° 13
ABRÉVIATIONS ET SYMBOLES
Q |
À 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 |
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.