Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
project_activities:conferences [2017/10/22 11:35] Kristina Šekrst [2nd year] |
project_activities:conferences [2017/10/30 10:06] 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| | + | ^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| |
- | ^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| | + | |
^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| | ||
^Restović, Ivan| Brouwer’s Account of Time and Causality in the Logic of Change LCG | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ^Restović, Ivan| Brouwer’s Account of Time and Causality in the Logic of Change LCG | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
+ | ^Świętorzecka, Kordula| Towards semantics for Bolzano’s theory of substances and adherences | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
^Šekrst, Kristina| Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ^Šekrst, Kristina| Formalizing Inferential Evidentiality: From Justification Logic to Machine Learning | [[project_activities:fmsph|Formal Methods and Science in Philosophy II]] | Dubrovnik, 4--6 May, 2017| | ||
- | ^Kovač, Srećko| The Concept of Possibility in Ontological Proofs | [[http://logicandreligion.uw.edu.pl|2nd World Congress on Logic and Religion]] | Warsaw, June 18--22, 2017.| | + | ^Kovač, Srećko| The Concept of Possibility in Ontological Proofs | [[http://logicandreligion.uw.edu.pl|2nd World Congress on Logic and Religion]] | Warsaw, June 18--22, 2017| |
+ | ^Bašić, Gabriela| Why every theory of arguments needs a theory of arguing. Contribution to epistemological theories of argumentation | [[http://ecargument.org/?page_id=730|2nd European Conference on Argumentation: Argumentation and Inference]] | Fribourg, 20-23 June 2017| | ||
</datatables> | </datatables> | ||