Seminarium
From Zakład Logiki Stosowanej
Wersja z dnia 09:31, 5 mar 2010 (edytuj) Pogonowski (Dyskusja | wkład) (→Czerwiec 2010) ← Poprzednia edycja |
Wersja z dnia 09:32, 5 mar 2010 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Kwiecień 2010) Następna edycja → |
||
Linia 21: | Linia 21: | ||
* Uczestniczymy w spotkaniu ''Grupy Logiki, Języka i Informacji'', <br>Uniwersytet Opolski, Opole, 15 kwietnia 2010. | * Uczestniczymy w spotkaniu ''Grupy Logiki, Języka i Informacji'', <br>Uniwersytet Opolski, Opole, 15 kwietnia 2010. | ||
- | Udział Jerzego Pogonowskiego sponsoruje Jerzy Pogonowski. | + | Udział Jerzego Pogonowskiego w spotkaniu sponsoruje Jerzy Pogonowski. |
==Marzec 2010== | ==Marzec 2010== |
Wersja z dnia 09:32, 5 mar 2010
Plan
Czerwiec 2010
- Uczestniczymy w SemDial 2010: 14th Workshop on the Semantics and Pragmatics of Dialogue,
UAM, 16-18 czerwca 2010, Poznań.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Jerzy Pogonowski.
- Uczestniczymy w spotkaniu Grupy Logiki, Języka i Informacji,
Uniwersytet Opolski, Opole, 10 czerwca 2010.
Jerzy Pogonowski: Niewyrażalna tęsknota za modelem zamierzonym.
Odczyt sponsoruje Uniwersytet Opolski.
Maj 2010
- Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XV.
Szklarska Poręba, 4-7 maja 2010.
Jerzy Pogonowski: TBA
Udział Jerzego Pogonowskiego w konferencji sponsoruje Katedra Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.
Kwiecień 2010
- Uczestniczymy w spotkaniu Grupy Logiki, Języka i Informacji,
Uniwersytet Opolski, Opole, 15 kwietnia 2010.
Udział Jerzego Pogonowskiego w spotkaniu sponsoruje Jerzy Pogonowski.
Marzec 2010
- Uczestniczymy w konferencji: Filozoficzne Podstawy Nauki - Naukowe Podstawy Filozofii, 2.
Ruciane Nida, 27-29 marca 2010.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Jerzy Pogonowski.
- Uczestniczymy w konferencji: Applications of Algebra in Logic and Computer Science, XIV.
Zakopane, 8-14 marca 2010.
Jerzy Pogonowski: On Extremal Axioms.
Udział Jerzego Pogonowskiego w konferencji częściowo sponsoruje UAM.
Listopad 2009
Uczestniczymy w: LV Konferencji Historii Logiki,
Uniwersytet Jagielloński, Kraków 3-4 listopada 2009.
- Jerzy Pogonowski: Marzenia o monogamii (semantycznej).
Udział Jerzego Pogonowskiego w konferencji sponsoruje Jerzy Pogonowski.
Październik 2009
Uczestniczymy w: II Konferencji z Filozofii Matematyki,
UAM, Poznań 23-24 października 2009.
- Jerzy Pogonowski: Aksjomaty ekstremalne.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Jerzy Pogonowski.
Wrzesień 2009
Uczestniczymy w konferencji: Logiki nieklasyczne - teoria i zastosowania,
Uniwersytet Łódzki, Łódź 17-19 września 2009.
- Jerzy Pogonowski: Aksjomat kanoniczności Romana Suszki.
- Andrzej Wiśniewski, Jerzy Pogonowski: Niezupełność w ramach podwójnych.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Jerzy Pogonowski.
Maj 2009
- Dr Sławomir Sikora: Style wnioskowań logicznych - hinduizm.
20 maja 2009.
- Uczestniczymy w konferencji 90 lat filozofii na Uniwersytecie w Poznaniu.
Instytut Filozofii UAM, Poznań, 12 maja 2009.
Jerzy Pogonowski: Poznańskie juwenilia logiczne Romana Suszki.
Roman Suszko: No, świetnie, ale jaką metodą wybierzemy metodę głosowania?
Odczyt sponsorowany przez MEG.
- Mgr Marcin Junczys-Dowmunt: Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.
6 maja 2009.
Kwiecień 2009
- Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XIV.
Szklarska Poręba, 20-24 kwietnia 2009.
Jerzy Pogonowski: Sen Motyla.
Odczyt sponsorowany przez Katedrę Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.
- Mgr Victoria Kamasa: Językowa definicja sytuacji w obrzędach pogrzebu w kościele katolickim.
15 kwietnia.
Prezentacja.
- Uczestniczymy w konferencji: Argumentacja i racjonalna zmiana przekonań.
Ustroń, 1-3 kwietnia 2009.
Jerzy Pogonowski: Argumentacje starochińskich logików.
Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego.
Marzec 2009
- Uczestniczymy w konferencji: Applications of Algebra in Logic and Computer Science, XIII.
Zakopane, 9-15 marca 2009.
Jerzy Pogonowski: Incompleteness of effective double frames. (Wspólnie z Andrzejem Wiśniewskim.)
Udział Jerzego Pogonowskiego w konferencji jest częściowo sponsorowany przez UAM.
Luty 2009
- Dr Dorota Lipowska: Dlaczego jest tak mało synonimów?
25 lutego.
Prezentacja.
Styczeń 2009
- Jerzy Pogonowski: Dwa paradygmaty metalogiki: algebraiczny oraz semantyczny.
28 stycznia.
- Dr Sławomir Sikora: Hetucakra – kanon logiki buddyjskiej.
14 stycznia.
Grudzień 2008
- Przerwa ekologiczna w UAM.
Listopad 2008
- Mgr Marcin Junczys-Dowmunt: Metody statystyczne w tłumaczeniu automatycznym.
26 listopada.
- Dr Włodzimierz Lapis: Dystynktywność zbiorów.
12 listopada.
- Uczestniczymy w: LIV Konferencji Historii Logiki
Uniwersytet Jagielloński, Kraków, 4 listopada
Jerzy Pogonowski: Nowa edycja Notes on Early Chinese Logic Janusza Chmielewskiego.
Październik 2008
- Mgr Victoria Kamasa: Językowa definicja sytuacji w tekście "Obrzędy sakramentu małżeństwa" w perspektywie goffmanowskiej.
22 października.
Prezentacja.
- Uczestniczymy w konferencji: Filozoficzne Podstawy Nauki - Naukowe Podstawy Filozofii
Ruciane-Nida
Jerzy Pogonowski prowadzi sesję: Metajęzyk.
- Jerzy Pogonowski: Uwagi o metajęzyku.
8 października.
Wrzesień 2008
- Uczestniczymy w: VIII Polskim Zjeździe Filozoficznym
Uniwersytet Warszawski, Warszawa, 15-20 września
Jerzy Pogonowski: Zermelo i geneza logik infinitarnych.
Jerzy Pogonowski prowadzi w Sekcji Logiki VIII PZF dyskusję: 100 lat aksjomatycznej teorii mnogości. Zermelo a Szkoła Warszawska.
Sierpień 2008
- Uczestniczymy w: Sixth European Congress of Analytic Philosophy
Uniwersytet Jagielloński, Kraków, 21-26 sierpnia
Andrzej Wiśniewski, Jerzy Pogonowski: Questions, Recursion and Incompleteness.
Czerwiec 2008
- Uczestniczymy we: Wrocławskim Kolokwium Logicznym
Wrocław, 27 czerwca
Jerzy Pogonowski: Matematyka jest logiką Nieskończonego.
- Jerzy Pogonowski: Zermelo, Wrocław i ja.
19 czerwca.
Maj 2008
- Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XIII
Szklarska Poręba, 5-9 maja.
Jerzy Pogonowski: Rezolucja i tablice analityczne w Symbolic Logic Lewisa Carrolla.
Kwiecień 2008
- Dr Dorota Lipowska: Gra w nazywanie jako model ewolucji języka.
24 kwietnia. Prezentacja.
- Mgr Victoria Kamasa: Gimnastyka liturgiczna. Komunikowanie pozawerbalne w liturgii mszalnej w perspektywie goffmanowskiej.
10 kwietnia. Prezentacja.
Marzec 2008
- Mgr Marcin Junczys-Dowmunt: Niemieckie wyrazy złożone oraz ich polskie odpowiedniki. Automatyczna ekstrakcja jednostek dwujęzycznych z korpusów równoległych. (II)
27 marca.
- Uczestniczymy w konferencji: Applications of Algebra in Logic and Computer Science, XII
Zakopane, 3-8 marca
Jerzy Pogonowski: Lewis Carroll's resolution and tableaux.
Luty 2008
- Mgr Marcin Junczys-Dowmunt: Niemieckie wyrazy złożone oraz ich polskie odpowiedniki. Automatyczna ekstrakcja jednostek dwujęzycznych z korpusów równoległych. (I)
28 lutego.
Styczeń 2008
- Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.
23 stycznia.
Tekst odczytu.
- Jerzy Pogonowski, Mgr Joanna Smigerska: O kwantyfikatorach uogólnionych.
16 stycznia.
- Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla.
9 stycznia.
Grudzień 2007
- Dr Sławomir Sikora: Komparatystyka logiczna: Wschód i Zachód.
12 i 19 XII.
Listopad 2007
- Dr Włodzimierz Lapis: Pojęcie, rodzaje i aspekty dystynktywności.
7 i 21 XI.
Maj 2007
- Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XII
Szklarska Poręba, 7-11 maja.
Jerzy Pogonowski: Szczęściarze epistemiczni.
Marzec 2007
- Uczestniczymy w konferencji: Applications of Algebra in Logic and Computer Science, XI
Zakopane, 5-10 marca
Jerzy Pogonowski: Ptak Gödla.
Czas i miejsce
Środa, godz: 11:30-13:00.
Collegium Novum, sala 315B.
Poznań, Al. Niepodległości 4.