December  2016

On December the 2nd, Prof. H. Wansing gave an invited talk at a workshop on Proof Theory and Modal Logic at the University of Turin, see http://www.llc.unito.it/eventi/workshop-proof-theory-and-modal-logic. Moreover, he joinde the program committee of Advances in Modal Logic 2018 (Bern), see http://www.aiml.net

Novemer  2016

In the Colloquim "Logic and Epistemology" the following guest researchers presented talks:

November the 10th:

November the 24th:

October  2016

Christopher Badura presented a paper at Philosophy of Language (I): Semantics of Fictional Discourse, Bratislava, Institute of Philosophy of the Slovak Academy of Sciences, October 20-21, 2016

Daniel Skurt gave a talk on " Some remarks on identity in 1st and 2nd order minimal LP" at the Kyoto Workshop on Dialetheism and Paraconsistency, October 9-10, 2016.

On October the 7th, Prof. Patrick Blackburn (Roskilde) gave a talk at RUB on "Social Reasoning, Syntactic Recursion and Second-Order False Beliefs".

September  2016

\ifcolog00007.jpg

The IfCoLog Journal of Logics and their Applications special issue on Connexive Logics, edited by Heinrich Wansing, Hitoshi Omori and Thomas M. Ferguson, appreared, see http://www.collegepublications.co.uk/journals/ifcolog/?00007 The contributions to this special issue can also be downloaded at the connexive logic website: https://sites.google.com/site/connexivelogic/

Christopher Badura presented talks on "Truth in Fiction via Non-Standard Beleif Revsision" at the Colloquium Logicum 2016, September 10-12, 2016, Hamburg, and at SOPhiA 2016,  September 7-9, 2016, Salzburg.

August  2016

Daniel Skurt, Grigory Olkhovikov, and Heinrich Wansing took part in Advances in Modal Logic 2016, Budapest, from 30 August to 2 September. Daniel Skurt gave a short presentation "A survey on Kearns' modal semantics without possible worlds", which is joinjt workwith Hitoshi Omori (Kyoto).

July  2016

 AnneMarie Borg, Jesse Hyninck, and Daniel Skurt received the information that the confernece PhDs in Logic IX can take place in Bochum in May 2017.  

On July the 18th, Andrea Kruse successfully defended her PhD thesis, An Externalist Approach to Epistemic Responsibility -- Epistemic Duties and their Place in Social Epistemology. The thesis was evaluated with the best possible grade summa cum laude; the reviewers were Prof. Sandford Goldberg (Northwestern University, Evanston) and Prof. Heinrich Wansing. Congratulations Andrea! 

photo_skura.jpg

Prof. Tomasz Skura (Zielona Gora) took up his three-month Humboldt Research Fellowship and on July 13 presented a talk on "Refutation systems for constructive logic with strong negation and related systems." Welcome to Bochum, Tom.

drob.jpg

Dr Sergey A. Drobyshevich (Sobolev Institute of Mathematics, Novosibirsk) has received a Humboldt Research Fellowship for a research project on 2-intuitionistic logic. The project will be hosted in 2017 by Prof. Heinrich Wansing (RUB). Congratulations, Sergey!

Christopher Badura took up his position as a new PhD student in Bochum. Welcome to Bochum, Christopher.

June  2016 

LNC_poster.jpg

May  2016

 On May 25, Evelyn Erickson and João Daniel Dantas from the Universidade Federal do Rio Grande do Norte (UFRN), Brazil, presented talks at one of the bi-weekly meetings of the logicians at the Department of Philosophy II.They are visiting students at RUB in May, repectively May & June in the framework of the project GeTFun ("Generalizing Truth-Functionality"), International research staff exchange scheme (IRSES), EU. 

Dr Zach Weber (University of Otago, New Zealand) prested a talk "On closure and truth in substructural theories of truth” in the colloquium of the Department of Philosophy II.

Dr Allard Tamminga (Rijksuniversiteit Groningen and Universiteit Utrecht) in an unanimous decision received the Facultas Docendi in Philosophy and thereby successfully completed his Habilitation procedure at RUB. The Habilitation thesis has the title Studies in Philosophical Logic. Congratulations Allard!

Prof. Heinrich Wansing and Daniel Skurt attended the XXI Conference Applications of Logic in Philosophy and the Foundations of Mathematics, May 9-13, 2016, Szklarska Poreba Poland, see http://www.klmn.uni.wroc.pl/conference.html  Daniel Skurt gave a talk on Non-Monotonic Operators, and Heinrich Wansing presented two invited lectures on Bi-Connexive Variants of Heyting-Brouwer Logic.  

April  2016

Prof. Heinrich Wansing gave an invited talk on "Completeness of connexive Heyting-Brouwer logic" (joint work with Norihiro Kamide) at the Symposium: Logic, Mathematics, and Perception, University of Stocklhom, April 29,  see http://www.philosophy.su.se/forskning/projekt-och-centra/cllam/symposium-logic-mathematics-and-perception-1.279329

 *****

Joao_Marcos

Prof. João Marcos, Universidade Federal do Rio Grande do Norte (UFRN), Brazil, has received a Friedrich Wilhelm Bessel Research Award for his work on non-classical logics. The Alexander von Humboldt Foundation grants about 20 Friedrich Wilhelm Bessel Research Awards annually, funded by the Federal Ministry of Education and Research, to internationally renowned academics from abroad in recognition of their outstanding accomplishments in research to date and their exceptional promise for the future. The award is valued at € 45,000, and award winners are invited to conduct a research project of their own choosing in Germany in close collaboration with a specialist colleague. The project duration is six to twelve months, and the project of Prof. Marcos will be hosted in 2017 by the nominator, Prof. Heinrich Wansing. Congratulations, João!

Prof. Heinrich Wansing gave an invited talk on "Three sources of knowledge" at the conference "Representing Knowledge: logical and philosophical approaches", History and Philosophy of Sciences and Technology (IHPST), Paris, April the 1st, see http://www.ihpst.cnrs.fr/en/activites/conferences/representing-knowledge-logical-and-philosophical-approaches  

March 2016

   Mathieu Beirlaen

Dr Mathieu Beirlaen (RUB, previously  National Autonomous University of Mexico and University of Ghent) has received a Humboldt Research Fellowship for a research project entitled “A Qualitative Model for Ampliative Inference“. The project will be hosted in 2017 by Prof. Heinrich Wansing (RUB) and Prof. Gerhard Schurz (Heinrich-Heine University Düsseldorf). Congratulations, Mathieu!

Prof. Heinrich Wansing joined the programme committee of the Third International Workshop on Defeasible and Ampliative Reasoning, DARe-16, at the European Conference on Artificial Intelligence, The Hague, Netherlands, August 2016.  

February 2016

Spo 

Prof. Sergei P. Odintsov (Sbobolev Institue of Mathematics and Novosibirsk State University) visited the RUB and gave a talk on "The minimality of minimal logic". 

Prof. Heinrich Wansing joined the programme committee of the 8th conference on Nonclassical Logic at the University of Lodz, September 5-7, 2016.

January 2016

Tomasz_Jarmuzek 

Dr Tomasz Jarmuzek (Nicolaus Cpernicus University of Torun) visited the RUB for one week and gave a series of three talks on a unified formal theory of tableau systems.

Prof. Heinrich Wansing gave an invited talk on "Negation, denial, and inference" at theworkshop How to Say 'Yes' or 'No': Logical Approaches to Modes of Assertion and Denial, University of Salento, Lecce (Italy), 21-22 January, 2016, see https://sites.google.com/site/howtosayyesorno/home/workshop