search

ProofSystem / Encyclopedia

An Open Encyclopedia of Proof Systems
116 stars 37 forks source link

Would it be better to create a unified notation system? #97

Open Tiancheng-Luo opened 2 years ago

Tiancheng-Luo commented 2 years ago

I am amateur in logics. I'm thrilled at your brilliant work and hope to learn the whole picture of proof systems.

But one thing confuses me as you preserve the notation system of each original monograph which clearly contradicts with each other and today's notation system.

Would you consider canonicalize them or juxtapose the canonical ones with the original ones so It would not be confusing to read each chapter?

Thanks again for the comprehensive work.

ceilican commented 1 year ago

Hi @Tiancheng-Luo ! Thanks for your interest in this project.

Presenting each system in its original notation is one of the goals of this project, so that readers can appreciate the historical evolution of logical notation as well.

But, of course, having all proof systems using a common modern notation would be very valuable as well. One challenge with this goal, however, is that even today there is no common notation for the proof systems that are used today. For instance, sometimes people use different symbols for the same connective, and sometimes the same symbol is used for different connectives. A standard would be valuable, but often people tend to disagree on proposed standards and the standard ends up becoming yet another non-standard.

Tiancheng-Luo commented 1 year ago

One challenge with this goal, however, is that even today there is no common notation for the proof systems that are used today.

Thanks!! I didn't know this. I thought we've passed that.