Seminarium
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 19:51, 6 lip 2011 (edytuj) Pogonowski (Dyskusja | wkład) (→Czerwiec 2011) ← Poprzednia edycja |
Wersja z dnia 19:55, 6 lip 2011 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Czerwiec 2011) Następna edycja → |
||
Linia 14: | Linia 14: | ||
* Dr Robert Sochacki (Instytut Filozofii, Uniwersytet Opolski): [[Media: rs2011.pdf | '''Pewne ujęcie metody tablic analitycznych dla wybranych rachunków modalnych''']].<br>15 czerwca 2011. | * Dr Robert Sochacki (Instytut Filozofii, Uniwersytet Opolski): [[Media: rs2011.pdf | '''Pewne ujęcie metody tablic analitycznych dla wybranych rachunków modalnych''']].<br>15 czerwca 2011. | ||
- | * Bierzemy udział (Roman Murawski, Jerzy Pogonowski, Jan Woleński) w: ''Wielkie książki - recepcja''. '''Prawda''' Alfreda Tarskiego (Pisma logiczno filozoficzne, tom 1).<br>9 czerwca 2011, Collegium Minus UAM, Aula Lubrańskiego, 18:00. | + | * Bierzemy udział (Roman Murawski, Jerzy Pogonowski, Jan Woleński) w: ''Wielkie książki - recepcja''. '''Prawda''' Alfreda Tarskiego (Pisma logiczno filozoficzne, tom 1).Organizatorzy: Prof. Tomasz Polak (Pracownia Pytań Granicznych UAM), Prof. Kazimierz Przyszczypkowski (Zakład Polityki Oświatowej i Edukacji Obywatelskiej UAM).<br>9 czerwca 2011, Collegium Minus UAM, Aula Lubrańskiego, 18:00. |
* Dr Dorota Lipowska: [[Media: NG_sieciach_zlozonych.pdf | '''Gra w nazywanie na sieciach złożonych''']].<br>8 czerwca 2011. | * Dr Dorota Lipowska: [[Media: NG_sieciach_zlozonych.pdf | '''Gra w nazywanie na sieciach złożonych''']].<br>8 czerwca 2011. |
Wersja z dnia 19:55, 6 lip 2011
Czas i miejsce
Środa, godz: 11:00-12:30.
Collegium Novum, sala 315B.
Poznań, Al. Niepodległości 4.
Plan
Czerwiec 2011
- Dr Robert Sochacki (Instytut Filozofii, Uniwersytet Opolski): Pewne ujęcie metody tablic analitycznych dla wybranych rachunków modalnych.
15 czerwca 2011.
- Bierzemy udział (Roman Murawski, Jerzy Pogonowski, Jan Woleński) w: Wielkie książki - recepcja. Prawda Alfreda Tarskiego (Pisma logiczno filozoficzne, tom 1).Organizatorzy: Prof. Tomasz Polak (Pracownia Pytań Granicznych UAM), Prof. Kazimierz Przyszczypkowski (Zakład Polityki Oświatowej i Edukacji Obywatelskiej UAM).
9 czerwca 2011, Collegium Minus UAM, Aula Lubrańskiego, 18:00.
- Dr Dorota Lipowska: Gra w nazywanie na sieciach złożonych.
8 czerwca 2011.
Maj 2011
- Prof. Piotr Błaszczyk (Instytut Matematyki, Uniwersytet Pedagogiczny w Krakowie): O oswajaniu paradoksów.
18 maja 2011.
- Mgr Michał Lipnicki: Po co logika buddystom? Rola logiki w tradycji filozoficznej Dignagi (Dignāga) i Dharmakirtiego (Dharmakirti).
4 maja 2011.
- Uczestniczymy w konferencji: Zastosowania Logiki w Filozofii i Podstawach Matematyki XVI.
Michał Lipnicki: Logiczne metody uzasadniania wiedzy w buddyzmie.
9 - 13 maja 2011, Szklarska Poręba.
Kwiecień 2011
- Dr Victoria Kamasa: Sakrament małżeństwa. Definicja sytuacji w tekście liturgii Katechizmu Kościoła Katolickiego.
20 kwietnia 2011.
- Ida Koźmińska (V rok Etnolingwistyki UAM): Zwierzęta w chińskim językowym obrazie świata. Wartości i tabu.
6 kwietnia 2011.
- Uczestniczymy w konferencji: IV Studenckie Forum Badań nad Jezykiem.
Michał Lipnicki: Język, logika i soteriologia.
2 - 3 kwietnia 2011, Warszawa.
Marzec 2011
- Dr Sławomir Sikora: Ontologia formalna księgi Daodejing.
23 marca 2011.
- Uczestniczymy w Seminarium Zakładu Logiki Matematycznej UAM.
Jerzy Pogonowski: Intuicja matematyczna.
22 marca 2011
Odczyt mieści się w zakresie obowiązków służbowych pracownika Pogonowskiego, nie wymaga sponsorowania.
- Dr Bożena Niećko-Bukowska (Zakład Komunikacji Międzykulturowej i Aksjolingwistyki IJ UAM): Prawda negocjowalna.
9 marca 2011.
Luty 2011
- Uczestniczymy w konferencji: Argumentacja: krytyczne myślenie, dialog, perswazja.
Jerzy Pogonowski: Argumentacje odwołujące się do intuicji matematycznych.
26 lutego 2011, Warszawa.
Odczyt sponsoruje Polsko-Japońska Wyższa Szkoła Technik Komputerowych w Warszawie.
Styczeń 2011
- Wojciech Gutkiewicz (Etnolingwistyka UAM): Metodologiczne podstawy badań nad humorem.
12 stycznia 2011.
Rozpoczynamy wyjątkowo o 11:40.
Grudzień 2010
- Mgr Bogumiła Góral: Społeczna rola znaków językowych w przestrzeni miejskiej.
15 grudnia 2010.
- Uczestniczymy w 4. Poznańskich Kolokwiach Kognitywistycznych,
3-4 grudnia 2010, UAM, Poznań.
Jerzy Pogonowski: Aksjomaty ekstremalne a modele zamierzone teorii.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Zakład Logiki i Kognitywistyki UAM.
- Mgr Paulina Wandas: Tożsamość językowa użytkowników mów andaluzyjskich.
1 grudnia 2010.
Listopad 2010
- Uczestniczymy w Konferencji Internetowej Logika i argumentacja,
26-30 listopada 2010, Katedra Filozofii Logiki, Wydział Filozoficzny UPJPII, Kraków.
Jerzy Pogonowski: Operacje na argumentach.
Udział Jerzego Pogonowskiego w konferencji sponsoruje MEG.
- Dr Włodzimierz Lapis: Errare humanum est, czyli o pozytywach błądzenia w dochodzeniu do prawdy w nauce.
17 listopada 2010.
- Dr Marcin Selinger (Katedra Logiki i Metodologii Nauk, Uniwersytet Wrocławski): Strukturalna poprawność argumentu.
3 listopada 2010.
Październik 2010
- Uczestniczymy w 56 Konferencji Historii Logiki,
26-27 października 2010, Uniwersytet Jagielloński, Kraków.
Mgr Michał Lipnicki: W poszukiwaniu metody interpretacji logiki indyjskiej
- Mgr Michał Lipnicki: Możliwe interpretacje logiki indyjskiej.
20 października 2010.
- Spotkanie organizacyjne pracowników Zakładu Logiki Stosowanej UAM. Ustalenie programu seminarium w semestrze zimowym 2010-2011.
13 października 2010.
Wrzesień 2010
- Uczestniczymy w 41st Poznań Linguistic Meeting (PLM2010)
UAM, 23–26 września 2010, Gniezno.
Dorota Lipowska: To be fluent or not to be (at all) – in the evolutionary naming-game model (poster).
- Uczestniczymy w Język religijny dawniej i dziś w oczach młodych badaczy,
UAM, 20 - 21 września 2010, Gniezno.
Victoria Kamasa: Językowa definicja sytuacji zawarta w tekście obrzędów sakramentu chrztu w perspektywie goffmanowskiej
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 Zakład Logiki i Kognitywistyki UAM.
- 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
- Mgr Paulina Wandas: " To w jaki sposób mówisz odzwierciedla to kim jesteś" - wzajemne powiązanie języka i kultury na przykładzie las hablas andaluzas (mów andaluzyjskich).
26 maja
- Mgr Bogumiła Góral: Czym jest pejzaż językowy?
17 maja - wyjątkowo w PONIEDZIAŁEK g. 10.00
- Zebranie naukowe Instytutu Językoznawstwa:
Dr Dorota Lipowska: Gra w nazywanie. Modelowanie ewolucji języka.
17 maja g. 17.00 -
- Mgr Michał Lipnicki: Magiczność słowa we wczesnoindyjskiej refleksji nad językiem.
5 maja
- Uczestniczymy w konferencji: Applications of Logic in Philosophy and the Foundations of Mathematics, XV.
Szklarska Poręba, 4-7 maja 2010.
Jerzy Pogonowski: Alicja, Labirynty i Magiczny Ogród.
Udział Jerzego Pogonowskiego w konferencji sponsoruje Katedra Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.
Kwiecień 2010
- Mgr Michał Jahns: Pracownia Krytyki Feministycznej UAM jako Wspólnota Praktyków (Community of Practice) – "odkrycie" seksizmu językowego.
21 kwietnia.
- Uczestniczymy w spotkaniu Grupy Logiki, Języka i Informacji,
Uniwersytet Opolski, Opole, 15 kwietnia 2010.
Udział Jerzego Pogonowskiego w spotkaniu sponsoruje Jerzy Pogonowski.
- Mgr Victoria Kamasa: Język sacrum jako przedmiot badań. Dylematy badacza.
7 kwietnia.
Marzec 2010
- 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.