ݺߣ

ݺߣShare a Scribd company logo
Горбатова Ю.В.
В каком смысле суждения истинны?
Философы знают три способа
различать истинность суждений:
1. Аналитические и синтетические
2. Арпиорные и апостериорные
3. Необходимые и случайные
Аналитические vs Синтетические
(важно значение слов)
 Аналитические истинные суждения – истины по
определению.
 Их истинность гарантирована значением слов, входящих
в состав утверждения.
 Все треугольники имеют три угла.
 Если Джон – брат Джейн, то Джейн – его сестра.
 Синтетические истинные суждения – все остальные.
 Их истинность зависит не только от значения слов, но и
от фактов действительности.
 Москва южнее Санкт-Петербурга.
 Аристотель – основатель логики.
A priori vs A posteriori
(важен вид знания)
 Суждения, истинные a priori, истинны до опыта.
 Самый очевидный пример – аналитические истины.
 2*2=4
 Суждения, истинные a posteriori, истинны после
опытной проверки.
 Москва южнее Санкт-Петербурга.
ВАЖНО: для априорных истин вполне могут
потребоваться некоторые знания о мире (важно
знать значения слов, входящих в утверждение).
Однако это не означает, что для выведения самого
априорного утверждения требуются некоторые
наблюдения. В то время как для апостериорных
истин – это непременно так.
Соотношение видов истинных
суждений
 Деление суждений на аналитические и
синтетические – семантическое
 Определяется значениями слов
 Деление суждений на априорные и апостериорные
– эпистемологическое
 Определяется приобретенными знаниями
 Отсюда ясно, что всякое аналитически истинное
суждение может быть познано a priori.
 Однако множества аналитических и априорных
истинных суждений не равнообъемны.
Как возможны синтетически
априорные истинные суждения?
 Если истинность суждения
зависит не только от значений
слов, но и от фактов, то как до
всякого опыта можно утверждать,
что оно истинно?
 Каковы же примеры?
 Сумма углов треугольника равна
180 градусам
 У каждого события есть причина
Как возможны синтетически
априорные истинные суждения?
1. Бог
2. Природа
3. Наши способности к восприятию
мира
• Необходимо
истинные суждения
не могут оказаться
ложными.
• Случайно
истинные суждения
могли бы оказаться
ложными.
Необходимое и случайное
 Деление суждений на
необходимые и
случайные –
метафизическое
(онтологическое).
Золотой треугольник
Необходимость
Априорность АналитичностьДэвид Чалмерс
Иммануил Кант
1724-1804
 Связал необходимость и априорность:
 Предложение S необходимо тогда и
только тогда, когда предложение S
априорно
Готлоб Фреге
1848-1925
 Связал априорность и аналитичность:
 Выражения «a» и «b» обладают одним
и тем же смыслом тогда и только тогда,
когда утверждение «a = b» когнитивно
не значимо
 Утверждение «a = b» означает, что «а» и «b» имеют одинаковые
экстенсионалы.
Рудольф Карнап
1891-1970
 Связал необходимость и
аналитичность:
 Выражения «a» и «b» обладают одним и
тем же интенсионалом тогда и только
тогда, когда утверждение «a = b»
необходимо.
Сол Крипке
Разорвал Кантианскую
связь между
аналитичностью и
необходимостью,
причина которой в
«модальной иллюзии»:
нам кажется, что если мы
установили истинность
какой-то пропозиции «не
глядя на мир», то она
является необходимой, и
наоборот.
Сол Крипке
•То, что длина
платиново-иридиевого
стержня, хранящегося в
Палате мире и весов в
Севре, равна одному
метру, можно знать a
priori (хотя это
случайно)
•То, что Геспер и
Фосфор – одна и та же
планета – a posteriori
(хотя это необходимо)
1889-1960
Возможные миры
ИТАК
 Истинные суждения бывают двух видов:
 Необходимые
 Случайные
 Возможные суждения бывают двух видов:
 Истинные
 Ложные
 Кроме того, бывают
