Jerzy Pogonowski - Tematyka badawcza

From Zakład Logiki Stosowanej

Wersja z dnia 15:52, 13 gru 2013 (edytuj) Pogonowski (Dyskusja | wkład) (→Zachód) ← Poprzednia edycja		Wersja z dnia 19:29, 15 sty 2014 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Zagadki matematyczne i logiczne) Następna edycja →
Linia 41:		Linia 41:
	===Zagadki matematyczne i logiczne===		===Zagadki matematyczne i logiczne===
		+	* [[Media: emp2013.pdf | Entertaining math puzzles.]]
	* [[Media: khl59jp.pdf | Zagadki matematyczne.]] (Abstrakt.)		* [[Media: khl59jp.pdf | Zagadki matematyczne.]] (Abstrakt.)
	* [[Media: khl59slides.pdf | Zagadki matematyczne.]] (Prezentacja.)		* [[Media: khl59slides.pdf | Zagadki matematyczne.]] (Prezentacja.)

---

Wersja z dnia 19:29, 15 sty 2014

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

---

Spis treści 1 Prace rozpoczęte 1.1 Aksjomaty ekstremalne 1.2 Intuicja matematyczna 1.3 Zagadki matematyczne i logiczne 1.4 Krytycznie o koncepcji matematyki ucieleśnionej 1.5 Drobiazgi metalogiczne 1.6 Infinitarna logika Ernsta Zermela 1.7 Twórczość Romana Suszki 1.8 Paradoks Skolema 1.9 Historia logiki i matematyki 1.9.1 Wschód 1.9.2 Zachód 1.10 Argumentacja 1.11 Tablice analityczne 1.11.1 Artykuły 1.11.2 Skrypt: Tablice analityczne 2 Prace zakończone 2.1 Hierarchiczne analizy języka 2.2 Przestrzenie podobieństwa (tolerancji) i opozycji 2.3 Logiczna rekonstrukcja koncepcji lingwistycznych 2.4 Prace translatorskie 2.5 Prace edytorskie

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

• Entertaining math puzzles.
• 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

• Jak żyć z paradoksem Skolema?
• Zermelo i Skolemici.
• Paradox and Intuition.

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):
  

• 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]
  

• 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).