Чтение онлайн

на главную

Жанры

Логико-философский трактат

Витгенштейн Людвиг

Шрифт:

6. 1. Предложения логики суть тавтологии.

6. 11. Предложения логики, следовательно, ничего не говорят. (Они являются аналитическими предложениями.)

6. 111. Теории, в которых предложение логики может казаться содержательным, всегда ложны. Можно, например, верить, что слова «истинно» и «ложно» обозначают два свойства среди других свойств, и тогда казалось бы удивительным фактом то, что всякое предложение обладает одним из этих свойств. Это кажется теперь далеко не самоочевидным, столь же мало самоочевидным, как, например, предложение «все розы или желтые, или красные», даже если оно истинно. Да, каждое такое предложение в таком случае получает полностью характер естественно-научного

предложения, а это есть верный признак того, что оно было ложно понято.

6. 112. Правильное объяснение логических предложений должно ставить их в исключительное положение среди всех предложений.

6. 113. Специфическим признаком логических предложений является то, что их истинность узнается из символа самого по себе, и этот факт заключает в себе всю философию логики. И одной из важнейших фактов является также то, что истинность или ложность нелогических предложений не может быть познана из одних этих предложений.

6. 12. Тот факт, что предложения логики-тавтологии, показывает формальные – логические – свойства языка, мира. То, что их составные части, будучи так связаны, дают тавтологию, характеризует логику их составных частей. Чтобы предложения, соединенные определенным образом, дали тавтологию, они должны иметь определенные свойства структуры. То, что, будучи так. связаны, они дают тавтологию, показывает, следовательно, что они обладают этими свойствами структуры.

6. 1201. То, что, например, предложения «р» и «~р» в связи ~ (р* ~р)» дают тавтологию, показывает, что они противоречат друг другу. То, что предложения «р É р», «р» и «q», связанные друг с другом в форме « (рÉq) * (р): É: (q) «, дают тавтологию, показывает, что q следует из р и pÉ q. To, что « (x) fx: É: fа» есть тавтология, показывает, что fa следует из (х) * fx, и т. д.

6. 1202. Ясно, что для этой же цели можно было бы применять вместо тавтологии противоречия.

6. 1203. Для того чтобы опознать тавтологию как таковую, можно пользоваться в тех случаях, когда в тавтологию не входит знак общности, следующим наглядным методом: я пишу вместо «p», «q», «r» и т. д. «ИрЛ». «ИqЛ», «ИrЛ» и т. д. Комбинации истинности я выражаю скобками, например: а координацию истинности или ложности всего предложения с комбинациями истинности аргументов истинности-линиями следующим образом: Этот знак изображал бы, например, предложение pÉq. Теперь я хочу исследовать на основании этого, является ли, например, предложение ~ (р * ~р) (закон противоречия) тавтологией. Форма «~x» в нашем способе записи напишется: И – «ИxЛ» – Л. Форма «~xh» напишется так. Поэтому предложение ~ (р. ~q) гласит следующее. Если мы поставим здесь вместо «q» – «р» и исследуем сочетание самых крайних Я и Л с самыми внутренними, то получится, что истинность всего предложения согласовывается со всеми комбинациями истинности его аргументов, а его ложность не согласовывается ни с одной комбинацией истинности.

6. 121. Предложения логики демонстрируют логические свойства предложений, связывая их в ничего не говорящие предложения. Этот метод можно было бы назвать также методом нуля. В логическом предложении предложения уравновешиваются друг с другом, и тогда состояние равновесия указывает, как должны логически строиться эти предложения.

6. 122. Из этого следует, что мы можем обходиться без логических предложений, так как мы ведь можем узнавать в соответствующей записи формальные свойства предложений простым наблюдением их.

6. 1221. Если, например, два предложения «р» и «q» в связи «pÉq» дают тавтологию, то ясно, что q следует из р. Например, то, что « следует из «pÉ q*p», мы видим из самих этих двух предложений, – но это мы можем также показать, связывая их в «р É q * р: É: и показывая затем, что это тавтология.

6. 1222. Это проливает свет на вопрос, почему логические предложения могут подтверждаться, опытом не более, чем они могут опровергаться опытом. Предложение логики не только не должно опровергаться никаким возможным опытом, но оно также не может им подтверждаться.

6. 1223. Теперь ясно, почему мы нередко чувствуем, будто «логические истины» должны «требоваться» нами. Мы можем фактически требовать их постольку, поскольку мы можем требовать удовлетворительного способа записи.

