A Sequent Calculus for Urn Logic

@article{French2015ASC,
  title={A Sequent Calculus for Urn Logic},
  author={Rohan French},
  journal={Journal of Logic, Language and Information},
  year={2015},
  volume={24},
  pages={131-147}
}
Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals $$a_{1}, \ldots , a_{n}$$a1,…,an have been drawn, $$A$$A is the case”. 
2
Twitter Mentions

Tables and Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

Urn models: A classical exposition

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Context and Logical Form

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

On ramsey ’ s ‘ silly delusion ’ regarding tractatus 5 . 53

K. Wehmeier
  • 2009
VIEW 2 EXCERPTS

Urn models and categoricity

  • J. Philosophical Logic
  • 1978
VIEW 3 EXCERPTS

Impossible possible worlds vindicated

  • J. Philosophical Logic
  • 1975
VIEW 2 EXCERPTS