Спаси правду

Буквальный перевод латинского слова « salva veritate » означает «с (или) невредимой истиной», используя аблятивный падеж : « salva » означает «спасение», «спасение» или «благосостояние», а « veritate » означает «реальность». или «истина». Таким образом, Salva veritate (или взаимозаменяемость ) — это логическое условие, при котором два выражения могут быть заменены местами без изменения истинностного значения утверждений, в которых эти выражения встречаются. Замена salva veritate соэкстенсиональных терминов может оказаться неудачной в непрозрачных контекстах . ^[1]

Лейбниц

Эта фраза встречается в двух фрагментах из Готфрида Лейбница «Общей науки » . Характеристики :

В главе 19, определение 1, Лейбниц пишет: «Два термина являются одинаковыми ( eadem ), если один можно заменить другим, не изменяя истинности какого-либо утверждения ( salva veritate )».
В главе 20, определение 1, Лейбниц пишет: «Термины, которые можно заменять друг другом где угодно, не изменяя истинности какого-либо утверждения ( salva veritate ), являются одинаковыми ( eadem ) или совпадающими ( совпадение ). Например, треугольник » и «трехсторонний», ибо в каждом предложении, показанном Евклидом относительно «треугольника», слово «трехсторонний» может быть заменено без потери истины ( salva veritate )».

Куайн

WVO Куайн считает, что подстановка salva veritate — это то же самое, что «неразличимость идентичностей». Учитывая истинное утверждение, один из двух его членов можно заменить другим в любом истинном утверждении, и результат будет истинным. ^[2] Он продолжает показывать, что в зависимости от контекста значение утверждения может меняться. Фактически, вся квантифицированная модальная логика необходимости зависит от контекста и в противном случае пуста; ибо оно рушится, если сущность удаляется. ^[3]

Например, утверждения:

(1)	Джорджоне = Барбарелли,
(2)	Джорджоне прозвали так из-за его роста.

верны; однако замена имени «Джорджоне» на имя «Барбарелли» превращает (2) в ложь:

Барбарелли получил такое прозвище из-за своего размера. ^[4]

Пример Куайна здесь относится к Джорджио Барбарелли прозвищу «Джорджионе», итальянскому имени , которое примерно называют «Большой Джордж».

См. также

Ссылки

^ Гамма LTF, Логика, язык и значение , 1991
^ WVO Quine, Квинтэссенция: ссылка и модальность , 2004, с. 378
^ WVO Quine, Квинтэссенция: ссылка и модальность , 2004, стр. 356–357.
^ WVO Quine, Квинтэссенция: ссылка и модальность , 2004, с. 361

Библиография

Кларенс Ирвинг Льюис , Обзор символической логики , Приложение, Дувр.

Внешние ссылки

Философский словарь

[1] Гамма LTF, Логика, язык и значение , 1991

[2] WVO Quine, Квинтэссенция: ссылка и модальность , 2004, с. 378

[3] WVO Quine, Квинтэссенция: ссылка и модальность , 2004, стр. 356–357.

[4] WVO Quine, Квинтэссенция: ссылка и модальность , 2004, с. 361

[1]

[2]

[3]

[4]

v т и Готфрид Вильгельм Лейбниц
Математика и философия	Попеременный последовательный тест Лучший из всех возможных миров Споры об исчислении Калькулятор Универсальная характеристика Совместимость Разница Динамизм Личность неразличимых Индивидуация Закон непрерывности колесо Лейбница Разрыв Лейбница Обозначения Лейбница Общий язык Универсальная математика Предустановленная гармония Полнота Достаточная причина Спаси правду Теодицея Трансцендентный закон однородности Рационализм Универсальная наука Vis viva Вполне обоснованное явление
Работает	Комбинаторное искусство (1666) Беседы о метафизике (1686) Новые очерки человеческого понимания (1704 г.) Теодицея (1710 г.) Монадология (1714 г.) Переписка Лейбница-Кларка (1715–1716)
Категория