Colloquia Theologica Ottoniana, 2023, T. 39

Stały URI dla kolekcjihttps://theo-logos.pl/handle/123456789/24920

Przeglądaj

Przeglądaj Colloquia Theologica Ottoniana, 2023, T. 39 wg Autor "Czakon, Marcin"

Wpisz kilka pierwszych liter i kliknij przycisk przeglądania
Teraz wyświetlane 1 - 1 z 1
  • Miniatura
    Pozycja
    Is Non-Ontological Structuralism Hypothetical?
    Czakon, Marcin (Wydawnictwo Naukowe Uniwersytetu Szczecińskiego, 2023)
    Michael Resnik, twórca nowoczesnego strukturalizmu w filozofii matematyki, na pewnym etapie swojej twórczości naukowej zmienił poglądy i zaproponował nowy strukturalizm nieontologiczny. Resnik uważany jest za wybitną postać współczesnego strukturalizmu w obszarze współczesnej filozofii matematyki, a jego strukturalizm sui generis jest uważany za jedno z najważniejszych i najczęściej dyskutowanych stanowisk w tej dziedzinie. W artykule zbadano motywacje stojące za zmianą poglądów Resnika. Zostało szczegółowo zaprezentowane jego stanowisko i podjęto próbę skontrastowania tego stanowiska z wybranymi poglądami z zakresu filozofii matematyki. Niniejszy wywód nawiązuje do sporu Gottloba Fregego z Davidem Hilbertem, który koncentruje się na statusie aksjomatów teorii matematycznej oraz znaczeniu przypisywanym terminom pierwotnym. Wspomniano także trzyetapową koncepcję rozwoju nauk dedukcyjnych zaproponowaną przez Kazimierza Ajdukiewicza. Koncepcja ta, inspirowana ideami Hilberta, wyznacza trzy etapy ewolucji teorii dedukcyjnych: (1) dedukcja przedaksjomatyczna, (2) dedukcja aksjomatyczna, (3) aksjomatyka abstrakcyjna. Każdy z tych etapów ma unikalne cechy, które rzucają światło na naturę teorii dedukcyjnych, szczególnie w odniesieniu do zbiorów aksjomatów i terminów pierwotnych w ramach tych teorii. Dodatkowo omówiono dwa style uprawiania teorii dedukcyjnych (asertywny i hipotetyczny). Ostatecznie badanie nieontologicznego strukturalizmu Resnika dostarcza wglądu w to, jak należy rozumieć tę nowatorską koncepcję strukturalizmu, i wyjaśnia faktyczne twierdzenia autora. Oprócz tych rozróżnień sformułowana jest nowa koncepcja hipotetycznego strukturalizmu, odrębna od strukturalizmu nieontologicznego. Ten nowatorski strukturalizm jest zakorzeniony w hipotetycznym podejściu do praktykowania teorii dedukcyjnych.