Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 20:45, 22 wrz 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Matematyczne podstawy metalogiki) ← Poprzednia edycja		Wersja z dnia 20:49, 22 wrz 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Tablice analityczne) Następna edycja →
Linia 66:		Linia 66:
	===Tablice analityczne===		===Tablice analityczne===
		+
		+	====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.]]
		+
	* [[Media: festjp.pdf | Lewis Carroll's Resolution and Tableaux. ]]		* [[Media: festjp.pdf | Lewis Carroll's Resolution and Tableaux. ]]

---

Wersja z dnia 20:49, 22 wrz 2009

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

---

Spis treści 1 Prace rozpoczęte 1.1 Twórczość Romana Suszki 1.2 Paradoks Skolema 1.3 Infinitarna logika Ernsta Zermela 1.4 Matematyczne podstawy metalogiki 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

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.

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

• Marzenia o monogamii (semantycznej).
• Aksjomaty ekstremalne.
• Dwa paradygmaty metalogiki.
• How do metalogical concepts emerge?
• O tworzeniu (się?) pojęć metalogicznych.
• Heksagonalne ogrody logiki.

Zagadki logiczne

• Spis treści tłumaczenia 'Alice in Puzzle-Land' Raymonda Smullyana.
• Spis treści tłumaczenia 'Logical Labyrinths' 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)

Tablice analityczne

Skrypt: Tablice analityczne

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

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

---

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