невозможные суждения!
Примеры
 2 – простое число
 Истинное суждение,
которое не может
оказаться ложным
 Аристотель –
основатель логики
 Истинное суждение,
которое могло бы
оказаться ложным
 Платон – основатель
логики
 Ложное суждение,
которое могло бы
оказаться истинным
Связь  и ◊
Суждение
необходимо,
если его
отрицание
невозможно
 р  ◊ р
Суждение
возможно,
если его
отрицание не
необходимо
◊ р   р
Возможные миры
 Другие галактики?
 Другие вселенные?
 НЕТ
 это (как правило)
умозрительные
конструкции
альтернативных
состояний нашего
мира.
Связь  и ◊
 р  ◊ р
Необходимо
р, е.т.е. р
истинно во
всех
возможных
мирах
◊ р   р
Возможно р,
е.т.е. р
истинно хотя
бы в одном
мире
Устройство возможных миров
1. В возможных мирах не могут нарушаться законы
логики
2. Объектам в возможных мирах должны быть
присущи эссенциальные (существенные)
свойства.
Обязательны ли эти требования?
В наше время уже нет 
Невозможные миры
 Какое-то время считалось, что невозможные
возможные миры невозможны.
 Однако Яакко Хинтикка показал, что
невозможные возможные миры так же являются
возможными.
Эссенциальные свойства
 Необходимые истины требуют наличия у
случайных объектов неотъемлемых свойств.
 Однако отличить такие свойства от
акцидентальных (случайных) чрезвычайно
сложно.
08 именование и необходимость

More Related Content

What's hot (20)

Tablichnoe reshenie logicheskih_zadach_7_klass
Tablichnoe reshenie logicheskih_zadach_7_klassTablichnoe reshenie logicheskih_zadach_7_klass
Tablichnoe reshenie logicheskih_zadach_7_klass
Иван Иванов
логика этапы развития
логика этапы развитиялогика этапы развития
логика этапы развития
School 242
о языке. фонетика. графика.
о языке. фонетика. графика.о языке. фонетика. графика.
о языке. фонетика. графика.
Olga Sokolik
Конспект. Решение логических задач
Конспект. Решение логических задачКонспект. Решение логических задач
Конспект. Решение логических задач
aleksashka3
элементы математической логики
элементы математической логикиэлементы математической логики
элементы математической логики
Елена Ключева
случайные открытия
случайные открытияслучайные открытия
случайные открытия
dsyuru
Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрей
Victor Gorbatov
Мнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксыМнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксы
Victor Gorbatov
Progressia
ProgressiaProgressia
Progressia
nesteaban
Универсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональностьУниверсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональность
Victor Gorbatov
типы условных предложений
типы условных предложенийтипы условных предложений
типы условных предложений
elena_
основные понятия
основные понятияосновные понятия
основные понятия
dasha2012
сократ
сократсократ
сократ
Бизнес-Школа ЧЕ-ЛИНК
звездный час
звездный часзвездный час
звездный час
oquzaman
Tablichnoe reshenie logicheskih_zadach_7_klass
Tablichnoe reshenie logicheskih_zadach_7_klassTablichnoe reshenie logicheskih_zadach_7_klass
Tablichnoe reshenie logicheskih_zadach_7_klass
Иван Иванов
логика этапы развития
логика этапы развитиялогика этапы развития
логика этапы развития
School 242
о языке. фонетика. графика.
о языке. фонетика. графика.о языке. фонетика. графика.
о языке. фонетика. графика.
Olga Sokolik
Конспект. Решение логических задач
Конспект. Решение логических задачКонспект. Решение логических задач
Конспект. Решение логических задач
aleksashka3
элементы математической логики
элементы математической логикиэлементы математической логики
элементы математической логики
Елена Ключева
случайные открытия
случайные открытияслучайные открытия
случайные открытия
dsyuru
Фреге и брадобрей
Фреге и брадобрейФреге и брадобрей
Фреге и брадобрей
Victor Gorbatov
Мнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксыМнения de re и мнения de se: проблемы и парадоксы
Мнения de re и мнения de se: проблемы и парадоксы
Victor Gorbatov
Универсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональностьУниверсалистская парадигма в логике и композициональность
Универсалистская парадигма в логике и композициональность
Victor Gorbatov
типы условных предложений
типы условных предложенийтипы условных предложений
типы условных предложений
elena_
основные понятия
основные понятияосновные понятия
основные понятия
dasha2012
звездный час
звездный часзвездный час
звездный час
oquzaman

