Skip to content

refactor(Studies/Belnap1982): Hamblin sets, the Assumption, T12-14, T17 - #5691

Merged
hawkrobe merged 2 commits into
mainfrom
audit/belnap-1023n
Oct 24, 2026
Merged

hawkrobe merged 2 commits into
mainfrom
audit/belnap-1023n

Conversation

@hawkrobe

Copy link
Copy Markdown
Collaborator

Belnap 1982 over Hamblin sets: Bennett's trueAnswers and Karttunen's weakAnswer replace the inquisitive alt, which drops entailing answers.

  • The Assumption characterizes Bennett denotations of Hamblin sets (p. 173); the possible-answer and presupposition definitions (pp. 175–176), with an erratum on the latter
  • Distributivity Principle and Test with factive knowledge, compared with Karttunen1977.Knows; T12–14 quantifying-in on Quantifier.GQ and T17 singular which, with an erratum on p. 192
  • Rows paired with the model (three added); Question.iUnion_trueAnswers; hamblin-1973b journal pages fixed, bennett-1977 added

@github-actions
github-actions Bot enabled auto-merge (squash) October 24, 2026 05:55
@hawkrobe
hawkrobe disabled auto-merge October 24, 2026 05:56
@github-actions
github-actions Bot enabled auto-merge (squash) October 24, 2026 05:57
@hawkrobe
hawkrobe disabled auto-merge October 24, 2026 05:59
@hawkrobe
hawkrobe merged commit 49f5f3e into main Oct 24, 2026
2 checks passed
@hawkrobe
hawkrobe deleted the audit/belnap-1023n branch October 24, 2026 05:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant