Jerzy Pogonowski - Tematyka badawcza
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 08:59, 1 lip 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Metoda drzew semantycznych w Klasycznym Rachunku Logicznym) ← Poprzednia edycja |
Wersja z dnia 09:30, 1 lip 2007 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
| Linia 31: | Linia 31: | ||
| * [[Media: hipon.pdf | Hiponimia. ]] <br>(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp. | * [[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: 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: batfonsys.pdf | Tadeusz Batóg's Phonological Systems ]] | ||
| * [[Media: gajda.pdf | Po co metalogika lingwistom? ]] | * [[Media: gajda.pdf | Po co metalogika lingwistom? ]] | ||
| Linia 46: | Linia 44: | ||
| * [[Media: drzakop2007.pdf | Ptak Gödla ]] (Applications of Algebra to Logic and Computer Science XI, 2007) (wersja beta) | * [[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) | * [[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. | ||
| + | |||
| ---- | ---- | ||
Wersja z dnia 09:30, 1 lip 2007
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
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. - 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.
Prace rozpoczęte
Twórczość Romana Suszki
Paradoks Skolema
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)
Metoda drzew semantycznych w Klasycznym Rachunku Logicznym
- I. Preliminaria matematyczne.
- II. Drzewa semantyczne w KRZ.
- III. Propedeutycznie o drzewach semantycznych w KRP.
III. 0. Wstęp do rozdziału III.
III. 1. O budowaniu drzew semantycznych w 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.
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.
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.