6. 1224. Теперь также ясно, почему логика была названа учением о формах и выводе.

6. 123. Ясно, что логические законы сами не могут в свою очередь подчиняться логическим законам. (Для каждого «типа» нет своего особого закона противоречия, как полагал Рассел, но достаточно одного, так как он ведь не применяется к самому себе.)

6. 1231. Признаком логического предложения не является общезначимость. Быть общим – это ведь только значит: случайно иметь значение для всех предметов. Необобщенное предложение может быть тавтологичным точно так же, как и обобщенное.

6. 1232. Логическую общезначимость можно было бы назвать существенной, в противоположность случайной общезначимости, которая выражается, например, в предложении «все люди смертны». Предложения типа расселовской «аксиомы сводимости» не являются логическими предложениями, и этим объясняется то, что мы чувствуем: подобные предложения, даже если они истинны, могут быть истинными только благодаря счастливой случайности.

6. 1233. Можно представить себе мир, в котором «аксиома сводимости» недействительна. Но ясно, что логика не имеет никакого отношения к вопросу о том, таков ли наш мир в действительности или нет.

6. 124. Логические предложения описывают строительные леса (das Gerust) мира, или, скорее, изображают их. Они ни о чем не «трактуют». Они предполагают, что имена имеют значение, а элементарные предложения- смысл; это и есть их связь с миром. Ясно, что должен показывать нечто о мире тот факт, что некоторые связи символов, имеющие, по существу, определенный характер, являются тавтологиями. В этом – решающее. Мы сказали, что в символах, которые мы употребляем, кое-что является произвольным, а кое-что-нет. В логике выражается только это; но это означает, что в логике не мы выражаем с помощью знаков то, что мы хотим, а в логике высказывает себя природа естественно-необходимых знаков. Иными словами, если мы знаем логический синтаксис какого-либо знакового языка, то уже. даны все предложения логики.

Поделиться:
Популярные книги

Газлайтер. Том 8

Володин Григорий
8. История Телепата
Фантастика:
попаданцы
альтернативная история
аниме
5.00
рейтинг книги
Газлайтер. Том 8

Вечный. Книга III

Рокотов Алексей
3. Вечный
Фантастика:
фэнтези
попаданцы
рпг
5.00
рейтинг книги
Вечный. Книга III

#Бояръ-Аниме. Газлайтер. Том 11

Володин Григорий Григорьевич
11. История Телепата
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
#Бояръ-Аниме. Газлайтер. Том 11

На границе империй. Том 6

INDIGO
6. Фортуна дама переменчивая
Фантастика:
боевая фантастика
космическая фантастика
попаданцы
5.31
рейтинг книги
На границе империй. Том 6

Уязвимость

Рам Янка
Любовные романы:
современные любовные романы
7.44
рейтинг книги
Уязвимость

Темный Патриарх Светлого Рода 5

Лисицин Евгений
5. Темный Патриарх Светлого Рода
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Темный Патриарх Светлого Рода 5

Иван Московский. Том 5. Злой лев

Ланцов Михаил Алексеевич
5. Иван Московский
Фантастика:
попаданцы
альтернативная история
6.20
рейтинг книги
Иван Московский. Том 5. Злой лев

Идеальный мир для Лекаря 18

Сапфир Олег
18. Лекарь
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Идеальный мир для Лекаря 18

Сумеречный стрелок 7

Карелин Сергей Витальевич
7. Сумеречный стрелок
Фантастика:
городское фэнтези
попаданцы
аниме
5.00
рейтинг книги
Сумеречный стрелок 7

Курсант: Назад в СССР 7

Дамиров Рафаэль
7. Курсант
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Курсант: Назад в СССР 7

Законы Рода. Том 6

Flow Ascold
6. Граф Берестьев
Фантастика:
юмористическое фэнтези
аниме
5.00
рейтинг книги
Законы Рода. Том 6

Хозяйка старой усадьбы

Скор Элен
Любовные романы:
любовно-фантастические романы
8.07
рейтинг книги
Хозяйка старой усадьбы

Назад в СССР: 1985 Книга 4

Гаусс Максим
4. Спасти ЧАЭС
Фантастика:
попаданцы
альтернативная история
5.00
рейтинг книги
Назад в СССР: 1985 Книга 4

Лорд Системы 8

Токсик Саша
8. Лорд Системы
Фантастика:
фэнтези
попаданцы
рпг
5.00
рейтинг книги
Лорд Системы 8