Bolzano, Tarski, and Consequence
Substitutional, modal, and model-based accounts of what it is for a conclusion to follow
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will definesubstitutional account of consequencemodal account of consequenceTarski's analysis of consequence
Assumessemantic consequenceinterpretationmodeltopic neutralitytruth preservation
Related
- Where Validity Comes Fromplanned
- Etchemendy Against Tarskiplanned