Сохранить матч
Сохранить матч [1] латинский , который означает « схоластический термин в логике не становясь плохо сформированным», [2] salva означает спасение , спасение , благосостояние и conruitate означает сочетание , совпадение , согласие . Salva Congruitate используется в логике и означает, что два термина могут быть заменены друг другом с сохранением грамматичности во всех контекстах. [3] [4]
Замечания о сальве конгруитате
[ редактировать ]Тимоти С. Поттс
[ редактировать ]Тимоти К. Поттс описывает salva congruitate как форму замены в контексте значения. Это замена, которая сохраняет семантическую связность, и ее следует отличать от замены, которая сохраняет синтаксическую связность, но может дать выражение, которому не никакого значения придается . Это означает, что если предположить, что исходное выражение имеет смысл, то новое выражение, полученное заменой, также будет иметь смысл, хотя оно не обязательно будет иметь то же значение, что и исходное, и, если рассматриваемое выражение окажется пропозицией , не будет иметь значения. замена обязательно сохранит истинностное значение оригинала. [5]
Боб Хейл
[ редактировать ]Боб Хейл объясняет salva congruitate применительно к сингулярным терминам как субстанциальные выражения в естественном языке, которые способны заменять сингулярные термины без деструктивного воздействия на грамматику предложения. [6] Таким образом, единственный термин «Боб» может быть заменен определенным описанием «первый человек, переплывший Ла-Манш» salva congraitate . Такая замена может изменить как значение, так и ссылку, и поэтому, если она сделана в контексте предложения, может вызвать изменение истинностного значения. Таким образом, термины, которые могут быть взаимозаменяемыми salva congruitate , не могут быть взаимозаменяемыми salva veritate (сохраняющими истину). В более общем смысле, выражения любого типа являются взаимозаменяемыми salva congruitate тогда и только тогда, когда они могут заменять друг друга, сохраняя грамматику или правильность построения.