PhilSci Archive

Remarks on Second-Order Consequence

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

[img]
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:
CreatorsEmailORCID
Jané, Ignaciojane@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: http://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 View Item