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