Remarks on Second-Order Consequence

Citation data:

THEORIA. An International Journal for Theory, History and Foundations of Science, ISSN: 2171-679X, Vol: 18, Issue: 2, Page: 179-187

Publication Year:
Usage 150
Downloads 150
Social Media 1
Tweets 1
Repository URL:
Jané, Ignacio
Euskal Herriko Unibertsitatea / Universidad del País Vasco
article description
Tarski's definition of logical consequence can take different forms when implemented in second order languages, depending on what counts as a model. In the canonical, or standard, version, a model is just an ordinary structure and the (monadic) second-order variables are meant to range over all subsets of its domain. We discuss the dependence of canonical second-order consequence on set theory and raise doubts on the assumption that canonical consequence is a definite relation.