Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 07:22, 29 cze 2007 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja		Aktualna wersja (18:14, 20 gru 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład)
(126 intermediate revisions not shown.)
Linia 1:		Linia 1:
-	[[Category:Pracownicy]]	+	[[Category:Dydaktyka]]
-	[[Category:Badania]]	+
-		+
	[[Jerzy Pogonowski - Curriculum Vitae|CV]] |		[[Jerzy Pogonowski - Curriculum Vitae|CV]] |
Linia 11:		Linia 9:
	----		----
-	__TOC__	+	[http://logic.amu.edu.pl/index.php/Ncn2015jp Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne.]
-		+
-	==Prace zakończone==	+
-		+
-	===Hierarchiczne analizy języka===	+
-		+
-	* [[Media: hieran.pdf | Hierarchiczne analizy języka. ]] <br>(Hierarchical analyses of language.) Adam Mickiewicz University Press, Poznań, 1991, 64 pp.	+
-	* [[Media: Kamien.pdf | Dialog czy sprzeczka? ]]	+
-		+
-	===Przestrzenie podobieństwa (tolerancji) i opozycji===	+
-		+
-	* [[Media: tolspaces.pdf | Tolerance spaces with applications to linguistics. ]] <br>Adam Mickiewicz University Press, Poznań, 1981, 103 pp.	+
-	* [[Media: lingop.pdf | Linguistic Oppositions. ]] <br>Adam Mickiewicz University Press, Poznań, 1993, 135 pp.	+
-	* [[Media: Wolniew.pdf | Przestrzenie podobieństwa i opozycji ]]	+
-	* [[Media: Zakopa99.pdf | Przestrzenie tolerancji i opozycji ]]	+
-		+
-	===Logiczna rekonstrukcja koncepcji lingwistycznych===	+
-		+
-	* [[Media: hipon.pdf | Hiponimia. ]] <br>(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp.	+
-	* [[Media: combsem.pdf | Combinatory Semantics. ]] <br>Adam Mickiewicz University Press, Poznań, 1993, 110 pp.	+
-	* [[Media: struklog.pdf | Struktura logiczna rozumowań lingwistycznych. ]] <br>(Logical structure of linguistic inference.) [Editorship, with T. Zgółka.], Wydawnictwa Poznańskiego Towarzystwa Przyjaciół Nauk, Poznań, 1990, 220 pp.	+
-	* [[Media: przycz.pdf | Przyczynki do metodologii lingwistyki. ]] <br>(Contributions to the methodology of linguistics.) [Editorship, with T. Zgółka.] Adam Mickiewicz University Press, Poznań, 1996, 168 pp.	+
-	* [[Media: batfonsys.pdf | Tadeusz Batóg's Phonological Systems ]]	+
-	* [[Media: gajda.pdf | Po co metalogika lingwistom? ]]	+
-	* [[Media: karp.pdf | On some applications of extended mereology ]]	+
-	* [[Media: pelc2000.pdf | W sprawie programu badawczego lingwistyki formalnej ]]	+
-	* [[Media: art01.pdf | Ile jest języków? ]]	+
-		+
-	===Prace translatorskie===	+
-		+
-	* [[Media: nmcon.pdf | Spis treści tłumaczenia 'To Mock a Mockingbird' Raymonada Smullyana ]]	+
-	* [[Media: nsmullcon.pdf | Spis treści tłumaczenia 'Forever Undecided' Raymonda Smullyana ]]	+
-	* [[Media: lawmaks.pdf | Spis treści tłumaczenia 'Zadań z teorii mnogości, logiki matematycznej i teorii algorytmów' Igora A. Ławrowa i Łarisy L. Maksimowej ]]	+
-	* [[Media: drzakop2007.pdf | Ptak Gödla ]] (Applications of Algebra to Logic and Computer Science XI, 2007) (wersja beta)	+
-	* [[Media: karpacz2007.pdf | Szczęściarze epistemiczni ]] (Applications of Logic to Philosophy and the Foundations of Mathematics XII, 2007) (wersja beta)	+
-		+
-	----	+
-		+
-	==Prace rozpoczęte==	+
-		+
-	===Twórczość Romana Suszki===	+
-		+
-	* [[Media: extint99.pdf | Pojęcia: ekstensji i ekstensji w pracach Romana Suszki ]]	+
-	* [[Media: art02.pdf | 'Okres poznański' w twórczości Romana Suszki ]]	+
-		+
-	===Paradoks Skolema===	+
-		+
-	* [[Media: parskol.pdf | Jak żyć z paradoksem Skolema? ]]	+
-	* [[Media: abs03.pdf | Zermelo i Skolemici ]]	+
-		+
-	===Infinitarna logika Ernsta Zermela===	+
-		+
-	* [[Media: 2H01A00725.pdf | Infinitarna logika Ernsta Zermela ]] (spis treści i lista odczytów)	+
-	* [[Media: art04.pdf | Projekt logiki infinitarnej Ernsta Zermela ]]	+
-	* [[Media: abs05.pdf | Zermelo: a well founded antiskolemism ]]	+
-		+
-	===Matematyczne podstawy metalogiki===	+
-		+
-	* [[Media: abs01.pdf | How do metalogical concepts emerge? ]]	+
-	* [[Media: abs02.pdf | O tworzeniu (się?) pojęć metalogicznych ]]	+
-	* [[Media: abs04.pdf | Heksagonalne ogrody logiki ]]	+
-		+
-	===Historia logiki===	+
-		+
-	* [[Media: art03.pdf | Badania logiczne prowadzone w Uniwersytecie Poznańskim w latach 1945-1955 ]](Współautor: Roman Murawski)	+
-	* [[Media: THIEL1.pdf | Logical investigations at the University of Poznań in 1945-1955 ]] (Współautor: Roman Murawski)	+
-		+
-	===Tablice semantyczne===	+
-		+
-	* [[Media: mds.zip | Konsekwencje Bereszit 2:16 ]] (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	+
-		+
-	[[Media: krp300.pdf | III. 0. Wstęp do rozdziału III ]]	+
-		+
-	[[Media: krp311.pdf | III. 1. O budowaniu drzew semantycznych w KRP]]	+
-		+
-	[[Media: krp322.pdf | III. 2. Tautologie KRP ]]	+
-		+
-	[[Media: krp333.pdf | III. 3. Semantyczna niesprzeczność ]]	+
-		+
-	[[Media: krp344.pdf | III. 4. Wynikanie logiczne w KRP ]]	+
-		+
-	[[Media: krp355.pdf | III. 5. Rachunek predykatów z identycznością ]]	+
-		+
-	[[Media: logmat29.pdf | 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	+
-		+
-	[[Media: logmat30.pdf | 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.	+
-		+
-		+
	[[de:Jerzy_Pogonowski_-_Forschung]]		[[de:Jerzy_Pogonowski_-_Forschung]]
	[[en:Jerzy_Pogonowski_-_Research]]		[[en:Jerzy_Pogonowski_-_Research]]

---

Aktualna wersja

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

---

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne.