Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 07:22, 29 cze 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja		Wersja z dnia 07:32, 29 cze 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Tablice semantyczne) Następna edycja →
Linia 83:		Linia 83:
	* [[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)
-	* III. Propedeutycznie o drzewach semantycznych w KRP	+	* '''III. Propedeutycznie o drzewach semantycznych w KRP.'''
-	[[Media: krp300.pdf | III. 0. Wstęp do rozdziału III ]]	+	[[Media: krp300.pdf | III. 0. Wstęp do rozdziału III. ]]
-	[[Media: krp311.pdf | III. 1. O budowaniu drzew semantycznych w KRP]]	+	[[Media: krp311.pdf | III. 1. O budowaniu drzew semantycznych w KRP. ]]
-	[[Media: krp322.pdf | III. 2. Tautologie KRP ]]	+	[[Media: krp322.pdf | III. 2. Tautologie KRP. ]]
-	[[Media: krp333.pdf | III. 3. Semantyczna niesprzeczność ]]	+	[[Media: krp333.pdf | III. 3. Semantyczna niesprzeczność. ]]
-	[[Media: krp344.pdf | III. 4. Wynikanie logiczne w KRP ]]	+	[[Media: krp344.pdf | III. 4. Wynikanie logiczne w KRP. ]]
-	[[Media: krp355.pdf | III. 5. Rachunek predykatów z identycznością ]]	+	[[Media: krp355.pdf | III. 5. Rachunek predykatów z identycznością. ]]
-	[[Media: logmat29.pdf | III. 6. Rachunek predykatów z symbolami funkcyjnymi ]]	+	[[Media: logmat29.pdf | III. 6. Rachunek predykatów z symbolami funkcyjnymi. ]]
-	III. 7. Unifikacja	+	III. 7. Unifikacja.
-	III. 8. Rezolucja	+	III. 8. Rezolucja.
-	III. 9. Zadania do rozdziału III	+	III. 9. Zadania do rozdziału III.
-	* IV. Zagadnienia metalogiczne Klasycznego Rachunku Predykatów	+	* '''IV. Zagadnienia metalogiczne Klasycznego Rachunku Predykatów.'''
-	[[Media: logmat30.pdf | IV. 0. Definicja drzew dowodowych ]]	+	[[Media: logmat30.pdf | IV. 0. Definicja drzew dowodowych. ]]
-	IV. 1. Twierdzenie o trafności	+	IV. 1. Twierdzenie o trafności.
-	IV. 2. Twierdzenie o pełności	+	IV. 2. Twierdzenie o pełności.
-	IV. 3. Twierdzenie o zwartości	+	IV. 3. Twierdzenie o zwartości.
-	IV. 4. Twierdzenie Löwenheima - Skolema	+	IV. 4. Twierdzenie Löwenheima - Skolema.
-	IV. 5. Prefiksowe postacie normalne i skolemizacja	+	IV. 5. Prefiksowe postacie normalne i skolemizacja.
-	IV. 6. Twierdzenie Herbranda	+	IV. 6. Twierdzenie Herbranda.
-	IV. 7. Twierdzenie Betha i Lemat Craiga	+	IV. 7. Twierdzenie Betha i Lemat Craiga.
-	IV. 8. Twierdzenie Churcha	+	IV. 8. Twierdzenie Churcha.
	IV. 9. Zadania do rozdziału IV.		IV. 9. Zadania do rozdziału IV.

---

Wersja z dnia 07:32, 29 cze 2007

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

---

Spis treści 1 Prace zakończone 1.1 Hierarchiczne analizy języka 1.2 Przestrzenie podobieństwa (tolerancji) i opozycji 1.3 Logiczna rekonstrukcja koncepcji lingwistycznych 1.4 Prace translatorskie 2 Prace rozpoczęte 2.1 Twórczość Romana Suszki 2.2 Paradoks Skolema 2.3 Infinitarna logika Ernsta Zermela 2.4 Matematyczne podstawy metalogiki 2.5 Historia logiki 2.6 Tablice semantyczne

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.
• 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.
• 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 rozpoczęte

Twórczość Romana Suszki

• Pojęcia: ekstensji i ekstensji w pracach Romana Suszki
• 'Okres poznański' w twórczości Romana Suszki

Paradoks Skolema

• Jak żyć z paradoksem Skolema?
• Zermelo i Skolemici

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

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

• Konsekwencje Bereszit 2:16 (Współautorka: Izabela Bondecka-Krzykowska)
• Agnostyczny jeż w lesie semantycznym (Współautorka: Izabela Bondecka-Krzykowska)

• III. Propedeutycznie o drzewach semantycznych w KRP.

III. 0. Wstęp do rozdziału III.

III. 1. O budowaniu drzew semantycznych w KRP.

III. 2. Tautologie KRP.

III. 3. Semantyczna niesprzeczność.

III. 4. Wynikanie logiczne w KRP.

III. 5. Rachunek predykatów z identycznością.

III. 6. Rachunek predykatów z symbolami funkcyjnymi.

III. 7. Unifikacja.

III. 8. Rezolucja.

III. 9. Zadania do rozdziału III.

• IV. Zagadnienia metalogiczne Klasycznego Rachunku Predykatów.

IV. 0. Definicja drzew dowodowych.

IV. 1. Twierdzenie o trafności.

IV. 2. Twierdzenie o pełności.

IV. 3. Twierdzenie o zwartości.

IV. 4. Twierdzenie Löwenheima - Skolema.

IV. 5. Prefiksowe postacie normalne i skolemizacja.

IV. 6. Twierdzenie Herbranda.

IV. 7. Twierdzenie Betha i Lemat Craiga.

IV. 8. Twierdzenie Churcha.

IV. 9. Zadania do rozdziału IV.