Similar to 08 именование и необходимость (20)

философия аристотеля.онтология
философия аристотеля.онтология философия аристотеля.онтология
философия аристотеля.онтология
zavyalova_gi
02 Познание как философская проблема
02 Познание  как философская проблема02 Познание  как философская проблема
02 Познание как философская проблема
Victor Gorbatov
Научный подход и немного о том что вне него
Научный подход и немного о том что вне негоНаучный подход и немного о том что вне него
Научный подход и немного о том что вне него
Alexander Solodov
Онтология
ОнтологияОнтология
Онтология
lukoshka
Дисциплинированное мышление. «За-» и «Вне-» Аристотеля
Дисциплинированное мышление. «За-» и «Вне-» АристотеляДисциплинированное мышление. «За-» и «Вне-» Аристотеля
Дисциплинированное мышление. «За-» и «Вне-» Аристотеля
lukoshka
Периодическая система мифологий
Периодическая система мифологийПериодическая система мифологий
Периодическая система мифологий
lukoshka
уловка 6.54
уловка 6.54 уловка 6.54
уловка 6.54
form_phil
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Institute of Philosophy of NAS of Belarus
1.1 Из чего состоит мир?
1.1 Из чего состоит мир?1.1 Из чего состоит мир?
1.1 Из чего состоит мир?
Jacob Feldman
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтвержденияКритическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Igor Kleiner
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Maria Vinokurova
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Igor Kleiner
Что узнала спящая красавица
Что узнала спящая красавицаЧто узнала спящая красавица
Что узнала спящая красавица
Victor Gorbatov
Горбатов В.В. Онтологический аргумент в свете 2D-семантики
Горбатов В.В. Онтологический аргумент в свете 2D-семантикиГорбатов В.В. Онтологический аргумент в свете 2D-семантики
Горбатов В.В. Онтологический аргумент в свете 2D-семантики
Victor Gorbatov
презентация по философии
презентация по философиипрезентация по философии
презентация по философии
Lyubatolm1996
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Igor Kleiner
философия аристотеля.онтология
философия аристотеля.онтология философия аристотеля.онтология
философия аристотеля.онтология
zavyalova_gi
02 Познание как философская проблема
02 Познание  как философская проблема02 Познание  как философская проблема
02 Познание как философская проблема
Victor Gorbatov
Научный подход и немного о том что вне него
Научный подход и немного о том что вне негоНаучный подход и немного о том что вне него
Научный подход и немного о том что вне него
Alexander Solodov
Онтология
ОнтологияОнтология
Онтология
lukoshka
Дисциплинированное мышление. «За-» и «Вне-» Аристотеля
Дисциплинированное мышление. «За-» и «Вне-» АристотеляДисциплинированное мышление. «За-» и «Вне-» Аристотеля
Дисциплинированное мышление. «За-» и «Вне-» Аристотеля
lukoshka
Периодическая система мифологий
Периодическая система мифологийПериодическая система мифологий
Периодическая система мифологий
lukoshka
уловка 6.54
уловка 6.54 уловка 6.54
уловка 6.54
form_phil
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Существует ли внешний мир? (О некоторых новых подходах к проблеме скептицизма)
Institute of Philosophy of NAS of Belarus
1.1 Из чего состоит мир?
1.1 Из чего состоит мир?1.1 Из чего состоит мир?
1.1 Из чего состоит мир?
Jacob Feldman
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтвержденияКритическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Критическое мышление лекция 6 (новый курс) Наука. Предвзятость подтверждения
Igor Kleiner
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Происхождение человека. Альтернативные гипотезы: креационизм, теория внешнего...
Maria Vinokurova
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Критическое мышление - Фальсифицируемость лекция 9 (новый курс) critical thin...
Igor Kleiner
Что узнала спящая красавица
Что узнала спящая красавицаЧто узнала спящая красавица
Что узнала спящая красавица
Victor Gorbatov
Горбатов В.В. Онтологический аргумент в свете 2D-семантики
Горбатов В.В. Онтологический аргумент в свете 2D-семантикиГорбатов В.В. Онтологический аргумент в свете 2D-семантики
Горбатов В.В. Онтологический аргумент в свете 2D-семантики
Victor Gorbatov
презентация по философии
презентация по философиипрезентация по философии
презентация по философии
Lyubatolm1996
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Критическое мышление лекция 7 (новый курс) Искажающее подтверждение Confirmat...
Igor Kleiner

