Le ''Tractatus'' opère une distinction [[ontologie|ontologique]] entre les objets et les faits : on peut se référer aux objets ou les nommer, décrire les faits ou les énoncer, mais non décrire ou énoncer les objets, ni se référer aux faits ou les énoncer<ref>{{article|langue=en|titre=Ontology and Method in Wittgenstein's Tractatus|auteurs=Charles B. Daniels et John Davison|périodique=Noûs|volume=7|numéro=3 |année=1973|jstor=2214349|passage=234}}.</ref>. Les faits sont, avec la deuxième proposition principale du ''Tractatus'' des ''états de choses''. Eli Frielander précise que dans un contexte d'utilisation stricte de notions de logique traditionnelle, un fait ({{Cita|positif}}) est un complexe d'états de choses qui a lieu, qui « subsiste » ; qu'il y a aussi des « faits négatifs » (2.06) qui désignent la non-subsistance d’états de choses, qui n’ont pas lieu{{Sfn|Wittgenstein|1921|p=37}}{{,}}<ref>{{chapitre|langue=en|auteur= Eli Friedlander|titre chapitre=Logic Apart |titre ouvrage=Signs of Sense|éditeur=Harvard University Press|année= 2001|doi=10.4159/harvard.9780674418172|passage=32(note)}}.</ref>. Enfin, les faits sont constitués des composantes irréductibles de la proposition : les ''objets''. Un objet est en dernière analyse seulement défini par son existence : {{citation|La simplicité de l'objet consiste en ce qu'il est nommable.}}{{sfn|Chauviré|1989|p=86}} L'introduction des faits permet une distinction fondamentale concernant le lieu du sens : seuls les faits peuvent exprimer un sens{{Sfn|Chauviré|1989|p=88}} : {{Citation|Seuls des faits peuvent exprimer un sens, une classe de noms ne le peut pas.}} {{Small|(3.142)}}. Ainsi le rôle de la logique est de donner une représentation{{note|Le terme de représentation n'est pas définitif et varie selon les traductions. Ainsi [[Gilles Gaston Granger|G. G. Granger]] utilise le terme d'''image'', [[Étienne Balibar]] celui de ''tableau''{{Sfn|Badiou|2017|p=46}}.|group=n}} de ces objets, leur donner une ''forme logique''. Ils sont en eux-mêmes {{Citation|sans couleur}} {{Small|(2.0232)}}.[[Image:Bertrand Russell transparent bg.png|vignette|gauche|Portait de [[Bertrand Russell]] datant de 1916.|alt=Portrait photographique en noir et blanc, dans un médaillon ovale, d'un homme souriant, portant un haut col rigide et une cravate noire.|upright=0.9]]Par quels moyens la logique arrive-t-elle à cette figuration de la réalité ? Par combinaison des propositions élémentaires jusqu'ici décrites de l'[[atomisme logique]] auquel Wittgenstein adhère à cette époque, après [[Bertrand Russell|Russell]], son professeur à [[Université de Cambridge|Cambridge]]. La proposition (en allemand ''der Satz'') élémentaire est un agencement de noms : elle forme alors un fait et un [[Signification (philosophie)|signe]]{{Sfn|Chauviré|1989|p=87}}{{,}}{{Sfn|Bouveresse-Quilliot|1995|p=140|loc=in Peter Kampits, ''Ludwig Wittgenstein, penseur herméneutique du langage''}}.
* En tant que fait, donc porteur de sens (cf. ''infra'' {{Small|(3.142)}}), elle appartient au monde (rappelons que le monde n'est rien d'autre que {{citation|la totalité des faits}} <small>(1.1)</small>.)
