Jané, Ignacio (2003) Remarks on Second-Order Consequence. THEORIA. An International Journal for Theory, History and Foundations of Science, 18 (2). pp. 179-187. ISSN 2171-679X

Preview

PDF 421-719-1-PB.pdf - Published Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (697kB)

Abstract

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.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Published Article or Volume
Creators:	Creators Email ORCID Jané, Ignacio jane@mat.ub.es
Additional Information:	ISSN: 0495-4548 (print)
Keywords:	second-order logic, consequence, set theory
Depositing User:	Users 15304 not found.
Date Deposited:	11 Mar 2014 20:16
Last Modified:	11 Mar 2014 21:05
Item ID:	10529
Journal or Publication Title:	THEORIA. An International Journal for Theory, History and Foundations of Science
Publisher:	Euskal Herriko Unibertsitatea / Universidad del País Vasco
Official URL:	http://www.ehu.es/ojs/index.php/THEORIA/article/vi...
DOI or Unique Handle:	10.1387/theoria.421
Date:	2003
Page Range:	pp. 179-187
Volume:	18
Number:	2
ISSN:	2171-679X
URI:	https://philsci-archive.pitt.edu/id/eprint/10529

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item