Jerzy Pogonowski - Teksty on line

From Zakład Logiki Stosowanej

Wersja z dnia 21:34, 8 gru 2014 (edytuj) Pogonowski (Dyskusja | wkład) (→Inne) ← Poprzednia edycja		Wersja z dnia 21:36, 8 gru 2014 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Inne) Następna edycja →
Linia 160:		Linia 160:
	* [[Media: eztresc.pdf | Matematyka jest logiką Nieskończonego. Prace Ernsta Zermela z podstaw matematyki. ]] (spis treści)		* [[Media: eztresc.pdf | Matematyka jest logiką Nieskończonego. Prace Ernsta Zermela z podstaw matematyki. ]] (spis treści)
	* [[Media: 2H01A00725.pdf | Infinitarna logika Ernsta Zermela. ]] (spis treści i lista odczytów)		* [[Media: 2H01A00725.pdf | Infinitarna logika Ernsta Zermela. ]] (spis treści i lista odczytów)
		+	* [[Media: clr2013przedmowa.pdf | Ciągłość i liczby rzeczywiste. Tłumaczenia wybranych tekstów źródłowych.]] (Spis treści.)
	* [[Media: rs2014toc.pdf | Spis treści tłumaczenia ''A Beginner's Guide to Mathematical Logic'' (2014) Raymonda Smullyana.]] Rozpoczęto prace nad przekładem.		* [[Media: rs2014toc.pdf | Spis treści tłumaczenia ''A Beginner's Guide to Mathematical Logic'' (2014) Raymonda Smullyana.]] Rozpoczęto prace nad przekładem.
	* [[Media: smullyan2013przedmowa.pdf | Spis treści tłumaczenia ''The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs'' (2013) Raymonda Smullyana.]]		* [[Media: smullyan2013przedmowa.pdf | Spis treści tłumaczenia ''The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs'' (2013) Raymonda Smullyana.]]

---

Wersja z dnia 21:36, 8 gru 2014

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

---

Spis treści 1 Książki (spisy treści) 2 Artykuły 3 Skrypt: Tablice Analityczne 4 Abstrakty 5 Odczyty 6 Inne

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.

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

Artykuły

• Dialog czy sprzeczka?
• O aksjomatycznych opisach języka naturalnego.
• O definicji istotności.
• Set-theoretical approach to general systems theory.
• Semantic engineering.
• Przestrzenie podobieństwa i opozycji.
• 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)
• Semiotyczne aspekty genetyki molekularnej.
• On the scientific works of Maria Steffen-Batóg.
• On the scientific works of Tadeusz Batóg.
• Tadeusz Batóg's Phonological Systems.
• W sprawie programu badawczego lingwistyki formalnej.
• Ile jest języków?
• Pojęcia: ekstensji i intensji w pracach Romana Suszki.
• Po co metalogika lingwistom?
• Jak żyć z paradoksem Skolema?
• On some applications of extended mereology.
• 'Okres poznański' w twórczości Romana Suszki.
• O pojęciu relacji językowej.
• Logiczna rekonstrukcja typologii strukturalnej.
• Kilka obserwacji na temat języka ningueno i konsekwencje dla teorii lingwistycznej. Współautor: Alfred F. Majewicz.
• Agnostyczny jeż w lesie semantycznym. (Współautorka: Izabela Bondecka-Krzykowska)
• 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.
• Paradox and Intuition.
• Lewis Carroll's Resolution and Tableaux.
• Rezolucja i tablice analityczne u Lewisa Carrolla.
• Remarks on Ancient Chinese Logic.
• Argumentacje logików starochińskich.
• Poznańskie juwenilia logiczne Romana Suszki.
• Niewyrażalna tęsknota za modelem zamierzonym.
• Operacje na argumentacjach.
• Aksjomaty ekstremalne i modele zamierzone teorii.
• Inexpressible longing for the intended model.
• Intuicja matematyczna - kilka uwag.
• Geneza matematyki wedle kognitywistów.
• Matematyczne metafory kognitywistów.
• Matematyczne fantazje kognitywistów.
• Kilka uwag o intuicji matematycznej.
• Standard, exception, pathology.
• Entertaining math puzzles.

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

