Abstract
——1. Nous allons maintenant développer le Calcul des ensembles ou des classes comme une Algèbre indépendante et toute formelle, sans nous occuper du contenu, càd de la signification des formules ; et pour cela, nous devrons substituer aux définitions réelles du chapitre précédent des définitions formelles, càd définir tous les symbols par leurs relations avec d’autres symboles (ce qui ne manqueraita pas d’impliquer un cercle vicieux, si l’onb prenait ces définitions formelles pour des définitions primitives). Nous donnerons de chaque formule et de chaque proposition les deux interprétations, conceptuelle et propositionnelle, qu’elle peut recevoir en Logique ; et pour les distinguer, nous les ferons précéder respectivement des initiales I. C. et I. P.(1)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Basel AG
About this chapter
Cite this chapter
Schlaudt, O., Sakhri, M. (2010). Principes. In: Schlaudt, O., Sakhri, M. (eds) Louis Couturat -Traité de Logique algorithmique. Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives(). Birkhäuser Basel. https://doi.org/10.1007/978-3-0346-0411-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-0346-0411-6_4
Published:
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-0346-0410-9
Online ISBN: 978-3-0346-0411-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)