살바 베리테이트
Salva veritate라틴어 "살바 veritate"의 문자 그대로 번역은 "구원" "구원" "구원" 또는 "복지"를 의미하는 "살바"와 "실재" 또는 "진실"을 의미하는 "살바"를 사용하는 "살바"를 사용한다. 따라서 살바 veritate (또는 대체성 간)은 표현이 발생하는 진술의 진실-값을 변경하지 않고 두 표현이 상호 교환될 수 있는 논리적 조건이다. 공동 확장 용어의 대체 살바 검증은 불투명한 맥락에서 실패할 수 있다.[1]
라이프니츠
이 구절은 고트프리트 라이프니츠의 일반 과학에서 두 조각으로 나온다. 특성:
- 19장 정의 1에서 라이프니즈는 "어떤 진술(살바 veritative)의 진리를 바꾸지 않고 다른 용어를 대체할 수 있다면 두 용어는 동일하다(eadem)라고 쓰고 있다.
- Leibniz는 20장 Definition 1에서 다음과 같이 쓰고 있다: "어떤 진술의 진실도 바꾸지 않고 우리가 원하는 곳이면 어디든 서로를 대신할 수 있는 조건들은 동일하다(eadem) 또는 우연이다(coincidentia). 예를 들어, '삼각형'과 '삼각형'은 유클리드(유클리드)가 '삼각형'과 관련하여 증명하는 모든 명제에서 '삼각형'은 진리의 손실 없이 대체될 수 있다(살바 베리테이트).
퀴네
W.V.O. Quine은 대체성 살바를 "동일성의 불분명한 것"과 동일하다고 증명한다. 진실된 진술이 주어진다면, 그 두 조건 중 하나는 진실된 진술에서 다른 조항으로 대체될 수 있고, 그 결과는 진실일 것이다.[2] 그는 문맥에 따라 그 진술이 가치가 바뀔 수 있다는 것을 계속해서 보여주고 있다. 사실, 필요성의 전체 계량화된 모달 논리는 맥락에 의존하고 그렇지 않으면 공허하다. 왜냐하면 본질은 철회되면 무너지기 때문이다.[3]
예를 들어 다음과 같은 문장이 있다.
| (1) | Giorgione = Barbarelli, |
| (2) | 조르지오네는 덩치 때문에 소위 말하는 것이었다. |
사실이지만 '바바렐리'라는 이름으로 '조르지오네'라는 이름을 대체하면 (2)가 거짓으로 바뀐다.
| 바르바렐리는 덩치 때문에 소위 말하는 사람이었다.[4] |
여기서 Quine의 예는 Giorgio Barbarellie의 흐느끼는 "Giorgione"를 가리키는데, 이탈리아 이름은 대략 "Big George"라고 얼버무렸다."
참고 항목
참조
참고 문헌 목록
- Clarence Irving Lewis, A Survey of Symbolic Logic, 부록, 도버.
외부 링크
수학 그리고 철학 | |
|---|---|
| 작동하다 |
|
