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 07:13, 14 cze 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Infinitarna logika Ernsta Zermela)
← Poprzednia edycja
Wersja z dnia 07:20, 14 cze 2008 (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

Następna edycja →
Linia 24: Linia 24:
* [[Media: parskol.pdf | Jak żyć z paradoksem Skolema? ]] * [[Media: parskol.pdf | Jak żyć z paradoksem Skolema? ]]
-* [[Media: abs03.pdf | Zermelo i Skolemici ]]+* [[Media: abs03.pdf | Zermelo i Skolemici. ]]
-* [[Media: parint.pdf | Paradox and Intuition ]]+* [[Media: parint.pdf | Paradox and Intuition. ]]
===Infinitarna logika Ernsta Zermela=== ===Infinitarna logika Ernsta Zermela===
Linia 37: Linia 37:
* [[Media: abs01.pdf | How do metalogical concepts emerge? ]] * [[Media: abs01.pdf | How do metalogical concepts emerge? ]]
-* [[Media: abs02.pdf | O tworzeniu (się?) pojęć metalogicznych ]]+* [[Media: abs02.pdf | O tworzeniu (się?) pojęć metalogicznych. ]]
-* [[Media: abs04.pdf | Heksagonalne ogrody logiki ]]+* [[Media: abs04.pdf | Heksagonalne ogrody logiki. ]]
===Historia logiki=== ===Historia logiki===
-* [[Media: art03.pdf | Badania logiczne prowadzone w Uniwersytecie Poznańskim w latach 1945-1955 ]](Współautor: Roman Murawski)+* [[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)+* [[Media: THIEL1.pdf | Logical investigations at the University of Poznań in 1945-1955. ]] (Współautor: Roman Murawski)
===Tablice semantyczne=== ===Tablice semantyczne===
-* [[Media: festjp.pdf | Lewis Carroll's Resolution and Tableaux ]]+* [[Media: festjp.pdf | Lewis Carroll's Resolution and Tableaux. ]]
-* [[Media: mds.zip | Konsekwencje Bereszit 2:16 ]] (Współautorka: Izabela Bondecka-Krzykowska)+* [[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)+* [[Media: semjez.pdf | Agnostyczny jeż w lesie semantycznym. ]] (Współautorka: Izabela Bondecka-Krzykowska)
---- ----
Linia 64: Linia 64:
* [[Media: tolspaces.pdf | Tolerance spaces with applications to linguistics. ]] <br>Adam Mickiewicz University Press, Poznań, 1981, 103 pp. * [[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: lingop.pdf | Linguistic Oppositions. ]] <br>Adam Mickiewicz University Press, Poznań, 1993, 135 pp.
-* [[Media: Wolniew.pdf | Przestrzenie podobieństwa i opozycji ]]+* [[Media: Wolniew.pdf | Przestrzenie podobieństwa i opozycji. ]]
-* [[Media: Zakopa99.pdf | Przestrzenie tolerancji i opozycji ]]+* [[Media: Zakopa99.pdf | Przestrzenie tolerancji i opozycji. ]]
===Logiczna rekonstrukcja koncepcji lingwistycznych=== ===Logiczna rekonstrukcja koncepcji lingwistycznych===
Linia 71: Linia 71:
* [[Media: hipon.pdf | Hiponimia. ]] <br>(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp. * [[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: combsem.pdf | Combinatory Semantics. ]] <br>Adam Mickiewicz University Press, Poznań, 1993, 110 pp.
-* [[Media: batfonsys.pdf | Tadeusz Batóg's Phonological Systems ]]+* [[Media: batfonsys.pdf | Tadeusz Batóg's Phonological Systems. ]]
* [[Media: gajda.pdf | Po co metalogika lingwistom? ]] * [[Media: gajda.pdf | Po co metalogika lingwistom? ]]
-* [[Media: karp.pdf | On some applications of extended mereology ]]+* [[Media: karp.pdf | On some applications of extended mereology. ]]
-* [[Media: pelc2000.pdf | W sprawie programu badawczego lingwistyki formalnej ]]+* [[Media: pelc2000.pdf | W sprawie programu badawczego lingwistyki formalnej. ]]
* [[Media: art01.pdf | Ile jest języków? ]] * [[Media: art01.pdf | Ile jest języków? ]]
===Prace translatorskie=== ===Prace translatorskie===
-* [[Media: nmcon.pdf | Spis treści tłumaczenia 'To Mock a Mockingbird' Raymonada Smullyana ]]+* [[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: 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: 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: 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)+* [[Media: karpacz2007.pdf | Szczęściarze epistemiczni. ]] (Applications of Logic to Philosophy and the Foundations of Mathematics XII, 2007) (wersja beta)
===Prace edytorskie=== ===Prace edytorskie===

Wersja z dnia 07:20, 14 cze 2008

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


Spis treści


Prace rozpoczęte

Twórczość Romana Suszki

Paradoks Skolema

Infinitarna logika Ernsta Zermela

Matematyczne podstawy metalogiki

Historia logiki

Tablice semantyczne


Prace zakończone

Hierarchiczne analizy języka

Przestrzenie podobieństwa (tolerancji) i opozycji

Logiczna rekonstrukcja koncepcji lingwistycznych

Prace translatorskie

Prace edytorskie