O MATEMATYCE I FILOZOFII MATEMATYKI
|
|
- Ludwik Niewiadomski
- 8 lat temu
- Przeglądów:
Transkrypt
1 ARTYKUŁY ZAGADNIENIA FILOZOFICZNE W NAUCE XXIII / 1998, s Krzysztof WÓJTOWICZ O MATEMATYCE I FILOZOFII MATEMATYKI W ostatnich latach obserwujemy ożywienie dyskusji dotyczącej filozofii matematyki. Pojawia się coraz więcej artykułów na ten temat, ukazują się także coraz liczniejsze książki, jakby chociażby Science Without Numbers Hartry ego Fielda, Constructability and Mathematical Existence Charlesa Chihary, Realism in Mathematics Penelope Maddy, Mathematics Without Numbers Geoffrey a Hellmana i szereg innych. Po okresie pewnej stagnacji następuje, jak się wydaje, siedem tłustych lat filozofii matematyki. Warto dlatego zatrzymać się przy problemie, jaki jest charakter związków pomiędzy filozofią matematyki a samą matematyką, jakiego typu związki czy inspiracje tu występują i jakie są perspektywy rozwoju filozofii matematyki. Zaczniemy od kilku uwag historycznych. Początki matematyki współczesnej wiąże się najczęściej z nazwiskiem twórcy teorii mnogości Georga Cantora. Dla Cantora tworzona przez niego teoria mnogości (w szczególności teoria nieskończoności) miała charakter filozoficzny. Badanie zbiorów nieskończonych było dla Cantora badaniem realnie istniejącej rzeczywistości; jego rozróżnienia różnych poziomów nieskończoności, inspirowane rozważaniami natury religijnej i metafizycznej (patrz np. [Murawski 1984]) miały zasadnicze znaczenie dla tworzonej przez niego teorii mnogości. Dla Cantora kwestie matematyczne i filozoficzne były ze sobą ściśle związane. Na przełomie wieków dyskusje filozoficzne nie były wśród matematyków rzadkością. Przyjmijmy, że trwały jeszcze wówczas spory dotyczące pojęcia dowodu matematycznego niektórzy matematyce (jak np. Kronecker) odrzucali niekonstruktywne dowody istnienia jako niedopuszczalne (słynna jest wypowiedź jednego z matematyków niemieckich na temat pewnego niekonstruktywnego dowodu Hilberta: To nie jest matematyka! To jest teologia). UWAGA: Tekst został zrekonstruowany przy pomocy środków automatycznych; możliwe są więc pewne błędy, których sygnalizacja jest mile widziana (obi@opoka.org). Tekst elektroniczny posiada odrębną numerację stron.
2 2 Krzysztof WÓJTOWICZ Także pewnik wyboru właśnie ze względu na swój niekonstruktywny, czysto egzystencjalny charakter był kwestionowany, zanim ostatecznie okazał się być na tyle ważnym narzędziem, że dzisiaj matematycy posługują się nim bez ograniczeń. Także nurt intuicjonistyczny (zainicjowany przez Brouwera na początku naszego stulecia) inspirowany był filozoficznymi tezami dotyczącymi istnienia i natury obiektów matematycznych. Dla konceptualistów obiekt matematyczny nie istnieje dopóty, dopóki nie zostanie skonstruowany. Z ontologicznej tezy konceptualizmu wynika szereg ograniczeń metodologicznych, dotyczących dopuszczalnych metod dowodowych. W szczególności, jak pamiętamy, intuicjoniści nie dopuszczali niekonstruktywnych dowodów istnienia, opartych na zasadzie wyłącznego środka. Wybór pewnej opcji filozoficznej inspirował ich do tworzenia innej matematyki, jaką jest matematyka intuicjonistyczna. Przypomnijmy tu także krótko poglądy filozoficzne Kurta Gödla, najwybitniejszego logika XX wieku. Gödel był realistą, przekonanym o obiektywnym istnieniu przedmiotu badań matematyki miały być nim pewne abstrakcyjne, niezależne od naszej działalności poznawczej obiekty. Matematyk, według Gödla, opisuje pewną zastaną rzeczywistość matematyczną, nie tworząc jej. Realistyczne poglądy Gödla stanowiły inspirację dla jego twórczości matematycznej. Sam mówił o sobie, że oparcie się na realistycznej koncepcji matematyki pozwoliło mu na swobodne korzystanie z niekonstruktywnych metod (w szczególności chodzi o definicje niepredykatywne), ignorując zastrzeżenia wysuwane przez konstruktywistów (por. [Wang 1974, 9]). Pomiędzy filozoficznymi poglądami Gödla a jego twórczością matematyczną istniał zatem związek merytoryczny. Przykłady te wskazują na to, że na pewnym etapie rozwoju matematyki analizy filozoficzne odegrały w niej istotną rolę. Można zastanawiać się, na ile kontrowersje te miały charakter stricte filozoficzny, dotyczący np. istnienia obiektów matematycznych, intuicji matematycznej etc., a na ile charakter sporów metodologicznych, dotyczących stworzenia pewnych, ogólnie akceptowanych ram dla działalności matematycznej 1. Niemniej jednak z całą pewnością komponenta filozoficzna nie była tu zerowa i pełniła rolę nie tylko heurystyczną. 1 Na przykład o powszechnym zaakceptowaniu pewnika wyboru zadecydowała jego użyteczność, jako silnego narzędzia dowodzenia twierdzeń, nie filozoficzne analizy dotyczące istnienia selektora. Na użyteczność pewnika wyboru jako argument za jego zaakceptowaniem wskazywał już Zermelo na początku stulecia.
3 O MATEMATYCE I FILOZOFII MATEMATYKI 3 Relacja między matematyką a filozofią jest dziś inna. Matematycy w zasadzie nie interesują się filozofią matematyki. Dla przeciętnego matematyka rozważania filozoficzne dotyczące statusu ontologicznego przedmiotów matematycznych czy przyczyn, dla których matematykę można stosować do opisu rzeczywistości nie są istotne ani interesujące. Na pewno nie mają one znaczenia dla jego pracy badając proces stochastyczny czy równanie różniczkowe, matematyk nie zastanawia się, czy właśnie ten proces stochastyczny stworzył, czy też istnieje on niezależnie od jego badań. Wśród matematyków panuje powszechna zgoda co do tego, czym jest poprawny dowód matematyczny, z jakich założeń wolno korzystać, etc. Specjalista w zakresie matematyki stosowanej nie zastanawia się nad tym, jak to się dzieje, że tworzone przez niego modele nadają się do opisu rozwoju szczepu bakterii czy zachowania inwestorów giełdowych on tworzy modele i zadowala się faktem, że są one użyteczne. Pytanie jak, jest dla niego zdecydowanie ważniejsze, niż pytanie dlaczego 2. W pracy matematyk nie zaprząta sobie głowy roztrząsaniem problemów filozoficznych. Co więcej, na ogół nie czyni tego także w wolnym czasie. Matematycy rzadko zabierają głoś w dyskusjach filozoficznych, traktując je zazwyczaj jako niepoważne, niekonkluzywne i jałowe 3. Ci (nieliczni) matematycy, którzy interesują się pytaniami filozoficznymi, sami przyznają, że większość matematyków niechętna jest dyskusjom filozoficznym. Są oni na ogół platonikami w dni robocze, a formalistami w niedzielę w czasie pracy zachowują się tak, jakby badali istniejące obiekty, natomiast przyciśnięci do muru chętnie deklarują się jako formaliści, aby unikać mętnych, ich zdaniem, dyskusji filozoficznych. Jean Diedonne sam będąc matematykiem pisze o matematykach, iż [...] w zasadzie wierzymy w rzeczywistość matematyki, ale rzecz jasna, że kiedy filozofowie atakują nas swoimi paradoksami, to pospiesznie zasłaniamy się formalizmem i mówimy matematyka jest tylko 2 Shapiro w jednej ze swoich prac wspomina sytuację, kiedy student zapytał prowadzącego wykład o przyczynę pewnego zjawiska fizycznego. W odpowiedzi prowadzący wypisał całkę, która dla pewnej wartości parametru się zeruje. Dla fizyka wyjaśnienie to w zupełności wystarcza (dzięki temu może twórczo pracować w dziedzinie fizyki!) filozof natomiast chciałby wiedzieć, jak to możliwe, że zerowanie się jakiejś całki wyjaśnia zjawisko obserwowane w otaczającym nas świecie fizycznym. 3 Davis i Hersh w swej książce [1994] przytaczają żartobliwe dialogi prowadzone między Idealnym Matematykiem a różnymi rozmówcami. Idealny Matematyk stwierdza w pewnym momencie, że filozofia go nudzi, gdyż są to rozważania i rozważania, które do niczego nie prowadzą. Moje zadanie polega na dowodzeniu twierdzenia, a nie na martwieniu się, co one znaczą. Autorzy stworzyli ten dialog na podstawie własnego doświadczenia sami są matematykami i te poglądy uznają za typowe dla swoich kolegów po fachu.
4 4 Krzysztof WÓJTOWICZ kombinacją symboli pozbawionych znaczenia. [...] W końcu zostawiają nas w spokoju, a wówczas wracamy do naszej matematyki, i robimy to, co robiliśmy zawsze, z poczuciem, które ma każdy matematyk, że pracujemy nad czymś rzeczywistym (cyt. za [Davis, Hersh 1994, 281]). Podobnie Yannis Moschovakis, wybitny specjalista w zakresie deskryptywnej teorii mnogości twierdzi, że olbrzymia większość matematyków żywi przekonanie, że bada prawdziwe obiekty, które mają pewne wewnętrzne własności niezależne od tego, czy ktoś o nich w danej chwili myśli czy nie. Moschovakis pisze jednak, iż: [...] próby uczynienia z tego typu przekonań spójnego systemu filozoficznego prowadzą do dyskusji na temat istnienia obiektów abstrakcyjnych, którym matematycy są niechętni. Stanowisku formalistycznemu można nadać elegancką, spójną postać, wolną od tych trudności, co jest głównym powodem, dla którego wielu matematyków twierdzi, że są formalistami (kiedy się ich przyciśnie ), podczas gdy w czasie pracy zachowują się jak niczym nie zaniepokojeni realiści ([Moschovakis 1980, ]). Na pytanie o fenomen stosowalności matematyk odpowiada standardowo, że matematyka dostarcza pewnych modeli, które dają się stosować, bo taka jest rzeczywistość. Typowy matematyk, jeśli już zabiera głos w dyskusjach filozoficznych, to jego wypowiedzi mają raczej charakter refleksji natury estetycznej, dotyczących piękna teorii matematycznych, głębi wyników, tajemniczej natury związków pomiędzy poszczególnymi działami matematyki oraz matematyką a rzeczywistością. Typowym przykładem może tu być słynna wypowiedź Wignera: Stosowalność języka matematyki do formułowania praw fizyki jest cudownym darem, którego nie rozumiemy, ani na który nie zasługujemy ([Wigner 1960]), która wprawdzie brzmi efektowanie, ale nic nie wyjaśnia (ani nawet nie próbuje wyjaśnić!). Głos w dyskusjach filozoficznych zabierają zatem w zasadzie wyłącznie filozofowie. Zdani są (niestety!) na własne siły. Oczywiście, zawodowy filozof znacznie lepiej niż matematyk zna tradycję filozoficzną, stanowiska i argumenty, jakie są formułowane. Lepiej niż matematyk widzi, które ze stawianych problemów są przeformułowaniami tradycyjnych problemów filozoficznych, a które mają własną specyfikę i nie redukują się do klasycznych zagadnień. Matematyk na ogół słabo zna historię i literaturę filozoficzną. Tu jednak kończy się przewaga filozofa. Często dzieje się bowiem tak, że filozof matematyki (czy ogólniej: filozof nauki) niedostatecznie zna przedmiot swoich analiz.
5 O MATEMATYCE I FILOZOFII MATEMATYKI 5 Pojawia się tu problem, na ile szczegółowa znajomość wyników technicznych jest istotna dla filozofa i czy w ogóle jest istotna. Można tu wyróżnić dwa zasadnicze stanowiska i dwie zasadnicze linie argumentacji: 1. Taka wiedza nie jest niezbędna. Pytania dotyczące filozofii matematyki są po prostu uszczegółowieniami (czy inaczej szczególnymi przypadkami) tradycyjnych pytań filozoficznych. Np. pytanie o naturę i status ontologiczny obiektów matematycznych jest szczególnym przypadkiem pytania o istnienie obiektów abstrakcyjnych. Pytanie o to, w jaki sposób matematyka stosuje się do opisu rzeczywistości, jest szczególnym przypadkiem pytania o to, w jaki sposób tworzone przez nas schematy pojęciowe mogą stosować się do opisu rzeczywistości. Także inne pytania filozoficzne, dotyczące matematyki, zwolennik tego stanowiska uzna za przeformułowania ogólniejszych, tradycyjnych problemów. Szczegółowa wiedza dotycząca twierdzeń matematycznych nie jest, według niego, niezbędna, aby taką dyskusję prowadzić: istotna jest znajomość tradycji filozoficznej. 2. W myśl drugiego stanowiska, taka wiedza jest niezbędna. Jest prawdą, że pytania filozoficzne dotyczące matematyki są w taki czy inny sposób zakorzenione w tradycji i nią inspirowane, ale mają własną specyfikę. Dlatego znajomość niekiedy nawet szczegółowa wyników technicznych ma zasadnicze znaczenie dla filozofa matematyki. W przeciwnym razie pojawia się niebezpieczeństwo błędnych interpretacji czy nawet nadużyć. Zdecydowanie bliższe jest nam drugie stanowisko. Nie będziemy go tu szczegółowo uzasadniać, podamy jedynie w luźnej formie kilka przykładów na poparcie tej tezy. I. Podstawową (najbardziej ogólną) teorią matematyczną jest teoria mnogości. Formalizuje ona nasze preteoretyczne pojęcie zbioru i nasze intuicje dotyczące relacji należenia. Jednym z problemów filozoficznych związanych z teorią mnogości jest problem uzasadniania aksjomatów, poszukiwania dla nich wiarygodnych racji. Nie będziemy tu wchodzić szczegółowo w te zagadnienia; wystarczy przypomnieć problem niezależności licznych zdań dotyczących dużych liczb kardynalnych, hipotezy continuum, aksjomatu determinacji etc. Także np. analiza problemu relatywności pojęć teoriomnogościowych (na który zwracał uwagę Skolem w latach 20 tych) wymaga podstawowej wiedzy na temat modeli dla teorii mnogości. II. Przypomnijmy dyskusję pomiędzy zwolennikami tezy o logice pierwszych rzędów a jej przeciwnikami. Zwolennicy (w tym Quine, Gödel, Skolem) twierdzą, że teorie matematyczne winny być formułowane w języku predykatów pierwszego rzędu. Przeciwnicy twierdzą, że należy dopuścić także
6 6 Krzysztof WÓJTOWICZ silniejsze logiki, w tym także logikę drugiego rzędu. Obie strony posługują się w tym sporze argumentami odwołującymi się do metamatematycznych własności systemów formalnych jak również do praktyki matematycznej. Dla zrozumienia tego problemu i argumentów konieczna jest znajomość logiki i metamatematyki na przynajmniej elementarnym poziomie 4. III. Inwazja metod stochastycznych do zastosowania matematyki 5 powoduje, że stawiane jest na nowo pytanie o naturę losowości, o relacje pomiędzy procesami losowymi a deterministycznymi, o determinizm i indeterminizm. Pojawia się problem rozumienia czasu i roli jaką odgrywa w opisywanych przez matematykę procesach fizycznych. Widoczne jest to także na przykładzie tak ostatnio modnej i głośnej teorii chaosu. Aby zrozumieć te zależności konieczna jest znajomość wyników technicznych, w przeciwnym razie badaczowi grozi powtarzanie sloganów za piszącymi sensacyjne teksty dziennikarzami. IV. Badania w zakresie sztucznej inteligencji także prowokują do stawiania na nowo tez filozoficznych dotyczących natury umysłu, czy klasycznego problemu mind body. Stosunkowo nowym zagadnieniem, wymagającym analizy jest status dowodów komputerowych (czy, mówiąc ściśle: wspomaganych komputerowo). Także tutaj ważna jest znajomość wyników technicznych, zwłaszcza tych dotyczących metamatematycznych ograniczeń automatów, jakimi są komputery. Refleksja filozoficzna, oparta na znajomości teorii obliczeń i teorii funkcji rekurencyjnych (a także innych działów logiki matematycznej, jak np. teorii modeli skończonych czy logik niestandardowych) pozwala na bardziej spokojne i rzeczowe podejście do sensacyjnych doniesień na temat możliwości skostruowania myślącego robota. V. Jednym z tradycyjnych pytań filozoficznych jest pytanie o naturę nieskończoności. W matematyce nieskończoność występuje na porządku dziennym. Finistyta, który jednocześnie chce być realistą, musi uczciwie zdać sprawę z tego faktu. Aby to uczynić, konieczna jest znajomość tego, w jaki sposób metody infinistyczne ingerują w opis naszego skończonego świata i jaka jest natura tej ingerencji. W szczególności musi on dobrze wiedzieć, w jakich działach matematyki (i dla udowodnienia jakich twierdzeń) odwołuje się do metod infinitystycznych; na ile metody te są eliminowalne, etc. 4 Czytelnika zainteresowanego tą dyskusją odsyłam do monografii [Shapiro 1991]. 5 Prof. Andrzej Lasota w referacie na krakowskim sympozjum w roku 1995 wyraził opinię, że teoria prawdopodobieństwa staje się jedną z głównych gałęzi przyrodoznawstwa, zaś reszta matematyki stanowi dla niej naukę pomocniczą. Czytelnika odsyłam do tomu [Heller, Urbaniec 1996].
7 O MATEMATYCE I FILOZOFII MATEMATYKI 7 Nie jest to bynajmniej problem sztuczny aby się dowiedzieć, które niedowodliwe w arytmetyce Peano (a więc w teorii finitystycznej) zdania są prawdziwe w standardowym modelu dla liczb naturalnych (czyli w prawdziwych liczbach naturalnych : 1, 2, 3,...) musimy odwoływać się do infinitystycznych technik teoriomnogościowych. To samo dotyczy szeregu kwestii kombinatorycznych, dotyczących skończonych obiektów takich jak grafy, drzewa, etc. 6. VI. Dyżurnym tematem wśród filozofów matematyki jest twierdzenie Gödla. Wstyd przyznać, ale niekiedy (na szczęście rzadko) pojawiają się wypowiedzi, z których wynika, że ich autor nie do końca zna sformułowanie tego twierdzenia, a dowodu nigdy nie widział na oczy. Zważywszy, w jak sensacyjnej otoczce (Twierdzenie Gödla a Tajemnica Bytu, Twierdzenie Gödla a Niepoznawalność Ostatecznej Przyczyny, etc.) bywa prezentowane to zagadnienie, skrupulatność i dokładna znajomość kwestii technicznych jest tu niezbędna. VII. Wiadomo, że program Hilberta w oryginalnym sformułowaniu nie może być przeprowadzony ze względu na metamatematyczne własności systemów formalnych. Można jednak zastanawiać się nad możliwościami jego realizacji w ograniczonym zakresie (por. referat prof. Romana Murawskiego na krakowskiej konferencji w 1996). Możemy wyróżnić tu jakby dwa kierunki badań: jak silne metody są potrzebne dla dowodzenia niesprzeczności; jakie fragmenty matematyki infinitystycznej mogą być ugruntowane na bazie metod finitystycznych. Ważnym nurtem badań w tym zakresie jest tzw. matematyka odwrotna, w ramach której badane jest, jak silne aksjomaty istnienia zbiorów są potrzebne dla dowodzenia klasycznych twierdzeń matematycznych. Okazuje się bowiem, że wśród twierdzeń (takich jak np. twierdzenie Bolzano Weierstrassa, Arzeli Ascoliego, Baire a, Hahna Banacha, Banacha Steinhausa, Cauchy ego i innych klasycznych twierdzeń) można wprowadzić pewien porządek w zależności od tego, jak silny system aksjomatyczny potrzebny jest, aby to twierdzenie udowodnić. Siła tego systemu mierzona jest tym, dla jak bogatej rodziny formuł zakładamy aksjomat wyróżniany, czyli istnienia odpowiednio definiowalnych zbiorów 7. 6 Czytelnika zainteresowanego tymi zagadnieniami odsyłamy np. do [Wójtowicz 1996]. 7 Czytelnika zainteresowanego problematyką matematyki odwrotnej i jej roli w programie Hilberrta odsyłamy np. do [Murawski 1993].
8 8 Krzysztof WÓJTOWICZ VIII. Ważnym argumentem na rzecz stanowiska realistycznego jest argument z niezbędności Quine a. Nie wnikając w szczegóły, argument ten opiera się na tezie, że teorie naukowe stanowią pewną całość (niejako takim kwantem sensu empirycznego jest teoria, a nie poszczególne zdania tej teorii) i musimy konsekwentnie przyjąć całościową ontologię. Quine twierdzi, że zobowiązania ontologiczne zaciągamy poprzez zdania egzystencjalne (tj. z kwantyfikatorem egzystencjalnym). Jeśli zatem w naszych teoriach fizycznych opieramy się na pewnym instrumentarium matematycznym (np. jakimś fragmencie analizy rzeczywistej, teorii liczb, teorii mnogości etc.), to filozoficznie istotne jest ustalenie, jakiego typu zobowiązania ontologiczne w świecie obiektów matematycznych zaciąga ta teoria. Tego typu analizy można prowadzić w oparciu o matematykę odwrotną, o której była już mowa. W ramach matematyki odwrotnej badamy, jak silne aksjomaty istnienia zbiorów potrzebne są do udowodnienia danego twierdzenia, czyli dla przygotowania instrumentarium dla teorii fizycznej. Jeśli zatem ustalimy, że w ramach danej teorii fizycznej posługujemy się instrumentarium matematycznym (pojęciami i twierdzeniami), dla sformułowania i udowodnienia których potrzebne są takie czy inne aksjomaty istnienia zbiorów, to możemy bardziej precyzyjnie przeanalizować problem zobowiązań ontologicznych tej teorii, stopnia abstrakcji stosowanych w niej pojęć matematycznych, etc. 8. Przykłady te wskazują na to, że analizy filozoficzne dotyczące matematyki bez znajomości matematyki mogą być prowadzone co najwyżej na bardzo ogólnym poziomie, bez możliwości podjęcia kwestii szczegółowych. Będą to z konieczności rozważania pomijające specyficzne dla matematyki współczesnej problemy i trudności filozoficzne. Rzetelna analiza wymaga z całą pewnością pewnego minimum wiedzy matematycznej. W przeciwnym razie pojawia się niebezpieczeństwo elementaryzmu, polegającego na tym, że filozof odwołuje się jedynie do elementarnych pojęć i wyników analizowanej przez siebie nauki. Badając np. problem zastosowań będzie odwoływał się jedynie do technik matematycznych na poziomie tabliczki mnożenia, ignorując (z braku wiedzy) problemy trudniejsze i bardziej subtelne 9. Badając problem uzasadnień dla aksjomatów teorii mnogości ograniczy się do naj- 8 Czytelnika zainteresowanego argumentem z niezbędności Quine a i zastosowaniem matematyki odwrotnej do tego typu analiz odsyłam do [Wójtowicz 1995]. 9 Być może filozoficznie nie ma istotnej różnicy pomiędzy zastosowaniem tabliczki mnożenia do obliczeń w sklepie a zastosowaniem analizy funkcjonalnej w mechanice kwantowej. Tę (wielce wątpliwą) tezę jednak można byłoby uzasadnić dopiero po rzetelnej analizie, której elementarysta przeprowadzić nie jest w stanie.
9 O MATEMATYCE I FILOZOFII MATEMATYKI 9 prostszych zdań teoriomnogościowych, ignorując kwestie związane np. z aksjomatem determinacji, aksjomatem konstruowalności, aksjomatami dużych liczb kardynalnych. Pojawia się problem, jak szeroki musi być zakres wiedzy, którą powinien opanować filozof matematyki zanim zabierze się do swej pracy. Problem nie jest banalny, chociażby z racji daleko postępującej specjalizacji, (jak to ujął kiedyś ks. Michał Heller: Specjalista od skał magmowych czuje się osamotniony wśród specjalistów od skał osadowych ). Nie można oczywiście poznać całej matematyki ostatnim człowiekiem, który podobno orientował się w najważniejszych kierunkach badań, był Hilbert. Von Neumann pod koniec lat 40 tych oceniał, że dobry matematyk jest w stanie znać ok. 10% matematyki. Od tego czasu minęło kilkadziesiąt lat i dzisiaj, w okresie wykładniczego wzrostu ilości publikacji i wyników, nie można nawet o tym marzyć. Logik nie ma pojęcia o geometrii różniczkowej, a specjalista od metod numerycznych wie o teorii mnogości tylko tyle, że pojawia się tam pożyteczny lemat Kuratowskiego Zorna. Jest to zrozumiałe i nieuniknione; kierunek ewolucji jest tu oczywisty 10. Problem matematycznego minimum ma jednak znacznie głębsze podłoże, niż tylko socjologiczne. Dotyczy bowiem tego, które z problemów filozoficznych, jakich dostarcza nam matematyka, są dla nas szczególnie ważne. Wobec różnorodności tych zagadnień, aktualności nabiera pytanie, czy jest ciągle jeszcze możliwe uprawianie jednej całościowej filozofii matematyki, czy i tutaj nie jest nieunikniona specjalizacja. Wydaje się to być prawdopodobne. Być może zatem niedługo zamiast mówić o filozofii matematyki będziemy mówić o filozofii teorii mnogości, filozofii teorii chaosu, filozofii sztucznej inteligencji, etc. Każda z tych dziedzin miałaby swoją specyfikę, swój wąski przedmiot badań, i wymagałaby nieco innego przygotowania formalnego 11. Jeśli przyjmiemy tę roboczą klasyfikację, to możemy pokusić się o prowizoryczne określenie (na kilku przykładach), czym interesowaliby się spe- 10 Davis i Hersh podają za Ulamem, że obecnie publikuje się ok (dwieście tysięcy!) twierdzeń matematycznych rocznie. Klasyfikacja matematyki z roku 1868 obejmowała 38 poddziedzin, klasyfikacja z roku 1979 roku obejmuje ok poddziedzin (por. [Davis Hersh 1994]). 11 Nie jest naszym celem mnożenie dystynkcji pojęciowych. Posłużenie się terminem filozofia teorii mnogości czy filozofia teorii prawdopodobieństwa nie ma sugerować, że oto pojawiają się jakieś zupełnie nowe dyscypliny filozoficzne, mają one charakter porządkujący; wprowadzenie tych określeń ma na celu zwrócenie uwagi na bogactwo i różnorodność poruszanych problemów.
10 10 Krzysztof WÓJTOWICZ cjaliści w tych dziedzinach i jakie instrumentarium formalne byłoby dla nich użyteczne. Filozof teorii mnogości będzie interesował się sposobami uzasadniania aksjomatów teorii mnogości, metodologią poszukiwania rozsądnych wzmocnień teorii mnogości, będzie analizował argumenty na rzecz np. aksjomatu konstruowalności czy wiarygodności hipotezy continuum etc. Ciekawy będzie dla niego problem, na ile matematyczne (teoriomnogościowe) pojęcie zbioru ufundowane jest w naszym zdroworozsądkowym rozumieniu zbioru jako np. ekstensji własności. Będzie dla niego interesujące, jakie są relacje pomiędzy czystą teorią mnogości, a teorią mnogości z atomami, (których rolę mogą odgrywać obiekty fizyczne), a którą można interpretować np. jako formalną teorię powszechników. Ważny byłby dla niego także problem, czy relatywność pojęć teoriomnogościowych ma jakieś implikacje dla tezy realizmu i czy implikacje, że pojęcie zbioru nie jest do końca sensowne i doprecyzowane 12. Dla filozofa sztucznej inteligencji kwestie niezależności zdań dotyczących dużych liczb kardynalnych będą miały zerowe znaczenie. Ważne natomiast będą dla niego wyniki dotyczące struktury klasy funkcji rekurencyjnych, obliczalności, relacji pomiędzy klasami złożoności obliczeniowej a różnego typu logikami (badane w ramach skończonej teorii modeli), wyniki dotyczące metamatematycznych ograniczeń dotyczących rozstrzygalności etc. Dla filozofa, zajmującego się problemem, jaka logika jest najwłaściwsza dla formalizowania rozumowań matematycznych (i ogólniej: naukowych) ważna będzie znajomość metalogicznych własności najrozmaitszych logik, zarówno logiki pierwszego, jak i drugiego rzędu, ale także całego spektrum logik nieklasycznych, takich jak logiki z dodatkowymi kwantyfikatorami, logiki z nieskończonymi wyrażeniami, etc., badanych w ramach tzw. abstrakcyjnej teorii modeli (por. [Barwise Feferman 1985]). Istotne tu będą kwestie wzajemnej interpretowalności pojęć, wbudowanych w odpowiednie nieelementarne logiki; siły wyrażeniowej tych logik, kwestie rozstrzygalności, zagadnienia semantyczne (np. czy zachodzi twierdzenie o zwartości, twierdzenia Skolema Löwenheima), klasyfikacja logik i ich mapa, tzn. znajomość twierdzeń klasyfikacyjnych w rodzaju twierdzenia Lindströma, etc. Nie bę- 12 Maddy utożsamia (choć nie stwierdza tego explicite) filozofię matematyki z filozofią teorii mnogości. Jej analizy epistemologiczne i ontologiczne dotyczą wyłącznie teorii mnogości. W artykule dotyczącym perspektyw filozofii matematyki ([Maddy 1991]), za najważniejsze zadanie filozofii matematyki uznaje kwestię badania wiarygodności i uzasadnień dla aksjomatów teorii mnogości.
11 O MATEMATYCE I FILOZOFII MATEMATYKI 11 dzie natomiast istotne, jakie są np. teoretyczne ograniczenia na szybkość algorytmów sortowania. Dla filozofa zajmującego się problemem natury stochastycznego versus deterministycznego opisu zjawisk fizycznych ważna będzie znajomość wyników np. teorii procesów stochastycznych, teorii ergodycznej czy teorii układów dynamicznych (teorii chaosu). Interpretacja np. wyników dotyczących np. aproksymowania procesów losowych procesami deterministycznymi, czy istnieniu uniwersalnego procesu deterministycznego, który w wyniku rzutowania na podprzestrzeń daje dowolną trajektorię losową wymaga rzetelnej wiedzy 13. Natomiast znajomość np. metalogicznych własności logiki L(Q 0 ) 14 nie będzie dla niego w ogóle istotna. Przykłady te sugerują, że tak jak w naukach szczegółowych następuje daleko idąca specjalizacja, to tego typu specjalizacja następować będzie (i faktycznie następuje) także w ramach już wydawałoby się wyspecjalizowanego działu filozofii, jakim jest filozofia matematyki. Jeśli specjalizacja ta będzie opierać się na rzetelnej znajomości przedmiotu badań, to może prowadzić do wielu ciekawych obserwacji szczegółowych. Czy stanie się tak w wyniku douczenia się matematyki przez filozofów, czy w wyniku zwrócenia uwagi matematyków na kwestie filozoficzne i doczytaniem przez nich literatury filozoficznej. Czy będzie to zatem dialog pomiędzy filozofującym matematykiem a matematyzującym filozofem? Prawdopodobnie nie; niestety będzie to raczej monolog filozofa, starającego się o zrozumienie tego fenomenu, jakim jest matematyka. Nie ma raczej powrotu do okresu dyskusji filozoficznych, prowadzonych w środowisku matematyków na przełomie wieków. Matematycy współcześni tworzą matematykę, ale brak im czasu na uprawianie poważnej refleksji na metapoziomie. Tym ważniejsze jest zatem uświadomienie sobie, że analiza filozoficzna dotycząca matematyki winna być oparta na możliwie rzetelnej znajomości przedmiotu naszych analiz i oprzeć się musi na specjalizacji także w gronie filozofów matematyki. Nie znaczy to oczywiście, że tradycyjne pytania filozofii matematyki zostaną zarzucone, jakoby ogólne (czy ogólnikowe). Wręcz przeciwnie, wyspecjalizowane badania prowadzone w różnych kierunkach (z których 13 O zagadnieniach tych mówił prof. Andrzej Lasota na konferencji w Krakowie w roku Czytelnika odsyłamy do tomu [Heller, Urbaniec 1996]. 14 Jest to logika z dodatkowym kwantyfikatorem, interpretowanym jako istnieje nieskończenie wiele. W logikę L(Q 0 ) jest zatem niejako wbudowane pojęcie nieskończoności.
12 12 Krzysztof WÓJTOWICZ kilka przykładów podaliśmy) pomoże nam na ujrzenie tych tradycyjnych pytań w nowym świetle, na sformułowanie nowych wniosków dotyczących natury matematyki i lepsze zrozumienie roli, jaką matematyka odgrywa w naszym życiu intelektualnym i naszej działalności poznawczej. Bibliografia Barwise J., Feferman S., [1985] Model theoretic logics, Springer Verlag. Davis P. J., Hersh R., [1994] Świat matematyki, Warszawa, PWN. Heller M., Urbaniec J., [1996] Otwarta nauka i jej zwolennicy, Tarnów, Biblos. Maddy P., [1991] Philosophy of mathematics: prospects for the 1990s, Synthese 88, s Moschovakis Y., [1980] Descriptive Set Theory, North Holland. Murawski R., [1984] G. Cantora filozofia teorii mnogości, Studia Filozoficzne ( ), s [1993] Rozwój programu Hilberta, Wiadomości Matematyczne XXX, s Shapiro S., [1991] Foundations without foundationalism, Clarendo Press, Oxford. Wang H., [1974] From Mathematics to Philosophy, New York: Humanities Press. Wigner E. P. [1960] The unreasonable effectiveness of mathematics in the natural sciences, Communications in Pure and Applied Mathematics 13, s Wójtowicz K., [1995] Wokół problemu realizmu teoriomnogościowego, Filozofia Nauki 4, s [1996] Paradoksy skończoności, Zagadnienia Filozoficzne w Nauce XVIII, s
Metody dowodzenia twierdzeń i automatyzacja rozumowań Na początek: teoria dowodu, Hilbert, Gödel
Metody dowodzenia twierdzeń i automatyzacja rozumowań Na początek: teoria dowodu, Hilbert, Gödel Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego
KRZYSZTOF WÓJTOWICZ Instytut Filozofii Uniwersytetu Warszawskiego wojtow@uw.edu.pl 1 2 1. SFORMUŁOWANIE PROBLEMU Czy są empiryczne aspekty dowodów matematycznych? Jeśli tak to jakie stanowisko filozoficzne
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych
Filozofia, ISE, Wykład III - Klasyfikacja dyscyplin filozoficznych 2011-10-01 Plan wykładu 1 Klasyczny podział dyscyplin filozoficznych 2 Podział dyscyplin filozoficznych Klasyczny podział dyscyplin filozoficznych:
JAKIEGO RODZAJU NAUKĄ JEST
JAKIEGO RODZAJU NAUKĄ JEST INFORMATYKA? Computer Science czy Informatyka? Computer Science czy Informatyka? RACZEJ COMPUTER SCIENCE bo: dziedzina ta zaistniała na dobre wraz z wynalezieniem komputerów
Logika i teoria mnogości Wykład 14 1. Sformalizowane teorie matematyczne
Logika i teoria mnogości Wykład 14 1 Sformalizowane teorie matematyczne W początkowym okresie rozwoju teoria mnogości budowana była w oparciu na intuicyjnym pojęciu zbioru. Operowano swobodnie pojęciem
Dlaczego matematyka jest wszędzie?
Festiwal Nauki. Wydział MiNI PW. 27 września 2014 Dlaczego matematyka jest wszędzie? Dlaczego świat jest matematyczny? Autor: Paweł Stacewicz (PW) Czy matematyka jest WSZĘDZIE? w życiu praktycznym nie
Zasady krytycznego myślenia (1)
Zasady krytycznego myślenia (1) Andrzej Kisielewicz Wydział Matematyki i Informatyki 2017 Przedmiot wykładu krytyczne myślenie vs logika praktyczna (vs logika formalna) myślenie jasne, bezstronne, oparte
INFORMATYKA a FILOZOFIA
INFORMATYKA a FILOZOFIA (Pytania i odpowiedzi) Pytanie 1: Czy potrafisz wymienić pięciu filozofów, którzy zajmowali się także matematyką, logiką lub informatyką? Ewentualnie na odwrót: Matematyków, logików
M T E O T D O ZI Z E E A LG L O G R O Y R TM
O ALGORYTMACH I METODZIE ALGORYTMICZNEJ Czym jest algorytm? Czym jest algorytm? przepis schemat zestaw reguł [ ] program ALGORYTM (objaśnienie ogólne) Algorytm Pojęcie o rodowodzie matematycznym, oznaczające
LOGIKA Wprowadzenie. Robert Trypuz. Katedra Logiki KUL GG października 2013
LOGIKA Wprowadzenie Robert Trypuz Katedra Logiki KUL GG 43 e-mail: trypuz@kul.pl 2 października 2013 Robert Trypuz (Katedra Logiki) Wprowadzenie 2 października 2013 1 / 14 Plan wykładu 1 Informacje ogólne
Filozofia, ISE, Wykład X - Filozofia średniowieczna.
Filozofia, ISE, Wykład X - Filozofia średniowieczna. 2011-10-01 Plan wykładu 1 Filozofia średniowieczna a starożytna 2 3 Ogólna charakterystyka filozofii średniowiecznej Ogólna charakterystyka filozofii
TWIERDZENIEGÖDLAIFILOZOFIA
RECENZJE Zagadnienia Filozoficzne w Nauce XXXIV / 2004, s. 137 140 Krzysztof WÓJTOWICZ TWIERDZENIEGÖDLAIFILOZOFIA Stanisław Krajewski, Twierdzenie Gödla i jego filozoficzne interpretacje. Od mechanicyzmu
CZAS NAUKI RECENZJE. Paweł POLAK
RECENZJE Zagadnienia Filozoficzne w Nauce XXXVI / 2005, s. 151 154 Paweł POLAK CZAS NAUKI Andrzej Pelczar, Czas i dynamika. O czasie w równaniach różniczkowych i układach dynamicznych, OBI Kraków, Biblos
K o n cep cje filo zo fii przyrody
K o n cep cje filo zo fii przyrody Podręczniki filozofii przyrody rozpoczynają się zwykle rozdziałem, w którym uzasadnia się - odwołując się zazwyczaj do historii nauki - że coś takiego jak filozofia przyrody
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Wykład 7. O badaniach nad sztuczną inteligencją Co nazywamy SZTUCZNĄ INTELIGENCJĄ? szczególny rodzaj programów komputerowych, a niekiedy maszyn. SI szczególną własność
Opis efektów kształcenia dla programu kształcenia (kierunkowe efekty kształcenia) WIEDZA. rozumie cywilizacyjne znaczenie matematyki i jej zastosowań
TABELA ODNIESIEŃ EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA PROGRAMU KSZTAŁCENIA DO EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA OBSZARU KSZTAŁCENIA I PROFILU STUDIÓW PROGRAM KSZTAŁCENIA: POZIOM KSZTAŁCENIA: PROFIL KSZTAŁCENIA:
EGZAMIN MATURALNY 2010 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2010 FILOZOFIA POZIOM ROZSZERZONY Klucz punktowania odpowiedzi MAJ 2010 2 Zadanie 1. (0 2) problemów i tez z zakresu ontologii, epistemologii,
EGZAMIN MATURALNY 2013 FILOZOFIA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2013 FILOZOFIA POZIOM ROZSZERZONY Kryteria oceniania odpowiedzi MAJ 2013 2 Zadanie 1. (0 4) Obszar standardów Opis wymagań Znajomość i rozumienie
Komentarz do przypisów...
Semina Nr 3 Scientiarum 2004 Komentarz do przypisów... Krzysztof Wójtowicz, Platonizm matematyczny. Studium filozofii matematyki Kurta Gödla, OBI Biblos, Krkaów Tarnów, 2002, ss. 160. Problem istnienia
REFLEKSJA NAD ROZWOJEM MATEMATYKI
RECENZJE Zagadnienia Filozoficzne w Nauce XXX / 2002, s. 157 160 Paweł POLAK REFLEKSJA NAD ROZWOJEM MATEMATYKI J. Dadaczyński, Filozofia matematyki w ujęciu historycznym, Wyd. Biblos, Seria: Academica-OBI,
EGZAMIN MATURALNY W ROKU SZKOLNYM 2014/2015
EGZAMIN MATURALNY W ROKU SZKOLNYM 204/205 FORMUŁA DO 204 ( STARA MATURA ) FILOZOFIA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MFI-R MAJ 205 Uwaga: Akceptowane są wszystkie odpowiedzi merytorycznie
O ISTOTNYCH OGRANICZENIACH METODY
O ISTOTNYCH OGRANICZENIACH METODY ALGORYTMICZNEJ Dwa pojęcia algorytmu (w informatyce) W sensie wąskim Algorytmem nazywa się każdy ogólny schemat procedury możliwej do wykonania przez uniwersalną maszynę
EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA. I. Umiejscowienie kierunku w obszarze/obszarach kształcenia wraz z uzasadnieniem:
Załącznik nr 1 do uchwały nr 445/06/2012 Senatu UR z dnia 21 czerwca 2012 roku EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOZOFIA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta I stopień
Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011
Sztuczna inteligencja i logika. Podsumowanie przedsięwzięcia naukowego Kisielewicz Andrzej WNT 20011 Przedmowa. CZĘŚĆ I: WPROWADZENIE 1. Komputer 1.1. Kółko i krzyżyk 1.2. Kodowanie 1.3. Odrobina fantazji
INTUICJE. Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998)
PARADYGMAT INTUICJE Zespół norm, wzorców, reguł postępowania, które zna każdy naukowiec zajmujący się daną nauką (Bobrowski 1998) PIERWSZE UŻYCIA językoznawstwo: Zespół form deklinacyjnych lub koniugacyjnych
PARADOKSY SKOŃCZONOŚCI
ARTYKUŁY ZAGADNIENIA FILOZOFICZNE W NAUCE XVIII / 1996, s. 87 100 Krzysztof WÓJTOWICZ PARADOKSY SKOŃCZONOŚCI Gaisi Takeuti, wybitny współczesny logik w swoim artykule Set Theory and Proof Theory ([T])
Filozofia przyrody - Filozofia Eleatów i Demokryta
5 lutego 2012 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 4 Materializm Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej
O badaniach nad SZTUCZNĄ INTELIGENCJĄ
O badaniach nad SZTUCZNĄ INTELIGENCJĄ Jak określa się inteligencję naturalną? Jak określa się inteligencję naturalną? Inteligencja wg psychologów to: Przyrodzona, choć rozwijana w toku dojrzewania i uczenia
Filozofia, ISE, Wykład V - Filozofia Eleatów.
2011-10-01 Plan wykładu 1 Filozofia Parmenidesa z Elei Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii 2 3 Ontologia Parmenidesa Epistemologiczny aspekt Parmenidejskiej filozofii
Elementy filozofii i metodologii INFORMATYKI
Elementy filozofii i metodologii INFORMATYKI Filozofia INFORMATYKA Metodologia Wykład 1. Wprowadzenie. Filozofia, metodologia, informatyka Czym jest FILOZOFIA? (objaśnienie ogólne) Filozofią nazywa się
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
KIERUNKOWE EFEKTY KSZTAŁCENIA
Załącznik nr 4 do uchwały Senatu PK nr 104/d/11/2017 z dnia 22 listopada 2017 r. Politechnika Krakowska im. Tadeusza Kościuszki w Krakowie Nazwa wydziału lub wydziałów: Wydział Fizyki, Matematyki i Informatyki
Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018
Czy i/lub w jakim sensie można uważać, że świat jest matematyczny? Wprowadzenie do dyskusji J. Lubacz, luty 2018 Do czego odnoszą się poniższe stwierdzenia? Do tego, czym jest matematyka dla świata, w
Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki
Efekty kształcenia dla kierunku studiów filozofia studia pierwszego stopnia - profil ogólnoakademicki Umiejscowienie kierunku w obszarach kształcenia Kierunek studiów filozofia należy do obszaru kształcenia
POJECIE BYTU I NICOŚCI W TEORII KWANTOWEJ A
POJECIE BYTU I NICOŚCI W TEORII KWANTOWEJ A RZECZYWISTOŚĆ Wiesław M. Macek Wydział Matematyczno-Przyrodniczy Uniwersytet Kardynała Stefana Wyszyńskiego Wóycickiego 1/3, 01-938 Warszawa; Centrum Badań Kosmicznych,
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
STUDIA PODYPLOMOWE FILOZOFII I ETYKI
Załącznik nr 1 do Uchwały nr /2012 Senatu UKSW z dnia 25 września 2012 r. STUDIA PODYPLOMOWE FILOZOFII I ETYKI Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia Nazwa kierunku studiów
Nazwa. Wstęp do filozofii. Typ przedmiotu. Jednostka prowadząca Jednostka dla której przedmiot jest oferowany
Nazwa Kierunek Poz. kształcenia Jednostka prowadząca Jednostka dla której przedmiot jest oferowany Typ Opis Wstęp do filozofii kognitywistyka studia st. stacjonarne Wydział Filozofii i Socjologii, nstytut
Argumenty z intuicji matematycznej
Argumenty z intuicji matematycznej Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl ArgDiaP 2011 Jerzy Pogonowski (MEG) Argumenty z intuicji matematycznej ArgDiaP 2011
KARTA KURSU. Kod Punktacja ECTS* 7
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 7 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny: Dr hab. prof.
Andrzej Wiśniewski Logika II. Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 6. Wprowadzenie do semantyki teoriomodelowej cz.6. Modele i pełność 1 Modele Jak zwykle zakładam, że pojęcia wprowadzone
Rodzaje argumentów za istnieniem Boga
Rodzaje argumentów za istnieniem Boga Podział argumentów argument ontologiczny - w tym argumencie twierdzi się, że z samego pojęcia bytu doskonałego możemy wywnioskować to, że Bóg musi istnieć. argumenty
UCHWAŁA NR 71/2017 SENATU UNIWERSYTETU WROCŁAWSKIEGO z dnia 31 maja 2017 r.
UCHWAŁA NR 71/2017 SENATU UNIWERSYTETU WROCŁAWSKIEGO z dnia 31 maja 2017 r. zmieniająca uchwałę w sprawie efektów kształcenia dla kierunków studiów prowadzonych w Uniwersytecie Wrocławskim Na podstawie
Witaj Biologio! Matematyka dla Wydziału Biologii 2015/2016
Matematyka dla Wydziału Biologii 2015/2016 Witaj Biologio! Mirosław Lachowicz Wydział Matematyki, Informatyki i Mechaniki p. 4650, lachowic@mimuw.edu.pl Konsultacje: wtorki, 10-12 Motto: Na Biologię wchodzimy
Filozofia I stopień. Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia studiów
Załącznik nr 1 do Uchwały Nr 49/2015 Senatu UKSW z dnia 23 kwietnia 2015 r. Filozofia I stopień Dokumentacja dotycząca opisu efektów kształcenia dla programu kształcenia dla kierunku Filozofia dla I stopnia
Filozofia, Germanistyka, Wykład I - Wprowadzenie.
2010-10-01 Plan wykładu 1 Czym jest filozofia Klasyczna definicja filozofii Inne próby zdefiniowania filozofii 2 Filozoficzna geneza nauk szczegółowych - przykłady 3 Metafizyka Ontologia Epistemologia
RACHUNEK PREDYKATÓW 7
PODSTAWOWE WŁASNOŚCI METAMATEMATYCZNE KRP Oczywiście systemy dedukcyjne dla KRP budowane są w taki sposób, żeby wszystkie ich twierdzenia były tautologiami; można więc pokazać, że dla KRP zachodzi: A A
Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: Matematyka, studia I stopnia, rok 1 Sylabus modułu: Wstęp do matematyki (Kod modułu: 03-MO1N-12-WMat) 1. Informacje ogólne koordynator
Alan M. TURING. Matematyk u progu współczesnej informatyki
Alan M. TURING n=0 1 n! Matematyk u progu współczesnej informatyki Wykład 5. Alan Turing u progu współczesnej informatyki O co pytał Alan TURING? Czym jest algorytm? Czy wszystkie problemy da się rozwiązać
ARGUMENTY KOSMOLOGICZNE. Sformułowane na gruncie nauk przyrodniczych
ARGUMENTY KOSMOLOGICZNE Sformułowane na gruncie nauk przyrodniczych O CO CHODZI W TYM ARGUMENCIE Argument ten ma pokazać, że istnieje zewnętrzna przyczyna wszechświata o naturze wyższej niż wszystko, co
O NADUŻYWANIU TWIERDZENIA GÖDLA W SPORACH FILOZOFICZNYCH
ARTYKUŁY ZAGADNIENIA FILOZOFICZNE W NAUCE XIX / 1996, s. 24 45 Krzysztof WÓJTOWICZ O NADUŻYWANIU TWIERDZENIA GÖDLA W SPORACH FILOZOFICZNYCH Od czasu udowodnienia tzw. twierdzeń limitacyjnych w logice (twierdzenia
KARTA KURSU. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory
KARTA KURSU Nazwa Nazwa w j. ang. Wstęp do logiki i teorii mnogości Introduction to Logic and Set Theory Kod Punktacja ECTS* 6 Koordynator Dr hab. prof. UP Piotr Błaszczyk Zespół dydaktyczny dr Antoni
ZAŁOŻENIA FILOZOFICZNE
ZAŁOŻENIA FILOZOFICZNE Koło Wiedeńskie Karl Popper Thomas Kuhn FILOZOFIA A NAUKA ZAŁOŻENIA W TEORIACH NAUKOWYCH ZAŁOŻENIA ONTOLOGICZNE Jaki jest charakter rzeczywistości językowej? ZAŁOŻENIA EPISTEMOLOGICZNE
Kierunek i poziom studiów: matematyka, studia I stopnia, rok I. Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat)
Uniwersytet Śląski w Katowicach str. 1 Kierunek i poziom studiów: matematyka, studia I stopnia, rok I Sylabus modułu: Wstęp do matematyki (03-MO1S-12-WMat) 1. Informacje ogólne koordynator modułu Tomasz
Wstęp do Matematyki (4)
Wstęp do Matematyki (4) Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Liczby kardynalne Jerzy Pogonowski (MEG) Wstęp do Matematyki (4) Liczby kardynalne 1 / 33 Wprowadzenie
WIEDZA zna na poziomie podstawowym co najmniej jeden pakiet oprogramowania, służący do obliczeń symbolicznych
Przedmiot: Narzędzia i metody technologii informacyjnej Rok/Semestr: 1/1 Liczba godzin zajęć: 30 LA ECTS: 3 Forma zaliczenia: ZO Liczba stron dokumentu: 1 K_W09 zna na poziomie podstawowym co najmniej
Równoliczność zbiorów
Logika i Teoria Mnogości Wykład 11 12 Teoria mocy 1 Równoliczność zbiorów Def. 1. Zbiory X i Y nazywamy równolicznymi, jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy,że ustala równoliczność
O ALGORYTMACH I MASZYNACH TURINGA
O ALGORYTMACH I MASZYNACH TURINGA ALGORYTM (objaśnienie ogólne) Algorytm Pojęcie o rodowodzie matematycznym, oznaczające współcześnie precyzyjny schemat mechanicznej lub maszynowej realizacji zadań określonego
Spis treści. Wstęp Wybrane zagadnienia z teorii i metodologii filozofii przyrody... 17
Wstęp... 13 1. Wybrane zagadnienia z teorii i metodologii filozofii przyrody... 17 1.1. Przedmiot, cele i zadania filozofii przyrody... 17 1.2. Współczesne koncepcje filozofii przyrody... 19 1.3. Filozofia
Ontologie, czyli o inteligentnych danych
1 Ontologie, czyli o inteligentnych danych Bożena Deka Andrzej Tolarczyk PLAN 2 1. Korzenie filozoficzne 2. Ontologia w informatyce Ontologie a bazy danych Sieć Semantyczna Inteligentne dane 3. Zastosowania
Opis efektu kształcenia dla programu kształcenia
TABELA ODNIESIEŃ EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA PROGRAMU KSZTAŁCENIA DO EFEKTÓW KSZTAŁCENIA OKREŚLONYCH DLA OBSZARU KSZTAŁCENIA I PROFILU STUDIÓW PROGRAM KSZTAŁCENIA: Kierunek Fizyka Techniczna POZIOM
Uwaga 1. Zbiory skończone są równoliczne wtedy i tylko wtedy, gdy mają tyle samo elementów.
Logika i teoria mnogości Wykład 11 i 12 1 Moce zbiorów Równoliczność zbiorów Def. 1. Zbiory X i Y są równoliczne (X ~ Y), jeśli istnieje bijekcja f : X Y. O funkcji f mówimy wtedy, że ustala równoliczność
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Wymagania do przedmiotu Etyka w gimnazjum, zgodne z nową podstawą programową.
Wymagania do przedmiotu Etyka w gimnazjum, zgodne z nową podstawą programową. STANDARDY OSIĄGNIĘĆ: Rozwój osobowy i intelektualny uczniów wynikający z ich uczestnictwa w zajęciach etyki podążając za przyjętymi
Witaj Biologio! Matematyka dla Wydziału Biologii 2015/2016
Matematyka dla Wydziału Biologii 2015/2016 Witaj Biologio! Mirosław Lachowicz Wydział Matematyki, Informatyki i Mechaniki p. 4650, lachowic@mimuw.edu.pl Konsultacje: wtorki, 10-12 Motto: Na Biologię wchodzimy
EFEKTY KSZTAŁCENIA DLA STUDIÓW PIERWSZEGO I DRUGIEGO STOPNIA (LICENCJACKICH I MAGISTERSKICH) NA KIERUNKU: FILOZOFIA
Załącznik nr 1 do Uchwały nr 21/2012 Senatu UPJPII z dnia 21 maja 2012 r. EFEKTY KSZTAŁCENIA DLA STUDIÓW PIERWSZEGO I DRUGIEGO STOPNIA (LICENCJACKICH I MAGISTERSKICH) NA KIERUNKU: FILOZOFIA Tabela odniesień
SYLABUS DOTYCZY CYKLU KSZTAŁCENIA (skrajne daty)
Załącznik nr 4 do Uchwały Senatu nr 430/01/2015 SYLABUS DOTYCZY CYKLU KSZTAŁCENIA 2016-2019 (skrajne daty) 1.1. PODSTAWOWE INFORMACJE O PRZEDMIOCIE/MODULE Nazwa przedmiotu/ modułu Wstęp do logiki i teorii
Informacja w perspektywie obliczeniowej. Informacje, liczby i obliczenia
Informacja w perspektywie obliczeniowej Informacje, liczby i obliczenia Cztery punkty odniesienia (dla pojęcia informacji) ŚWIAT ontologia fizyka UMYSŁ psychologia epistemologia JĘZYK lingwistyka nauki
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk
Filozofia, Pedagogika, Wykład I - Miejsce filozofii wśród innych nauk 10 października 2009 Plan wykładu Czym jest filozofia 1 Czym jest filozofia 2 Filozoficzna geneza nauk szczegółowych - przykłady Znaczenie
Filozofia przyrody, Wykład V - Filozofia Arystotelesa
Filozofia przyrody, Wykład V - Filozofia Arystotelesa 2011-10-01 Tematyka wykładu 1 Arystoteles - filozof systematyczny 2 3 4 Różnice w metodzie uprawiania nauki Krytyka platońskiej teorii idei Podział
W badaniach 2008 trzecioklasiści mieli kilkakrotnie za zadanie wyjaśnić wymyśloną przez siebie strategię postępowania.
Alina Kalinowska Jak to powiedzieć? Każdy z nas doświadczał z pewnością sytuacji, w której wiedział, ale nie wiedział, jak to powiedzieć. Uczniowie na lekcjach matematyki często w ten sposób przekonują
ZAGADNIENIA SYSTEMOWE PRAWA OCHRONY ŚRODOWISKA. pod redakcją Piotra Korzeniowskiego
POLSKA AKADEMIA NAUK ODDZIAŁ W ŁODZI KOMISJA OCHRONY ŚRODOWISKA ZAGADNIENIA SYSTEMOWE PRAWA OCHRONY ŚRODOWISKA Zagadnienie systemowe prawa ochrony środowiska, którym została poświęcona książka, ma wielkie
Kierunkowe efekty kształcenia Po ukończeniu studiów absolwent:
EFEKTY KSZTAŁCENIA DLA KIERUNKU STUDIÓW FILOLOGIA POLSKA poziom kształcenia profil kształcenia tytuł zawodowy absolwenta studia pierwszego stopnia ogólnoakademicki licencjat I. Umiejscowienie kierunku
1. Dyscypliny filozoficzne. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
1. Dyscypliny filozoficzne Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Pochodzenie nazwy filozofia Wyraz filozofia pochodzi od dwóch greckich słów:
Podstawy fizyki: Budowa materii. Podstawy fizyki: Mechanika MS. Podstawy fizyki: Mechanika MT. Podstawy astronomii. Analiza matematyczna I, II MT
Zajęcia wyrównawcze z matematyki Zajęcia wyrównawcze z fizyki Analiza matematyczna I, II MS Analiza matematyczna I, II MT Podstawy fizyki: Budowa materii Podstawy fizyki: Mechanika MS Podstawy fizyki:
Filozofia, Germanistyka, Wykład IX - Immanuel Kant
Filozofia, Germanistyka, Wykład IX - Immanuel Kant 2011-10-01 Plan wykładu 1 Immanuel Kant - uwagi biograficzne 2 3 4 5 6 7 Immanuel Kant (1724-1804) Rysunek: Immanuel Kant - niemiecki filozof, całe życie
POZIOMY WYMAGAŃ I OGÓLNE KRYTERIA OCEN. Z MATEMATYKI. kl. I
POZIOMY WYMAGAŃ I OGÓLNE KRYTERIA OCEN Ocenę niedostateczna Z MATEMATYKI. kl. I Ocenę tę otrzymuje uczeń, który nie opanował podstawowych wiadomości i umiejętności wynikających z programu nauczania oraz:
Matematyka jest logiką nieskończonego
Matematyka jest logiką nieskończonego Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Wrocław, 27 VI 2008 Jerzy Pogonowski (MEG) Matematyka jest logiką nieskończonego
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
KIERUNKOWE EFEKTY KSZTAŁCENIA
KIERUNKOWE EFEKTY KSZTAŁCENIA Wydział: Matematyki Kierunek studiów: Matematyka i Statystyka (MiS) Studia w j. polskim Stopień studiów: Pierwszy (1) Profil: Ogólnoakademicki (A) Umiejscowienie kierunku
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?
Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące
O nadużywaniu twierdzenia GÖdla w sporach filozoficznych
O nadużywaniu twierdzenia GÖdla w sporach filozoficznych Krzysztof Wójtowicz Od czasu udowodnienia tzw. twierdzeń limitacyjnych w logice (twierdzenia Gödla i twierdzenia Skolema-Löwenheima) toczy się spór
MIND-BODY PROBLEM. i nowe nadzieje dla chrześcijańskiej antropologii
MIND-BODY PROBLEM i nowe nadzieje dla chrześcijańskiej antropologii CZŁOWIEK JEST MASZYNĄ (THOMAS HOBBES) Rozumienie człowieka znacząco zmienia się wraz z nastaniem epoki nowożytnej. Starożytne i średniowieczne
166 Wstęp do statystyki matematycznej
166 Wstęp do statystyki matematycznej Etap trzeci realizacji procesu analizy danych statystycznych w zasadzie powinien rozwiązać nasz zasadniczy problem związany z identyfikacją cechy populacji generalnej
Co ma piekarz do matematyki?
Instytut Matematyki i Informatyki Politechnika Wrocławska Dolnośląski Festiwal Nauki Wrzesień 2009 x x (x 1, x 2 ) x (x 1, x 2 ) (x 1, x 2, x 3 ) x (x 1, x 2 ) (x 1, x 2, x 3 ) (x 1, x 2, x 3, x 4 ). x
Historia ekonomii. Mgr Robert Mróz. Zajęcia wprowadzające
Historia ekonomii Mgr Robert Mróz Zajęcia wprowadzające 04.10.2016 Plan Organizacja zajęć Warunki zaliczenia Co to jest historia ekonomii i po co nam ona? Organizacja zajęć robertmrozecon.wordpress.com
OPIS ZAKŁADANYCH EFEKTÓW KSZTAŁCENIA DLA KIERUNKU STUDIÓW. Efekty kształcenia dla kierunku studiów Matematyka
OPIS ZAKŁADANYCH EFEKTÓW KSZTAŁCENIA DLA KIERUNKU STUDIÓW Nazwa wydziału: Wydział Matematyki i Informatyki Nazwa kierunku studiów: Matematyka Obszar w zakresie: nauki ścisłe Dziedzina : matematyka Dyscyplina
Efekty kształcenia dla kierunku studiów Etyka prowadzonego w Instytucie Filozofii UJ. Studia pierwszego stopnia profil ogólnoakademicki
Efekty kształcenia dla kierunku studiów Etyka prowadzonego w Instytucie Filozofii UJ Studia pierwszego stopnia profil ogólnoakademicki Lp. K_W01 K_W02 Nazwa Wydziału: Wydział Filozoficzny Nazwa kierunku
Przedmiotowy system oceniania z filozofii
Przedmiotowy system oceniania z filozofii I. Informacje ogólne 1. Obowiązkiem ucznia jest posiadanie podręcznika (jeden na ławkę) oraz zeszytu przedmiotowego. 2. Brak zeszytu i/lub podręcznika uczeń jest
KARTA PRZEDMIOTU. 12. PRZEDMIOTOWE EFEKTY KSZTAŁCENIA Odniesienie do kierunkowych efektów kształcenia (symbol)
KARTA PRZEDMIOTU 1. NAZWA PRZEDMIOTU: Wstęp do logiki i teorii mnogości (LTM010) 2. KIERUNEK: MATEMATYKA 3. POZIOM STUDIÓW: I stopnia 4. ROK/ SEMESTR STUDIÓW: I/1 5. LICZBA PUNKTÓW ECTS: 8 6. LICZBA GODZIN:
HISTORYCZNE I WSPÓŁCZESNE KIERUNKI W FILOZOFII MATEMATYKI
RECENZJE ZAGADNIENIA FILOZOFICZNE W NAUCE XVIII / 1996, s. 133 137 Jan PIKUL HISTORYCZNE I WSPÓŁCZESNE KIERUNKI W FILOZOFII MATEMATYKI Roman Murawski,Filozofia matematyki. Zarys dziejów, Warszawa, PWN
ALFRED TARSKI. Życie i logika Kalendarium. Joanna Golińska-Pilarek. Marian Srebrny.
ALFRED TARSKI Życie i logika Kalendarium Joanna Golińska-Pilarek j.golinska@uw.edu.pl Marian Srebrny marians@ipipan.waw.pl KRAKÓW 28 maja 2009 Początek 14 stycznia 1901 rok Miejsce: Warszawa Rodzice: Róża
Etyka Tożsamość i definicja. Ks. dr Artur Aleksiejuk
Etyka Tożsamość i definicja Ks. dr Artur Aleksiejuk 1. ETYKA A FILOZOFIA PYTANIA PROBLEMOWE: Czy etyka musi być dyscypliną filozoficzną? Czy etyka może być wolna od filozoficznych założeń? Czy i jak dalece
JESZCZE JEDEN SPÓR O ISTNIENIE
RECENZJE Zagadnienia Filozoficzne w Nauce XXXVI / 2005, s. 140 148 Michał HELLER JESZCZE JEDEN SPÓR O ISTNIENIE Krzysztof Wójtowicz, Spór o istnienie w matematyce, Wyd. Naukowe Semper, Warszawa 2003, ss.
Janusz Czelakowski Uwagi o teorii mnogości (na marginesie dyskusji o książce prof. Ryszarda Wójcickiego) Filozofia Nauki 10/2, 73-76
Janusz Czelakowski Uwagi o teorii mnogości (na marginesie dyskusji o książce prof. Ryszarda Wójcickiego) Filozofia Nauki 10/2, 73-76 2002 Filozofia Nauki RokX, 2002, Nr 2(38) Janusz Czelakowski Uwagi o
NAUKA I TEOLOGIA WE WSPÓŁCZESNYM ŚWIECIE: Roczny Otwarty Program Akademicki Johna Templetona Nauka Wiara 2000/2001
TEMPLETON ZAGADNIENIA FILOZOFICZNE W NAUCE XXVI / 2000, s. 154 157 NAUKA I TEOLOGIA WE WSPÓŁCZESNYM ŚWIECIE: Roczny Otwarty Program Akademicki Johna Templetona Nauka Wiara 2000/2001 WPROWADZENIE W dzisiejszym
Twierdzenia Gödla. Jerzy Pogonowski. Funkcje rekurencyjne. Zakład Logiki Stosowanej UAM
Twierdzenia Gödla Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl Funkcje rekurencyjne Jerzy Pogonowski (MEG) Twierdzenia Gödla Funkcje rekurencyjne 1 / 21 Wprowadzenie
Logika I. Wykład 1. Wprowadzenie do rachunku zbiorów
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 1. Wprowadzenie do rachunku zbiorów 1 Podstawowe pojęcia rachunku zbiorów Uwaga 1.1. W teorii mnogości mówimy o zbiorach