'양화논리' 태그의 글 목록

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

교과서·강의 노트/기호논리학 2015. 8. 3. 11:16

기호논리학 XXV: 양화논리6 [여러 양화사를 갖는 문장]

이 글은 연세대학교 철학과의 선우환 교수님께서 강의하신 논리학 수업 필기를 바탕으로 쓴 것입니다. 작성자 본인의 이해에 따라 소폭 수정하거나 추가한 부분이 있습니다. 실제 강의 내용과 다를 수 있습니다.I 여러 양화사를 갖는 문장둘 이상의 양화사를 가진 문장은 때에 따라 이해하기가 좀 어려울 수 있다. 양화사가 붙는 순서에 따라서 그 의미가 크게 달라질 수도 있기 때문이다. 다행히도 물론 항상 그런 건 아니다. 가령 두 양화사가 같은 종류의 것인 경우에는 그 순서를 바꾸어도 문장의 의미가 바뀌지 않는다. 예를 들어(∀x)(∀y)Lxy ⇔ (∀y)(∀x)Lxy위 두 문장은 논리적으로 동치다. 술어 L을 '-는 ~를 사랑한다'로 이해하면 위 문장은 모두 "모든 x와 y에 대하여 x는 y를 사랑한다"는 것을 ..

교과서·강의 노트/기호논리학 2015. 8. 1. 17:46

기호논리학 XXIV: 양화논리5 [다항 술어와 동일성 술어]

글을 브런치로 옮깁니다 다항 술어https://brunch.co.kr/@texto/66 동일성 술어https://brunch.co.kr/@texto/67

교과서·강의 노트/기호논리학 2015. 7. 30. 12:11