Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 20:20, 3 paź 2010 (edytuj) Pogonowski (Dyskusja | wkład) (→Zachód) ← Poprzednia edycja		Wersja z dnia 20:23, 3 paź 2010 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Zachód) Następna edycja →
Linia 88:		Linia 88:
	Moritz Pasch: ''Vorlesungen über neuere Geometrie''<br>		Moritz Pasch: ''Vorlesungen über neuere Geometrie''<br>
-	Otto Holder: ''Die Axiome der Quantität und die Lehre von Mass''<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>		Emil Artin, Otto Schreier: ''Algebraische Konstruktion reeller Körper''<br>

---

Wersja z dnia 20:23, 3 paź 2010

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 Zagadki logiczne 1.6 Historia logiki 1.6.1 Wschód 1.6.2 Zachód 1.7 Tablice analityczne 1.7.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

• 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?
• O tworzeniu (się?) pojęć metalogicznych.
• Heksagonalne ogrody logiki.

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 ekstensji 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.

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.

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

Eduard Heine: Die Elemente der Functionenlehre

Georg Cantor: Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen

Georg Cantor: Über unendliche lineare Punktmannigfaltigkeiten

Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre

Heinrich Weber: Lehrbuch der Algebra

David Hilbert: Über den Zahlbegriff

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

Lew Pontriagin: Über stetige algebraische Körper

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)
• 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.
• Investigationes Linguisticae (vols. I-VII).