Bilateralism and Proof-Theoretic Semantics

Information

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. This conference aims at sharing and discussing the latest research in this area by bringing together both highly distinguished as well as early career researchers.

Invited Speakers