Stanisław Leśniewski

Da Wikipedia, l'enciclopedia libera.
Stanisław Leśniewski

Stanisław Leśniewski (Serpuchov, 28 marzo 1886Varsavia, 1939) è stato un logico, filosofo e docente polacco.[1]

Biografia[modifica | modifica wikitesto]

Allievo di Kazimierz Twardowski, fu uno dei fondatori e, con Alfred Tarski e Jan Łukasiewicz, uno dei maggiori esponenti della scuola di Leopoli-Varsavia.[2][3] Dal 1919 fu docente di filosofia della matematica all'università di Varsavia. Nel 1927 creò la mereologia[4] ossia la teoria delle relazioni tra le parti e il tutto a partire dalla differenziazione — il cui fine era risolvere il paradosso di Russell — tra interpretazione distributiva (un oggetto come elemento di una classe) e interpretazione collettiva (un oggetto come parte di un intero) dei simboli di classe. Teoria che fu poi elaborata in un sistema assiomatico deduttivo entro cui poter esprimere il calcolo proposizionale e il calcolo delle classi.[1]

Opere principali[modifica | modifica wikitesto]

  • O podstawach matematyki ("I fondamenti della matematica", in Przeglad filozoficzny, 1927-1930)
  • Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind (in Fundamenta mathematicae XIII: 319-32, 1929)
  • Grundzüge eines neuen Systems der Grundlagen der Mathematik (in Fundamenta mathematicae XIV: 1-81, 1929)
  • Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind (in Fundamenta Mathematicae XIV: 242-51, 1929)
  • Über Definitionen in der sogenannten Theorie der Theorie der Deduktion (nei Comptes rendus des séances de la Société des Sciences et des Lettres de Varsavie, 1931)
  • Lecture Notes in Logic, Kluwer (1988)
  • Collected Works, 2 vols, Kluwer (1992)

Note[modifica | modifica wikitesto]

  1. ^ a b Leśniewski, Stanisław, in Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana, 15 marzo 2011.
  2. ^ Arianna Betti
  3. ^ Peter Simons
  4. ^ Achille Varzi

Bibliografia[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autoritàVIAF: (EN62340914 · LCCN: (ENn83317565 · GND: (DE118572075