A Game of Giving and Asking for Reasons
Mauro Santelli (UBA/IIF-SADAF-CONICET), based on Brandom's Making It Explicit (1994), inspired by John MacFarlane.
3.1 Basic Assertion Profile: mie_faithful

Scoreboards

Prefix Legend
[A] Avowed (directly asserted)
[⊢] Committive inference
[≡] Substitutional closure (Ch. 6)
[⤹] Anaphoric inheritance (Ch. 7)
[att] Ascription (Ch. 8)
[D] Default (unchallenged)
[T] Testimonial transfer
[O] Observational report (RDRD)
[K] Knowledge ascription
[?p] Permissive inference
[⊃] Material conditional (expresses inference)
[¬] Negation (expresses incompatibility)

Add agents to see scoreboards.

Entitlement Timeline