More from Julia Gorbatova (13)

преподаватель и Google
преподаватель и Googleпреподаватель и Google
преподаватель и Google
Julia Gorbatova
06 булева алгебра(понятие)
06 булева алгебра(понятие)06 булева алгебра(понятие)
06 булева алгебра(понятие)
Julia Gorbatova
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
Julia Gorbatova
03 классическая логика высказываний
03 классическая логика высказываний03 классическая логика высказываний
03 классическая логика высказываний
Julia Gorbatova
02 синтаксис и семантика
02 синтаксис и семантика02 синтаксис и семантика
02 синтаксис и семантика
Julia Gorbatova
факультет философии НИУ ВШЭ
факультет философии НИУ ВШЭфакультет философии НИУ ВШЭ
факультет философии НИУ ВШЭ
Julia Gorbatova
преподаватель и Google
преподаватель и Googleпреподаватель и Google
преподаватель и Google
Julia Gorbatova
06 булева алгебра(понятие)
06 булева алгебра(понятие)06 булева алгебра(понятие)
06 булева алгебра(понятие)
Julia Gorbatova
04 классическая логика предикатов
04 классическая логика предикатов04 классическая логика предикатов
04 классическая логика предикатов
Julia Gorbatova
03 классическая логика высказываний
03 классическая логика высказываний03 классическая логика высказываний
03 классическая логика высказываний
Julia Gorbatova
02 синтаксис и семантика
02 синтаксис и семантика02 синтаксис и семантика
02 синтаксис и семантика
Julia Gorbatova
факультет философии НИУ ВШЭ
факультет философии НИУ ВШЭфакультет философии НИУ ВШЭ
факультет философии НИУ ВШЭ
Julia Gorbatova

