News

March  2017

Christopher Badura gave a talk on "Can we imagine tout court-absences of kinds or particulars?" at the Workshop on the role of imagination in epistemology, Antwerp, March 16.

Prof. João Marcos (UFRN, Brazil), received his Friedrich Wilhelm Bessel-Award at the 45th Symposium for Research Award Winners of the Alexander von Humboldt-Foundation, Bamberg, March 23-26, 2017.

Joao_Heinrich.jpg

Dr. Paolo Maffezioli received a Humboldt Research Fellowship for Postdoctoral Researchers from the Alexander von Humboldt-Foundation to co-operate with Prof. H. Wansing and colleagues in Bochum for two years. Congratulations, Paolo!

January  2017

Prof. H. Wansing joined the program committee of

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

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  201

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 (Sobolev 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

December 2015

Prof. Heinrich Wansing joined the scientific committee of "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning – 40 years of CLE", Campinas, Brazil, September 12-15, 2016.

November 2015

Prof. Heinrich Wansing gave an invited talk at the conference General Proof Theory Celebrating 50 Years of Dag Prawitz's "Natural Deduction", 27–29 November 2015 in Tübingen, Germany, see http://ls.informatik.uni-tuebingen.de/GPT/organisation.html

Moreover, on November 3, he gave a lunchtime talk on "Compositionality in proof-theoretic semantics"at the Center for Philosophy of Science, University of Pittsburgh.

September 2015

Andrea Kruse presented a joint paper with Amy Flowerree on "How to Be an Epistemic Consequentialist (Or, how We Learned not to Be a Mad Mad Dog Reliabilist)" at the GAP.9 Congress in Osnabrück, see http://gap9.de/en/

Prof. Heinrich Wansing gave invited lectures on "Compositionality in proof-theoretic semantics" at

Moreover, he gave a talk "On Split Negation, Falsification, and Verification" at the GAP.9 Congress in Osnabrück, see http://gap9.de/en/. At that conference he was elected as a memeber of the jury of the Wolfgang Stegmüller Award 2018.

Yaroslav_Shramko

August2015

Prof. Heinrich Wansing joined the program committee of the Amsterdam Colloquium 2015, see http://www.illc.uva.nl/AC/AC2015/

He presented invited talks

July 2015

Prof. Heinrich Wansing entered into the project Generalizing Truth-Functionality (GETFUN - FP7-PEOPLE-2012-IRSES).

June 2015

Daniel Skurt and Prof. Heinrich Wansing presented papers at UNILOG 2015 in Istanbul, and Dr. Hitoshi Omori and Prof. Heinrich Wansing organized a workshop on connexive logic at UNILOG 2015, see http://www.uni-log.org/start5.html

Prof. Heinrich Wansing joined the program committee of C6, see http://www.aiml.net/

The workshop "Logic in Bochum 1" took place on June 22 and 23:

Andrea Kruse presented a talk in Cologne at the workshop Defeaters, Higher-order Evidence and the Limits of Defeat.

Dr. Dunja Seselja gave a talk at the 8th Munich-Sydney-Tilburg (MuST) Conference on "Objectivity in Science" at Tilburg University. Topic: Is interaction conducive of scientific objectivity?

May 2015

Andrea Kruse gave a talk on "Die Epistemische Bedeutung von Peer Dissens" at the workshop Epistemischer Relativismus und Dissens, TU Dresden, May 15-17. 

April 2015

Grigory_Olkhovikov

Dr. Grigory Olkhovikov (Yekaterinburg) took ap up his Humboldt Research Fellowship.

March 2015

Dr. Dunja Seselja gave a  talk at the University of Zurich, Lecture series Disagreement. Topic: Scientic Disagreements: Epistemological and Methodological Considerations

Daniel Skurt finished his research visit at the Graduate Center of the City University of New York (February 15 - March 31).

February 2015

The volume Proof Theory of N4-Paraconsistent Logics, Studies in Logic, Vol. 54, by N. Kamide and H. Wansing has appeared.

n4-related

On February 5, Daniel Skurt gave a  talk on Paraconsistent circumscription in the séminaire interuniversitaire de recherche at the University of Namur (Belgium).

January 2015

The entry on negation in the Stanford Encyclopedia of Philosophy has been released, see http://plato.stanford.edu/entries/negation/.

On January 13, Prof. Joke Meheus (Ghent University) gave a talk in Bochum on "Uncertainty in Scientific Discovery: Where Ampliative Reasoning and Inconsistency-Handling Meet. 

Prof. Heinrich Wansing joined the program committee of  DARe 2015, International Workshop on Defeasible and Ampliative Reasoning, held in conjunction with IJCAI 2015, Buenos Aires, July 2015.

December 2014

The DFG approved the research project "Doxastic Agency and Epistemic Responsibility", a project that applies the modal logic of agency to problems of epistemology. The project will start in the secod half of 2015.

The volume Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic, Vol. 7, Heinrich Wansing (ed.), appeared.

Prawitz_cover

Filippo Casati organized the workshop Alexius Meinong. Towards Being and Not-Being, on December 13 and 14. The speakers were: Francesco Berto, Filippo Casati, Naoya Fujikawa, Dominic Hyde, and Graham Priest.

November 2014

In the colloquium on Logic and Epistemology, Prof. Grigory Olkhovikov, University of  Ekaterinburg and University of Tübingen, gave a talk "On definability by inference rules in intuitionistic propositional logic"  (November 25) and  Prof. Miriam McCormick  (University  of Richmond) presented a talk on "What do beliefs feel like?" (November 4).

Prof. Heinrich Wansing joined the programme committee of Trends in Logic XV, Logics for Social Behaviour, Delft, 29 June to 3 July 2015, http://www.appliedlogictudelft.nl/trends-in-logics-2015-logics-for-social-behaviour/

October 2014

Filippo Casati (Graduate Center, CUNY) arrived to teach a class on "Quine, Meinong and Heidegger: On what there is (not)" in the context of the rectorate's program for research-oriented teaching "Forschendes Lernen".

Prof. Heinrich Wansing joined the programme committee of GAP.9 Philosophie zwischen Lehnstuhl und Labor / Philosophy Between Armchair and Lab, Osnabrück, September 2015, as chair of the Section on Logic.

September 2014

Dr. Dunja Seselja gave a talk  (together with Dr Christian Straßer) at the Workshop on Norms of Reasoning. Topic: The Normative Role of Evaluative Stances in Scientific Disagreements.

Prof. Heinrich Wansing gave a talk on the methodology of paraconsistent logic at the New York Logic Colloquium, September 8, took part in the celebration event for Johan van Benthem on the occasion of his official retirement from the University of Amsterdam, http://www.illc.uva.nl/J65/, September 26 and 27, and gave a talk on the Curry paradox at the XXIII. Kongress der Deutschen Gesellschaft für Philosophie in Münster, September 29.

August 2014

A revised and updated version of the entry on connexive logic in the Stanford Encyclopedia of Philosophy has been released, see http://plato.stanford.edu/entries/logic-connexive/.

Sofja Kovalevskaja Awards granted

This year the Alexander von Humboldt Foundation has singled out 11 international junior researchers between 29 and 40 years of age for one of the best-endowed science awards in Germany: The winners will each receive up to EUR 1.65 million. Through this programme, the research talents receive risk capital for innovative projects during an early phase in their careers.

They conduct research at a German university or research institute for a period of up to five years and develop their own research group for this at their host institute. The junior researchers selected in 2014 will be presented the award by Federal Research Minister Johanna Wanka and the president of the Alexander von Humboldt Foundation, Helmut Schwarz, in Berlin on 11 November.

Among the recipients of the 2014 Kovalevskaja Awards is the philosopher and logician Dr Christian Straßer.

New logic for increasingly complex science
In a world filled with incomplete and uncertain information, we often draw conclusions that, when new information emerges, are defeasible and therefore revisable. Such conclusions are not only of pivotal importance in everyday life, they are also crucial in scientific evaluations and argumentation. In logic, these methods for reaching logical conclusions are formalised with the aim of developing a precise, mathematical model for defeasible reasoning. The German philosopher and logician Christian Straßer most recently worked in Belgium. He has focussed his attention on developing a comprehensive theory of logical reasoning that links models from formal logic with models from formal argumentation theory. Such a theory would offer a new instrument for understanding defeasible reasoning, such as for fields of application like normative and scientific reasoning.

Christian Straßer

Dr Christian Straßer
was born in Germany in 1978. As a student at the University of Passau he first studied computer science and then added philosophy. He graduated with distinction in 2006 with a degree in both disciplines. He switched to the Centre for Logic and Philosophy of Science at the University of Ghent as a doctoral candidate in 2007 and was awarded a doctorate in 2011. Since then he has worked as a postdoc on developing models for defeasible reasoning. Starting September he will conduct research in this area with his own team at the University of Bochum.

http://aktuell.ruhr-uni-bochum.de/pm2014/pm00123.html.de, http://www.humboldt-foundation.de/web/skp-2014-2-en.html#strasser

Host institute: University of Bochum, Institute for Philosophy II
Host: Professor Dr Heinrich Wansing

Welcome to Bochum, Christian!

July 2014

Sanderson Molick (U Natal, Brazil) gave a talk on  "Exploring Suszko's thesis and generalized truth values" (joint work with Carolina Blasio, UNICAMP) on July 10.

Prof. Heinrich Wansing was an invited speaker at The 13th Trends in Logic international conference, University of Łódź, July 2-5, 2014.

June 2014

Logic Day in Bochum

Thursday, June 26
Ruhr University Bochum
Room GA 6/153

10:00-11:00   Umberto Rivieccio, (University of Delft),
"Four-valued modal logic"

11:15-12:15  Sergei Odintsov, (Sobolev Institute, Novosibirsk),
"How to define a consequence relation over a class of bilattices?"

Break

15:00-16:00  Giuseppe Greco, (University of Delft),
"From Display to Display-type Sequent Calculi”

16:15-17:15  Heinrich Wansing, (Ruhr University Bochum),
"On the methodology of paraconsistent logic"

17:30-18:30  Alessandra Palmigiano, (University of Delft), "Algebraic Semantics and Model Completeness  for Intuitionistic Public Announcement Logic"

*****

Prof. Heinrich Wansing was an invited speaker at the conference Paraconsistent Reasoning in Science and Mathematics, LMU, Munich, June 11 - 13, 2014. 

Prof. Sergei Odintsov (Sobolev Institute of Mathematics, Novosibirsk) took up his Humboldt Research Fellowship (June 1 - June 30). His research in Bochum concerned 'How to define a logic over a class of bilattices'.

Amy Flowerree (Northwestern University, Evanston) visited Andrea Kruse for one month at the Chair of Logic and Epistemology.

The Workshop "Doxastic Agency & Epistemic Responsibility", took place in Bochum on June 2-3.

May 2014

Prof. Heinrich Wansing was an invited speaker at The 6th International Conference Teaching Logic and Prospects of its Developmentat the Taras Shevchenko National University of Kyiv, May 15-17, 2014. 

April 2014

Andrea Kruse gave a talk on An Externalist Approach to Epistemic Blameworthiness on the workshop Responsibility - The Epistemic Dimension in Amsterdam.

On the invitation of Dr Allard Tamminga, Prof. Heinrich Wansing gave a talk "Remarks on an external consequence Curry paradox" at the University of Groningen  (GroLog Colloquium), April 3, 2014.

March 2014

Andrea Kruse's application at the RUB Research School for funding of the Workshop on Doxastic Agency and Epistemic Responsibilty was successful, see
http://www.ruhr-uni-bochum.de/philosophy/logic/doxastic_agency/home-DAER.html.  

Prof. Graham Priest and Prof. Heinrich Wansing took part in the 42nd Symposium for Research Award Winners in Bamberg, where Graham Priest received his Humboldt Research Award.

The IfCoLog Journal of Logics and their Applications has now a website at http://www.collegepublications.co.uk/journals/ifcolog/. Prof. Heinrich Wansing joined the editorial board in 2013.

February 2014

Daniel Skurt gave a talk on Iterated preferential models as a strategy to make many-valued paraconsistent logics non-monotonic at the 5th World Congress on Paraconsistency in Kolkata, India.

Prof. Heinrich Wansing joined the program committee of the workshop on Defeasible and Ampliative Reasoning (DARE) at The Twenty-first European Conference on Artificial Intelligence, ECAI, see http://www.ecai2014.org/workshops.

January 2014

Dr Hitoshi Omori (City University of New York) gave a lecture on Contradiction, Negation and Paraconsistency in the departmental colloquium of the Institute of Philosophy II.

December 2013

 Poster_Curry.jpg

November 2013

Prof. Heinrich Wansing has joined the international editorial board of the Journal Logical Investigations edited by the Institute of Philosophy of hte Russian Academy of Sciences http://eng.iph.ras.ru/log_inv.htm

An interview with Andrea Kruse and Dr Caroline Semmling (in German, "Was machen eigentlich Logiker und Erkenntnistheoretiker?") appeared in the RUB newsletter Rubens, see http://www.ruhr-uni-bochum.de/rubens/rubens173/Index.htm 

An interview with Prof. Graham Priest ("A passion for thinking") appeared in the RUB newsletter “RUBens International”: http://www.ruhr-uni-bochum.de/rubens/pdfs/beilage_international07.pdf

Two guest lectures: Prof. Bjørn Jespersen (Ostrava) “Double privation and multiply modified artefact properties”; Prof. Troben Braüner (Roskilde) “Hybrid-Logical Proofs: With an Application to False-Belief Tasks” 

Prof. Heinrich Wansing was an invited speaker at the annual Mal'tsev Meeting in Novosibirsk, see http://math.nsc.ru/conference/malmeet/13/Main_e.htm

October 2013

Thomas M. Ferguson (Chicago/New York) visited Prof. Graham Priest and Prof. Heinrich Wansing and gave three lectures on non-classical logic.

Dr Peter Verdée (Ghent) gave a gueat lecture on “Paraconsistent adaptive logics: introduction and new perspectives”

September 2013

Dr Caroline Willkommen's PhD thesis “Eine Logik von Handlungen und Überzeugungen“ has been published with Logos Verlag, Berlin, see http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=3484&lng=deu&id=

Andrea Kruse was a speaker at he following conferences: CLPS13: Congress on Logic and Philosophy of Science, Gent, 19th-21th September 2013, (The Diachronic Dimension of Peer Disagreement), Doxastic Freedom and Normativity, Regensburg, 19th-21th September 2013, (Combining Epistemic Blameworthiness with Compatibilist Doxastic Control)  and Cologne Summer School 2013 "Radical Secepticism", Cologne, 23rd-27th September 2013 (Epistemic Internalism without ACCESS?).

Prof. Heinrich Wansing was an invited speaker at the 6th Conference on Non-Classical Logics: Theory and Applications, Lodz, Septemer 4-6, 2013.

July 2013

Graham_Priest

Prof. Graham Priest (City University of New York) arrived in Bochum for a six-month research stay as a Humboldt Prize winner. He gave a lecture on Cotradiction and the Struture of Unity in the departmental colloqium of the Institute of Philosophy II. Moreover, Dr Hitoshi Omori (City University of New York) and Filippo Casati (City University of New York) arrived for research stays in connection with Prof. Priest's visit to Bochum. Every year, the Alexander von Humboldt Foundation grants up to 100 Humboldt Research Awards to internationally renowned academics from abroad in recognition of their entire academic record to date. Academics whose fundamental discoveries, new theories, or insights have had a significant impact on their own discipline and beyond and who are expected to continue producing cutting-edge academic achievements in future. The award is valued at € 60,000.

Guest lectures were given by Prof. Hans Rott (University of Regensburg) on Negative Doxastic Voluntarism, and Dr Dolf Rami (University of Göttingen) on Existence as a Property of Individuals.

Prof. Heinrich Wansing joined the program committee of the conference PhDs in Logic VI, which will take place in Utrecht, The Netherlands on 24-25 April 2014.

June 2013

Guest lectures by Dr Giuseppe Greco (University of Amsterdam) on Dynamic Sequent Calculus for the Logic of Epistemic Actions and Knowledge, Dr Rik Peels (University of Utrecht) on Given the Falsehood of Doxastic Compatibilism, How Should we Construe Responsible Belief and Dr Matthias Unterhuber (University of Düsseldorf) on A Ramsey Test Perspective on Belief Revision and Chellas Segerberg Semantics.

Prof. Heinrich Wansing joined the program committee of the conference Advances in Modal Logic 2014 (AiML 2014).

May 2013

On the invitation of Prof. Hans Rott, Prof. Heinrich Wansing presented a guest lecture on negation in philosophicallogic at the University of Regensburg.

April 2013

Daniel Skurt took up his position as a new PhD student in Bochum and presented a paper on Suszko-Reduced Logics and Truth-Functionality at the  4th World Congress and School on Universal Logic (UNILOG), Rio de Janeiro, April 4-7, 2013, see http://www.uni-log.org/start4.html. Welcome to Bochum, Daniel.

Prof. Heinrich Wansing was a key-note speaker at the  4th World Congress and School on Universal Logic (UNILOG), Rio de Janeiro, April 4-7, 2013, see http://www.uni-log.org/start4.html.   Moreover, he gave a tutorial on Truth Values at the same conference together with Prof. Yaroslav Shramko (Kryvyi Rih).

On the invitation of Dr Peter Steinacker and Prof. Sebastian Rödl, Prof. Heinrich Wansing presented a guest lecture on negation as a modal operator at the University of Leipzig.

March 2013

The 2013 Hermann Lotze Prize was awarded to Prof. Heinrich Wansing at the 14th Szklarska Poreba Workshop, see http://www.hlotze.com/#The_Medallist.

Prof. Heinrich Wansing was an invited speaker at the 2nd Conference on Proof-Theoretic Semantics, Tübingen, March 8-10, 2013, see http://ls.informatik.uni-tuebingen.de/PTS/.

February 2013

Prof. Heinrich Wansing presented a guest lecture on negation as a modal operator at the Courant Research Centre "Text Structures", University of Göttingen.

During his stay as a visiting professor at the Deptartment of Philosophy and Education Science of the University of Cagliari, Prof. Heinrich Wansing presented two lectures in the research group of Prof. Roberto Giuntini.

Prof. Heinrich Wansing joined the program committee of the 8th Methods of Modalities Workshop, see http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/ .

January 2013

TIL_series

Prof. Heinrich Wansing took up the function of as the new editor-in-chief of the book series Trends in Logic, Springer Verlag, see http://www.springer.com/series/6645.

December 2012

On the invitation of Prof. Marcus Kracht, Prof. Heinrich Wansing gave a talk at the University of Bielefeld.

November 2012

Prof. Heinrich Wansing presented an invited talk at the "Avron Fest" in Tel Aviv, Logic: Between Semantics and Proof Theory, see http://www.cs.tau.ac.il/events/AvronFest/

October 2012

Caroline Willkommen successfully defended her PhD thesis "Eine Logik für Handlungen und Überzeugungen" at the Ruhr-University of Bochum, Department of Philosophy II. The referees H.W. and Uwe Scheffler congratulate on her defense.

Verteidigung Willkommen

H.W., Caroline Willkommen, Uwe Scheffler

September  2012

The Workshop" Dag Prawitz on Proofs and Meaning", took place on September the 10th and the 11th. This workshop brought together several contributors to a volume dedicated to Prof. Dag Prawitz. The volume will be editied by Heinrich Wansing and will appear in the new book series "Outstanding Contributions to Logic" published by Springer Verlag.

Prawitz Final

Prof. Heinrich Wansing gave an invited talk at the GAP.8,Workshop "Belief Revision, Conditionals and Possible Worlds Semantics" at the University of Konstanz, see https://www.phil-fak.uni-duesseldorf.de/belief-revision.

July 2012

Dr habil. Tomasz Skura (Zielona Gora) took up his two-month Humboldt Research Fellowship and on July 12 presents a talk on "What is a refutation system", see Skura_lecture.pdf.

photo_skura.jpg

Andrea Kruse gave a comment titled "Notes on rational 'ought' implies 'can'" at the Summer School in Philosophy with Prof. Ralph Wedgwood at the University of Cologne .

June 2012

Trends_2012

From June 3 until June 5 our team hosted the Studia Logica international conference Trends in Logic XI. Advances in Philosophical Logic, see http://www.ruhr-uni-bochum.de/philosophy/trendsxi/.

June 12, Andrea Kruse gave a guest lecture on "Der Begriff der epistemischen Verantwortung und die Möglichkeit rationalen Dissenses" at Dresden University of Technology.

June 26, 2012, guest lecture by Dr Andreas Kapsner (University of Munich - LMU) on "Popper's Logical Discoveries".

May 2012

Prof. Roberto Giuntini (Cagliari) finished his there-month Humboldt research fellowship.

Andrea Kruse attended the 3rd Annual King's College London / University of North Carolina at Chapel Hill Conference 2012 on Social Epistemology and Epistemic Responsibility, http://www.kcl.ac.uk/artshums/depts/philosophy/events/kclunc2012.aspx

April 2012

April 16, Caroline Semmling gave a talk on "Interactions of actions, intentions and beliefs" at the University of Luxembourg.

On April 19 and 20 our team hosted the First Bochum-Cagliari Workshop on Non-classical Logic. The workshop was organized in close co-operation with Prof. Roberto Giuntini and was generously supported by the Alexander von Humboldt Foundation, see Bochum-Cagliari Workshop.

Prof. Heinrich Wansing presented two invited lectures on Generalized Truth Values at the conference "PhDs in Logic", University of Ghent, April 12 and 13, 2012, see http://www.phdsinlogic2012.ugent.be/node/4

March 2012

March 6, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Algebraic Proof Procedures in Non-Classical Logics".

M_Matulovic.JPG

February 2012

February 8, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "A new algebraic proof method for finitely-many-valued logics".

February 27, 2012, guest lecture by Mariana Matulovic da Silva (State University of Campinas UNICAMP, Brazil), "Relationships among the PRC and the algebraic semantics for modal logics".

January 2012

Dr Roberto Ciuni was presented in an article of the RUB newspaper RUBENS, see http://ruhr-uni-bochum.de/rubens/rubens157/10.htm

January 19, Andrea Kruse gave a talk on "Is rational peer disagreement possible?" at  Research Colloquium: Philosophy meets Cognitive Science. Recent Debates (Ruhr-University), http://www.ruhr-uni-bochum.de/phil-lang/colloquiumwise11

January 24, Caroline Semmling gave a guest lecture on "Interaktionen von Überzeugungen, Intentionen und Handlungen" at the Goethe-University of Frankfurt.

January 25, Prof. Jean-Yves Béziau (Federal University of Rio de Janeiro - UFRJ, Visiting Professor University of Munich - LMU) gave a lecture on "Truth-values: past, present and future".

January 26, guest lecture by Dr. François Schwarzentruber (University of Rennes, France) "Tableau Method and NEXPTIME-Completeness of DEL-Sequents".

F_Scharzentruber.JPG

H. Wansing and F. Schwarzentruber

Roberto_et_al.JPG

R. Ciuni, C. Semmling and A. Kruse

December 2011

Prof. Piotr Lukowski (University of Lodz, Poland) ended his one-month visit (under EU grant UDA-POKL.04.01.01-00-189/0900). During his visit, Prof. Lukowski presented two lectures on paradoxes, one of them focusing on a new solution to the Liar Paradox.

November 2011

Prof. Heinrich Wansing has joined the Scandinavian Logic Society, http://scandinavianlogic.org/

Prof. Heinrich Wansing has been invited as an expert referee for the logic panel of the new journal Thought, to be  launched by The Northern Institute of Philosophy (Aberdeen) and Wiley-Blackwell. The journal will be dedicated to the publication of short (of less than 4000 words), original, philosophical papers in the following areas: Logic, Philosophical Logic, Philosophy of Mathematics, Philosophy of Language, Metaphysics, Epistemology and Philosophy of Mind. See: http://www.abdn.ac.uk/philosophy/nip/page?id=44

October 2011

Dr Roberto Ciuni (Leiden) has taken up his Humboldt Research Fellowship and has given several lectures on  stit theory in a research seminar on branching-time structures and modalities.

September 2011

The conference Semantics and Philosophy in Europe (SPE4) was held at the Department of Philosophy II of Ruhr University Bochum, see  http://www.ruhr-uni-bochum.de/phil-lang/spe4/

The first call for papers for "Trends in Logic XI, Advances in Philosophical Logic" was distributed: see http://www.ruhr-uni-bochum.de/philosophy/trendsxi/index.html.en 

Andrea Kruse attended the Summer School in Philosopy with Prof. Sanford Goldberg at the University of Cologne.

August 2011

Prof. Heinrich Wansing has been invited to the Program Committee of LOFT10, 2012, http://personal.us.es/hvd/loft/ 

Andrea Kruse presented a paper on "Puzzles about Peer Disagreement - A Deontological Solution" at the 34th International Wittgenstein Symposium in Kirchberg am Wechsel (Austria), http://www.alws.at/de/index.php/symposium/34_internationales_wittgenstein_symposium_2011/

July 2011

Andreas Pietz successuflly defended his PhD thesis "Logics and Falsifications" at the University of Barcelona, Department of Logic, History and Philosophy of Science, co-supervised by Prof. Heinrich Wansing.

June 2011

Prof. Heinrich Wansing has been invited to the Program Committee of Advances in Modal Logic 2012, AiML 2012, http://hylocore.ruc.dk/aiml2012/

Prof. Heinrich Wansing gave a guest lecture on "A non-inferentialist, anti-realistic conception of logical truth and falsity" at the Heinrich Heine University of Düsseldorf, June 28, 2011, and another guest lecture on "Some remarks on many-valued modal logic" at the Ludwig Maximilians University of Munich, June 30, 2011.

May 2011

May the 18th, Inaugural Lecture of Prof. Heinrich Wansing, see Antrittsvorlesung.pdf.

April  2011

Andrea Kruse M.A. has become a member of the Ruhr University Research School (RURS).

March  2011

Prof. Heinrich Wansing gave guest lectures on "A non-inferentialist, anti-realistic conception of logical truth and falsity" at the University of California Irvine, Department of Logic and Philosophy of Science, March 4, 2011, and the University of St Andrews, Department of Philosophy, March 7, 2011.  

February 2011

Guest lecture by Prof. Yaroslav Shramko (Krivoi Rog) on  "Das Wahrheitsprädikat in kontrafaktischen Kontexten: Eine Verteidigung des Deflationismus", February 23, 2011, 16-18 Uhr, room GA 04/187.

December 2010

Interview with Prof. Heinrich Wansing in The Reasoner Volume 4, Number 12 (2010).

November 2010

Dr Robertoi Ciuni (Leiden) has been awarded an Alexander von Humboldt research grant to visit Prof. Heinrich Wansing as a Humboldt reserach fellow. Dr Ciuni's research project will deal with representing responsibility in stit theory.