Seminarium
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 06:18, 23 wrz 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Listopad 2009) ← Poprzednia edycja |
Wersja z dnia 07:56, 23 wrz 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Plan) Następna edycja → |
||
Linia 30: | Linia 30: | ||
* Dr Sławomir Sikora: '''Style wnioskowań logicznych - hinduizm.''' <br>20 maja 2009. | * Dr Sławomir Sikora: '''Style wnioskowań logicznych - hinduizm.''' <br>20 maja 2009. | ||
- | * Uczestniczymy w konferencji ''90 lat filozofii na Uniwersytecie w Poznaniu.'' <br> Instytut Filozofii UAM, Poznań, 12 maja 2009. <br>Jerzy Pogonowski: [[Media: romansuszko.pdf | Poznańskie juwenilia logiczne Romana Suszki.]]<br>[[Media: brodacz.wav | '''Roman Suszko:''']] ''No, świetnie, ale jaką metodą wybierzemy metodę głosowania?''<br>Odczyt sponsorowany przez MEG. | + | * Uczestniczymy w konferencji ''90 lat filozofii na Uniwersytecie w Poznaniu.'' <br> Instytut Filozofii UAM, Poznań, 12 maja 2009. <br>Jerzy Pogonowski: [[Media: romansuszko.pdf | '''Poznańskie juwenilia logiczne Romana Suszki.''']]<br>[[Media: brodacz.wav | '''Roman Suszko:''']] ''No, świetnie, ale jaką metodą wybierzemy metodę głosowania?''<br>Odczyt sponsorowany przez MEG. |
* Mgr Marcin Junczys-Dowmunt: '''Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.''' <br>6 maja 2009. | * Mgr Marcin Junczys-Dowmunt: '''Statystyczny transfer składniowy. Hybrydowy system tłumaczenia.''' <br>6 maja 2009. | ||
Linia 36: | Linia 36: | ||
==Kwiecień 2009== | ==Kwiecień 2009== | ||
- | * Uczestniczymy w konferencji: ''Applications of Logic in Philosophy and the Foundations of Mathematics, XIV''. <br> Szklarska Poręba, 20-24 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: schreiberhau2009.pdf | Sen Motyla.]]<br>Odczyt sponsorowany przez Katedrę Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego. | + | * Uczestniczymy w konferencji: ''Applications of Logic in Philosophy and the Foundations of Mathematics, XIV''. <br> Szklarska Poręba, 20-24 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: schreiberhau2009.pdf | '''Sen Motyla.''']]<br>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.''' <br> 15 kwietnia. <br>[[Media: Pogrzeb.pdf | Prezentacja.]] | * Mgr Victoria Kamasa: '''Językowa definicja sytuacji w obrzędach pogrzebu w kościele katolickim.''' <br> 15 kwietnia. <br>[[Media: Pogrzeb.pdf | Prezentacja.]] | ||
- | * Uczestniczymy w konferencji: ''Argumentacja i racjonalna zmiana przekonań''. <br> Ustroń, 1-3 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: ustron2009polski.pdf | Argumentacje starochińskich logików.]]<br>Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego. | + | * Uczestniczymy w konferencji: ''Argumentacja i racjonalna zmiana przekonań''. <br> Ustroń, 1-3 kwietnia 2009. <br>Jerzy Pogonowski: [[Media: ustron2009polski.pdf | '''Argumentacje starochińskich logików.''']]<br>Odczyt sponsorowany przez Zakład Logiki i Metodologii Uniwersytetu Śląskiego. |
==Marzec 2009== | ==Marzec 2009== | ||
Linia 53: | Linia 53: | ||
==Styczeń 2009== | ==Styczeń 2009== | ||
- | * Jerzy Pogonowski: '''Dwa paradygmaty metalogiki: algebraiczny oraz semantyczny.''' <br> 28 stycznia. <br> [[Media: dwaparadygmaty.pdf | Tekst odczytu.]] | + | * Jerzy Pogonowski: [[Media: dwaparadygmaty.pdf | '''Dwa paradygmaty metalogiki: algebraiczny oraz semantyczny.''']] <br> 28 stycznia. |
* Dr Sławomir Sikora: '''Hetucakra – kanon logiki buddyjskiej.''' <br> 14 stycznia. | * Dr Sławomir Sikora: '''Hetucakra – kanon logiki buddyjskiej.''' <br> 14 stycznia. | ||
Linia 72: | Linia 72: | ||
- | * Jerzy Pogonowski: '''Uwagi o metajęzyku.''' <br> 8 października. <br> [[Media: metajezyk1.pdf | Tekst odczytu. ]] | + | * Jerzy Pogonowski: [[Media: metajezyk1.pdf | '''Uwagi o metajęzyku.''']] <br> 8 października. |
- | + | ||
==Czerwiec 2008== | ==Czerwiec 2008== | ||
- | * Jerzy Pogonowski: '''Zermelo, Wrocław i ja.''' <br> 19 czerwca. <br> [[Media: zermelobreslau.pdf | Tekst odczytu. ]] | + | * Jerzy Pogonowski: [[Media: zermelobreslau.pdf | '''Zermelo, Wrocław i ja.''']] <br> 19 czerwca. |
==Kwiecień 2008== | ==Kwiecień 2008== |
Wersja z dnia 07:56, 23 wrz 2009
Plan
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 nie jest sponsorowany przez UAM.
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 nie jest sponsorowany przez UAM.
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 nie jest sponsorowany przez UAM.
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.)
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.
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.
- Jerzy Pogonowski: Uwagi o metajęzyku.
8 października.
Czerwiec 2008
- Jerzy Pogonowski: Zermelo, Wrocław i ja.
19 czerwca.
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.
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.
Tekst odczytu.
- Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla.
9 stycznia.
Tekst odczytu.
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.
Czas i miejsce
Środa, godz: 11:30-13:00.
Collegium Novum, sala 315B.
Poznań, Al. Niepodległości 4.