Metalogic (as a part of metamathematics) deals with the properties of formalised mathe- matical theories. Its applicability to empirical theories is an object of debate. The paper defends the moderate view that although it is difficult to expect such spectacular results, as have been obtained on mathematical theories, nevertheless the metalogical analysis of the first two gives us some benefits. Empirical theories may be understood as axiomatised sets of propositions closed with the operation of logical consequence. Two questions illustrate the (...) thesis of this paper, namely the question of the elimination of theoretical terms and the question of the so- called philosophical presuppositions of science. As regards the second problem, a negative thesis is defended here: science is not based on philosophical presuppositions as premises of scientific reasonings. (shrink)

Słownik języka polskiego PWN odnotowuje m.in. trzy znaczenia słowa „fenomen”: (1) rzadkie, niezwykłe zjawisko; (2) osoba wyjątkowa, niezwykle uzdolniona; (3) fakt empiryczny będący punktem wyjścia badań naukowych. W tytule nie chodzi o „fenomen” w sensie drugim, chociaż do Szkoły Lwowsko-Warszawskiej należało wiele osób wyjątkowych i niezwykle uzdolnionych, do których z powodzeniem można odnosić słowo „fenomen” w tym sensie. Tytułowy zwrot „Fenomen Szkoły Lwowsko-Warszawskiej” sygnalizuje natomiast, z jednej strony, że książka zdaje sprawę z badań naukowych nad pewnym złożonym „faktem empirycznym” – (...) nad pewną formacją intelektualną wraz z jej dorobkiem. Z drugiej strony tytuł wskazuje na rzadkość i niezwykłość Szkoły: to, że była ona fenomenem nie tylko w dziejach Polski, lecz także w dziejach kultury in toto. Oto kilka faktów, które się na fenomen Szkoły – w tym drugim sensie – składają. Za początek Szkoły przyjmuje się rok 1895, kiedy jej założyciel, Kazimierz Twardowski, przybył z Wiednia do Lwowa i już wkrótce wypromował pierwszych doktorów. Wśród wychowanków (doktorantów) Twardowskiego było ponad dwudziestu przyszłych profesorów tytularnych, którzy w dwudziestoleciu międzywojennym zajęli większość katedr filozofii, logiki i psychologii, ale oddziałali także na inne dyscypliny – takie jak literaturoznawstwo, muzykologia, filologia klasyczna etc. Twardowski zmarł w 1938 roku, a za koniec Szkoły niektórzy przyjmują rok 1939 – istotnie II wojna światowa spowodowała spustoszenie w szeregach przedstawicieli Szkoły, a jeszcze silniejszy cios stanowił dla niej okres stalinizmu. Jednakże Kilka wybitnych postaci Szkoły – takich jak Kazimierz Ajdukiewicz, Tadeusz Czeżowski, Izydora Dąmbska, Tadeusz Kotarbiński, Stefan Swieżawski czy Władysław Tatarkiewicz – działało jeszcze wiele lat po wojnie, wychowując kolejne pokolenia w duchu właściwego Szkole antyirracjonalizmu. Wielu spośród autorów tekstów do niniejszego tomu to przedstawiciele młodszych pokoleń Szkoły Lwowsko-Warszawskiej sensu largo. Spoiwem Szkoły był nie pewien zespół idei, który wyznawaliby jej członkowie, lecz pewne postulaty metodologiczne oraz pewien zestaw wartości, które były w Szkole akceptowane przez kolejne pokolenia. O tych postulatach metodologicznych i o tym zestawie wartości mówią szczegółowo autorzy tekstów tu zamieszczonych. Ogromnemu wpływowi Szkoły na kulturę polską towarzyszyła recepcja wyników osiąganych przez jej członków za granicą. Naszym „towarem eksportowym” była szeroko rozumiana logika (logiki wielowartościowe i metalogika Łukasiewicza, gramatyka kategorialna Ajdukiewicza, koncepcja prawdy Tarskiego). Wiele osiągnięć członków Szkoły w innych dziedzinach zagranica odkrywa dla siebie dopiero dziś i wyniki te budzą podziw u tych, którzy się z nimi stykają. Ideą stojącą za powstaniem „Fenomenu Szkoły Lwowsko-Warszawskiej” była chęć ukazania Szkoły w jak najszerszej perspektywie, także przez pryzmat mniej znanych, choć ważnych postaci i osiągnięć. Ze wstępu Książkę można zamówić tutaj: https://ksiegarnia.academicon.pl/glowna/187-fenomen-szkoly-lwowsko-warszawskiej-miekka-oprawa--97883 62475193.html. (shrink)

The main aim of this article is to show how the notion of refutation has been changing in logic for the last few years. The idea of refutation was known to Aristotle, but the formal concept was introduced by Jan Łukasiewicz. Afterwards this notion was investigated by the Polish group of logicians headed by Jerzy Słupecki. Several interesting articles about refutation have appeared in the last years. In this article, I present in outline the history of the notion of refutation (...) and I discuss recent applications of refutation systems both in the theoretical and practical approach. (shrink)