NACH OBEN

2022

December 2022

There were the following talks in the Logic and Epistemology colloquium:

  • December 1, Ivo Pezlar (Prague), Overloaded meaning of absurdity
  • December 8, Lisa Michajlova (RUB) [Joint work with Christian Straßer], Evaluating and Selecting Arguments in the Context of Higher Order Uncertainty and Peter Verdée (Louvain), Establishment semantics for intuitionistic logic
  • December 22, Zach Weber (Otago), Toward Paraconsistent Computability Theory

Heinrich Wansing joined the jury of the Newton da Costa Prize 2022 (PNC 2022).

November 2022

Daniel Skurt organized the 1st Workshop on Non-deterministic Semantics for Modal Logics, November 7-8, 2022.

Andrew Tedder co-organized the online workshop New Directions in Relevant Logic, November 10 and 18, 2022.

The second Bochum-Łódź Logic Workshop was held in person and online on the 17th and 18th of November, organized by Nils Kürbis. This time, the two ERC Advanced Grants held at the departments were the focus. The event provided an opportunity for the PIs of the grants and their collaborators and PhD students to present their work.

Heinrich Wansing’s project “Contradictory Logics: ConLog: A Radical Challenge to Logical Orthodoxy” is held at the Department of Philosophy I of Ruhr Universität Bochum. Andrzej Indrzejczak’s project “ExtenDD: Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms” is held at the Department of Logic and Methodology of Science of the University of Łódź. The following talks were given:

  • Andrzej Indrzejczak: The coming to terms project: Extending proof theory by 𝜄
  • Nils Kürbis: Definite descriptions via binary quantification
  • Heinrich Wansing: The contradictory logics project
  • Caitlin Canonica: Contradictions in the Wild; toward an experimental approach to contradictory logics
  • Grigory Olkhovikov: On some first-order connexive logics
  • Leonard Kupś: Methods of modelling linear time in hypersequent calculus
  • Yaroslav Petrukhin: Cut-free sequent calculi for some three-valued logics obtained via correspondence analysis
  • Satoru Niki: Provable contradictions and Kamide's negations
  • Sara Ayhan: Two-sorted typed lambda-calculus for 2Int
  • Michał Zawidzki: When iota meets lambda: The case of interpolation
  • Przemysław Wałȩga: DatalogMTL: a logic for reasoning about temporal databases

There were the following talks in the Logic and Epistemology colloquium:

  • November 10, Damian Szmuc (Universidad de Buenos Aires), Canonical, co-canonical, and combined sequent rules for classical logic and Mariela Rubin (Universidad de Buenos Aires), Indicative conditionals, asymmetric relations and triviality results
  • November 24, Sena Bozdag (MCMP), A comparative study of hyperintensionality accounts
October 2022
 
Dr Caitlin Canonica (UC London) joined the ERC Advanced Grant project ConLog, Contradictory Logic. Welcome to Bochum, Cate.
 
Heinrich Wansing was an invited speaker at the 7th Workshop on Connexive Logics, Mexico City, Universidad Nacional Autónoma de México, and geve a talk titles "Constructive logic is connexive and contradictory."
 
**********
 
 
In the service of the Logicians Liberation League 
On behalf of the Cardinal of Connexivity (Heinrich Wansing) and Keeper of Classical Residue (Hitoshi Omori), after we all met in Toruń at the WCP6, let it be known that Yaroslav Shramko is inducted into the LLL, and hereby awarded the title Rector and Protector of Safety for many well known services to logic. 
 
This is now inscribed for eternity in the hallowed halls of the internet, aalogic.org (under >Curios).
So let it be written, so let it be done. 
 
— Cardinal of Comprehension / Secretary General of the AAL
 
*****

At the 49th Symposium for Research Award Winners of the Alexander von Humboldt Foundation, Bamberg, October 13-16, 2002), Prof. Zach Weber finally received his Friedrich Wilhelm Bessel Award. Congratualtions again, Zach.

 

 

 

 

September 2022

On September 2 and 3, Hitoshi Omori organized "A Workshop on Dialetheism and Paraconsistent Logic". The speakers were

  • Jonas R. Becker Arenhart (Florianopolis)
  • Michael De (Utrecht)
  • Sergey Drobyshevich (Bochum)
  • Andreas Kapsner (Munich)
  • Martin Pleitz (Münster)
  • Graham Priest (New York & Melbourne & Bochum)
  • Heinrich Wansing (Bochum)
  • Zach Weber (Otago)

On September 29, Robert Paßmann (U. Amsterdam) gave a talk titled “Should pluralists be pluralists about pluralism?”

Heinrich Wansing gave the following invited lectures:

Moreover, Satoru Niki gave the following talk:

August 2022

Dr Olena Mishalova (Kryvyi Rih, Ukraine) took up a Bochum Logic and Epistemology grant (August 2022 - February 2023).

July 2022

