Jerzy Pogonowski - Teksty on line
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 10:10, 23 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 20:02, 10 mar 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Skrypt: Tablice Analityczne) Następna edycja → |
||
Linia 55: | Linia 55: | ||
* [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]] | * [[Media: tabwstep.pdf | Preliminaria matematyczne i logiczne.]] | ||
* [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]] | * [[Media: tabkrz.pdf | Tablice analityczne dla KRZ.]] | ||
- | * [[Media: tabkrz.pdf | Tablice analityczne dla KRP.]] | + | * [[Media: tabkrp.pdf | Tablice analityczne dla KRP.]] |
* [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]] | * [[Media: tabdodrez.pdf | Dodatek: unifikacja i rezolucja.]] | ||
Wersja z dnia 20:02, 10 mar 2008
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Spis treści |
Książki (spisy treści)
- Tolerance spaces with applications to linguistics.
Adam Mickiewicz University Press, Poznań, 1981, 103 pp.
- Wstęp do językoznawstwa.
(Introduction to linguistics.) [With J. Bańczerowski and T. Zgółka.], Adam Mickiewicz University Press, Poznań, 1982, 356 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.
- Hierarchiczne analizy języka.
(Hierarchical analyses of language.) Adam Mickiewicz University Press, Poznań, 1991, 64 pp.
- Hiponimia.
(Hyponymy.) Adam Mickiewicz University Press, Poznań, 1991, 79 pp.
- Combinatory Semantics.
Adam Mickiewicz University Press, Poznań, 1993, 110 pp.
- Linguistic Oppositions.
Adam Mickiewicz University Press, Poznań, 1993, 135 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.
- Przyczynki do metodologii lingwistyki.
(Contributions to the methodology of linguistics.) [Editorship, with T. Zgółka.] Adam Mickiewicz University Press, Poznań, 1996, 168 pp.
- Euphony and Logos.
[Editorship, with Roman Murawski.] Rodopi, Amsterdam - Atlanta, 1997, x + 534 pp.
Artykuły
- Dialog czy sprzeczka?
- Przestrzenie podobieństwa i opozycji
- Tadeusz Batóg's Phonological Systems
- Pojęcia: ekstensji i ekstensji w pracach Romana Suszki
- Po co metalogika lingwistom?
- Jak żyć z paradoksem Skolema?
- On some applications of extended mereology
- Agnostyczny jeż w lesie semantycznym (Współautorka: Izabela Bondecka-Krzykowska)
- W sprawie programu badawczego lingwistyki formalnej
- Ile jest języków?
- 'Okres poznański' w twórczości Romana Suszki
- 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)
- Projekt logiki infinitarnej Ernsta Zermela
Skrypt: Tablice Analityczne
Poniższe notatki zawierają materiał z wykładów: 10, 11, 12, 18, 19, 24 i 25 kursu Logiki Matematycznej. W wersji przeznaczonej do ewentualnego druku ustalona zostanie jednolita numeracja, usunięte będą powtórzenia, itd. Autor będzie niezmiernie wdzięczny za wszelkie uwagi krytyczne pod adresem tych notatek.
- Preliminaria matematyczne i logiczne.
- Tablice analityczne dla KRZ.
- Tablice analityczne dla KRP.
- Dodatek: unifikacja i rezolucja.
Abstrakty
- Przestrzenie tolerancji i opozycji
- How do metalogical concepts emerge?
- O tworzeniu (się?) pojęć metalogicznych
- Zermelo i Skolemici
- Zermelo: a well founded antiskolemism
- Heksagonalne ogrody logiki
- Konsekwencje Bereszit 2:16 (Współautorka: Izabela Bondecka-Krzykowska)
Odczyty
- Lewis Carroll's Resolution and Tableaux (Applications of Algebra to Logic and Computer Science XII, 2008) (wersja beta)
- 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)
Inne
- Infinitarna logika Ernsta Zermela (spis treści i lista odczytów)
- 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
- Po co mi logika? Jestem Humanistką! (felieton dydaktyczny)
- Santa Claus Connection (felieton dydaktyczny)
- Kto będzie Dyrektorem Instytutu Językoznawstwa UAM? (felieton dydaktyczny)