Logic List Mailing Archive

CfP special issue of Bull. Sect. Log. on Bilateralism & Proof-theoretic semantics, Deadline: 31 Aug 2022

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@rub.de

 

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam