Valuational semantics of rule derivability

Lloyd Humberstone

Research output: Contribution to journalArticleResearchpeer-review

13 Citations (Scopus)

Abstract

If a certain semantic relation (which we call 'local consequence') is allowed to guide expectations about which rules are derivable from other rules, these expectations will not always be fulfilled, as we illustrate. An alternative semantic criterion (based on a relation we call 'global consequence'), suggested by work of J.W. Garson, turns out to provide a much better - indeed a perfectly accurate - guide to derivability.

Original languageEnglish
Pages (from-to)451-461
Number of pages11
JournalJournal of Philosophical Logic
Volume25
Issue number5
DOIs
Publication statusPublished - 1 Jan 1996

Keywords

  • Consequence relations
  • Rules

Cite this