08 именование и необходимость
-
Upload
julia-gorbatova -
Category
Education
-
view
2.526 -
download
3
Transcript of 08 именование и необходимость
![Page 1: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/1.jpg)
Именование и необходимость
Горбатова Ю.В.
![Page 2: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/2.jpg)
Виды истинных суждений
В каком смысле суждения истинны?Философы знают три способа различать истинность суждений:1. Аналитические и
синтетические2. Арпиорные и апостериорные3. Необходимые и случайные
![Page 3: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/3.jpg)
Аналитические vs Синтетические(важно значение слов)
Аналитические истинные суждения – истины по определению. Их истинность гарантирована значением слов,
входящих в состав утверждения. Все треугольники имеют три угла. Если Джон – брат Джейн, то Джейн – его сестра.
Синтетические истинные суждения – все остальные. Их истинность зависит не только от значения
слов, но и от фактов действительности. Москва южнее Санкт-Петербурга. Аристотель – основатель логики.
![Page 4: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/4.jpg)
A priori vs A posteriori(важен вид знания)
Суждения, истинные a priori, истинны до опыта. Самый очевидный пример – аналитические истины.
2*2=4
Суждения, истинные a posteriori, истинны после опытной проверки.
Москва южнее Санкт-Петербурга.
ВАЖНО: для априорных истин вполне могут потребоваться некоторые знания о мире (важно знать значения слов, входящих в
утверждение). Однако это не означает, что для выведения самого априорного утверждения требуются некоторые
наблюдения. В то время как для апостериорных истин – это непременно так.
![Page 5: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/5.jpg)
Соотношение видов истинных сужденийДеление суждений на аналитические и
синтетические – семантическое Определяется значениями слов
Деление суждений на априорные и апостериорные – эпистемологическоеОпределяется приобретенными знаниями
Отсюда ясно, что всякое аналитически истинное суждение может быть познано a priori.
Однако множества аналитических и априорных истинных суждений не равнообъемны.
![Page 6: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/6.jpg)
Как возможны синтетически априорные истинные суждения?
Если истинность суждения зависит не только от значений слов, но и от фактов, то как до всякого опыта можно утверждать, что оно истинно?
Каковы же примеры?Сумма углов треугольника
равна 180 градусамУ каждого события есть
причина
![Page 7: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/7.jpg)
Как возможны синтетически априорные истинные суждения?
1. Бог2. Природа3. Наши способности к
восприятию мира
![Page 8: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/8.jpg)
Необходимые vs Случайные• Необходимо истинные суждения не могут оказаться ложными. • Случайно истинные суждения могли бы оказаться ложными.
![Page 9: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/9.jpg)
Необходимое и случайное
Деление суждений на необходимые и
случайные – метафизическое
(онтологическое).
![Page 10: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/10.jpg)
Золотой треугольникНеобходимос
ть
Априорность АналитичностьДэвид Чалмерс
![Page 11: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/11.jpg)
Иммануил Кант 1724-1804
Связал необходимость и априорность:Предложение S необходимо
тогда и только тогда, когда предложение S априорно
![Page 12: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/12.jpg)
Готлоб Фреге 1848-1925
Связал априорность и аналитичность:Выражения «a» и «b» обладают
одним и тем же смыслом тогда и только тогда, когда утверждение «a = b» когнитивно не значимо Утверждение «a = b» означает, что «а» и «b» имеют
одинаковые экстенсионалы.
![Page 13: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/13.jpg)
Рудольф Карнап 1891-1970
Связал необходимость и аналитичность:Выражения «a» и «b» обладают
одним и тем же интенсионалом тогда и только тогда, когда утверждение «a = b» необходимо.
![Page 14: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/14.jpg)
Сол КрипкеРазорвал
Кантианскую связь между
аналитичностью и необходимостью,
причина которой в «модальной
иллюзии»: нам кажется, что если мы
установили истинность какой-то
пропозиции «не глядя на мир», то она
является необходимой, и
наоборот.
![Page 15: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/15.jpg)
Сол Крипке• То, что длина
платиново-иридиевого стержня,
хранящегося в Палате мире и весов в Севре, равна одному метру, можно знать a priori (хотя это случайно)•То, что Геспер и
Фосфор – одна и та же планета – a posteriori (хотя это необходимо)
1889-1960
![Page 16: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/16.jpg)
ВозможностьВозможные миры
![Page 17: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/17.jpg)
ИТАКИстинные суждения бывают двух
видов:НеобходимыеСлучайные
Возможные суждения бывают двух видов:ИстинныеЛожные
Кроме того, бывают невозможные суждения!
![Page 18: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/18.jpg)
Примеры2 – простое число
Истинное суждение, которое не может оказаться ложным
Аристотель – основатель логикиИстинное
суждение, которое могло бы оказаться ложным
Платон – основатель логикиЛожное суждение,
которое могло бы оказаться истинным
![Page 19: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/19.jpg)
Связь и ◊Суждение необходимо, если его отрицание невозможно
р ◊ р
Суждение возможно, если его отрицание не необходимо
◊ р р
![Page 20: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/20.jpg)
Возможные мирыДругие галактики?Другие вселенные?НЕТ
это (как правило) умозрительные конструкции альтернативных состояний нашего мира.
![Page 21: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/21.jpg)
Связь и ◊ р ◊ рНеобходимо р, е.т.е. р истинно во всех возможных мирах
◊ р рВозможно р, е.т.е. р истинно хотя бы в одном мире
![Page 22: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/22.jpg)
Устройство возможных миров1. В возможных мирах не могут нарушаться
законы логики2. Объектам в возможных мирах должны
быть присущи эссенциальные (существенные) свойства.
Обязательны ли эти требования? В наше время уже нет
![Page 23: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/23.jpg)
Невозможные мирыКакое-то время считалось, что
невозможные возможные миры невозможны.
Однако Яакко Хинтикка показал, что невозможные возможные миры так же являются возможными.
![Page 24: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/24.jpg)
Эссенциальные свойстваНеобходимые истины требуют наличия у
случайных объектов неотъемлемых свойств.
Однако отличить такие свойства от акцидентальных (случайных) чрезвычайно
сложно.
![Page 25: 08 именование и необходимость](https://reader036.fdocuments.net/reader036/viewer/2022062420/55b64c26bb61eb50498b46cb/html5/thumbnails/25.jpg)