범용논리학
Universal logic보편적 논리학은 모든 논리 시스템에 공통되는 특징을 연구하는 논리학 분야로, 보편적 대수학이 대수학에게 무엇인가 하는 논리를 지향한다.보편적 논리에 대한 많은 접근법이 20세기 이후 모델 이론과 범주적 접근법을 사용하여 제안되었다.
개발
보편적 논리의 뿌리는 20세기 초 알프레드 타르스키의 일부 작품처럼 거슬러 올라갈 수도 있지만, 현대적 개념은 1990년대에 스위스의 논리학자 장 이브 베자에우에 의해 처음 제시되었다.[1][2]'범용 논리'라는 용어는 리처드 실반, 로스 브래디와 같은 논리학자들이 새로운 유형의 (취약) 관련 논리를 언급하기 위해 별도로 사용되어 왔다.[3]
베자우가 정의한 맥락에서 보편적 논리에 대한 세 가지 주요 접근방식이 심도 있게 탐구되었다.[4]
- 존 바와이즈가 공리화한 추상적인 모델 이론 시스템,[5]
- 스케치에 기반한 위상학적/위상학적 접근법(일명 범주형 모델 이론이라고도 함)[6]
- 고겐과 버스타울의 제도개념에 기초한 컴퓨터 사이언스에서 비롯된 범주형 [7]접근법
수세기 동안 논리가 연구되어 왔지만, 모사코프스키 외 연구진은 2007년에 "논리"에 대해 널리 받아들여질 수 있는 공식적 정의가 없다는 것은 당혹스러운 일이다.[8]따라서 보편적 논리에 대한 이러한 접근법은 '논리학'의 한 형태로서 '논리학'이라고 불릴 수 있는 것의 본질을 다루고 공식화하는 것을 목표로 한다.[8]
세계 만국논리에 관한 세계회의와 학교
2005년부터 베자우는 보편적 논리에 관한 세계회의와 학교를 조직하고 있다.이 행사들은 수백 명의 연구자들과 그 분야의 학생들이 모여 다양한 주제에 대한 튜토리얼과 연구 강연을 제공한다.
- 2005년 3월 26일 스위스 몽트뢰에서 열린 제1회 세계대학총회 및 유니버설논리학부.베지아우, 도브 가베이, 데이비드 마킨슨 등이 참가하였다.(비밀의장: 사울 크립케)
- 2007년 8월 16-22일 중국 시안 제2차 세계대학총회 및 유니버설논리학부.
- 2010년 4월 18일 포르투갈 리스본에서 열린 제3차 세계대학총회 및 유니버설논리학부.(비밀 스피커: 자크코 힌티크카)
- 제4차 세계대학총회 및 유니버설논리학부, 2013년 3월 29일 ~ 4월 7일 브라질 리우데자네이루.
- 2015년 6월 20~30일 터키 이스탄불에서 열린 제5차 세계대학총회 및 유니버설논리학부.
- 제6차 세계대학총회 및 유니버설논리학부, 2018년 6월 16-26일 프랑스 비치.
현장 출판물
베지오를 편집장으로 하는 이 분야의 전문 저널인 로지카 유니버설리스(Logica Universalis)는 2007년부터 비르케유저 바젤(스프링거의 각인)이 발행하기 시작했다.[9]스프링거는 또한 베지오를 시리즈 편집자로 하여 유니버설 로직의 연구라는 주제에 관한 책 시리즈를 출판하기 시작했다.[10]
유니버설 로직이라는 제목의 문집이 2012년에 출판되어 이 주제에 대한 새로운 빛을 주었다.[11]
참고 항목
참조
- ^ 보편적 논리로 가는 길:아놀드 코슬로와 아서 벅스바움 2014 비르카유저가 편집한 장-이브 베지아우 1권 50회 생일 기념 페스트슈리프트 ISBN978-3319101927 페이지 2-10
- ^ Jean-Yves Béziau, ed. (2007). Logica universalis: towards a general theory of logic (2nd ed.). Springer. ISBN 978-3-7643-8353-4.
- ^ 2006년 R. Brady.유니버설 로직.스탠포드: CSLI 간행물.ISBN 1-57586-255-7
- ^ Răzvan Diaconescu (2008). Institution-independent model theory. Birkhäuser. pp. 2–3. ISBN 978-3-7643-8707-5.
- ^ 존 바와이즈추상 모델 이론의 공리.수학 논리 연보, 1974년 7:221–265
- ^ Steffen Lewitzka "Universal Logica Universalis 2007 Birkhauser pp 35-61
- ^ 라즈반 디아코네스쿠, 유니버설 로직의 "30년간의 제도 이론":장-이브 베지아우 2012 스프링거 ISBN 978-3-0346-0144-3페이지 309-322
- ^ a b T. Mosakowski, J. A. Goguen, R. Diaconescu, A.Tarlecki, "논리란 무엇인가?", Logica Universalis 2007 Birkhauser, 페이지 113–133.
- ^ "Logica Universalis".
- ^ "Studies in Universal Logic".
- ^ Jean-Yves Béziau, ed. (2012). Universal Logic: an Anthology - From Paul Hertz to Dov Gabbay. Springer. ISBN 978-3-0346-0144-3.
