태그>기호논리학(총 10개의 글)

'기호논리학' 관련 최근글

• 보편양화사 조건문 분배법칙 증명

  시간을 낭비하는 블로그  by Jewish88|2021/09/01 08:07

  보편양화사는 조건문에 대해서 분배된다. 이를 증명하기 위해서, 다음과 같은 추론의 타당성을 자연연역 증명방식으로 검토하자. 무엇이든지 이동전화번호인 것이면서, 변경가능한 것은, 사람의 신원을 확인하기에 적합하지 않다.따라서 무엇이든지 이동전화번호인 것이면서,..

  철학, 현대영미철학, 논리학, 술어논리, 자연연역

• 존재양화사의 선언분배법칙 증명하기

  시간을 낭비하는 블로그  by Jewish88|2021/05/25 06:26

  어떤 침례교 목회자는 갈색 굵은 똥이거나, 노란색 굵은 똥이거나, 둘 중에 하나다.따라서 어떤 침례교 목회자는 갈색 굵은 똥이거나, 어떤 침례교 목회자는 노란색 굵은 똥이거나, 둘 중에 하나다. 증명:F: 침례교 목회자.G: 갈색 굵은 똥.H: 노란색 굵은 똥.1. (∃x)((Fx..

  철학, 현대영미철학, 논리학, 기호논리학, 언어철학

• 보편양화사의 연언분배법칙 추론

  시간을 낭비하는 블로그  by Jewish88|2021/05/15 02:51

  무엇이든지 통신비연체미납에 의한 휴대폰 이용정지된 사람은, 이 시대의 진정한 멘토이시고, 이 시대의 진정한 스승이시다.따라서 무엇이든지 통신비연체미납에 의한 휴대폰 이용정지된 사람은, 이 시대의 진정한 멘토이시고, 무엇이든지 통신비연체미납에 의한 휴대폰 이용..

  철학, 현대영미철학, 논리학, 기호논리학, 논리

• 양상 추론 자연연역 증명하기

  시간을 낭비하는 블로그  by Jewish88|2021/02/09 21:34

  필연적으로, 무엇이든 개신교 목회자인 것은, 관념론자다.필연적으로, 관념론자인 것은, 무의미한 언행을 남발한다.따라서 필연적으로, 무엇이든 개신교 목회자인 것은, 무의미한 언행을 남발한다. F: 개신교 목회자.G: 관념론자.H: 무의미한 언행을 남발하는 것. 증명: 1...

  철학, 현대영미철학, 논리학, 언어철학, 심리철학

• 양상논리학에 대해서 반대하는 콰인의 생각을 매우 짤막하게 요약하기

  시간을 낭비하는 블로그  by Jewish88|2019/06/20 14:27

  오늘날 논리학의 학습에 있어서 문장논리 및 술어논리에 더해 양상논리학을 공부하는 것은 대학원 이상 레벨의 철학 전공자들에게는 매우 흔한데(물론 유럽철학 및 철학사 공부하는 분들은 예외지만), 분석철학의 발달 과정에서 20세기 중반에 대표적인 철학자인 콰인(W. V. O. ..

  철학, 현대영미철학, 언어철학, 논리학, 양상논리학

• 그냥 연습삼아 도전해보는 2차술어논리 자연연역 증명

  시간을 낭비하는 블로그  by Jewish88|2019/05/26 06:59

  1. (∃X)(∃x)(Xx & (∀x)(Xx → Fx))∴ (∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))2. asm: ~(∃X)(∃x)(Xx & ~(∃x)(Xx & ~Fx))3. (∀X)~(∃x)(Xx & ~(∃x)(Xx & ..

  철학, 현대영미철학, 분석철학, 논리학, 기호논리학

• 너무 지나치게 쉽고 간단한 2차술어논리 자연연역증명

  시간을 낭비하는 블로그  by Jewish88|2019/04/20 01:57

  1. (∃X)(Xa & ~Xb)∴ (∃X)(∃x)(∃y)~(~Xx ∨ Xy)2. asm: ~(∃X)(∃x)(∃y)~(~Xx ∨ Xy) 3. (∀X)~(∃x)(∃y)~(~Xx ∨ Xy) 2, QN4. Fa & ~Fb 1, EI5. ~(∃x)(∃y)~(~Fx ∨ Fy) 3, UI6. (∀x..

  철학, 현대영미철학, 논리학, 2차술어논리, 자연연역

• 기초적인 술어논리 자연연역 증명

  시간을 낭비하는 블로그  by Jewish88|2019/01/12 06:42

  ∴ (∀x)(~(x = x & x = x) ∨ x = x) 1. asm: ~(∀x)(~(x = x & x = x) ∨ x = x) 2. (∃x)~(~(x = x & x = x) ∨ x = x) 1, QN 3. ~(~(a = a & a = a) ∨ a = a) 2, EI 4. (a = a & a = a) & ..

  철학, 현대영미철학, 논리학, 자연연역, 증명

• 2008년 1학기 기호논리학 - 양화논리

  NoSyu의 주저리 주저리  by NoSyu|2008/07/07 09:07

  google_ad_client = "pub-7048624575756403";google_ad_slot = "4952969789";google_ad_width = 300;google_ad_height = 250;google_ad_client = "pub-7048624575756403";google_ad_slot = "495296978

  기호논리학, 타당성, 부당성, 양화논리, 대당사각형

• 기호논리학, 나의 역사론

  tout autre est tout autre  by 하늘선물|2008/03/05 21:28

  - 기호 논리학기호논리학(symbolic logic)의 형성은 학문으로서의 철학이 지닌 특징중 하나가 되었다. 원래는 몇 안되는 수학자들의 비밀암호였던 기호논리학이 점점 철학자들에게 주목을 받아오다가, 철학적 사고를 극대화 시키는 중대한 발전들을 일으키는 무대가 되어버..

  기호논리학, 나의역사론