Jan Łukasiewicz

Jan Łukasiewicz
Jan Łukasiewicz
1935
태어난1878년 12월 21일
죽은1956년 2월 13일 (1956-02-13) (77세)
국적.폴란드의
모교렘베르크 대학교
시대20세기 철학
지역서양철학
학교Lwów–Warsaw school
해석철학
주요 관심사
철학적 논리, 수학적 논리 그리고 논리의 역사
주목할 만한 아이디어
폴란드어 표기법
우카시에비치 논리
Łukasiewicz–모이실 대수
귀납추론

얀 우카시에비치 폴란드어:ˈ 얀 우카 ˈɕɛ비트 ͡ʂ(, 1878년 12월 21일 ~ 1956년 2월 13일)는 폴란드의 논리학자이자 철학자로, 폴란드어 표기법과 우카시에비치 논리학으로 잘 알려져 있습니다. 그의 작품은 철학적 논리학, 수학적 논리학, 논리학의 역사학에 중점을 두었습니다.[2] 그는 전통적인 명제 논리, 비모순의 원리, 배제된 중간의 법칙에 대해 혁신적으로 생각했고, 다가치 논리의 초기 체계 중 하나를 제공했습니다. 아리스토텔레스의 논리학에 대한 현대 연구는 또한 현대 논리학에서 아리스토텔레스의 삼단 논법의 형식화에 방법을 적용한 우카시에비치의 혁신적인 연구에 기반을 두고 있습니다.[3]

Wukasiewicz 접근 방식은 1989년 Robin Smith와 2009년 Gisela StrikePrior Analytics의 현대 번역을 알려주는 John CorcoranTimothy Smiley의 일련의 논문에서 1970년대 초에 다시 활성화되었습니다.[4] 우카시에비치는 논리학의 가장 중요한 역사가 중 한 명으로 여겨집니다.

인생

오스트리아-헝가리 제국(현재의 우크라이나 리비우)의 뢰베르크에서 태어났으며, 오스트리아 육군 대위 파베우 우카시에비치와 공무원의 딸 레오폴디나(Leopoldina)의 외동아들로 태어났다. 그의 가족은 로마 가톨릭 신자였습니다.[citation needed]

그는 문헌학으로 체육관 공부를 마쳤고 1897년에 렘베르크 대학교에 진학하여 철학과 수학을 공부했습니다. 그는 철학자 Kazimierz Twardowski의 제자였습니다.[5]

1902년, 그는 다이아몬드로 된 특별한 박사 반지를 준 오스트리아 황제 프란츠 요제프 1세의 후원으로 철학박사 학위를 받았습니다.[6]

그는 개인 교사로 3년을 보냈고 1905년에는 장학금을 받아 베를린 대학과 벨기에 루뱅 대학에서 철학 공부를 마쳤습니다.[6]

우카시에비치는 재활 자격을 위해 공부를 계속했고, 1906년에 그의 논문을 뢰베르크 대학교에 제출했습니다. 그 해, 그는 렘베르크 대학교의 강사로 임명되었고, 결국 프란츠 요제프 1세에 의해 임시 교수로 임명되었습니다. 그는 제1차 세계대전까지 그곳에서 가르쳤습니다.[6]

1915년, 그는 바르샤바 대학교의 정교수로 초빙되었는데, 바르샤바 대학교는 19세기에 차르 정부에 의해 폐쇄된 후 독일 점령 당국에 의해 다시 개방되었습니다.[6]

1919년 우카시에비치는 폴란드의 파데레스키 정부에서 폴란드의 종교 교파 및 공교육부 장관으로 재직하기 위해 대학을 떠났다. 우카시에비치는 분단된 폴란드에서 사용되었던 러시아, 독일, 오스트리아 교육과정을 대체하는 폴란드 교육과정 개발을 주도했습니다. 우카시에비치 교육과정은 논리적 개념과 수학적 개념의 조기 습득을 강조했습니다.[citation needed]

1928년, 그는 레지나 바르위 ń스카와 결혼했습니다.

그는 1920년부터 1939년까지 바르샤바 대학의 교수로 재직했는데, 그 때 독일의 폭탄으로 가족의 집이 파괴되었고, 독일 점령으로 대학이 폐쇄되었습니다. 그는 우카시에비치와 스타니스와프 레 ś니에스키가 루와르소 논리학파를 설립하는 동안 두 번의 총장을 지냈고, 나중에 레 ś니에스키의 제자였던 알프레드 타르스키에 의해 국제적으로 유명해졌습니다.

