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