Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 09:36, 23 lut 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Logiczna rekonstrukcja koncepcji lingwistycznych) ← Poprzednia edycja		Wersja z dnia 12:34, 1 mar 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Matematyczne podstawy metalogiki) Następna edycja →
Linia 36:		Linia 36:
	===Matematyczne podstawy metalogiki===		===Matematyczne podstawy metalogiki===
		+	* [[Media: dwaparadygmaty.pdf | Dwa paradygmaty metalogiki. ]]
	* [[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. ]]

---

Wersja z dnia 12:34, 1 mar 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.7 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.
• Roman Suszko. Biogram.

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

• Dwa paradygmaty metalogiki.
• How do metalogical concepts emerge?
• O tworzeniu (się?) pojęć metalogicznych.
• Heksagonalne ogrody logiki.
• Incompleteness of effective double frames. (Współautor: Andrzej Wiśniewski)

Zagadki logiczne

• Spis treści tłumaczenia 'Alice in Puzzle-Land' Raymonda Smullyana.

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

---

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