제2차 세계 대전이 시작되는 동안, 그는 바르샤바 지하 대학에서 일했습니다. 나치 점령 당국이 대학을 폐쇄한 후, 그는 바르샤바 시 기록 보관소에서 겨우 생활하는 돈을 벌었습니다. 하인리히 숄츠(독일어 수학 논리학 교수)와의 친분도 그에게 도움이 되었고, 1944년 우카시에비치 가문의 독일행을 주선한 사람은 숄츠였습니다(우카시에비치는 붉은 군대의 진격을 두려워했습니다). 얀 우카시에비치 부부는 스위스로 이주하고 싶었지만 독일 당국의 허가를 받을 수 없었습니다. 그래서 그들은 전쟁의 마지막 몇 달을 독일 뮌스터에서 보냈습니다. 전쟁이 끝난 후, 그들은 소련이 지배하는 폴란드로 돌아가고 싶지 않아 벨기에로 이주했고, 그곳에서 우카시에비치는 임시 폴란드 과학 연구소에서 논리학을 가르쳤습니다.[6]

1946년 2월 아일랜드의 정치 지도자 에아몬 발레라의 초청으로 우카시에비치 부부는 더블린으로 이주하여 10년 후 사망할 때까지 그곳에 머물렀습니다. 아일랜드에서 그는 잠시 왕립 아일랜드 아카데미(Royal Irish Academy)의 수학 논리학 교수를 역임했습니다. 그의 임무는 대중 강연을 자주 하는 것이었습니다.[7]

이 시기에, 그의 책 "수학 논리학의 요소들"은 맥밀런에 의해 영어로 출판되었습니다. (1963년, 폴란드어 번역: Olgierd Wojtasiewicz).

얀 우카시에비치는 1956년 2월 13일 사망했습니다. 그는 더블린에 있는 제롬묘지에 묻혔습니다. 폴란드 내 아르메니아계의 촉구로 그의 유해는 66년 만에 폴란드로 송환됐습니다. 그는 2022년 11월 22일 바르샤바의 옛 포우 ą스키 묘지에 매장되었습니다.

2022년 10월부터 12월까지 더블린에 있는 왕립 아일랜드 아카데미에서 그의 삶과 작품에 대한 전시회를 열었습니다.[9]

우카시에비치의 논문(1945년 이후)은 맨체스터 대학 도서관에서 소장하고 있습니다.

일하다.

고전 명제 논리의 많은 공리화는 우카시에비치에 기인합니다. 특히 우아한 공리화는 단지 세 의 공리를 포함하고 있으며 현재까지도 사용되고 있습니다. 그는 다가치 논리학의 선구자였으며 1917년에 소개된 그의 3가치 명제적 연산은 명시적으로 공리화된 비고전적 논리적 연산이었습니다. 그는 과학 철학에 대해 썼고, 과학 이론을 만드는 방법에 대한 그의 접근법은 칼 포퍼의 사고와 비슷했습니다.

우카시에비치(Wukasievicz)는 1920년경 논리적 연결을 위해 폴란드어 표기법(그의 국적에서 이름을 따온)을 발명했습니다. 1931년[10]: 367, Footnote 3) [11]: 180, Footnote 3) 얀 우카시에비치(Jan Wukasievicz)의 논문 인용문에 따르면 표기법이 어떻게 발명되었는지는 다음과 같습니다.

1924년에 괄호가 없는 표기법을 생각하게 되었습니다. 저는 제 글 "Wukasiewicz" (1), p. 610, 각주에서 처음으로 그 표기법을 사용했습니다.

Wukasiewicz, 즉 Wukasiewicz(1)[12]가 인용한 언급은 분명히 폴란드어로 석판화된 보고서입니다. Wukasievicz의 참고 논문은[10] Henry A에 의해 검토되었습니다. 1965년 기호논리학 저널에 실린 포고르젤스키.[13]

우카시에비치의 1951년 저서인 아리스토텔레스의 현대형식논리학의 관점에서 본 삼단논법에서, 그는 그의 표기의 원칙이 괄호(즉 괄호)를 피하기 위해 인수 앞에 함수를 작성하는 것이었고 1929년부터 그의 논리적 논문에 그의 표기법을 사용했다고 언급합니다.[3]: 78 그리고 나서 그는 알프레드 타르스키와 함께 쓴 1930년의 문장을 예로 들어, 문장 연산에 관한 논문을 인용합니다.[14]

