From Zakład Logiki Stosowanej

Spis treści 1 Czas i miejsce 2 Plan 2.1 Czerwiec 2011 2.2 Maj 2011 2.3 Kwiecień 2011 2.4 Marzec 2011 2.5 Luty 2011 2.6 Styczeń 2011 2.7 Grudzień 2010 2.8 Listopad 2010 2.9 Październik 2010 2.10 Wrzesień 2010 2.11 Czerwiec 2010 2.12 Maj 2010 2.13 Kwiecień 2010 2.14 Marzec 2010 2.15 Listopad 2009 2.16 Październik 2009 2.17 Wrzesień 2009 2.18 Maj 2009 2.19 Kwiecień 2009 2.20 Marzec 2009 2.21 Luty 2009 2.22 Styczeń 2009 2.23 Grudzień 2008 2.24 Listopad 2008 2.25 Październik 2008 2.26 Wrzesień 2008 2.27 Sierpień 2008 2.28 Czerwiec 2008 2.29 Maj 2008 2.30 Kwiecień 2008 2.31 Marzec 2008 2.32 Luty 2008 2.33 Styczeń 2008 2.34 Grudzień 2007 2.35 Listopad 2007 2.36 Maj 2007 2.37 Marzec 2007

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 (Roman Murawski, Jerzy Pogonowski, Jan Woleński) udział 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.
  Udział pracownika Pogonowskiego w dyskusji finansuje UAM.

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