• Zagadki matematyczne.
• Pułapki intuicji.
• Wesołe zagadki.
• Metafory matematyczne.
• Intuicja matematyczna. (57 Konferencja Historii Logiki)
• Intuicja matematyczna. (Filozofia matematyki III)
• Marzenia o monogamii (semantycznej).
• Aksjomaty ekstremalne.
• Aksjomat kanoniczności Romana Suszki.
• O Notes on Early Chinese Logic Janusza Chmielewskiego.
• 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

• Matematyka i Humanistki. IV Konferencja Filozofii Matematyki i Informatyki, Wydział Matematyki i Informatyki UAM, Poznań, 5-6 grudnia 2014.
• Obiekty patologiczne w matematyce. Seminarium Dydaktyki, Filozofii i Podstaw Matematyki, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN, Kraków, 23 października 2014.
• Patologie matematyczne. 60 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 21-22 października 2014.
• Pojęciowy obraz świata w matematyce. Konferencja Język, Kultura, Komunikacja, organizowana przez Studium Języków Obcych Politechniki Opolskiej oraz Komisję Nauk Filologicznych Polskiej Akademii Nauk, oddział we Wrocławiu.
  Studium Języków Obcych Politechniki Opolskiej, Opole, 29 września 2014.
• Twórcza rola patologii w matematyce. I Interdyscyplinarna Konferencja Naukowa Transgresje Matematyczne, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN w Krakowie, Kraków 15-18 czerwca 2014.
• Cudowne obiekty patologiczne. Seminarium Zakładu Logiki Stosowanej UAM, 26 marca 2014.
• Urok zagadek matematycznych. Spotkanie Oddziału Krakowskiego Polskiego Towarzystwa Matematycznego oraz Młodzieżowego Towarzystwa Przyjaciół Nauk i Sztuk w Centrum Młodzieży im. dr H. Jordana, Kraków, 24 października 2013.
• Metafory poznawcze w matematyce. Seminarium Dydaktyki Matematyki Szkoły Wyższej, Instytut Matematyki, Uniwersytet Pedagogiczny im. KEN, Kraków, 24 października 2013.
• Zagadki matematyczne. 59 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 22 października 2013.
• Enigmatologia zamiast katechezy. Seminarium Zakładu Logiki Stosowanej UAM, Poznań, 16 października 2013.
• Matematyczne fantazje kognitywistów. Kolokwium Logiczne II, Uniwersytet Wrocławski, Wrocław, 14-15 czerwca 2013.
• Pułapki intuicji. Konferencja Epistemologia matematyki, Uniwersytet Szczeciński, Pobierowo, 4-9 czerwca 2013.
• Wesołe zagadki. 22 Spotkanie Grupy Logiki, Języka i Informacji, Uniwersytet Opolski, Opole, 14 maja 2013.
• Matematyczne metafory kognitywistów. LVIII Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków, 23-24 października 2012.
• Intuicja matematyczna w działaniu. Konferencja Identyczność znaku czy znak identyczności? Wokół logiki niefregowskiej zorganizowana dla uczczenia 70 rocznicy urodzin Prof. Mieczysława Omyły. Uniwersytet Warszawski, 12-13 grudnia 2011, Warszawa.
• Geneza matematyki wedle kognitywistów. Seminarium Zakładu Logiki Stosowanej UAM, 23 listopada 2011.
• Intuicja matematyczna. Filozofia matematyki III, UAM, 17 października 2011.
• Alfred Tarski: Pojęcie prawdy w językach nauk dedukcyjnych (1933). Wielkie książki - recepcja. UAM, 9 czerwca 2011.
• Intuicja matematyczna. Seminarium Zakładu Logiki Matematycznej UAM, 22 marca 2011.
• Argumentacje odwołujące się do intuicji matematycznej. Szósta konferencja ArgDiaP Zastosowania technik argumentacyjnych, 26 II 2011, Polsko-Japońska Wyższa Szkoła Technik Komputerowych w Warszawie.
• Aksjomaty ekstremalne i modele zamierzone teorii. 4 Poznańskie Kolokwia Kognitywistyczne, 3 grudnia 2010, UAM, Poznań.
• Inexpressible longing for the intended model. Spotkanie Grupy Logiki, Języka i Informacji, Uniwersytet Opolski, Opole, 10 czerwca 2010 (skrócona wersja angielska).
• Niewyrażalna tęsknota za modelem zamierzonym. Spotkanie Grupy Logiki, Języka i Informacji, Uniwersytet Opolski, Opole, 10 czerwca 2010.
• On extremal axioms. Applications of Algebra in Logic and Computer Science XIV, Zakopane 2010.
• Alicja, Labirynty i Magiczny Ogród. Zastosowania Logiki w Filozofii i Podstawach Matematyki XV, Szklarska Poręba, 4-7 maja 2010.
• Marzenia o monogamii (semantycznej). LV Konferencja Historii Logiki, Kraków, 3-4 listopada 2009.
• Aksjomaty ekstremalne. II Konferencja Filozofia Matematyki, Poznań, 23 października 2009.
• Aksjomat kanoniczności Romana Suszki. Logiki nieklasyczne - teoria i zastosowania. Łódź, 18 września 2009.
• Poznańskie juwenilia logiczne Romana Suszki. 90 lat filozofii na Uniwersytecie w Poznaniu, Instytut Filozofii UAM, 12 maja 2009.
• Sen Motyla. Zastosowania Logiki w Filozofii i Podstawach Matematyki XIV, Szklarska Poręba, 20-24 kwietnia 2009.
• Argumentacje starochińskich logików. Argumentacja i racjonalna zmiana przekonań, Ustroń, 1-3 kwietnia 2009.
• Dwa paradygmaty metalogiki. Seminarium Zakładu Logiki Stosowanej UAM, 28 stycznia 2009.
• Nowa edycja Notes on Early Chinese Logic Janusza Chmielewskiego. LIV Konferencja Historii Logiki, Kraków, 4 listopada 2008.
• Uwagi o metajęzyku. Filozoficzne Podstawy Nauki - Naukowe Podstawy Filozofii, Ruciane Nida, październik 2008.
• Zermelo a Szkoła Warszawska. 100 lat aksjomatycznej teorii mnogości. Dyskusja w Sekcji Logiki, VIII Polski Zjazd Filozoficzny, 16 IX 2008. W dyskusji udział biorą Profesorowie: Roman Murawski (UAM), Jan Zygmunt (Uniwersytet Wrocławski), Stanisław Krajewski (Uniwersytet Warszawski), Zofia Adamowicz (Polska Akademia Nauk), Janusz Czelakowski (Uniwersytet Opolski), Krzysztof Wójtowicz (Uniwersytet Warszawski) oraz Jerzy Pogonowski (UAM, moderator).
• Zermelo i geneza logik infinitarnych. VIII Polski Zjazd Filozoficzny, 16 IX 2008.
• Matematyka jest logiką Nieskończonego. Wrocławskie Kolokwium Logiczne, 27 VI 2008.
• Paradoksy a Intuicja. Koło Logiczne Studentów IJ UAM, 7 IV 2008.
• 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

• Matematyka jest logiką Nieskończonego. Prace Ernsta Zermela z podstaw matematyki. (spis treści)
• Infinitarna logika Ernsta Zermela. (spis treści i lista odczytów)
• Ciągłość i liczby rzeczywiste. Tłumaczenia wybranych tekstów źródłowych. (Spis treści.)
• Spis treści tłumaczenia A Beginner's Guide to Mathematical Logic (2014) Raymonda Smullyana. Rozpoczęto prace nad przekładem.
• Spis treści tłumaczenia The Gödelian Puzzle Book. Puzzles, Paradoxes and Proofs (2013) 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.
• Spis treści tłumaczenia Alice in Puzzle-Land (1982) Raymonda Smullyana.
• 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 niedopuszczony do druku w Investigationes Linguisticae)
• Piosenka o Poznaniu