이 표기법은 Turing, Bauer, Hamblin을 포함한 여러 연구자들이 제안하고 1957년에 처음 구현된 마지막 단계의 컴퓨터 메모리 저장소인 재귀적 스택 아이디어의 근원입니다. 1960년, 우카시에비치(Wukasiewicz)의 표기 개념과 스택은 캘리포니아 패서디나(Passadena)에 있는 버로스 코퍼레이션(Burrows Corporation)의 로버트 S. 바튼(Robert S. Barton)과 그의 팀이 설계한 버로스 B5000 컴퓨터의 기초로 사용되었습니다. 이 개념들은 또한 1963년에 두 개의 하드웨어 레지스터 스택을 가진 잉글리시 일렉트릭 멀티 프로그램 KDF9 컴퓨터 시스템의 설계로 이어졌습니다. 비슷한 개념은 Friden EC-130 계산기와 그 후속 계산기, 많은 Hewlett-Packard 계산기, 리스프포스 프로그래밍 언어 및 포스트스크립트 페이지 설명 언어의 역폴란드 표기법(RPN, 후고정 표기법)의 기초가 됩니다.

인지도

바르샤바 대학교 도서관 입구에는 오른쪽에서 왼쪽으로 카지미에르츠 트와르도스키, 얀 우카시에비치, 알프레드 타르스키, 스타니스와프 르 ś니에프스키의 기둥 조각상이 있습니다.

2008년 폴란드 정보 처리 협회는 가장 혁신적인 폴란드 IT 기업에 수여하는 Jan Wukasiewicz Award를 제정했습니다.[15]

1999년부터 2004년까지 UCD의 컴퓨터 과학부 건물은 우카시에비츠 빌딩으로 불렸으며, 모든 캠퍼스 건물들은 그들이 수용한 학문의 이름을 따서 이름을 바꾸었습니다.

그의 3-값 논리 모델은 크린의 3차원 논리를 공식화하고 경험주의, 수학 및 논리의 메타 모델, 즉 노인 논리를 공식화할 수 있게 했습니다.[16]

연대표

선택한 작품

책들

  • Łukasiewicz, Jan (1951). Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. Oxford University Press. 1957년 2판 확대. 1987년 갈랜드 출판사에서 재인쇄. ISBN0-8240-6924-2
  • Łukasiewicz, Jan (1928). Elementy logiki matematycznej (in Polish). Warsaw, Państwowe Wydawnictwo Naukowe. OCLC 11322101.
  • Łukasiewicz, Jan (1964) [1963]. Elements of Mathematical Logic. Translated from Polish by Olgierd Wojtasiewicz. New York, Macmillan. OCLC 671498.
  • Łukasiewicz, Jan (1970). Ludwik Borkowski (ed.). Selected Works. North-Holland Pub. Co. ISBN 0-7204-2252-3. OCLC 115237.
  • Łukasiewicz, Jan (1998). Jacek Jadacki (ed.). Logika i metafizyka. Miscellanea (in Polish). Warsaw, WFiS UW. ISBN 83-910113-3-X.

서류

  • 1903년 "공제의 반전으로서의 귀납에 대하여"
  • 1906년 "원인개념의 분석과 구축"
  • 1910년 아리스토텔레스의 모순 원리에 대하여
  • 1913년 "지상과 결과의 관계의 가역성에 관하여"
  • 1920년 "세 가치 논리에 대하여"
  • 1921년 "이 값 논리"
  • 1922 "명제론의 수치해석"
  • 1928 "철학에서의 방법에 관하여"
  • 1929 "수학 논리학의 요소"
  • 1929 "수학논리학의 중요성과 요구에 대하여"
  • 1930년 "명제논리학의 다가치 체계에 대한 철학적 발언"
  • 1930 "센텐셜 미적분학에 대한 조사" ["Untersuchungen über den Aussagenkalkül"], 알프레드 타르스키와 함께
  • 1931년 "니코드의 공리와 '공제의 일반화'에 대한 논평"
  • 1934년 《온 사이언스》
  • 1934 "지식에 대한 논리적 분석의 중요성"
  • 1934년 《명제논리학사개요》
  • 1936년 《논리학과 철학》
  • 1937년 《로지스틱 방어전》
  • 1938년 "데카르트의 철학에 대하여"
  • 1943년 "명제의 함축적 미적분학의 가장 짧은 공리"
  • 1951년 "명제논쟁의 변량함수에 대하여"
  • 1952년 《직관론 연역론》
  • 1953년 "모달 논리의 체계"
  • 1954년 "아리스토스의 양식적 삼단논쟁에 대하여"

참고 항목

