Логико-философский трактат — это короткое и лаконичное произведение Людвига Витгенштейна. Учитывая то, что книга была опубликованная в 1921 году, она успела стать вдохновением для многих философских тенденций двадцатого века, и вряд ли её первоначальное содержание не анализировалось учеными. Мне нечего добавить к уже имеющемуся изобилию исследований.

Здесь вместо этого я постараюсь систематизировать термины трактата так, как сам Витгенштейн представлял их и исключительно в контексте этого единственного произведения. Я надеюсь, что этот словарь будет полезен для студентов занимающихся чтением и изучением трактата. Его предназначение чисто лексическое, а не интерпретирующее. (Некоторые слова и словосочетания приведены здесь не по определению, а через анализ свойств, им уделено совсем немного внимания. Речь идёт о таких как «формальная концепция».) Ч.К. Огден.

мир (der Welt): совокупность существующих атомарных фактов (2.04). Совокупность фактов, а не вещей (1.1). Все, что имеет место быть (1). Факты в логическом пространстве (1.13).

факт (die Tatsache): существующее или несуществующее положение дел (2, в разных переводах).

атомарный факт (der Sachverhalt): комбинация объектов, сущностей, вещей (2.01).

объект (der Gegenstand): нечто простое (2.02). Объекты составляют субстанцию мира (2.021).

образ (das Bild): модель реальности (2.12) и факт (2.141). Если его форма представления является логической формой, то он называется логическим образом (das logische Bild) (2.181).

структура образа (Struktur): связь элементов образа (2.15).

суждение (der Satz): функция выражений, содержащихся в нем (3.318). Все суждения — результаты операций истинности над элементарными суждениями (5.3) и сами являются операциями истинности элементарных суждений (5). Суждение является выражением его истинных условий (4.431). Это выражение согласия и несогласия с истинностными возможностями элементарных предложений (4.4).

логическое суждение (die logische Satz): описывает постановку мира (6.124). Те предположения, которые больше не могут быть установлены эмпирически, могут быть эмпирически опровергнуты (6.1222).

существенное суждение (der sinnvolle Satz): суждение, которое что-либо утверждает (6.1264).

математическое суждение (der Sat der Mathematik): уравнения; псевдосуждения (6.2).

элементарное суждение (der Elementarsatz): простейшее суждение, которое утверждает существование атомарного факта (4.21). Аргумент истинности суждения (5.01).

независимые суждения (der unabhängige Satz): суждения, не имеющие общих аргументов истинности (5.152).

представляющее соотношение (die abbildende Beziehung): состоит из координации элементов образа и вещей (2.1514).

форма репрезентации (Form der Abbildung): что образ должен иметь общего с действительностью, чтобы быть в состоянии репрезентировать её — правильно или неправильно (2.17). возможность построения структуры образа (2.15).

логическая форма (die logische Form): то, что суждения должны иметь общего с реальностью, чтобы быть в состоянии её репрезентировать (4.12).

пропозициональный знак (das Satzzeichen): знак, посредством которого мы выражаем мысль. Состоит из элементов, определенным образом сочетающихся в нем (3.12). пропозициональный знак есть факт (3.14).

пропозициональная переменная (die Satzvariable): переменная, значения которой являются пропозициями, содержащими в себе выражение (3.313).

формальная концепция (formalen Begriff): то, что не может быть представлено функцией (4.126).

правильная концепция (eigentlichen Begriff): то, что может быть представлено функцией (4.126)

содержание (Die Substanz): то, что существует независимо от того, что имеет место быть (2.024); форма и её суть (2.025).

выражение (der Ausdruck): всё, что существенно для определения смысла предложения, всё то, что предложения могут иметь общего друг с другом. Часть предложения, которая характеризует его смысл (3.31).

знак (Zeichen): часть обозначения, воспринимаемая чувствами (3.32).

простые знаки (einfache Zeichen): элементы пропозиционального знака, которые соответствуют объектам мысли (3.2). Предложения подвергаются «полноценному анализу» (vollständig analysiert), когда они находятся в единственном числе и состоят из простых знаков (3.201).

название (name): простой символ, обозначаемый одиночными буквами (x, y, z) (4.42). Названия — это простые знаки, используемые в суждениях (3.202).

внутреннее свойство, свойство конструкции (interne Eigenshaft): свойство, которое было бы немыслимо, если бы его объект не обладал им (4.122, 4.123). Соответствует понятию внутренних отношений (interne Relation): отношение между структурами, то как структуры предложений соотносятся друг с другом (5.2).

характеристика (Zug): внутреннее свойство факта (4.1221).

формальные ряды (Formenreihen): ряды, упорядоченные по внутренним связям (4.1252).

смысл (Zinn): то, что репрезентирует образ (2.221). То, что утверждает суждение (4.064).

составной символ (zusammengesetztes Symbol): имеет общие признаки с другими символами (5.5261).

общая логическая валидность (die logische allgemeingültigkeit): основная валидность (6.1232).

несущественная общая валидность (zufälligen): второстепенна для всех вещей (6.1231).

операция истинности (der Wahrheitsoperation): операции, которые используют (элементарные) суждения в качестве базисов и приводят к истинностным функциям этих суждений (5.234). Операция истинности — это способ, с помощью которого функция истинности возникает из элементарных высказываний (5.3). Операция выражает связи между структурами её результата и оснований (5.22).

функция истинности (der Wahrheitsfunktion): результат последовательного применения конечного числа операций истинности к элементарным суждениям (5.32). Каждая функция истинности является результатом последовательного применения операции (- — -T) (𝝽,…) к элементарным предложениям (или ξ¯) (5.501, 5.502).

последовательное применение (successive Anwendung): повторное применение операции к своим собственным результатам (5.2521). По своей концепции это эквивалентно понятию «и т. д.» (5.2523).