08 именование и необходимость

  • 2. В каком смысле суждения истинны? Философы знают три способа различать истинность суждений: 1. Аналитические и синтетические 2. Арпиорные и апостериорные 3. Необходимые и случайные
  • 3. Аналитические vs Синтетические (важно значение слов)  Аналитические истинные суждения – истины по определению.  Их истинность гарантирована значением слов, входящих в состав утверждения.  Все треугольники имеют три угла.  Если Джон – брат Джейн, то Джейн – его сестра.  Синтетические истинные суждения – все остальные.  Их истинность зависит не только от значения слов, но и от фактов действительности.  Москва южнее Санкт-Петербурга.  Аристотель – основатель логики.
  • 4. A priori vs A posteriori (важен вид знания)  Суждения, истинные a priori, истинны до опыта.  Самый очевидный пример – аналитические истины.  2*2=4  Суждения, истинные a posteriori, истинны после опытной проверки.  Москва южнее Санкт-Петербурга. ВАЖНО: для априорных истин вполне могут потребоваться некоторые знания о мире (важно знать значения слов, входящих в утверждение). Однако это не означает, что для выведения самого априорного утверждения требуются некоторые наблюдения. В то время как для апостериорных истин – это непременно так.
  • 5. Соотношение видов истинных суждений  Деление суждений на аналитические и синтетические – семантическое  Определяется значениями слов  Деление суждений на априорные и апостериорные – эпистемологическое  Определяется приобретенными знаниями  Отсюда ясно, что всякое аналитически истинное суждение может быть познано a priori.  Однако множества аналитических и априорных истинных суждений не равнообъемны.
  • 6. Как возможны синтетически априорные истинные суждения?  Если истинность суждения зависит не только от значений слов, но и от фактов, то как до всякого опыта можно утверждать, что оно истинно?  Каковы же примеры?  Сумма углов треугольника равна 180 градусам  У каждого события есть причина
  • 7. Как возможны синтетически априорные истинные суждения? 1. Бог 2. Природа 3. Наши способности к восприятию мира
  • 8. • Необходимо истинные суждения не могут оказаться ложными. • Случайно истинные суждения могли бы оказаться ложными.
  • 9. Необходимое и случайное  Деление суждений на необходимые и случайные – метафизическое (онтологическое).
  • 11. Иммануил Кант 1724-1804  Связал необходимость и априорность:  Предложение S необходимо тогда и только тогда, когда предложение S априорно
  • 12. Готлоб Фреге 1848-1925  Связал априорность и аналитичность:  Выражения «a» и «b» обладают одним и тем же смыслом тогда и только тогда, когда утверждение «a = b» когнитивно не значимо  Утверждение «a = b» означает, что «а» и «b» имеют одинаковые экстенсионалы.
  • 13. Рудольф Карнап 1891-1970  Связал необходимость и аналитичность:  Выражения «a» и «b» обладают одним и тем же интенсионалом тогда и только тогда, когда утверждение «a = b» необходимо.
  • 14. Сол Крипке Разорвал Кантианскую связь между аналитичностью и необходимостью, причина которой в «модальной иллюзии»: нам кажется, что если мы установили истинность какой-то пропозиции «не глядя на мир», то она является необходимой, и наоборот.
  • 15. Сол Крипке •То, что длина платиново-иридиевого стержня, хранящегося в Палате мире и весов в Севре, равна одному метру, можно знать a priori (хотя это случайно) •То, что Геспер и Фосфор – одна и та же планета – a posteriori (хотя это необходимо) 1889-1960
  • 17. ИТАК  Истинные суждения бывают двух видов:  Необходимые  Случайные  Возможные суждения бывают двух видов:  Истинные  Ложные  Кроме того, бывают невозможные суждения!
  • 18. Примеры  2 – простое число  Истинное суждение, которое не может оказаться ложным  Аристотель – основатель логики  Истинное суждение, которое могло бы оказаться ложным  Платон – основатель логики  Ложное суждение, которое могло бы оказаться истинным
  • 19. Связь  и ◊ Суждение необходимо, если его отрицание невозможно  р  ◊ р Суждение возможно, если его отрицание не необходимо ◊ р   р
  • 20. Возможные миры  Другие галактики?  Другие вселенные?  НЕТ  это (как правило) умозрительные конструкции альтернативных состояний нашего мира.
  • 21. Связь  и ◊  р  ◊ р Необходимо р, е.т.е. р истинно во всех возможных мирах ◊ р   р Возможно р, е.т.е. р истинно хотя бы в одном мире
  • 22. Устройство возможных миров 1. В возможных мирах не могут нарушаться законы логики 2. Объектам в возможных мирах должны быть присущи эссенциальные (существенные) свойства. Обязательны ли эти требования? В наше время уже нет 
  • 23. Невозможные миры  Какое-то время считалось, что невозможные возможные миры невозможны.  Однако Яакко Хинтикка показал, что невозможные возможные миры так же являются возможными.
  • 24. Эссенциальные свойства  Необходимые истины требуют наличия у случайных объектов неотъемлемых свойств.  Однако отличить такие свойства от акцидентальных (случайных) чрезвычайно сложно.