• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Stanisław Leśniewski

    Przeczytaj także...
    Dordrecht – miasto i gmina w zachodniej Holandii, w prowincji Holandia Południowa, w delcie Renu i Mozy, na południowy wschód od Rotterdamu. Liczy 113 381 mieszkańców (2012) i tym samym stanowi trzecie co do wielkości miasto w tej prowincji, po Rotterdamie i Hadze.Polacy – naród zamieszkujący głównie obszar Rzeczypospolitej Polskiej i będący jej głównym składnikiem ludnościowym, a poza granicami Polski tworzący Polonię.
    Kazimierz (Jerzy Adolf ze Skrzypny Ogończyk) Twardowski (ur. 20 października 1866 w Wiedniu, zm. 11 lutego 1938 w Milanówku) – polski filozof i psycholog, twórca lwowsko-warszawskiej szkoły filozofii.
    Stanisław Leśniewski, 1886-1939

    Stanisław Leśniewski (ur. 28 marca lub 30 marca 1886 w Sierpuchowie, zm. 13 maja 1939 w Warszawie) – polski filozof i logik.

    Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).Sierpuchow – miasto w Rosji w obwodzie moskiewskim (100 km na południe od Moskwy), nad Oką, w r. 2005 ok. 126 tys. mieszkańców, stolica rejonu sierpuchowskiego.

    Praca naukowa[]

    Był profesorem Uniwersytetu Warszawskiego, uczniem Kazimierza Twardowskiego. Jego prace obejmują stworzenie rachunku zdańprototetyki, rachunku nazw – ontologii Leśniewskiego, ogólnej teorii zbiorów – mereologii. Wymienione systemy Leśniewskiego powstały w wyniku poszukiwań ugruntowania podstaw matematyki oraz w celu wyeliminowania antynomii z nauk dedukcyjnych. Systemy Leśniewskiego stanowią w logice wzór pod względem ścisłości i intuicyjności. W dorobku Leśniewskiego szczególnie warto również wymienić opracowanie teorii kategorii semantycznych, wprowadzenie rozróżnienia poziomów języka (na język i metajęzyk) oraz rozróżnienie zbiorów w sensie dystrybutywnym i kolektywnym.

    Filozofia (gr. φιλοσοφία – umiłowanie mądrości) – rozważania na temat podstawowych problemów takich jak np. istnienie, umysł, poznanie, wartości, język.Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.

    Bibliografia[]

  • Stanisław Leśniewski, "Über Funktionen, deren Felder Gruppen mit Rücksicht auf diese Funktionen sind", Fundamenta Mathematicae 1929, tom XIII, ss. 319-32.
  • Stanisław Leśniewski, "Grundzüge eines neuen Systems der Grundlagen der Mathematik", Fundamenta Mathematicae 1929, tom XIV, ss. 1-81.
  • Stanisław Leśniewski, "Über Funktionen, deren Felder Abelsche Gruppen in bezug auf diese Funktionen sind", Fundamenta Mathematicae 1929, tom XIV, ss. 242-51.
  • Stanisław Leśniewski, Lecture Notes in Logic, Dordrecht, Kluwer, 1988.
  • Stanisław Leśniewski, Collected Works, Dordrecht, Kluwer, 1992.
  • Stanisław Leśniewski, Pisma zebrane. T. I-II, Warszawa, Semper, 2015.
  • Linki zewnętrzne[]

  • Prace Stanisława Leśniewskiego dostępne w Sieci (Katalog HINT)
  • Uniwersytet Warszawski – polska uczelnia państwowa, założona 19 listopada 1816 roku w Warszawie. Najlepszy uniwersytet w Polsce według The Times Higher Education Supplement (QS World University Rankings). W rankingu szanghajskim (ARWU) z 2012 roku uczelnia została sklasyfikowana na miejscach 301-400. Według ogólnoświatowego rankingu szkół wyższych Webometrics Ranking of World Universities ze stycznia 2013, opracowanego przez hiszpański instytut Consejo Superior de Investigaciones Científicas uczelnia zajmuje 1. miejsce w Polsce wśród uniwersytetów, a na świecie 234. pośród wszystkich typów uczelni. Corocznie uniwersytet zajmuje 1-2 miejsce w rankingu polskich uczelni państwowych przeprowadzanych przez "Rzeczpospolitą" i "Perspektywy".Mereologia jest to trzeci z tzw. systemów Leśniewskiego (obok prototetyki i ontologii), dla którego prototetyka i ontologia są systemami wcześniejszymi.



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Warszawa; miasto stołeczne Warszawa, w skrócie m.st. Warszawa – stolica i największe miasto Polski, położone w środkowo-wschodniej części kraju, na Nizinie Środkowomazowieckiej, na Mazowszu, nad Wisłą. Od 2002 r. miasto stołeczne Warszawa jest gminą miejską mającą status miasta na prawach powiatu.
    Prototetyka – jeden z systemów Leśniewskiego, będący podstawą dla pozostałych. Jest uogólnionym rachunkiem zdań, a więc rachunkiem zdań z kwantyfikatorami wiążącymi zmienne zdaniowe, funktory zdaniotwórcze od argumentów zdaniowych, funktory od argumentów funktorowych od argumentów zdaniowych itd.
    Ontologia Leśniewskiego jest współczesnym rachunkiem nazw stworzonym przez polskiego filozofa i logika Stanisława Leśniewskiego.
    Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.
    Gemeinsame Normdatei (GND) – kartoteka wzorcowa, stanowiąca element centralnego katalogu Niemieckiej Biblioteki Narodowej (DNB), utrzymywanego wspólnie przez niemieckie i austriackie sieci biblioteczne.
    Fundamenta Mathematicae” – czasopismo matematyczne założone w 1920 w Warszawie przez polskich matematyków Zygmunta Janiszewskiego, Stefana Mazurkiewicza i Wacława Sierpińskiego, członków warszawskiej szkoły matematycznej.

    Reklama

    Czas generowania strony: 0.018 sek.