Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

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

---

Spis treści 1 Prace rozpoczęte 1.1 Matematyczne podstawy metalogiki 1.2 Infinitarna logika Ernsta Zermela 1.3 Twórczość Romana Suszki 1.4 Paradoks Skolema 1.5 Historia logiki 1.5.1 Wschód 1.5.2 Zachód 1.6 Argumentacja 1.7 Zagadki logiczne 1.8 Tablice analityczne 1.8.1 Skrypt: Tablice analityczne 2 Prace zakończone 2.1 Hierarchiczne analizy języka 2.2 Przestrzenie podobieństwa (tolerancji) i opozycji 2.3 Logiczna rekonstrukcja koncepcji lingwistycznych 2.4 Prace translatorskie 2.5 Prace edytorskie

Prace rozpoczęte

Matematyczne podstawy metalogiki

• Aksjomaty ekstremalne i modele zamierzone teorii.
• Inexpressible longing for the intended model.
• Niewyrażalna tęsknota za modelem zamierzonym.
• Marzenia o monogamii (semantycznej). (Abstrakt.)
• Marzenia o monogamii (semantycznej). (Prezentacja.)
• On extremal axioms.
• Aksjomaty ekstremalne. (Abstrakt.)
• Aksjomaty ekstremalne. (Prezentacja.)
• Dwa paradygmaty metalogiki.
• How do metalogical concepts emerge? (Abstrakt.)
• O tworzeniu (się?) pojęć metalogicznych. (Abstrakt.)
• Heksagonalne ogrody logiki. (Abstrakt.)

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)
• Zermelo i geneza logik infinitarnych.

Twórczość Romana Suszki

• Pojęcia: ekstensji i intensji w pracach Romana Suszki.
• 'Okres poznański' w twórczości Romana Suszki.
• Poznańskie juwenilia logiczne Romana Suszki. (Prezentacja.)
• Poznańskie juwenilia logiczne Romana Suszki. (Tekst.)
• Aksjomat kanoniczności Romana Suszki. (Abstrakt.)
• Aksjomat kanoniczności Romana Suszki. (Prezentacja.)

Paradoks Skolema

• Jak żyć z paradoksem Skolema?
• Zermelo i Skolemici.
• Paradox and Intuition.

Historia logiki

Wschód

• Remarks on Ancient Chinese Logic.
• Argumentacje logików starochińskich.
• Sen Motyla.
• Argumentacje starochińskich logików.

Zachód

• 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)
• 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):
  

Richard Dedekind: Stetigkeit und irrationale Zahlen [przekład gotowy]

Eduard Heine: Die Elemente der Functionenlehre [przekład gotowy]

Georg Cantor: Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen [przekład gotowy]

Georg Cantor: Über unendliche lineare Punktmannigfaltigkeiten [przekład gotowy]

Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre [przekład gotowy]

Heinrich Weber: Lehrbuch der Algebra [przekład gotowy]

David Hilbert: Über den Zahlbegriff [przekład gotowy]

Lew Pontriagin: Über stetige algebraische Körper [przekład gotowy]

Moritz Pasch: Vorlesungen über neuere Geometrie

Otto Hölder: Die Axiome der Quantität und die Lehre von Mass

Emil Artin, Otto Schreier: Algebraische Konstruktion reeller Körper

Argumentacja

• Argumentacje odwołujące się do intuicji matematycznych.
• Operacje na argumentach.
• Po co mi logika? Jestem Humanistką!
• Kto zostanie Dyrektorem Instytutu Językoznawstwa UAM?

Zagadki logiczne

• Spis treści tłumaczenia 'Alice in Puzzle-Land' Raymonda Smullyana.
• Spis treści tłumaczenia 'Logical Labyrinths' Raymonda Smullyana.
• Spis treści tłumaczenia 'The Magic Garden of George B. And Other Logic Puzzles' Raymonda Smullyana.

Tablice analityczne

• Lewis Carroll's Resolution and Tableaux.
• Rezolucja i tablice analityczne u Lewisa Carrolla.
• Konsekwencje Bereszit 2:16. (Współautorka: Izabela Bondecka-Krzykowska)
• Agnostyczny jeż w lesie semantycznym. (Współautorka: Izabela Bondecka-Krzykowska)

Skrypt: Tablice analityczne

• Preliminaria matematyczne i logiczne.
• Tablice analityczne dla KRZ.
• Tablice analityczne dla KRP.
• Dodatek: unifikacja i rezolucja.

---

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?
• Set theoretical approach to general systems theory.

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.
• Kilka obserwacji na temat języka ningueno i konsekwencje dla teorii lingwistycznej. (Współautor: Alfred F. Majewicz)
• Semiotyczne aspekty genetyki molekularnej.
• Triada hipotaktyczna 1. An axiom system for hypotaxis (1)
• Triada hipotaktyczna 1. An axiom system for hypotaxis (2)
• Triada hipotaktyczna 2. Grundideen der kombinatorischen Semantik.
• Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (1)
• Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (2)
• O pojęciu relacji językowej.
• Logiczna rekonstrukcja typologii strukturalnej.
• O aksjomatycznych opisach języka naturalnego.
• 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.
• Światy matematyki. Tworzenie czy odkrywanie? Księga Pamiątkowa ofiarowana Profesorowi Romanowi Murawskiemu.
  (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.
• Investigationes Linguisticae (vols. I-VII).