A bit of prefacing: The backdrop of Paoli's distinction is that sequent calculus is an appropriate proof-theoretic framework for logical inferentialism (the idea that logical constants have their meaning determined by the rules which govern their use). feng shui singapore
A bit of prefacing: The backdrop of Paoli's distinction is that sequent calculus is an appropriate proof-theoretic framework for logical inferentialism (the idea that logical constants have their meaning determined by the rules which govern their use). feng shui singapore
ReplyDelete