Jerzy Pogonowski - Tematyka badawcza
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 15:51, 13 gru 2013 (edytuj) Pogonowski (Dyskusja | wkład) (→Zachód) ← Poprzednia edycja |
Wersja z dnia 15:52, 13 gru 2013 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Zachód) Następna edycja → |
||
| Linia 105: | Linia 105: | ||
| * W ramach projektu badawczego ''Ciągłość i liczby rzeczywiste. Eudoxos - Dedekind - Conway'' (kierownik: prof. dr hab. Piotr Błaszczyk) przygotowałem tłumaczenia z języka niemieckiego wybranych prac (lub ich fragmentów):<br> | * W ramach projektu badawczego ''Ciągłość i liczby rzeczywiste. Eudoxos - Dedekind - Conway'' (kierownik: prof. dr hab. Piotr Błaszczyk) przygotowałem tłumaczenia z języka niemieckiego wybranych prac (lub ich fragmentów):<br> | ||
| - | * [[Media: clr2013przedmowa.pdf | '''Ciągłość i liczby rzeczywiste. Tłumaczenia wybranych tekstów źródłowych'''.]] (Spis treści.) | + | * [[Media: clr2013przedmowa.pdf | Ciągłość i liczby rzeczywiste. Tłumaczenia wybranych tekstów źródłowych.]] (Spis treści.) |
| * Richard Dedekind: ''Stetigkeit und irrationale Zahlen'' [przekład gotowy]<br> | * Richard Dedekind: ''Stetigkeit und irrationale Zahlen'' [przekład gotowy]<br> | ||
Wersja z dnia 15:52, 13 gru 2013
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Prace rozpoczęte
Aksjomaty ekstremalne
- Standard, exception, pathology.
- Aksjomaty ekstremalne i modele zamierzone teorii.
- Inexpressible longing for the intended model.
- Niewyrażalna tęsknota za modelem zamierzonym.
- Marzenia o monogamii (semantycznej). (Abstrakt.)
- Marzenia o monogamii (semantycznej). (Prezentacja.)
- On extremal axioms. (Prezentacja.)
- Aksjomaty ekstremalne. (Abstrakt.)
- Aksjomaty ekstremalne. (Prezentacja.)
Intuicja matematyczna
- Pułapki intuicji. Epistemologia matematyki. (Prezentacja.)
- Pułapki intuicji. (Abstrakt: Epistemologia matematyki.)
- Intuicja matematyczna w działaniu.
- Intuicja matematyczna - kilka uwag.
- Kilka uwag o intuicji matematycznej.
- Intuicja matematyczna. (Prezentacja: Seminarium Zakładu Logiki Matematycznej UAM.)
- Intuicja matematyczna. (Prezentacja: Filozofia matematyki III.)
- Intuicja matematyczna. (Abstrakt: Filozofia matematyki III.)
- Intuicja matematyczna. (Abstrakt: 57 Konferencja Historii Logiki.)
Zagadki matematyczne i logiczne
- Zagadki matematyczne. (Abstrakt.)
- Zagadki matematyczne. (Prezentacja.)
- Enigmatologia zamiast katechezy. (Prezentacja.)
- Wesołe zagadki. (Abstrakt.)
- Wesołe zagadki. (Prezentacja.)
- Spis treści tłumaczenia The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs (2013) Raymonda Smullyana.
- Spis treści tłumaczenia Alice in Puzzle-Land (1982) Raymonda Smullyana.
- Spis treści tłumaczenia Logical Labyrinths (2009) Raymonda Smullyana.
- Spis treści tłumaczenia The Magic Garden of George B. And Other Logic Puzzles (2007) Raymonda Smullyana.
Krytycznie o koncepcji matematyki ucieleśnionej
- Metafory poznawcze w matematyce. (Prezentacja.)
- Matematyczne fantazje kognitywistów. (Prezentacja.)
- Matematyczne fantazje kognitywistów.
- Matematyczne metafory kognitywistów.
- Geneza matematyki wedle kognitywistów.
Drobiazgi metalogiczne
- Dwa paradygmaty metalogiki.
- How do metalogical concepts emerge? (Abstrakt.)
- O tworzeniu (się?) pojęć metalogicznych. (Abstrakt.)
- Heksagonalne ogrody logiki. (Abstrakt.)
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.
- Matematyka jest logiką Nieskończonego. Prace Ernsta Zermela z podstaw matematyki. (spis treści)
- Zermelo i geneza logik infinitarnych.
Twórczość Romana Suszki
- Pojęcia: ekstensji i intensji w pracach Romana Suszki.
- 'Okres poznański' w twórczości Romana Suszki.
- Poznańskie juwenilia logiczne Romana Suszki. (Prezentacja.)
- Poznańskie juwenilia logiczne Romana Suszki. (Tekst.)
- Aksjomat kanoniczności Romana Suszki. (Abstrakt.)
- Aksjomat kanoniczności Romana Suszki. (Prezentacja.)
Paradoks Skolema
Historia logiki i matematyki
Wschód
- Remarks on Ancient Chinese Logic.
- Argumentacje logików starochińskich.
- Sen Motyla.
- Argumentacje starochińskich logików.
Zachód
- Alfred Tarski: Pojęcie prawdy w językach nauk dedukcyjnych (1933).
- 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)
- W ramach projektu badawczego Ciągłość i liczby rzeczywiste. Eudoxos - Dedekind - Conway (kierownik: prof. dr hab. Piotr Błaszczyk) przygotowałem tłumaczenia z języka niemieckiego wybranych prac (lub ich fragmentów):
- Richard Dedekind: Stetigkeit und irrationale Zahlen [przekład gotowy]
- Eduard Heine: Die Elemente der Functionenlehre [przekład gotowy]
- Georg Cantor: Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen [przekład gotowy]
- Georg Cantor: Über unendliche lineare Punktmannigfaltigkeiten [fragment, przekład gotowy]
- Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre [fragment, przekład gotowy]
- Heinrich Weber: Lehrbuch der Algebra [fragment, przekład gotowy]
- David Hilbert: Über den Zahlbegriff [przekład gotowy]
- Lew Pontriagin: Über stetige algebraische Körper [przekład gotowy]
- Emil Artin, Otto Schreier: Algebraische Konstruktion reeller Körper [przekład gotowy]
- Otto Hölder: Die Axiome der Quantität und die Lehre von Mass [przekład gotowy]
- Moritz Pasch: Vorlesungen über neuere Geometrie [fragment, przekład gotowy]
Argumentacja
- Argumentacje odwołujące się do intuicji matematycznych.
- Operacje na argumentacjach.
- Po co mi logika? Jestem Humanistką!
- Kto będzie Dyrektorem Instytutu Językoznawstwa UAM?
Tablice analityczne
Artykuły
- Lewis Carroll's Resolution and Tableaux.
- Rezolucja i tablice analityczne u Lewisa Carrolla.
- Konsekwencje Bereszit 2:16. (Współautorka: Izabela Bondecka-Krzykowska)
- Agnostyczny jeż w lesie semantycznym. (Współautorka: Izabela Bondecka-Krzykowska)
Skrypt: Tablice analityczne
- Preliminaria matematyczne i logiczne.
- Tablice analityczne dla KRZ.
- Tablice analityczne dla KRP.
- Dodatek: unifikacja i rezolucja.
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?
- Set theoretical approach to general systems theory.
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. - Kilka obserwacji na temat języka ningueno i konsekwencje dla teorii lingwistycznej. (Współautor: Alfred F. Majewicz)
- Semiotyczne aspekty genetyki molekularnej.
- Triada hipotaktyczna 1. An axiom system for hypotaxis (1)
- Triada hipotaktyczna 1. An axiom system for hypotaxis (2)
- Triada hipotaktyczna 2. Grundideen der kombinatorischen Semantik.
- Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (1)
- Triada hipotaktyczna 3. Hiponimia a wyrażenia złożone. (2)
- O pojęciu relacji językowej.
- Semantic engineering.
- Logiczna rekonstrukcja typologii strukturalnej.
- O aksjomatycznych opisach języka naturalnego.
- 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. - 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. - Euphony and Logos.
[Editorship, with Roman Murawski.] Rodopi, Amsterdam - Atlanta, 1997, x + 534 pp. - Światy matematyki. Tworzenie czy odkrywanie? Księga Pamiątkowa ofiarowana Profesorowi Romanowi Murawskiemu.
(The worlds of mathematics. Creation or discovery? Festschrift offered to Professor Roman Murawski.) [Editorship, with Izabela Bondecka-Krzykowska.] Wydawnictwo Naukowe UAM, Poznań 2010, 366 pp. - Investigationes Linguisticae (vols. I-VII).
