Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: Deutsch | English

Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 09:30, 1 lip 2007 (edytuj)
Pogonowski (Dyskusja | wkład)

← Poprzednia edycja
Aktualna wersja (18:14, 20 gru 2015) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)

 
(122 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: 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 edytorskie===+
- +
-* [[Media: struklog.pdf | Struktura logiczna rozumowań lingwistycznych. ]] <br>(Logical structure of linguistic inference.) [Editorship, with T. Zgółka.], <br>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.] <br>Adam Mickiewicz University Press, Poznań, 1996, 168 pp. +
- +
- +
-----+
- +
-==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)+
- +
-===Metoda drzew semantycznych w Klasycznym Rachunku Logicznym===+
- +
-* '''I. Preliminaria matematyczne.'''+
- +
-* '''II. Drzewa semantyczne w KRZ.'''+
- +
-* '''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ą. ]]+
- +
-III. 6. Rachunek predykatów z symbolami funkcyjnymi. <br>Prefiksowe postacie normalne i skolemizacja. +
- +
-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. Twierdzenie Herbranda. +
- +
-IV. 6. Twierdzenie Betha i Lemat Craiga.+
- +
-IV. 7. Twierdzenie Churcha.+
- +
-IV. 8. Teorie pierwszego rzędu. +
- +
-IV. 9. Zadania do rozdziału IV. +
- +
-* '''V. Zastosowania.'''+
- +
-* '''VI. Zadania.'''+
[[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.