Jan Łukasiewicz

Jan Łukasiewicz 1935

Jan Lukasiewicz [ Ocak wukaɕɛvʲitʃ ] (doğum  21 Aralık 1878 yılında Lemberg , †  Şubat 13, 1956 yılında Dublin ) bir oldu Polonyalı filozof , matematikçi ve mantıkçı .

davranmak

1915 ile 1939 arasında, Lukasiewicz bir oldu profesör de Lviv Üniversiteleri ve Varşova ikincisi de ve iki kez rektör. Çalışmaları orada hakim oldu Lemberg-Varşova Okulu kimin, temel araştırmalar matematiksel üzerinde mantık yapılan Varşova Üniversitesi sonrası dönemde mantık merkezi Birinci Dünya Savaşı . Öğrencileri ve daha sonraki meslektaşları arasında Alfred Tarski de vardı . 1919'da Łukasiewicz, kısa bir süre için Polonya Eğitim Bakanıydı.

1938 yılında Münster Üniversitesi kendisine layık bir fahri doktora felsefesinde. Almanya'nın Polonya'yı işgalinden sonraki işgal sırasında, gizli Varşova Yeraltı Üniversitesi'nde ( Tajny Uniwersytet Warszawski ) çalıştı . Savaşın sonunu , arkadaşı Alman matematikçilerin onu kendi güvenliği için getirdiği Hembsen'de yaşadı . 1949'da, üniversitede profesörlük teklif ettiği ve hayatının geri kalanında çalıştığı Dublin'e gitti .

Daha sonra sözde tanıtıldı Polonyalı notasyonu (önek notasyonu) bir ifadesi (örneğin bir matematiksel formül) operatörü böylece işlenen önünde yazılı ve hangi gelmez parantez gerekir: yerine + 5 8 , yazdığınız + 8 5 . Daha sonra, ters Lehçe gösterimi (Postfix gösterimi), operatörlerin işlenenlerinden sonra yazıldıkları (örneğin, 8 5 + ) bundan türetilmiştir .

Jan Łukasiewicz , 1920'de üç değerlikli mantık Ł 3'ü resmileştirdi ve böylece ilk çok değerli ve dolayısıyla klasik olmayan mantıksal hesabı yarattı . Çalışmaları ayrıca klasik mantıkla ilgiliydi . Bu şekilde, bağımsız Bernays'ın ve mesaj , o kanıtladı tamlığı ve tutarlılık klasik bir önermeler mantığı .

Çok değerli mantığında , artık Łukasiewicz-Tarski olumsuzlaması ve Łukasiewicz-Tarski ima olarak bilinen doğruluk değeri fonksiyonlarını kullandı .

Jan Łukasiewicz ayrıca mantığın tarihi üzerine çığır açan eserler yazdı. O Aristotelesçi yeniden syllogistics ve yanındaki keşfetti Martha Kneale önemini sabırlı o en erken tarihsel formu olarak kabul mantık, önermeler mantığı (bugün öncelikli olduğunu atfedilen "diyalektikçidir" Diodoros Kronos ve Megara Philo ). Bu gözden ile, o serbest Stoa o mantık içine steril bir formalizmini tanıtıldı ettiğini, eski ve kalıcı yargısından ve mantık tarihine yeni bir sayfa ekledi.

