Normal view
MARC view
N-оператор и элиминация знака тождества в "Логико-философском трактате" Л. Витгенштейна К. А. Родин
Material type:
ArticleOther title: The N-operator and the elimination of the identity sign in Ludwig Wittgenstein's Tractatus Logico-Philosophicus [Parallel title]Subject(s): Витгенштейн, Людвиг 1889-1951 Логико-философский трактат | операторы | тождество | логика первого порядка | пропозициональные функции | логическая эквивалентность | логические связкиGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Философия. Социология. Политология № 52. С. 102-112Abstract: Дается краткое изложение основных результатов различных попыток представить предложенную Л. Витгенштейном правильную логическую нотацию в систематическом виде: рассматриваются правила применения N-оператора и правила элиминации знака тождества. Сопоставляются предложенные Каем Вемайером и Тимом Лампертом алгоритмы перевода «стандартных» формул на логический язык Трактата.
No physical items for this record
Библиогр.: 12 назв.
Дается краткое изложение основных результатов различных попыток представить предложенную Л. Витгенштейном правильную логическую нотацию в систематическом виде: рассматриваются правила применения N-оператора и правила элиминации знака тождества. Сопоставляются предложенные Каем Вемайером и Тимом Лампертом алгоритмы перевода «стандартных» формул на логический язык Трактата.
There are no comments on this title.