참고문헌

  1. ^ Oliver O'Hanlon, The Irish Times, 2019-04-08 "Home from home 폴란드 논리학자, 수학자, 철학자루카시에비치에 관한 아일랜드 사람의 일기"
  2. ^ 포르타 폴로니카의 얀 우카시에비치
  3. ^ a b Łukasiewicz, Jan (1957) [1951]. Aristotle's Syllogistic from the Standpoint of Modern Formal Logic (2 ed.). Oxford University Press. (1987년 Garland Publishing에 의해 재인쇄, ISBN 0-8240-6924-2.)
  4. ^ "Aristole, Prior Analytics: Book I, Gisela Strike (번역 및 해설), Oxford UP, 2009, 268 pp., $39.95 (pbk), ISBN 978-0-19-925041-7", 노트르담 철학 리뷰, 2010.02.02 Wayback Machine에서 2011-06-15 아카이브.
  5. ^ 수학 계보 프로젝트의 얀 우카시에비치
  6. ^ a b c d e f "Jan Łukasiewicz". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. 2021.
  7. ^ Jan Łukasiewicz 스탠포드 철학 백과사전
  8. ^ 포우 ą스키 묘지에 있는 교수님 얀 우카시에비치 폴스키 라디오 24, 22-11-2022
  9. ^ 2022년 11월 7일 왕립 아일랜드 아카데미의 수학 논리학 교수 얀 우카시에비치(Jan Wukasiewicz).
  10. ^ a b Łukasiewicz, Jan (1931). "Uwagi o aksjomacie Nicoda i 'dedukcji uogólniającej'" [Comments on Nicod's Axiom and on 'Generalizing Deduction']. Księga pamiątkowa Polskiego Towarzystwa Filozoficznego We Lwowie, 12. II. 1904-12. II. 1929 (in Polish). Lwów: Wydawnictwo Polskie Towarzystwo Filozoficzne. pp. 366–383.
  11. ^ Łukasiewicz, Jan (1970). "Comments on Nicod's Axiom and on 'Generalizing Deduction'". In Borkowski, L. (ed.). Selected Works. Amsterdam and London/Warszawa: North-Holland Publishing Company/Polish Scientific Publishers. pp. 179–196.
  12. ^ Łukasiewicz, Jan (1929). "O znaczeniu i potrzebach logiki matematycznej". Nauka Polska (in Polish). 10: 604–620.
  13. ^ 포고르젤스키(Pogorzelski, H. A.), "검토된 작업: 니코드의 공리와 우카시에비치의 "일반화 추론" 대한 발언; Jerzy Słupecki; Pa ństwowe Wydawnict two Naukowe", 기호 논리학 저널, 제30권, 제3호(1965년 9월), 376-377쪽. 얀 우카시에비치(Jan Wukasiewicz)의 이 논문은 1961년 바르샤바에서 Jerzy Słupecki에 의해 편집된 책으로 다시 출판되었습니다. 원래 1931년 폴란드어로 출판되었습니다.
  14. ^ 우카시에비치, 얀; 타르스키, 알프레드, "Untersuchungen über den Aussagenkalkül" ["필수 미적분학에 대한 조사"], Rendus des société des Sciences et des Lettres de Varsovie, Vol. 23 (1930) Cl. III, pp. 31–32. 이 논문은 제Ⅳ장 "센텐셜 미적분학으로의 조사", pp.39-59, 논리학, 시맨틱스, 메타수학: Alfred Tarski의 1923년부터 1938년까지의 논문, J. H. Woodger, Oxford University Press, 1956년; 제2판, Hackett 출판사, 1983년
  15. ^ "2009 국제 컴퓨터 과학 정보 기술 멀티콘퍼런스(IMCSIT)", 컨퍼런스 보고서
  16. ^ Zi, Jan (2019), Models of 6-valued measures: 6-kinds of information, Kindle Direct Publishing Science

더보기

  • 코타르비 ń스키, 타데우스, "얀 우카시에비치의 논리사 연구", Studia Logica 8 (1958), 57–63 JSTOR 20013605. (7쪽)
  • 키아트코프스키, 타데우시, "얀 우카시에비치 – 논리학의 역사학자", 오가논 16–17 (1980–1981), 169–188.
  • Łukasiewicz, Jan; Heine, Holger R. (2021). The Principle of Contradiction in Aristotle: A Critical Study. Honolulu, Hawaii: Topos Productions. ISBN 1943354065.
  • 마셜 주니어, 데이비드, "우카시에비치, 라이프니츠와 삼단논법의 산술화", 노트르담 형식논리학 저널 18 (2) (1977), 235–242.
  • Seddon, Frederick (1996). Aristotle & Łukasiewicz on the Principle of Contradiction. Ames, Iowa: Modern Logic Pub. ISBN 1-884905-04-8. OCLC 37533856.
  • Woleński, Jan (1994). Philosophical Logic in Poland. Kluwer Academic Publishers. ISBN 0-7923-2293-2. OCLC 27938071.
  • Woleński, Jan (1994). "Jan Łukasiewicz on the Liar Paradox, Logical Consequence, Truth and Induction". Modern Logic (4): 394–400.

외부 링크