There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence with its truth-conditions. This can be explained by the fact that linguistic and philosophical investigations are usually carried out in a logical framework that was originally designed to characterize valid reasoning. Indeed, in order to determine whether an argument is valid, it suffices to know t…
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…