�ݺ�ߣ

Рассел и Витгенштейн

РЕШЕНИЕ РАССЕЛА
 : « »
Мейнонг суждение Пегас не существует имеет
( -
неопределенное значение в каком то смысле оно
).
ложно
 : « »
Фреге суждение Пегас не существует не имеет
.
значения
 : « »
Рассел суждение Пегас не существует очевидно
!
истинно

ОБОЗНАЧАЮЩИЕ ФРАЗЫ
Фраза является обозначающей только ввиду своей формы.
(1) , ,
Фраза может быть обозначающей и однако не обозначать
; , « ».
ничего например нынешний король Франции
(2) ;
Фраза может обозначать один определенный объект
, « »
например нынешний король Англии обозначает
.
определенного человека
(3) ; , « -
Фраза может обозначать неопределенно например какой
[a] » ,
то человек обозначает не много людей но
.
неопределенного человека

ПРОПОЗИЦИИ
,
Анализировать необходимо пропозиции а не
.
предложения естественного языка
– ,
Пропозиция фрегеанская мысль пониженная в своем
.
онтологическом статусе
– ,
Пропозиция то общее что есть у высказываний
Снег бел
Snow is white
Schnee ist weiß

.
Пропозиции имеют логическую структуру
Подлежащим всегда является переменная или
.
настоящее собственное имя
Сказуемым всегда .
является понятие
–
Р быть столом
–
х неопределенный предмет
P(x) – х есть стол

P( ) «
все подразумевает P( ) »;
х всегда истинно
P( ) «“
ничто подразумевает P( ) ”
х является ложным
»;
всегда истинно
P( ) « ,
нечто подразумевает Ложно что [“P( )
х является
”
ложным всегда истинно]».

« - » =
Я встретил какого то человека «“ ,
Я встретил х и х
” »
есть человек не всегда ложно
« » =
Все люди смертны «“Если х есть человеческое
, ” ».
существо то х смертен всегда истинно
« » =
Я встретил нынешнего короля Англии «“Я
, ,
встретил х и х есть нынешний король Англии и
,
для всякого у если у есть нынешний король
, =
Англии то х у” ».
не всегда ложно

« » .
Суждение Нынешний король Франции лыс ложно
, «
Получается что суждение Нынешний король Франции
» ?
не лыс должно быть истинным
=
Нынешний король Франции лыс «“х является
нынешним королем Франции и х лыс и [король
Франции один]” »
« - ,
Существует какая то сущность которая является
»
нынешним королем Франции и не является лысой

ДЕСКРИПЦИИ
Неопределенным дескрипциям может соответствовать
.
несколько объектов
,
Определенные дескрипции устроены так что им может
.
соответствовать только один объект

ДОБАВЛЕНИЕ КУАЙНА
« » , ( )
Высказывание столы существуют истинно если Р х
« »:
иногда принимает значение истина
 , .
Существует такой х который является столом
∃ ( ( )).
х Р х
« » , ( )
Высказывание все вещи суть столы истинно если Р х
« »:
всегда принимает значение истина
 , .
Для каждого х верно что х есть стол
∀ ( ( )).
х Р х

ДОБАВЛЕНИЕ КУАЙНА
 , ((
Существует такой х что х является нынешним
) ( )).
королем Франции и х является лысым
∃ ( ( )
х Р х &Q(x))
–
Существовать быть значением связанной
.
переменной

РЕШЕНИЕ РАССЕЛА
,
Пропозиция об Аполлоне подразумевает то что мы
, ,
получаем подстановкой того что как говорят
, ,
классические словари подразумевается под Аполлоном
« - ».
скажем Бог Солнце
« »
Нужно заменить Апполон на .
определенную дескрипцию
– - .
Апполон единственный бог солнце
«“х является богом и х является солнцем [такой
объект один]” »
∃ ( ( )
х Р х &Q(x))

ОНТОЛОГИЯ РАССЕЛА
 – ,
