Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: Deutsch | English

Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 09:02, 27 lut 2011 (edytuj)
Pogonowski (Dyskusja | wkład)
(Zachód)
← Poprzednia edycja
Aktualna wersja (18:14, 20 gru 2015) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

 
(59 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==+
- +
-===Matematyczne podstawy metalogiki===+
- +
-* [[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.]]+
-* [[Media: aksjomatyekstremalne.pdf | Aksjomaty ekstremalne. ]] (Abstrakt.)+
-* [[Media: filozofiamatematykijp.pdf | Aksjomaty ekstremalne. ]] (Prezentacja.)+
-* [[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. ]]+
- +
-===Zagadki logiczne===+
- +
-* [[Media: alicepreface.pdf | Spis treści tłumaczenia 'Alice in Puzzle-Land' Raymonda Smullyana. ]]+
-* [[Media: labyrinthcontent.pdf | Spis treści tłumaczenia 'Logical Labyrinths' Raymonda Smullyana. ]]+
-* [[Media: magicgarden.pdf | Spis treści tłumaczenia 'The Magic Garden of George B. And Other Logic Puzzles' Raymonda Smullyana.]]+
- +
-===Historia logiki===+
- +
-====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: 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) przygotowuję tłumaczenia z języka niemieckiego wybranych prac (lub ich fragmentów):<br>+
- +
-Richard Dedekind: ''Stetigkeit und irrationale Zahlen'' [przekład gotowy]<br>+
- +
-Eduard Heine: ''Die Elemente der Functionenlehre'' [przekład gotowy]<br>+
- +
-Georg Cantor: ''Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen'' [przekład gotowy]<br>+
- +
-Georg Cantor: ''Über unendliche lineare Punktmannigfaltigkeiten'' [przekład gotowy]<br>+
- +
-Georg Cantor: ''Beiträge zur Begründung der transfiniten Mengenlehre'' [przekład gotowy]<br>+
- +
-Heinrich Weber: ''Lehrbuch der Algebra'' [przekład gotowy]<br>+
- +
-David Hilbert: ''Über den Zahlbegriff'' [przekład gotowy]<br>+
- +
-Lew Pontriagin: ''Über stetige algebraische Körper'' [przekład gotowy]<br>+
- +
-Moritz Pasch: ''Vorlesungen über neuere Geometrie''<br>+
- +
-Otto Hölder: ''Die Axiome der Quantität und die Lehre von Mass''<br>+
- +
-Emil Artin, Otto Schreier: ''Algebraische Konstruktion reeller Körper''<br>+
- +
-===Tablice analityczne===+
- +
-* [[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: tabkrp.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: 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.