목록해석 (6)
[블로그 이사 예정] 철학, 끄적끄적
기호논리학 XXXI: 논리 체계의 건전성과 완전성
https://brunch.co.kr/@texto/73브런치로 글을 옮깁니다
교과서·강의 노트/기호논리학
2016. 6. 9. 11:02
기호논리학 XXVIII: 양화논리9 [논리적 참과 일관성]
브런치로 글을 옮겨요https://brunch.co.kr/@texto/70
교과서·강의 노트/기호논리학
2015. 8. 11. 12:02
기호논리학 XXVII: 양화논리8 [귀결]
브런치로 글을 옮깁니다 https://brunch.co.kr/@texto/70
교과서·강의 노트/기호논리학
2015. 8. 7. 12:56
기호논리학 XXVI: 양화논리7 [형식 언어의 해석]
이 글은 연세대학교 철학과의 선우환 교수님께서 강의하신 논리학 수업 필기를 바탕으로 쓴 것입니다. 작성자 본인의 이해에 따라 소폭 수정하거나 추가한 부분이 있습니다. 실제 강의 내용과 다를 수 있습니다.I 양화논리의 형식 언어 해석명제논리 체계에서의 해석interpretation이 각 원자 문장에 진리값을 할당하는 작업이라면 양화논리 체계에서 형식 언어를 해석하는 것은 (1) 논의 영역(=전체 집합)을 설정하고 (2) 각 개체 상항에 (논의 영역 속의) 대상을 할당 후 (3) 각 술어에 (논의 영역 속의) 특정 대상들의 집합을 할당하는 것이다. [명제논리 체계에서의 형식 언어 해석] 참고로 논의 영역은 공집합이어서는 안 된다. 또 개체 상항과 술어 집합의 원소에 할당되는 각 대상들은 어떤 식으로 표현해도..
교과서·강의 노트/기호논리학
2015. 8. 3. 11:16
기호논리학 XII: 명제논리 5 [귀결]
다른 블로그로 글을 옮깁니다
교과서·강의 노트/기호논리학
2015. 3. 6. 09:12
기호논리학 XI: 명제논리 4 [형식 언어의 해석]
다른 블로그로 글을 옮깁니다
교과서·강의 노트/기호논리학
2015. 2. 3. 12:23