Сократ философ приговоренный афинским
399 . .
ареопагом к смерти в году до н э
x, y, z, … – ,
пропозициональные переменные
,
обозначают объекты партикулярии
P, Q, … – , ,
предикаты обозначают свойства
универсалии
 , , – ,
это то я собственные имена обозначают объекты
R… - ,
отношения обозначают отношения

Программа
логицизма
Задача: редуцировать
математику к логике
Натуральные числа –
классы эквивалентных
классов
Ноль – класс всех классов,
эквивалентных классу
объектов, не
тождественных самим себе

Программа
логицизма
Единица – класс всех
классов, эквивалентных
классу, включающему только
ноль
n следует за m – существует
понятие F и подпадающий
под него объект х, такие что
число F-ов равно n и число F-
ов, не тождественных х,
равно m

Программа логицизма
Парадокс Рассела:
Библиографические каталоги — это книги, которые описывают
другие книги. Некоторые каталоги могут описывать другие
каталоги. Некоторые каталоги могут описывать даже сами себя.
Можно ли составить каталог всех каталогов, которые не
описывают сами себя?
«Обычное» множество не содержит себя в качестве своего
члена. Понятие множества всех «обычных» множеств
парадоксально.

Логический анализ языка
• Автор романа «Обломов» был лыс.
• «х [и только x] написал роман “Обломов”и x есть нечто лысое» не
всегда ложно.
• Существует такой х, что (x [и только х] написал роман «Обломов»
и х есть нечто лысое).
P_ – быть автором романа «Обломов», P(x) – x является автором
романа «Обломов».
Q_ – быть лысым, Q(x) – x лыс.
∃х(Р(х)&Q(x))

Логический атомизм Рассела
Язык Мир
x, y, z… -- пропозициональные
переменные
Партикулярии: вещи и сознания
«a», «b» …, «это», «То», «Я» --
собственные имена
P_, Q_ … -- свойства Универсалии: свойства и
отношения
_R_ … -- отношения
∃х(Р(х)) Атомарный факт

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

Russell and Wittgenstein Economics Lecture.pptx

Логико-философский трактат
1. Мир есть все то, что имеет место.
1.1. Мир есть совокупность фактов, а не вещей.
1.11. Мир определен фактами и тем, что это все факты.
1.12. Потому что совокупность всех фактов определяет как все то,
что имеет место, так и все то, что не имеет места.
1.13. Факты в логическом пространстве суть мир.
1.2. Мир распадается на факты.
1.21. Любой факт может иметь место или не иметь места, а все
остальное останется тем же самым.

2. То, что имеет место, что является фактом, - это существование
(das Bestehen) атомарных фактов.
2.01. Атомарный факт есть соединение объектов
2.0121 Мы не можем мыслить какой-либо объект вне возможности
его связи с другими.
2.0123 Если я знаю объект, то я также знаю все возможности его
вхождения в атомарные факты.

2.02 Объект прост.
2.021 Объекты образуют субстанцию мира. Поэтому они не могут быть
составными.
2.0201. Всякое высказывание о комплексах может быть разложено на
высказывание об их составных частях и на предложения, описывающие эти
комплексы в целом.
2.0211 Если бы мир не имел субстанции, то имеет смысл предложение или
нет, зависело бы от того, истинно или нет другое предложение.
2.0212. Тогда было бы невозможно построить образ мира (истинный или
ложный).
2.0232 Между прочим: объекты бесцветны.

Мир Язык

Язык
Объект 1
Объект 2
Атомарный
факт 1
Атомарный
факт 2
Факт 1
Факт 2
МИР

Объект 1
Объект 2
Атомарный
факт 1
Атомарный
факт 2
Факт 1
Факт 2
МИР
Имя 1
Имя 2

Объект 1
Объект 2
Атомарный
факт 1
Атомарный
факт 2
Факт 1
Факт 2
МИР
Имя 1
Имя 2
Атомарное
предложение 1
Атомарное

5. Предложение есть истинностная функция элементарных
предложений.

Объект 1
Объект 2
Атомарный
факт 1
Атомарный
факт 2
Факт 1
Факт 2
МИР
Имя 1
Имя 2
Атомарное
Атомарное
Предло
жение 1
Предло
жение 1
ЯЗЫК

