[형식의미론] 형식의미론 정리

등록일 2002.07.11 한글 (hwp) | 5페이지 | 가격 1,000원

목차

제 1장 진리조건 의미론
1. 진 리 조 건
2. 합성원칙
제 2장 모형론적 의미론
1. 술어논리
2. 양화논리

본문내용

형식의미론은 형식 논리 체계를 기초로 하여 문장들의 진리조건과 함의 관계를 논하려는
작업이다. 문장의 진리조건에 대한 검토는 문장의 의미를 분석하는데 필요한 첫 작업이다.
우리가 다루는 언어는 무한언어이어서 무한언어에 대한 의미론 체계는 유한수의 해석 규칙
을 귀납적으로 적용할 수 잇는 귀환체계라야 한다.
형식의미론은 프레게의 합성원칙을 가설로서 받아들이는데 이는 곧 복합적인 표현이 지닌
의미는 그것을 구성하고 있는 표현들이 지닌 의미에 의해 결정된다는 원칙이다. 그런데 가
장 간단한 의미론 체계인 명제논리의 진리조건 의미론은 합성원칙에서 말하는 의미를 다루
지 못하고 단지 문장들의 진리치에 대한 합성원칙만을 받아들일 뿐이다. 이에 반해 술어논
리의 모형이론은 문장의 진리치를 그 외연으로 받아들임으로써 진리 조건 의미론의 합성원
칙을 진리치의 원칙에서 외연의 원칙으로 일반화한다.
자연언어의 의미론이 단순한 기술언어보다 더 흥미 있는 것은 자연언어가 이 가설을 검증
할 수 잇는 자료를 제시해준다는 점에 있다. 기호언어와는 달이 자연언어는 형식화된 분석
이 불가능하다고 생각해 왔으나 리차드 몬테규를 위시한 최근의 의미론자들은 자연언어도
기호언어과 다름없이 수학적 구조를 가졌기에 분석의 대상이 될 수 있다고 주장한다. 따라
서 최근의 의미론은 집합론과 같은 현대수학을 기초로 양화이론과 같은 의미론 체계에서 해
석의 기초가 되는 모형에 대한 정확한 정의를 가능케 해주었고 이 모형의 개념을 확대 적용
함으로써 의미론체계를 정립할 수 있게 되어 이를 기초로 인식논리, 시제논리와 같은 자연
언어의 의미론에 직접 적용할 수 잇는 논리체계가 정립될 수 있었다.
*원하는 자료를 검색 해 보세요.
  • 커뮤니케이션과의미 7페이지
    간단한 의미론 체계인 명제 논리진리 조건 의미론은 합성 원칙 ... 외연으로 받아들임으로써 진리 조건 의미론의 합성 원칙진리치의 원칙 ... 개체항과 술어에 대한 조건을 충족시킨다. 외연의 합성 원칙 모든 표현의 외다.
  • `제11장 함의와 전제, 제12장 형식의미론` 부분 요약본입니다. 7페이지
    단계에서 명제논리의 의미규칙에 따라 복합문의 진리치를 도출한다. 5. 양화 ... 논리 양화기호(quantifier): 술어논리로 변역할 수 없는 집합 ... (x) - 명제논리술어논리의 부족한 부분을 채워주고 있지만, 양화
  • 논리학-추리와 논증의 철학 7페이지
    없다. 양화사란 문장의 조사에 따라 결정되는 뉘앙스를 뜻한다. 전통논리 ... . 현대 논리학은 크게 명제 계산과 술어 계산으로 나눌 수 있다.(다음 ... 한정되는 데 반해 현대 논리학은 명제 계산과 술어 계산 모두 3개 이상의
  • [논리학] Fred R.논리학 정리 12페이지
    (predicates)라고 부른다. 양화 논리는 근본적으로 술어를 포함하기 때문에 술어 ... 문장을 만드는 데 쓰이는 논리 상수를 진리 함수적 접속사(truth ... -functional connective)라고 한다. 명제 논리진리 함수적인
  • 명제논리, 술어논리. 11페이지
    사와 양화사들은 모두 논리작용자이다. 술어논리진리함수적 연결사 로 ... 술어이대해서 존재양화사(∃x) : 어떤 대상 x에 대해서 ⑦술어논리의 식이기 ... 위한 조건 술어논리의 식들은 술어논리의 구성요소들의 기호들의 조합으로
  • 진리조건 의미론에 대하여 7페이지
    논리진리 조건 의미론은 합성 원칙에서 말하는 의미를 다루지 못하고 단지 ... 문장들의 진리측에 대한 합성 원칙만을 받아들일 뿐이다. 이에 반해 술어 ... 논리 체계를 기초로 하여 문장들의 진리조건과 함의관계를 논하려는 작업이다
  • [논리][논리와 사고][추리] 명제변형으로 직접 추리하기 8페이지
    ) 추리에는 어떤 종류들이 있는가? 2) 논리에 맞게 추리하려면 어떤 점을 ... 변형으로 진리값 구하기 제 4장. 결론 : 정언명제의 의의와 명제의 해석관점이 ... 결론을 보장하는 논리적 연관이 없기 때문이다. 제 2장. 명제 변형법 정언
더보기

이 자료와 함께 구매한 자료

      최근 구매한 회원 학교정보 보기
      1. 최근 2주간 다운받은 회원수와 학교정보이며
         구매한 본인의 구매정보도 함께 표시됩니다.
      2. 매시 정각마다 업데이트 됩니다. (02:00 ~ 21:00)
      3. 구매자의 학교정보가 없는 경우 기타로 표시됩니다.
      4. 지식포인트 보유 시 지식포인트가 차감되며
         미보유 시 아이디당 1일 3회만 제공됩니다.
      상세하단 배너
      최근 본 자료더보기
      상세우측 배너
      추천도서
      [형식의미론] 형식의미론 정리