Download to read offline
![ОБОЗНАЧАЮЩИЕ ФРАЗЫ
Фраза является обозначающей только ввиду своей формы.
(1) , ,
Фраза может быть обозначающей и однако не обозначать
; , « ».
ничего например нынешний король Франции
(2) ;
Фраза может обозначать один определенный объект
, « »
например нынешний король Англии обозначает
.
определенного человека
(3) ; , « -
Фраза может обозначать неопределенно например какой
[a] » ,
то человек обозначает не много людей но
.
неопределенного человека](https://image.slidesharecdn.com/random-241231025518-4e90dc01/75/Russell-and-Wittgenstein-Economics-Lecture-pptx-3-2048.jpg)
![ПРОПОЗИЦИИ
P( ) «
все подразумевает P( ) »;
х всегда истинно
P( ) «“
ничто подразумевает P( ) ”
х является ложным
»;
всегда истинно
P( ) « ,
нечто подразумевает Ложно что [“P( )
х является
”
ложным всегда истинно]».](https://image.slidesharecdn.com/random-241231025518-4e90dc01/75/Russell-and-Wittgenstein-Economics-Lecture-pptx-6-2048.jpg)
![ПРОПОЗИЦИИ
« » .
Суждение Нынешний король Франции лыс ложно
, «
Получается что суждение Нынешний король Франции
» ?
не лыс должно быть истинным
=
Нынешний король Франции лыс «“х является
нынешним королем Франции и х лыс и [король
Франции один]” »
не всегда ложно
« - ,
Существует какая то сущность которая является
»
нынешним королем Франции и не является лысой](https://image.slidesharecdn.com/random-241231025518-4e90dc01/75/Russell-and-Wittgenstein-Economics-Lecture-pptx-8-2048.jpg)
![РЕШЕНИЕ РАССЕЛА
,
Пропозиция об Аполлоне подразумевает то что мы
, ,
получаем подстановкой того что как говорят
, ,
классические словари подразумевается под Аполлоном
« - ».
скажем Бог Солнце
« »
Нужно заменить Апполон на .
определенную дескрипцию
– - .
Апполон единственный бог солнце
«“х является богом и х является солнцем [такой
объект один]” »
не всегда ложно
∃ ( ( )
х Р х &Q(x))](https://image.slidesharecdn.com/random-241231025518-4e90dc01/75/Russell-and-Wittgenstein-Economics-Lecture-pptx-12-2048.jpg)
![Логический анализ языка
• Автор романа «Обломов» был лыс.
• «х [и только x] написал роман “Обломов”и x есть нечто лысое» не
всегда ложно.
• Существует такой х, что (x [и только х] написал роман «Обломов»
и х есть нечто лысое).
P_ – быть автором романа «Обломов», P(x) – x является автором
романа «Обломов».
Q_ – быть лысым, Q(x) – x лыс.
∃х(Р(х)&Q(x))](https://image.slidesharecdn.com/random-241231025518-4e90dc01/75/Russell-and-Wittgenstein-Economics-Lecture-pptx-17-2048.jpg)
Russell and Wittgenstein Economics Lecture.pptx
- 1.
- 2. РЕШЕНИЕ РАССЕЛА :« » Мейнонг суждение Пегас не существует имеет ( - неопределенное значение в каком то смысле оно ). ложно : « » Фреге суждение Пегас не существует не имеет . значения : « » Рассел суждение Пегас не существует очевидно ! истинно
- 3. ОБОЗНАЧАЮЩИЕ ФРАЗЫ Фраза являетсяобозначающей только ввиду своей формы. (1) , , Фраза может быть обозначающей и однако не обозначать ; , « ». ничего например нынешний король Франции (2) ; Фраза может обозначать один определенный объект , « » например нынешний король Англии обозначает . определенного человека (3) ; , « - Фраза может обозначать неопределенно например какой [a] » , то человек обозначает не много людей но . неопределенного человека
- 4. ПРОПОЗИЦИИ , Анализировать необходимо пропозицииа не . предложения естественного языка – , Пропозиция фрегеанская мысль пониженная в своем . онтологическом статусе – , Пропозиция то общее что есть у высказываний Снег бел Snow is white Schnee ist weiß
- 5. ПРОПОЗИЦИИ . Пропозиции имеют логическуюструктуру Подлежащим всегда является переменная или . настоящее собственное имя Сказуемым всегда . является понятие – Р быть столом – х неопределенный предмет P(x) – х есть стол
- 6. ПРОПОЗИЦИИ P( ) « всеподразумевает P( ) »; х всегда истинно P( ) «“ ничто подразумевает P( ) ” х является ложным »; всегда истинно P( ) « , нечто подразумевает Ложно что [“P( ) х является ” ложным всегда истинно]».
- 7. ПРОПОЗИЦИИ « - »= Я встретил какого то человека «“ , Я встретил х и х ” » есть человек не всегда ложно « » = Все люди смертны «“Если х есть человеческое , ” ». существо то х смертен всегда истинно « » = Я встретил нынешнего короля Англии «“Я , , встретил х и х есть нынешний король Англии и , для всякого у если у есть нынешний король , = Англии то х у” ». не всегда ложно
- 8. ПРОПОЗИЦИИ « » . СуждениеНынешний король Франции лыс ложно , « Получается что суждение Нынешний король Франции » ? не лыс должно быть истинным = Нынешний король Франции лыс «“х является нынешним королем Франции и х лыс и [король Франции один]” » не всегда ложно « - , Существует какая то сущность которая является » нынешним королем Франции и не является лысой
- 9. ДЕСКРИПЦИИ Неопределенным дескрипциям можетсоответствовать . несколько объектов , Определенные дескрипции устроены так что им может . соответствовать только один объект
- 10. ДОБАВЛЕНИЕ КУАЙНА « », ( ) Высказывание столы существуют истинно если Р х « »: иногда принимает значение истина , . Существует такой х который является столом ∃ ( ( )). х Р х « » , ( ) Высказывание все вещи суть столы истинно если Р х « »: всегда принимает значение истина , . Для каждого х верно что х есть стол ∀ ( ( )). х Р х
- 11. ДОБАВЛЕНИЕ КУАЙНА ,(( Существует такой х что х является нынешним ) ( )). королем Франции и х является лысым ∃ ( ( ) х Р х &Q(x)) – Существовать быть значением связанной . переменной
- 12. РЕШЕНИЕ РАССЕЛА , Пропозиция обАполлоне подразумевает то что мы , , получаем подстановкой того что как говорят , , классические словари подразумевается под Аполлоном « - ». скажем Бог Солнце « » Нужно заменить Апполон на . определенную дескрипцию – - . Апполон единственный бог солнце «“х является богом и х является солнцем [такой объект один]” » не всегда ложно ∃ ( ( ) х Р х &Q(x))
- 13. ОНТОЛОГИЯ РАССЕЛА –, Сократ философ приговоренный афинским 399 . . ареопагом к смерти в году до н э x, y, z, … – , пропозициональные переменные , обозначают объекты партикулярии P, Q, … – , , предикаты обозначают свойства универсалии , , – , это то я собственные имена обозначают объекты R… - , отношения обозначают отношения
- 14. Программа логицизма Задача: редуцировать математику клогике Натуральные числа – классы эквивалентных классов Ноль – класс всех классов, эквивалентных классу объектов, не тождественных самим себе
- 15. Программа логицизма Единица – классвсех классов, эквивалентных классу, включающему только ноль n следует за m – существует понятие F и подпадающий под него объект х, такие что число F-ов равно n и число F- ов, не тождественных х, равно m
- 16. Программа логицизма Парадокс Рассела: Библиографическиекаталоги — это книги, которые описывают другие книги. Некоторые каталоги могут описывать другие каталоги. Некоторые каталоги могут описывать даже сами себя. Можно ли составить каталог всех каталогов, которые не описывают сами себя? «Обычное» множество не содержит себя в качестве своего члена. Понятие множества всех «обычных» множеств парадоксально.
- 17. Логический анализ языка •Автор романа «Обломов» был лыс. • «х [и только x] написал роман “Обломов”и x есть нечто лысое» не всегда ложно. • Существует такой х, что (x [и только х] написал роман «Обломов» и х есть нечто лысое). P_ – быть автором романа «Обломов», P(x) – x является автором романа «Обломов». Q_ – быть лысым, Q(x) – x лыс. ∃х(Р(х)&Q(x))
- 18. Логический атомизм Рассела ЯзыкМир x, y, z… -- пропозициональные переменные Партикулярии: вещи и сознания «a», «b» …, «это», «То», «Я» -- собственные имена P_, Q_ … -- свойства Универсалии: свойства и отношения _R_ … -- отношения ∃х(Р(х)) Атомарный факт
- 19.
- 21. Логико-философский трактат 1. Миресть все то, что имеет место. 1.1. Мир есть совокупность фактов, а не вещей. 1.11. Мир определен фактами и тем, что это все факты. 1.12. Потому что совокупность всех фактов определяет как все то, что имеет место, так и все то, что не имеет места. 1.13. Факты в логическом пространстве суть мир. 1.2. Мир распадается на факты. 1.21. Любой факт может иметь место или не иметь места, а все остальное останется тем же самым.
- 22. Логико-философский трактат 2. То,что имеет место, что является фактом, - это существование (das Bestehen) атомарных фактов. 2.01. Атомарный факт есть соединение объектов 2.0121 Мы не можем мыслить какой-либо объект вне возможности его связи с другими. 2.0123 Если я знаю объект, то я также знаю все возможности его вхождения в атомарные факты.
- 23. Логико-философский трактат 2.02 Объектпрост. 2.021 Объекты образуют субстанцию мира. Поэтому они не могут быть составными. 2.0201. Всякое высказывание о комплексах может быть разложено на высказывание об их составных частях и на предложения, описывающие эти комплексы в целом. 2.0211 Если бы мир не имел субстанции, то имеет смысл предложение или нет, зависело бы от того, истинно или нет другое предложение. 2.0212. Тогда было бы невозможно построить образ мира (истинный или ложный). 2.0232 Между прочим: объекты бесцветны.
- 24.
- 25. Логико-философский трактат Язык Объект 1 Объект2 Атомарный факт 1 Атомарный факт 2 Факт 1 Факт 2 МИР
- 26. Логико-философский трактат Объект 1 Объект2 Атомарный факт 1 Атомарный факт 2 Факт 1 Факт 2 МИР Имя 1 Имя 2
- 27. Логико-философский трактат Объект 1 Объект2 Атомарный факт 1 Атомарный факт 2 Факт 1 Факт 2 МИР Имя 1 Имя 2 Атомарное предложение 1 Атомарное предложение 2
- 28. Логико-философский трактат 5. Предложениеесть истинностная функция элементарных предложений.
- 29. Логико-философский трактат Объект 1 Объект2 Атомарный факт 1 Атомарный факт 2 Факт 1 Факт 2 МИР Имя 1 Имя 2 Атомарное предложение 1 Атомарное предложение 2 Предло жение 1 Предло жение 1 ЯЗЫК
- 30. Логико-философский трактат 3. Логическийобраз фактов есть мысль. 3.01. Совокупность всех истинных мыслей есть образ мира. 4. Мысль есть осмысленное предложение. 4.001. Совокупность предложений есть язык. Как мир есть совокупность фактов. Познавать мир значит строить такой язык, который бы наиболее адекватно отражал факты.
- 31. Логико-философский трактат 4.002. Человекобладает способностью строить язык, в котором можно выразить любой смысл, не имея представления о том, как и что означает каждое слово, - так же как люди говорят, не зная, как образовывались отдельные звуки… Для человека невозможно непосредственно вывести логику языка. Язык переодевает мысли. И притом так, что по внешней форме этой одежды нельзя заключить о форме переодетой мысли, ибо внешняя форма одежды образуется совсем не для того, чтобы обнаруживать форму тела. 4.012. Очевидно, что предложение формы «aRb» мы воспринимаем как образ. Здесь, очевидно, знак есть подобие обозначаемого.
- 32. Логико-философский трактат «Кошка нарогожке» Кошка ↓ Рогожка Кошка на рогожке aRb
- 33. Логико-философский трактат 4.21. Простейшеепредложение, элементарное предложение, утверждает существование атомарного факта. 4.211. Признаком элементарного предложения является то, что ни одно элементарное предложение не может ему противоречить. 4.2. Смысл предложения есть его согласование или несогласование с возможностями существования и несуществования атомарных фактов.
- 34. Логико-философский трактат 2.15. То,что элементы образа соединяются друг с другом определенным способом, показывает, что так же соединяются друг с другом и вещи. 2.1514. Отношение отображения заключается в соотнесении элементов образа и предметов. 2.1515. Эти соотнесения есть как бы щупальца элементов образа, которыми образ касается действительности.
- 35.
- 36. Логико-философский трактат 4.0621. Новажно то, что знаки «p» и «не-р» могут выражать одно и то же, так как это показывает, что знаку «не-» в действительности ничто не соответствует. То, что в предложении встречается отрицание, еще не характеризует его смысла не-(не-р =р). Предложения «р» и «не-р» имеют взаимнопротивоположный смысл, но им соответствует одна и та же действительность.
- 37. Логико-философский трактат Предложения логикии математики не говорят ничего о мире. 4.462. Тавтология и противоречие - не образы действительности. Они не изображают никакого возможного положения вещей, поскольку первая допускает любое возможное положение вещей, а второе не допускает никакого. В тавтологии условия соответствия с миром - отношения изображения - взаимно аннулируются, так что они не стоят ни в каком отношении изображения к действительности.
- 38. Логико-философский трактат Философия –деятельность по прояснению логической структуры языка. 4.112. Цель философии - логическое прояснение мыслей. Философия не теория, а деятельность. Философская работа состоит по существу из разъяснений. Результат философии - не «философские предложения», но прояснение предложений. Философия должна прояснять и строго разграничивать мысли, которые без этого являются как бы темными и расплывчатыми.
- 39. Логико-философский трактат 5.6. Границымоего языка означают границы моего мира. 5.632. Субъект не принадлежит миру, но он есть граница мира.
- 40. Логико-философский трактат 6.54. Моипредложения поясняются тем фактом, что тот, кто меня понял, в конце концов уясняет их бессмысленность, если он поднялся с их помощью - на них - выше их (он должен, так сказать, отбросить лестницу, после того как взберется по ней наверх). Он должен перебраться через эти предложения, лишь тогда он правильно увидит мир. 7. О чем невозможно говорить, о том следует молчать.
- 41. Логико-философский трактат 4.121. Предложенияне могут изображать логическую форму, она отражается в них. Язык не может изображать то, что само отражается в языке. Мы не можем выразить языком то, что само выражается в языке. Предложение показывает логическую форму действительности. 4.1212. То, что может быть показано, не может быть сказано. 6.522. Есть, конечно, нечто невыразимое. Оно показывает себя; это - мистическое. 6.42. Поэтому не может быть никаких предложений этики.
Editor's Notes
- #19 Одна из ключевых фигур лингвистического поворота – обращение к исследованию языка для решения философских проблем. Многие считают его величайшим философом XX века. Факты из жизни. Трое братьев Людвига покончили с собой. Витгенштейна можно либо обожать, либо ненавидеть. Манера общения: Витгенштейн был чужд миру цивилизованной беседы. История с кочергой. За всю жизнь издал две работы: «Логико-философский трактат» (1921) и статья «несколько рассуждений о логической форме». «Философские исследования» (1953) посмертно. После Трактата посчитал, что все философские проблемы им решены, уехал в деревню. В творчестве Витгенштейна произошел слом.
- #20 Как нам подойти к раннему Витгенштейну? С т.з. знания. Знание всегда связано с суждением. Вопрос: «Как мы познаем мир при помощи языка?» Логико-философский трактат – главная работа раннего Витгенштейна. Витгенштейн совершенно не умел писать. Он писал и говорил простыми предложениями, часто вымучивал их, злился, обращался к аудитории со словами «Да помогите же мне кто-нибудь!» Это видно в Трактате: простые афористичные предложения, пронумерованные. Трактат разделен на 7 параграфов первые 6 параграфов имеют дальнейшее ветвление. Какую логику в Трактате можно найти. Витгенштейн подобен Канту: правила, при помощи которых мы познаем, определяют то, каков наш мир. Язык определяет наш мир. Язык – это зеркало мира. Значит нам нужно построить зеркальную структуру мира и языка. Начинает Витгенштейн с мира. Пока ничего не понятно. Давайте начнем строить эту зеркальную структуру с ее базовых элементов.
- #21 Пример структурирования параграфов в Трактате. По значимости. Есть параграфы с более длинными номерами: 5.47321 Комментарий: почему мир – это не совокупность вещей. Почему факты имеют место. Стол существует – это факт.
- #22 Факты разложимы дальше. Многие факты можно свести к атомарным фактам. Объекты лежат в основе фактов. Атомарные факты – соединения объектов. Я говорю «Стол существует» – это значит, что он связан с другими объектами. Эти связи представляют собой атомарные факты. Все свойства представляют собой такие связи. Значит сам по себе объект прост. Порассуждать о физических свойствах. Объекты просты, лишены качеств, они очень похожи вообще на ничто. Они выполняют роль узлов в сети отношений. Знать объект – это знать его свойства, т.е. как объект может относиться к другим объектам. Не все факты имеют место. От того, какие факты имеют место, а какие нет зависит, какие высказывания о мире имеют смысл, а какие нет. Факты состоят из атомарных фактов. Совокупность всех фактов составляет мир.
- #25 Такую структуру мы обнаруживаем на стороне мира. Нам нужно построить зеркальную структуру на стороне языка.
- #26 Имя обозначает объект, имя замещает объект в предложении. Имя не разлагается дальше, оно первичный знак. Ср. Объект прост. Синими линиями обозначается отношение именования.
- #27 4.21. Простейшее предложение, элементарное предложение, утверждает существование атомарного факта. 4.211. Признаком элементарного предложения является то, что ни одно элементарное предложение не может ему противоречить. 4.2. Смысл предложения есть его согласование или несогласование с возможностями существования и несуществования атомарных фактов. 2.1514. Отношение отображения заключается в соотнесении элементов образа и предметов. 2.1515. Эти соотнесения есть как бы щупальца элементов образа, которыми образ касается действительности. Желтая линия – это отношение отображения. Между предложениями и атомарными фактами должно быть нечто тождественное. Это форма. Предложение должно повторять форму отображаемого факта. Элементы образа замещают в образе объекты.
- #29 Атомарные предложения составляют предложения, соответствующие фактам. Их истинность или ложность зависит от истинности или ложности атомарных предложений, которая зависит только от положений дел.
- #40 Осмысленно можно говорить только о том, что может соответствовать фактам. Об этике нужно молчать. Общих высказываний о мире нельзя делать. Поэтому Трактат – это лестница, которую нужно отбросить. Мистический Витгенштейн.