제도모형론

Institutional model theory
이 페이지는 수학 논리학의 개념에 관한 것이다. 사회학의 개념은 제도적 이론과 제도적 논리를 참조한다.

수학 논리학에서 제도적 모델 이론은 1차 모델 이론의 많은 부분을 임의의 논리 체계로 일반화한다.

개요

여기서 "논리적 시스템"이라는 개념은 하나의 기관으로서 공식화된다.기관은 고리 이론과 모듈 이론이 고전적 선형 대수학의 메타 이론을 구성하는 방법과 유사한 논리 시스템에 모델 지향 메타 이론을 구성한다.또 다른 비유는 유니버설 대수 대 그룹, 링, 모듈 등으로 만들 수 있다.실제 재래식 로직의 현실에서 추상화함으로써 제도 이론이 실제로는 비전통적 로직의 현실에 더 가까이 다가간다는 것을 알 수 있다.

제도적 모델 이론은 고전적 모델-이론적 개념과 결과를 분석하여 일반화한다.

각 개념과 정리에 대해 필요한 인프라와 속성을 기관의 조건으로 분석하고 공식화함으로써, 1차 로직의 속성이 어떤 것에 의존하고 있으며, 얼마나 다른 로직으로 일반화할 수 있는지에 대한 상세한 통찰력을 제공한다.

참조

  • Razvan Diaconescu:기관-독립 모델 이론.비르카유저, 2008년 ISBN978-3-7643-8707-5.
  • Razvan Diaconescu: 기관 독립 모델 이론의 보석.인:K.후타츠기,J.P. Jouannaud, J. Meseguer(eds): 대수, 의미 및 계산.조셉 A에게 바친 에세이 65회 생일을 맞은 고갱.컴퓨터 과학 4060, 페이지 65-98, Springer-Verlag, 2006.
  • 마리우스 페트리아와 랑즈반 디아코네스쿠: 기관에서의 추상 베스 정의 가능성.Symbolic Logic 71(3), 페이지 1002-1028, 2006.
  • 대니얼 기니치와 안드레이 포페스쿠:타르스키의 기본 체인 정리인 Journal of Logic and Computing 16(6), 페이지 713-735, 2006.
  • 모사코프스키, 요셉 고겐, 랑즈반 디아코네스쿠, 안드르제즈 탈레키까지:논리란 무엇인가?장-이브 베지아우에서는 로지카 유니버설리스 편집장 113-133페이지.비르카우저, 2005년
  • 안제이 탈레키:추상 대수학 기관의 준분산.컴퓨터 및 시스템 과학 저널 33(3), 페이지 333-360, 1986.

외부 링크