在《理论篇》中，维特根斯坦对哲学体系的逻辑建构，有一个目的，找到世界、思想和语言的界限。
区分有意义和无意义。将什么为思维，或不是为思维，而是为思维的表达划定一个界限。
这个界限只能在语言中划定，而界限另一侧的东西将只是无稽之谈。命题具有意义的条件，并认为这些条件取决于表象或图像的可能性。
名称必须有其所指与意义，但它们只能在一个命题的语境中具有所指与意义，而这个命题是通过逻辑形式组合在一起的。
由此可见，只有可以描绘的事实状态才能用有意义的命题来表示。这就意味着，能说的只是自然科学的命题，而在语言中提出和使用的大量语句，则被排除在意义领域之外。
首先是逻辑本身的命题。这些命题并不代表事态，逻辑常量也不代表对象。
我的基本思想是，逻辑常量并不代表。事实的逻辑不能被代表。这不是一个偶然的想法；它之所以是根本性的，正是因为意义的限制依赖于逻辑。
同义反复和矛盾，即逻辑命题，是语言和思维的局限，因而也是世界的局限。显然，它们并没有描绘任何事物，因此也没有意义。
用维特根斯坦的话来说，它们是无意义的。有意义的命题是两极的；它们在真值表得出的真值条件范围内。
但逻辑命题本身 "并不是现实的图画，因为一个命题允许每一种可能的事态，另一个命题则不允许。
事实上，同义反复（和矛盾）是无意义的，仅仅在符号中，这一事实本身就包含了整个逻辑哲学。
无意义的特性不仅适用于逻辑命题，也适用于数学或图画形式本身。就像同义反复和矛盾一样，这些都是无意义的，它们没有任何意义。
在无意义命题之外，或者说除了无意义命题之外，维特根斯坦还指出了另一类无法承载意义的陈述，无意义命题。
无意义命题，与无意义命题相对，是指一个命题从根本上没有意义，超越了意义的界限。
在 "无意义 "的标签下可以找到各种命题，苏格拉底是相同的，还有 "1 是一个数 "和 "有物体"。
虽然有些无意义的命题是明目张胆的，但有些命题似乎是有意义的，只有按照图式理论进行分析，才能揭示它们的无意义性。
因为只有 "在 "世界中的东西才能被描述，所以任何 "在 "世界之外的东西都被否定了意义，包括极限概念和极限点本身。
传统的形而上学、伦理学和美学命题试图，将世界作为一个整体来把握，它们也被排除在外，正如唯我论的真理、主体的概念本身也被排除在外，因为它也不是 "在 "世界之中，而是在世界的极限。
然而，维特根斯坦并没有把所有，不在感性范围内的东西都归于遗忘。他在 "说 "与 "示 "之间做出了区分，而 "说 "与 "示 "则是额外的关键工作。
可以证明的东西不能说，不能用可说（感性）命题，来表述的东西只能证明。
例如，这适用于世界的逻辑形式、图像形式等，它们以（或然性）命题的形式、以象征主义的形式、以逻辑命题的形式显示出来。
甚至哲学中不可言说的（形而上学、伦理学、美学）命题也属于这一类--维特根斯坦最后将其描述为 "无法用语言表达的事物"。
它们使自身显现出来。它们是神秘的东西。