Base-extension semantics for intuitionistic sentential logic
2015 (English)In: Logic journal of the IGPL (Print), ISSN 1367-0751, E-ISSN 1368-9894, Vol. 23, no 5, 719-731 p.Article in journal (Refereed) Published
Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in atomic bases are conceived of as being accepted hypothetically rather than categorically.
Place, publisher, year, edition, pages
Oxford University Press, 2015. Vol. 23, no 5, 719-731 p.
Base-extension semantics, proof-theoretic semantics, intuitionistic logic, completeness, disjunction, hypothetical reasoning
IdentifiersURN: urn:nbn:se:kth:diva-176980DOI: 10.1093/jigpal/jzv021ISI: 000363059700001ScopusID: 2-s2.0-84943768008OAI: oai:DiVA.org:kth-176980DiVA: diva2:872373
QC 201511182015-11-182015-11-132015-11-18Bibliographically approved