목록양화사 (5)
[블로그 이사 예정] 철학, 끄적끄적
현대 언어철학은 고틀로프 프레게Gottlob Frege로부터 시작한다. 기호논리학의 언어를 고안했을 뿐만 아니라 언어의 표현들의 의미를 체계적으로 파악하기 위한 시도를 본격적으로 시작했기 때문. [기호논리학 예습] 구문론syntactics언어의 구문syntax 혹은 문법grammar는 (1) 그 언어에서 쓰이는 어휘와 (2) 그 어휘를 가지고 구성할 수 있는 표현들expressions의 결합이 문법적인지 아닌지를 따지는 규칙들의 집합으로 구성된다. 가령 고유 명사, 문장, 술어, 연결사, 양화사 등이 기호논리학의 형식 언어에서 쓰는 어휘들이다. 규칙을 자세히 열거하지는 않겠다. 다만 예를 들자면 "PQR~∨ST&"는 문법에 맞지 않는 문장이다. 통사론이 관심을 갖는 표현들의 속성은 오직 형식적formal..
이 글은 연세대학교 철학과의 선우환 교수님께서 강의하신 논리학 수업 필기를 바탕으로 쓴 것입니다. 작성자 본인의 이해에 따라 소폭 수정하거나 추가한 부분이 있습니다. 실제 강의 내용과 다를 수 있습니다.I 여러 양화사를 갖는 문장둘 이상의 양화사를 가진 문장은 때에 따라 이해하기가 좀 어려울 수 있다. 양화사가 붙는 순서에 따라서 그 의미가 크게 달라질 수도 있기 때문이다. 다행히도 물론 항상 그런 건 아니다. 가령 두 양화사가 같은 종류의 것인 경우에는 그 순서를 바꾸어도 문장의 의미가 바뀌지 않는다. 예를 들어(∀x)(∀y)Lxy ⇔ (∀y)(∀x)Lxy위 두 문장은 논리적으로 동치다. 술어 L을 '-는 ~를 사랑한다'로 이해하면 위 문장은 모두 "모든 x와 y에 대하여 x는 y를 사랑한다"는 것을 ..
글을 브런치로 옮깁니다https://brunch.co.kr/@texto/65
브런치로 글을 옮깁니다https://brunch.co.kr/@texto/63