# Russell - Affirme que - Il est possible de ramener le langage ordinaire au langage rigoureux de la logique et des mathématiques - Il y a deux sortes de propositions - Les propositions atomiques - Des propositions simples, non séparables dans d'autres propositions et formées par un sujet et un prédicat - Les propositions atomiques correspondent à des faits atomiques ( → atomisme logique) - Les propositions atomiques sont vraies lorsqu'elles représentent la structure formelle des faits - Les propositions moléculaires - Des propositions complexes, formées de propositions atomiques liées par des connecteurs logiques - La valeur de vérité des propositions moléculaires dépend de celle des propositions atomiques simples