Call for submissions for a special issue: Bilateralism and Proof-Theoretic Semantics


Guest Editor: Sara Ayhan (Ruhr University Bochum)

Description: The topic of bilateralism - situated in the area of proof-theoretic semantics - has received considerable attention in the area of philosophical logic within the past years. According to proof-theoretic semantics the meaning of the logical connectives is determined by the rules of inference governing their use in proofs. In this context bilateralism demands an equal consideration of dual concepts like truth and falsity, assertion and denial, or proof and refutation in that they should both be taken as primitive concepts, i.e., not reducible to each other. 

Any papers related to bilateralism in the context of proof-theoretic semantics are welcome. Topics of interest include (but are not limited to) the following:

  • Discussions on the notion of bilateralism
  • Examinations of various systems of bilateral logics
  • Discussions on suitable representations of bilateralism
  • Relations between bilateralism in proof theory and model theory
  • Philosophical implications of bilateral logics
  • Applications of bilateral logics
  • Extensions to multilateral systems

Submission details:

Papers should be prepared according to the general submission rules (see here) and submitted via the editorial platform of the Bulletin of the Section of Logic by selecting the article type Special Issue “Bilateralism and Proof-Theoretic Semantics”

The deadline for submission is August 31, 2022.

For further information, please contact the guest editor at 

Sara Ayhan
Ruhr University Bochum
Institute for Philosophy I
Universitätsstraße 150
44780 Bochum, Germany