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
- Pojęcia: ekstensji i ekstensji w pracach Romana Suszki.
- 'Okres poznański' w twórczości Romana Suszki.
- Roman Suszko. Biogram.
Paradoks Skolema
Infinitarna logika Ernsta Zermela
- Infinitarna logika Ernsta Zermela. (spis treści i lista odczytów)
- Projekt logiki infinitarnej Ernsta Zermela.
- Zermelo: a well founded antiskolemism.
- Matematyka jest logiką nieskończonego. Prace Ernsta Zermela z podstaw matematyki. (spis treści)
Matematyczne podstawy metalogiki
- How do metalogical concepts emerge?
- O tworzeniu (się?) pojęć metalogicznych.
- Heksagonalne ogrody logiki.
Historia logiki
- Badania logiczne prowadzone w Uniwersytecie Poznańskim w latach 1945-1955. (Współautor: Roman Murawski)
- Logical investigations at the University of Poznań in 1945-1955. (Współautor: Roman Murawski)
Tablice semantyczne
- Lewis Carroll's Resolution and Tableaux.
- Konsekwencje Bereszit 2:16. (Współautorka: Izabela Bondecka-Krzykowska)
- Agnostyczny jeż w lesie semantycznym. (Współautorka: Izabela Bondecka-Krzykowska)
Prace zakończone
Hierarchiczne analizy języka
- Hierarchiczne analizy języka.
(Hierarchical analyses of language.) Adam Mickiewicz University Press, Poznań, 1991, 64 pp. - Dialog czy sprzeczka?
Przestrzenie podobieństwa (tolerancji) i opozycji
- Tolerance spaces with applications to linguistics.
Adam Mickiewicz University Press, Poznań, 1981, 103 pp. - Linguistic Oppositions.
Adam Mickiewicz University Press, Poznań, 1993, 135 pp. - Przestrzenie podobieństwa i opozycji.
- Przestrzenie tolerancji i opozycji.
Logiczna rekonstrukcja koncepcji lingwistycznych
- Hiponimia.
(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp. - Combinatory Semantics.
Adam Mickiewicz University Press, Poznań, 1993, 110 pp. - Tadeusz Batóg's Phonological Systems.
- Po co metalogika lingwistom?
- On some applications of extended mereology.
- W sprawie programu badawczego lingwistyki formalnej.
- Ile jest języków?
Prace translatorskie
- Spis treści tłumaczenia 'To Mock a Mockingbird' Raymonada Smullyana.
- Spis treści tłumaczenia 'Forever Undecided' Raymonda Smullyana.
- Spis treści tłumaczenia 'Zadań z teorii mnogości, logiki matematycznej i teorii algorytmów' Igora A. Ławrowa i Łarisy L. Maksimowej.
- Ptak Gödla. (Applications of Algebra to Logic and Computer Science XI, 2007) (wersja beta)
- Szczęściarze epistemiczni. (Applications of Logic to Philosophy and the Foundations of Mathematics XII, 2007) (wersja beta)
Prace edytorskie
- Struktura logiczna rozumowań lingwistycznych.
(Logical structure of linguistic inference.) [Editorship, with T. Zgółka.],
Wydawnictwa Poznańskiego Towarzystwa Przyjaciół Nauk, Poznań, 1990, 220 pp. - Przyczynki do metodologii lingwistyki.
(Contributions to the methodology of linguistics.) [Editorship, with T. Zgółka.]
Adam Mickiewicz University Press, Poznań, 1996, 168 pp. - Eufonia i Logos. Księga Pamiątkowa ofiarowana Profesor Marii Steffen Batogowej i Profesorowi Tadeuszowi Batogowi.
(Euphony and Logos. Festschrift offered to Maria Steffen-Batóg and Tadeusz Batóg.) [Editorship.]
Adam Mickiewicz University Press, Poznań, 1995, 696 pp. - Euphony and Logos.
[Editorship, with Roman Murawski.] Rodopi, Amsterdam - Atlanta, 1997, x + 534 pp. - Investigationes Linguisticae (vols. I-VII).