Abstract
The paper compares two conceptions of meaning both for logic and for natural language: Model-theoretic semantics (MTS), basing meaning on reference and truth conditions (in arbitrary models). Proof-theoretic semantics (PTS), basing meaning on canonical derivations in meaning-conferring natural-deduction proof-systems. It is shown that PTS induces a much finer granularity on meanings, in particular distinguishing the meanings of logically equivalent sentences. A certain coarsening by means of equating meanings based on identical grounds for assertion is proposed, useful in certain contexts.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
