Stanisław Leśniewski

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
Stanisław Leśniewski

Stanisław Leśniewski ( Serpuchov , 28 martie 1886 - Varșovia , 1939 ) a fost un logician , filosof și profesor polonez . [1]

Biografie

Elev al lui Kazimierz Twardowski , a fost unul dintre fondatori și, alături de Alfred Tarski și Jan Łukasiewicz , unul dintre principalii exponenți ai școlii Lviv-Varșovia . [2] [3] Din 1919 a fost profesor de filosofie matematică la Universitatea din Varșovia . În 1916 a creat merologia [4] care este teoria relațiilor dintre părți și întreg pornind de la diferențiere - scopul căruia a fost rezolvarea paradoxului lui Russell - între interpretarea distributivă (un obiect ca element al unei clase) și interpretarea colectivă (un obiect ca parte a unui întreg ) a simbolurilor clasei. Teorie care a fost apoi elaborată într-un sistem axiomatic deductiv în cadrul căruia să se exprime calculul propozițional și calculul claselor . [1]

Principalele lucrări

  • O podstawach mathyki („Bazele matematicii”, în Przeglad filozoficzny , 1927-1930)
  • Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind (in Fundamenta matematică XIII: 319-32, 1929)
  • Grundzüge eines neuen Systems der Grundlagen der Mathematik (în Fundamenta mathicae 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 (în Comptes rendus des séances de la Société des Sciences et des Lettres de Varsavie , 1931)

Notă

  1. ^ a b Leśniewski, Stanisław , în Treccani.it - ​​Enciclopedii online , Institutul Enciclopediei Italiene.
  2. ^ Arianna Betti
  3. ^ Peter Simons
  4. ^ în eseul "Podstawy ogólnej theorii mnogości I" ( Fundamentele teoriei generale a mulțimilor, I ), Moscova Popławski, 1916 (doar o parte publicată).

Bibliografie

  • Stanislaw Lesniewski, Note de curs în logică , Dordrecht, Kluwer, 1988.
  • Stanislaw Lesniewski, Lucrări colecționate , 2 vol., Dordrecht, Kluwer, 1992.

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 38.303.584 · ISNI (EN) 0000 0001 1056 3323 · LCCN (EN) n83317565 · GND (DE) 118 572 075 · BNF (FR) cb121052111 (data) · WorldCat Identities (EN) lccn-n83317565