목록타당성 (3)
[블로그 이사 예정] 철학, 끄적끄적
기호논리학 XXXI: 논리 체계의 건전성과 완전성
https://brunch.co.kr/@texto/73브런치로 글을 옮깁니다
교과서·강의 노트/기호논리학
2016. 6. 9. 11:02
프레게의 뜻과 지시체 구분
고틀로프 프레게Gottlob Frege는 논증의 타당성이 그 논증을 구성하고 있는 문장들에 등장하는 표현들이 갖는 어떤 의미론적 속성semantic properties에 달려있다는 직관에서 출발해 어떤 표현이 등장하는 문장의 진리값을 결정하는 것을 그 표현의 의미론적 값semantic value(=지시체reference)로 정의한다. 어떤 문장의 의미론적 값은 그것이 등장하는 문장, 곧 자기 자신의 진리값을 결정하는 것이므로 자신의 진리값이다. 마찬가지로 다른 논리적 어휘들의 의미론적 값도 알 수 있다. 고유 명사proper names는 대상을, 술어predicates와 양화사quantifiers는 각각 1차와 2차 함수를, 논리적 연결사connectives는 진리 함수를 그 의미론적 값으로 삼는다. [..
교과서·강의 노트/언어철학
2016. 3. 30. 15:52
기호논리학 V: 타당성
다른 블로그로 글을 옮깁니다
교과서·강의 노트/기호논리학
2015. 1. 8. 10:51