[블로그 이사 예정] 철학, 끄적끄적

https://brunch.co.kr/@texto/73브런치로 글을 옮깁니다

고틀로프 프레게Gottlob Frege는 논증의 타당성이 그 논증을 구성하고 있는 문장들에 등장하는 표현들이 갖는 어떤 의미론적 속성semantic properties에 달려있다는 직관에서 출발해 어떤 표현이 등장하는 문장의 진리값을 결정하는 것을 그 표현의 의미론적 값semantic value(=지시체reference)로 정의한다. 어떤 문장의 의미론적 값은 그것이 등장하는 문장, 곧 자기 자신의 진리값을 결정하는 것이므로 자신의 진리값이다. 마찬가지로 다른 논리적 어휘들의 의미론적 값도 알 수 있다. 고유 명사proper names는 대상을, 술어predicates와 양화사quantifiers는 각각 1차와 2차 함수를, 논리적 연결사connectives는 진리 함수를 그 의미론적 값으로 삼는다. [..

현대 언어철학은 고틀로프 프레게Gottlob Frege로부터 시작한다. 기호논리학의 언어를 고안했을 뿐만 아니라 언어의 표현들의 의미를 체계적으로 파악하기 위한 시도를 본격적으로 시작했기 때문. [기호논리학 예습] 구문론syntactics언어의 구문syntax 혹은 문법grammar는 (1) 그 언어에서 쓰이는 어휘와 (2) 그 어휘를 가지고 구성할 수 있는 표현들expressions의 결합이 문법적인지 아닌지를 따지는 규칙들의 집합으로 구성된다. 가령 고유 명사, 문장, 술어, 연결사, 양화사 등이 기호논리학의 형식 언어에서 쓰는 어휘들이다. 규칙을 자세히 열거하지는 않겠다. 다만 예를 들자면 "PQR~∨ST&"는 문법에 맞지 않는 문장이다. 통사론이 관심을 갖는 표현들의 속성은 오직 형식적formal..

이 글은 연세대학교 철학과의 선우환 교수님께서 강의하신 논리학 수업 필기를 바탕으로 쓴 것입니다. 작성자 본인의 이해에 따라 소폭 수정하거나 추가한 부분이 있습니다. 실제 강의 내용과 다를 수 있습니다.I 양화논리의 형식 언어 해석명제논리 체계에서의 해석interpretation이 각 원자 문장에 진리값을 할당하는 작업이라면 양화논리 체계에서 형식 언어를 해석하는 것은 (1) 논의 영역(=전체 집합)을 설정하고 (2) 각 개체 상항에 (논의 영역 속의) 대상을 할당 후 (3) 각 술어에 (논의 영역 속의) 특정 대상들의 집합을 할당하는 것이다. [명제논리 체계에서의 형식 언어 해석] 참고로 논의 영역은 공집합이어서는 안 된다. 또 개체 상항과 술어 집합의 원소에 할당되는 각 대상들은 어떤 식으로 표현해도..

이 글은 다른 블로그로 이동합니다

다른 블로그로 글을 이동합니다