Yazı tipleri (seçim)

  • O zasadzie sprzeczności u Arystotelesa. Studyum krytyczne. Akademia Umiejętności. Fundusz Wydawniczy im. . W. Osławskiego, Krakow 1910 (yeni baskısı Tekst przejrzał, przedmowa̧ i przypisami opatrzył Ocak Wolenski PANSTWOWE Wydawnictwo Naukowe, Varşova 1987. ISBN 83-01-06226-6 ; Almanca: Aristo içinde çelişki ilkesine Hakkında (= modern yorumuna Aristoteles mantığı 5) Olms, Hildesheim ve diğerleri 1993, ISBN 3-487-09761-3 ).
  • ile Alfred Tarski : önermeler mantığı soruşturmalar. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Cilt 23, 1930, ZDB- ID 1110908-7 , s. 30-50.
  • Önermeler hesabının çok değerli sistemleri üzerine felsefi yorumlar. In: Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie, Classe 3. Cilt 23, 1930, s. 51-77.
  • Z historii logiki zdań. İçinde: Przegląd Filozoficzny. Cilt 37, 1934, ISSN  1230-1493 , s. 417-437, (Almanca: Önerme mantığının tarihine. İçinde: Bilgi . Cilt 5, 1935, s. 111-131, JSTOR 20011745 ; Stoacı birleştirici mantığının keşfi ).
  • Jan Łukasiewicz: Aristoteles'in taslağı. Modern biçimsel mantık açısından. Clarendon Press, Oxford ve diğerleri 1951.
  • Elementy logiki matematycznej. 2. Baskı. Państwowe Wydawnictwo Naukowe, Varşova 1958, (English: Elements of mathematical logic (= International Series of Monographs on Pure and Applied Mathematics. 31, ISSN  0539-0125 ) Polonyaca'dan Olgierd Wojtasiewicz tarafından çevrilmiştir. Pergamon Press, Oxford ve diğerleri 1963 ).
  • Seçilmiş eserler (= Mantık Çalışmaları ve Matematiğin Temelleri. ). L. Borkowski tarafından düzenlenmiştir. North-Holland ve diğerleri, Amsterdam ve diğerleri 1970, ISBN 0-7204-2252-3 .

Edebiyat

  • Hans-Christoph Schmidt am Busch, Kai F. Wehmeier : Heinrich Scholz ve Jan Łukasiewicz. In: Doğu Avrupa Fikirler Tarihi ve Çağdaş Tarih Forumu. Cilt 11, No. 2, 2007, ISSN  1433-4887 , s. 107–125, (Çeviri: Heinrich Scholz ve Jan Łukasiewicz Arasındaki İlişkiler Üzerine. In: History and Philosophy of Logic. Cilt 28, No. 1, 2007, ISSN  0144-5340 , sayfa 67-81, doi : 10.1080 / 01445340600841994 ).
  • Fred Seddon: Aristoteles ve Łukasiewicz. Çelişki İlkesi Modern Mantık Üzerine , Ames IA 1996, ISBN 1-884905-04-8 .
  • Mieszko Tałasiewicz: Jan Łukasiewicz - Bilim Biçimi Arayışı. İçinde: Wladyslaw Krajewski (Ed.): 20. Yüzyılda Polonyalı Bilim ve Doğa Filozofları (= Poznan Çalışmaları, Bilimler ve Beşeri Bilimler Felsefesi 74 = Polonya Analitik Felsefesi. 3). Rodopi, Amsterdam ve diğerleri 2001, ISBN 90-420-1497-0 , sayfa 27-35.
  • Jan Wolenski (Ed.): Polonya'da Philosophical Logic (= Sentez Kitaplığı. 228). Kluwer, Dordrecht ve diğerleri, 1994 ISBN 0-7923-2293-2 .

İnternet linkleri

Bireysel kanıt

  1. ↑ "Önerme mantığının Frege ve Peirce tarafından bilinen doğruluk tablolarının kullanımı yoluyla karar verilebilirliği; karar verilebilirliğinin bir kanıtı, 1921'de bağımsız olarak Jan Łukasiewicz ve Emil Post'a atfedilebilir. "( Mantık. In: The New Encyclopædia Britannica. Cilt 23. 15th edition. Encyclopaedia Britannica, Chicago IL ve diğerleri 2003, ISBN 0-85229-961 -3 , S. 279, sütun 2).
kişisel veri
SOYADI Łukasiewicz, Oca
KISA AÇIKLAMA Polonyalı filozof, matematikçi ve mantıkçı
DOĞUM TARİHİ 21 Aralık 1878
DOĞUM YERİ Lviv , Galiçya
ÖLÜM TARİHİ 13 Şubat 1956
ÖLÜM YERİ Dublin