Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
project_activities:conferences [2017/10/27 12:08]
Kristina Šekrst [2nd year]
project_activities:conferences [2017/10/30 10:06] (current)
Kristina Šekrst [2nd year]
Line 29: Line 29:
 ^Świętorzecka,​ Kordula | O pewnym rozszerzeniu meinongowskiej logiki Zalty. Fragment ontologii Bolzana ​ |[[https://​www.kul.pl/​files/​57/​aktualnosci/​2016_plakat_logika.pdf | Logika a modalność]] | Lubłin, November 22, 2016 | ^Świętorzecka,​ Kordula | O pewnym rozszerzeniu meinongowskiej logiki Zalty. Fragment ontologii Bolzana ​ |[[https://​www.kul.pl/​files/​57/​aktualnosci/​2016_plakat_logika.pdf | Logika a modalność]] | Lubłin, November 22, 2016 |
 ^Świętorzecka,​ Kordula | Is Bolzano'​s Inbegriff of All Adherences Paradoxical?​ | [[http://​ls.informatik.uni-tuebingen.de/​CPTP/​ | Consequence and Paradox: Between Truth and Proof]]| Tübingen, March 2--3, 2017| ^Świętorzecka,​ Kordula | Is Bolzano'​s Inbegriff of All Adherences Paradoxical?​ | [[http://​ls.informatik.uni-tuebingen.de/​CPTP/​ | Consequence and Paradox: Between Truth and Proof]]| Tübingen, March 2--3, 2017|
-^Lojkić, Goran| Intensional Cumulative Ramified Type Theory (a rough sketch) | [[https://​www.iuc.hr/​course-details.php?​id=1013|Philosophy of Science: Philosophy of Biology, Thought Experiments,​ Foundations and Ethics of Neuroscience]] | Dubrovnik, April 24--28, 2017| 
-^Restović, Ivan| Brouwer Against Science| [[https://​www.iuc.hr/​course-details.php?​id=1013|Philosophy of Science: Philosophy of Biology, Thought Experiments,​ Foundations and Ethics of Neuroscience]] | Dubrovnik, April 24--28, 2017| 
 ^Bašić, Gabriela| Contribution to discussion on formal vs. informal logic | [[project_activities:​fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| ^Bašić, Gabriela| Contribution to discussion on formal vs. informal logic | [[project_activities:​fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|
 ^Lojkić, Goran| Cumulative Intensional Ramified Type Theory | [[project_activities:​fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| ^Lojkić, Goran| Cumulative Intensional Ramified Type Theory | [[project_activities:​fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017|