The call for papers for a Special issue of the Logic Journal of the IGPL on Non-classical Modal and Predicate Logics was issued.

The special issue is edited by,

Prof. Zach Weber (Otago, New Zealand) arrived for his stay as a Friedrich Wilhelm Bessel Awardee of the Alexander von Humboldt Foundation. Welcome to Bochum, Zach.

There was  the following talk in the Logic and Epistemology colloquium:

  • July 7, Nadiia Kozachenko (Kryvyi Rih & Bochum), AGM cognitive actions as modal operators of three-valued logic

On July 15, Niki Pfeifer (Regensburg) gave a guest lecture titled "Do's and don'ts in the experimental philosophy of logic."

June 2022

There were the following talks in the Logic and Epistemology colloquium:

  • June 2, Pilar Terrés (Louvain), Maximalism for logical connectives
  • June 30, Peter Milne (Stirling), Negation in (mostly) signed tableaux; or, What makes classical logic classical?

Hitoshi Omori and Nils Kürbis organized the workshop Types, Constructions and Proofs: A Workshop with Peter Milne, June 29, 2022, on the occasion of a visit by Professor Peter Milne (University of Stirling).

The following talks were given:

  • Sara Ayhan (Ruhr University Bochum), A bilateralist type-theory for 2Int
  • Nils Kürbis (Ruhr University Bochum & University of Łódź), Normalisation for Milne’s System of Classical Logic with the Subformula Property
  • Heinrich Wansing (Ruhr University Bochum), Constructiveness, the Drinker Paradox, and the Drinker Truism
  • Peter Milne (University of Stirling) , Sequent calculi in proof-theoretic semantics

May 2022

The call for submissions for a special issue Bilateralism and Proof-Theoretic Semantics in the Bulletin od the Section of Logic was issued. The Guest Editor is  Sara Ayhan (Ruhr University Bochum).

There were the following talks in the Logic and Epistemology colloquium:

  • May 5, Fenner Tanswell (Brussels), Different Conceptual Models of Informal Proofs and Mathematical Rigour
  • May 12, Sebastian Speitel (Bonn), Semantic Uniqueness for Logical Constants
  • May 19, Luis Estrada-González (Mexico City), Possibility and triviality (and invalidity, if there is time)
  • May 25, Graham Priest (New York & Melbourne & Bochum), Is there a standard model of arithmetic?

Dr Nadiia Kozachenko (Kryvyi Rih, Ukraine) arrived to take up a Bochum Logic and Epistemology grant (May - October 2022). Welcome to Bochum, Nadiia.

April 2022

There were the following talks in the Logic and Epistemology colloquium:

  • April 7, Nils Kürbis (Bochum & Łódź), Russell on Generality 1910 to 1918
  • April 14, Daniel Skurt (Bochum), There is no i in modal logic
  • April 21, Nicholas Ferenz (Prague), Conditional FDE-logics
  • April 28, Hitoshi Omori (Bochum), A generalization of ordered-pair semantics

On April 22, Heinrich Wansing gave a talk titled "Beyond Paraconsistency. A plea for a radical breach with the Aristotelean orthodoxy in logic" at the conference Logic4Peace.  

The Bochum Nonclassical Logic Workshop II took place April 19, 2022, on the occasion of a visit by Nicholas Ferenz (The Czech Academy of Sciences).

The following talks were given:

  • Heinrich Wansing, Some remarks on conditional connexive logic
  • Hitoshi Omori, A note on Sasaki's conditional in view of Garson's question
  • Satoru Niki, Provable contradictions in constructive logics
  • Nicholas Ferenz, Some Results, Thoughts, and Historical Notes on Quantified (Modal) Relevant Logic
  • Andrew Tedder, The Algebraic Structure of Mares-Goldblatt Models

March 2022

Sara Ayhan organized the conference Bilateralism and Proof-Theoretic Semantics, March 17–18, 2022

The invited speaker were:

 

 

 

 

 

 

 

 

 

 

 

February 2022

There was the following talk in the Logic and Epistemology colloquium:

  • February 3, Katalin Bimbó (University of Alberta), The ways trees grow

January 2022

Dr Grigory Olkhovikov joined the ERC Advanced Grant project ConLog, Contradictory Logics:A Radical Challenge to Logical Orthodoxy.

There were the following talks in the Logic and Epistemology colloquium:

  • January 13, Thomas Ferguson (CUNY Graduate Center), A Framework for Intensional Subject-Matter
  • January 20, Emmanuelle-Anna Dietz Saldanha (TU Dresden, ass., Airbus Hamburg), Three Approaches for Modeling Human Reasoning
  • January  27,  Réka Markovich (Luxembourg), Logic for Epistemic Rights

The call for submissions for a special issue "Frontiers of connexive logic" of the journal: Studia Logica (https://www.springer.com/journal/11225) was issued. Guest editors: Hitoshi Omori (Ruhr University Bochum) and Heinrich Wansing (Ruhr University Bochum).