3. Логический образ фактов есть мысль.
3.01. Совокупность всех истинных мыслей есть образ мира.
4. Мысль есть осмысленное предложение.
4.001. Совокупность предложений есть язык. Как мир есть
совокупность фактов. Познавать мир значит строить такой язык,
который бы наиболее адекватно отражал факты.

4.002. Человек обладает способностью строить язык, в котором можно
выразить любой смысл, не имея представления о том, как и что означает
каждое слово, - так же как люди говорят, не зная, как образовывались
отдельные звуки… Для человека невозможно непосредственно вывести
логику языка. Язык переодевает мысли. И притом так, что по внешней
форме этой одежды нельзя заключить о форме переодетой мысли, ибо
внешняя форма одежды образуется совсем не для того, чтобы
обнаруживать форму тела.
4.012. Очевидно, что предложение формы «aRb» мы воспринимаем как
образ. Здесь, очевидно, знак есть подобие обозначаемого.

«Кошка на рогожке»
Кошка
↓
Рогожка
Кошка на рогожке
aRb

4.21. Простейшее предложение, элементарное предложение,
утверждает существование атомарного факта.
4.211. Признаком элементарного предложения является то, что ни
одно элементарное предложение не может ему противоречить.
4.2. Смысл предложения есть его согласование или несогласование
с возможностями существования и несуществования атомарных
фактов.

2.15. То, что элементы образа соединяются друг с другом
определенным способом, показывает, что так же соединяются друг
с другом и вещи.
2.1514. Отношение отображения заключается в соотнесении
элементов образа и предметов.
2.1515. Эти соотнесения есть как бы щупальца элементов образа,
которыми образ касается действительности.

4.0621. Но важно то, что знаки «p» и «не-р» могут выражать одно и
то же, так как это показывает, что знаку «не-» в действительности
ничто не соответствует.
То, что в предложении встречается отрицание, еще не
характеризует его смысла не-(не-р =р). Предложения «р» и «не-р»
имеют взаимнопротивоположный смысл, но им соответствует одна
и та же действительность.

Предложения логики и математики не говорят ничего о мире.
4.462. Тавтология и противоречие - не образы действительности.
Они не изображают никакого возможного положения вещей,
поскольку первая допускает любое возможное положение вещей,
а второе не допускает никакого. В тавтологии условия соответствия
с миром - отношения изображения - взаимно аннулируются, так
что они не стоят ни в каком отношении изображения к
действительности.

Философия – деятельность по прояснению логической структуры
языка.
4.112. Цель философии - логическое прояснение мыслей. Философия не
теория, а деятельность. Философская работа состоит по существу из
разъяснений. Результат философии - не «философские предложения»,
но прояснение предложений. Философия должна прояснять и строго
разграничивать мысли, которые без этого являются как бы темными и
расплывчатыми.

5.6. Границы моего языка означают границы моего мира.
5.632. Субъект не принадлежит миру, но он есть граница мира.

6.54. Мои предложения поясняются тем фактом, что тот,
кто меня понял, в конце концов уясняет их
бессмысленность, если он поднялся с их помощью - на
них - выше их (он должен, так сказать, отбросить
лестницу, после того как взберется по ней наверх). Он
должен перебраться через эти предложения, лишь тогда
он правильно увидит мир.
7. О чем невозможно говорить, о том следует молчать.

4.121. Предложения не могут изображать логическую форму, она
отражается в них. Язык не может изображать то, что само
отражается в языке. Мы не можем выразить языком то, что само
выражается в языке. Предложение показывает логическую форму
действительности.
4.1212. То, что может быть показано, не может быть сказано.
6.522. Есть, конечно, нечто невыразимое. Оно показывает себя; это
- мистическое.
6.42. Поэтому не может быть никаких предложений этики.

�ݺ�ߣ

Russell and Wittgenstein Economics Lecture.pptx

Recommended

More Related Content

Featured (20)

Russell and Wittgenstein Economics Lecture.pptx

Editor's Notes