Jerzy Pogonowski - Tematyka badawcza
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 12:39, 7 sty 2015 (edytuj) Pogonowski (Dyskusja | wkład) (→Drobiazgi metalogiczne) ← Poprzednia edycja |
Aktualna wersja (18:14, 20 gru 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) |
||
| (4 intermediate revisions not shown.) | |||
| Linia 1: | Linia 1: | ||
| - | [[Category:Pracownicy]] | + | [[Category:Dydaktyka]] |
| - | [[Category:Badania]] | + | |
| - | + | ||
| [[Jerzy Pogonowski - Curriculum Vitae|CV]] | | [[Jerzy Pogonowski - Curriculum Vitae|CV]] | | ||
| Linia 11: | Linia 9: | ||
| ---- | ---- | ||
| - | __TOC__ | + | [http://logic.amu.edu.pl/index.php/Ncn2015jp Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne.] |
| - | + | ||
| - | ==Prace rozpoczęte== | + | |
| - | + | ||
| - | ===Aksjomaty ekstremalne=== | + | |
| - | + | ||
| - | * [[Media: sep.pdf | Standard, exception, pathology.]] | + | |
| - | * [[Media: 3grudnia2010.pdf | Aksjomaty ekstremalne i modele zamierzone teorii.]] | + | |
| - | * [[Media: pogonowski10vi2010.pdf | Inexpressible longing for the intended model.]] | + | |
| - | * [[Media: 10vi2010wyklad.pdf | Niewyrażalna tęsknota za modelem zamierzonym.]] | + | |
| - | * [[Media: monogamia.pdf | Marzenia o monogamii (semantycznej). ]] (Abstrakt.) | + | |
| - | * [[Media: pogonowskikhl55.pdf | Marzenia o monogamii (semantycznej). ]] (Prezentacja.) | + | |
| - | * [[Media: algebra2010.pdf | On extremal axioms.]] (Prezentacja.) | + | |
| - | * [[Media: aksjomatyekstremalne.pdf | Aksjomaty ekstremalne. ]] (Abstrakt.) | + | |
| - | * [[Media: filozofiamatematykijp.pdf | Aksjomaty ekstremalne. ]] (Prezentacja.) | + | |
| - | + | ||
| - | ===Intuicja matematyczna=== | + | |
| - | + | ||
| - | * [[Media: krakow23x2014.pdf | Obiekty patologiczne w matematyce]]. ''Seminarium Dydaktyki, Filozofii i Podstaw Matematyki'', Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN, Kraków, 23 października 2014. | + | |
| - | * [[Media: khl60jp.pdf | Patologie matematyczne]]. ''60 Konferencja Historii Logiki'', Uniwersytet Jagielloński, Kraków, 21-22 października 2014. | + | |
| - | * [[Media: jkk2014jp.pdf | Pojęciowy obraz świata w matematyce]]. Konferencja [http://sjo.po.opole.pl/index.php/konferencja-menu/konferencja ''Język, Kultura, Komunikacja''], organizowana przez Studium Języków Obcych Politechniki Opolskiej oraz Komisję Nauk Filologicznych Polskiej Akademii Nauk, oddział we Wrocławiu.<br>Studium Języków Obcych Politechniki Opolskiej, Opole, 29 września 2014. | + | |
| - | * [[Media: tm2014a.pdf | Twórcza rola patologii w matematyce]]. ''I Interdyscyplinarna Konferencja Naukowa'' [http://ikntm.up.krakow.pl/index.php ''Transgresje Matematyczne''], Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN w Krakowie, Kraków 15-18 czerwca 2014. | + | |
| - | * [[Media: zls26iii2014.pdf | Cudowne obiekty patologiczne.]] Seminarium Zakładu Logiki Stosowanej UAM, 26 marca 2014. | + | |
| - | * [[Media: pislides.pdf | Pułapki intuicji.]] (Prezentacja: ''Epistemologia matematyki''.) | + | |
| - | * [[Media: pobierowo2013.pdf | Pułapki intuicji.]] (Abstrakt: ''Epistemologia matematyki''.) | + | |
| - | * [[Media: mo70jp.pdf | Intuicja matematyczna w działaniu.]] | + | |
| - | * [[Media: littlejohn01.pdf | Intuicja matematyczna - kilka uwag.]] | + | |
| - | * [[Media: kuoim.pdf | Kilka uwag o intuicji matematycznej.]] | + | |
| - | * [[Media: 22marca2011.pdf | Intuicja matematyczna.]] (Prezentacja: Seminarium Zakładu Logiki Matematycznej UAM.) | + | |
| - | * [[Media: filozofiamatematykiIIIjp.pdf | Intuicja matematyczna.]] (Prezentacja: Filozofia matematyki III.) | + | |
| - | * [[Media: 3pogonowski.pdf | Intuicja matematyczna.]] (Abstrakt: Filozofia matematyki III.) | + | |
| - | * [[Media: 57khlpogonowski.pdf | Intuicja matematyczna.]] (Abstrakt: 57 Konferencja Historii Logiki.) | + | |
| - | + | ||
| - | ===Zagadki matematyczne i logiczne=== | + | |
| - | + | ||
| - | * [[Media: 6xii2014.pdf | Matematyka i Humanistki]]. ''IV Konferencja Filozofii Matematyki i Informatyki'', Wydział Matematyki i Informatyki UAM, Poznań, 5-6 grudnia 2014. | + | |
| - | * [[Media: emp2013.pdf | Entertaining math puzzles.]] | + | |
| - | * [[Media: khl59jp.pdf | Zagadki matematyczne.]] (Abstrakt.) | + | |
| - | * [[Media: khl59slides.pdf | Zagadki matematyczne.]] (Prezentacja.) | + | |
| - | * [[Media: zls16x2013.pdf | Enigmatologia zamiast katechezy.]] (Prezentacja.) | + | |
| - | * [[Media: opole2013.pdf | Wesołe zagadki.]] (Abstrakt.) | + | |
| - | * [[Media: opole14v2013.pdf | Wesołe zagadki.]] (Prezentacja.) | + | |
| - | + | ||
| - | * [[Media: rs2014toc.pdf | Spis treści tłumaczenia ''A Beginner's Guide to Mathematical Logic'' (2014) Raymonda Smullyana.]] Rozpoczęto prace nad przekładem. | + | |
| - | * [[Media: smullyan2013przedmowa.pdf | Spis treści tłumaczenia ''The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs'' (2013) Raymonda Smullyana.]] | + | |
| - | * [[Media: labyrinthcontent.pdf | Spis treści tłumaczenia ''Logical Labyrinths'' (2009) Raymonda Smullyana. ]] | + | |
| - | * [[Media: magicgarden.pdf | Spis treści tłumaczenia ''The Magic Garden of George B. And Other Logic Puzzles'' (2007) Raymonda Smullyana.]] | + | |
| - | * [[Media: alicepreface.pdf | Spis treści tłumaczenia ''Alice in Puzzle-Land'' (1982) Raymonda Smullyana. ]] | + | |
| - | + | ||
| - | ===Krytycznie o koncepcji ''matematyki ucieleśnionej''=== | + | |
| - | + | ||
| - | * [[Media: sdm.pdf | Metafory poznawcze w matematyce.]] (Prezentacja.) | + | |
| - | * [[Media: wroclaw2013mfk.pdf | Matematyczne fantazje kognitywistów.]] (Prezentacja.) | + | |
| - | * [[Media: mfk2013.pdf | Matematyczne fantazje kognitywistów.]] | + | |
| - | * [[Media: mmk2012.pdf | Matematyczne metafory kognitywistów.]] | + | |
| - | * [[Media: littlejill01.pdf | Geneza matematyki wedle kognitywistów.]] | + | |
| - | + | ||
| - | ===Drobiazgi metalogiczne=== | + | |
| - | + | ||
| - | * [[Media: artlan.pdf | Językowy obraz świata: języki logiki formalnej.]] | + | |
| - | * [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. ]] | + | |
| - | * [[Media: abs01.pdf | How do metalogical concepts emerge? ]] (Abstrakt.) | + | |
| - | * [[Media: abs02.pdf | O tworzeniu (się?) pojęć metalogicznych. ]] (Abstrakt.) | + | |
| - | * [[Media: abs04.pdf | Heksagonalne ogrody logiki. ]] (Abstrakt.) | + | |
| - | + | ||
| - | ===Infinitarna logika Ernsta Zermela=== | + | |
| - | + | ||
| - | * [[Media: 2H01A00725.pdf | Infinitarna logika Ernsta Zermela. ]] (spis treści i lista odczytów) | + | |
| - | * [[Media: art04.pdf | Projekt logiki infinitarnej Ernsta Zermela. ]] | + | |
| - | * [[Media: abs05.pdf | Zermelo: a well founded antiskolemism. ]] | + | |
| - | * [[Media: eztresc.pdf | Matematyka jest logiką Nieskończonego. Prace Ernsta Zermela z podstaw matematyki. ]] (spis treści) | + | |
| - | * [[Media: zermelowarschau.pdf | Zermelo i geneza logik infinitarnych. ]] | + | |
| - | + | ||
| - | ===Twórczość Romana Suszki=== | + | |
| - | + | ||
| - | * [[Media: extint99.pdf | Pojęcia: ekstensji i intensji w pracach Romana Suszki. ]] | + | |
| - | * [[Media: art02.pdf | 'Okres poznański' w twórczości Romana Suszki. ]] | + | |
| - | * [[Media: romansuszko.pdf | Poznańskie juwenilia logiczne Romana Suszki.]] (Prezentacja.) | + | |
| - | * [[Media: romansuszkotekst.pdf | Poznańskie juwenilia logiczne Romana Suszki.]] (Tekst.) | + | |
| - | * [[Media: aksjomatkanonicznosci.pdf | Aksjomat kanoniczności Romana Suszki. ]] (Abstrakt.) | + | |
| - | * [[Media: aksjomatkanonicznosciromanasuszki.pdf | Aksjomat kanoniczności Romana Suszki. ]] (Prezentacja.) | + | |
| - | + | ||
| - | ===Paradoks Skolema=== | + | |
| - | + | ||
| - | * [[Media: parskol.pdf | Jak żyć z paradoksem Skolema? ]] | + | |
| - | * [[Media: abs03.pdf | Zermelo i Skolemici. ]] | + | |
| - | * [[Media: parint.pdf | Paradox and Intuition. ]] | + | |
| - | + | ||
| - | ===Historia logiki i matematyki=== | + | |
| - | + | ||
| - | ====Wschód==== | + | |
| - | + | ||
| - | * [[Media: remarksacl.pdf | Remarks on Ancient Chinese Logic. ]] | + | |
| - | * [[Media: argumentacjelogikowstarochinskich.pdf | Argumentacje logików starochińskich. ]] | + | |
| - | * [[Media: schreiberhau2009.pdf | Sen Motyla. ]] | + | |
| - | * [[Media: ustron2009polski.pdf | Argumentacje starochińskich logików. ]] | + | |
| - | + | ||
| - | ====Zachód==== | + | |
| - | + | ||
| - | * [[Media: p2t.pdf | Alfred Tarski: ''Pojęcie prawdy w językach nauk dedukcyjnych'' (1933).]] | + | |
| - | * [[Media: art03.pdf | Badania logiczne prowadzone w Uniwersytecie Poznańskim w latach 1945-1955. ]](Współautor: Roman Murawski) | + | |
| - | * [[Media: THIEL1.pdf | Logical investigations at the University of Poznań in 1945-1955. ]] (Współautor: Roman Murawski) | + | |
| - | * W ramach projektu badawczego ''Ciągłość i liczby rzeczywiste. Eudoxos - Dedekind - Conway'' (kierownik: prof. dr hab. Piotr Błaszczyk) pracownik Pogonowski przygotował tłumaczenia z języka niemieckiego wybranych prac (lub ich fragmentów):<br> | + | |
| - | * [[Media: clr2013przedmowa.pdf | Ciągłość i liczby rzeczywiste. Tłumaczenia wybranych tekstów źródłowych.]] (Spis treści.) | + | |
| - | + | ||
| - | ===Argumentacja=== | + | |
| - | + | ||
| - | * [[Media: argdiap2011slides.pdf | Argumentacje odwołujące się do intuicji matematycznych.]] | + | |
| - | * [[Media: littlejack01.pdf | Operacje na argumentacjach.]] | + | |
| - | * [[Media: fel01.pdf | Po co mi logika? Jestem Humanistką!]] | + | |
| - | * [[Media: fel03.pdf | Kto będzie Dyrektorem Instytutu Językoznawstwa UAM?]] | + | |
| - | + | ||
| - | ===Tablice analityczne=== | + | |
| - | + | ||
| - | ====Artykuły==== | + | |
| - | + | ||
| - | * [[Media: festjp.pdf | Lewis Carroll's Resolution and Tableaux. ]] | + | |
| - | * [[Media: talewiscarroll.pdf | Rezolucja i tablice analityczne u Lewisa Carrolla. ]] | + | |
| - | * [[Media: mds.zip | Konsekwencje Bereszit 2:16. ]] (Współautorka: Izabela Bondecka-Krzykowska) | + | |
| - | * [[Media: semjez.pdf | Agnostyczny jeż w lesie semantycznym. ]] (Współautorka: Izabela Bondecka-Krzykowska) | + | |
| - | + | ||
| - | ====Skrypt: Tablice analityczne==== | + | |
| - | + | ||
| - | * [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]] | + | |
| - | * [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]] | + | |
| - | * [[Media: tabkrp27v2014.pdf | Tablice analityczne dla KRP.]] | + | |
| - | * [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]] | + | |
| - | + | ||
| - | ---- | + | |
| - | + | ||
| - | ==Prace zakończone== | + | |
| - | + | ||
| - | ===Hierarchiczne analizy języka=== | + | |
| - | + | ||
| - | * [[Media: hieran.pdf | Hierarchiczne analizy języka. ]] <br>(Hierarchical analyses of language.) Adam Mickiewicz University Press, Poznań, 1991, 64 pp. | + | |
| - | * [[Media: Kamien.pdf | Dialog czy sprzeczka? ]] | + | |
| - | * [[Media: generalsystems.pdf | Set theoretical approach to general systems theory. ]] | + | |
| - | + | ||
| - | ===Przestrzenie podobieństwa (tolerancji) i opozycji=== | + | |
| - | + | ||
| - | * [[Media: tolspaces.pdf | Tolerance spaces with applications to linguistics. ]] <br>Adam Mickiewicz University Press, Poznań, 1981, 103 pp. | + | |
| - | * [[Media: lingop.pdf | Linguistic Oppositions. ]] <br>Adam Mickiewicz University Press, Poznań, 1993, 135 pp. | + | |
| - | * [[Media: Wolniew.pdf | Przestrzenie podobieństwa i opozycji. ]] | + | |
| - | * [[Media: Zakopa99.pdf | Przestrzenie tolerancji i opozycji. ]] | + | |
| - | + | ||
| - | ===Logiczna rekonstrukcja koncepcji lingwistycznych=== | + | |
| - | + | ||
| - | * [[Media: hipon.pdf | Hiponimia. ]]<br>(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp. | + | |
| - | * [[Media: combsem.pdf | Combinatory Semantics. ]]<br>Adam Mickiewicz University Press, Poznań, 1993, 110 pp. | + | |
| - | * [[Media: semlogningueno.pdf | Kilka obserwacji na temat języka ningueno i konsekwencje dla teorii lingwistycznej. ]] (Współautor: Alfred F. Majewicz) | + | |
| - | * [[Media: semgenmol.pdf | Semiotyczne aspekty genetyki molekularnej. ]] | + | |
| - | * [[Media: semlogakship.pdf | Triada hipotaktyczna 1. An axiom system for hypotaxis (1) ]] | + | |
| - | * [[Media: semlogakshipbis.pdf | Triada hipotaktyczna 1. An axiom system for hypotaxis (2) ]] | + | |
| - | * [[Media: semlogkombsem.pdf | Triada hipotaktyczna 2. Grundideen der kombinatorischen Semantik. ]] | + | |
| - | * [[Media: semloghipon.pdf | Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (1) ]] | + | |
| - | * [[Media: semloghiponbis.pdf | Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (2) ]] | + | |
| - | * [[Media: semlogreljez.pdf | O pojęciu relacji językowej. ]] | + | |
| - | * [[Media: semengin.pdf | Semantic engineering.]] | + | |
| - | * [[Media: semlogmetling.pdf | Logiczna rekonstrukcja typologii strukturalnej. ]] | + | |
| - | * [[Media: aksjomopisy.pdf | O aksjomatycznych opisach języka naturalnego. ]] | + | |
| - | * [[Media: batfonsys.pdf | Tadeusz Batóg's Phonological Systems. ]] | + | |
| - | * [[Media: gajda.pdf | Po co metalogika lingwistom? ]] | + | |
| - | * [[Media: karp.pdf | On some applications of extended mereology. ]] | + | |
| - | * [[Media: pelc2000.pdf | W sprawie programu badawczego lingwistyki formalnej. ]] | + | |
| - | * [[Media: art01.pdf | Ile jest języków? ]] | + | |
| - | + | ||
| - | ===Prace translatorskie=== | + | |
| - | + | ||
| - | * [[Media: nmcon.pdf | Spis treści tłumaczenia 'To Mock a Mockingbird' Raymonada Smullyana. ]] | + | |
| - | * [[Media: nsmullcon.pdf | Spis treści tłumaczenia 'Forever Undecided' Raymonda Smullyana. ]] | + | |
| - | * [[Media: lawmaks.pdf | Spis treści tłumaczenia 'Zadań z teorii mnogości, logiki matematycznej i teorii algorytmów' Igora A. Ławrowa i Łarisy L. Maksimowej. ]] | + | |
| - | * [[Media: drzakop2007.pdf | Ptak Gödla. ]] (Applications of Algebra to Logic and Computer Science XI, 2007) (wersja beta) | + | |
| - | * [[Media: karpacz2007.pdf | Szczęściarze epistemiczni. ]] (Applications of Logic to Philosophy and the Foundations of Mathematics XII, 2007) (wersja beta) | + | |
| - | + | ||
| - | ===Prace edytorskie=== | + | |
| - | + | ||
| - | * [[Media: struklog.pdf | Struktura logiczna rozumowań lingwistycznych. ]] <br>(Logical structure of linguistic inference.) [Editorship, with T. Zgółka.], <br>Wydawnictwa Poznańskiego Towarzystwa Przyjaciół Nauk, Poznań, 1990, 220 pp. | + | |
| - | * [[Media: przycz.pdf | Przyczynki do metodologii lingwistyki. ]] <br>(Contributions to the methodology of linguistics.) [Editorship, with T. Zgółka.] <br>Adam Mickiewicz University Press, Poznań, 1996, 168 pp. | + | |
| - | * [[Media: eufilog.pdf | Eufonia i Logos. Księga Pamiątkowa ofiarowana Profesor Marii Steffen Batogowej i Profesorowi Tadeuszowi Batogowi. ]] <br>(Euphony and Logos. Festschrift offered to Maria Steffen-Batóg and Tadeusz Batóg.) [Editorship.] <br>Adam Mickiewicz University Press, Poznań, 1995, 696 pp. | + | |
| - | * [[Media: eupholog.pdf | Euphony and Logos. ]] <br>[Editorship, with Roman Murawski.] Rodopi, Amsterdam - Atlanta, 1997, x + 534 pp. | + | |
| - | * [[Media: swiatymatematyki.pdf | Światy matematyki. Tworzenie czy odkrywanie? Księga Pamiątkowa ofiarowana Profesorowi Romanowi Murawskiemu. ]]<br>(The worlds of mathematics. Creation or discovery? Festschrift offered to Professor Roman Murawski.) [Editorship, with Izabela Bondecka-Krzykowska.] Wydawnictwo Naukowe UAM, Poznań 2010, 366 pp. | + | |
| - | * [http://www.inveling.amu.edu.pl/ Investigationes Linguisticae] (vols. I-VII). | + | |
| - | + | ||
| [[de:Jerzy_Pogonowski_-_Forschung]] | [[de:Jerzy_Pogonowski_-_Forschung]] | ||
| [[en:Jerzy_Pogonowski_-_Research]] | [[en:Jerzy_Pogonowski_-_Research]] | ||
Aktualna wersja
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne.
