1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

The dual character of invariance under transformations and definability by some operations has been used in classical works by, for example, Galois and Klein. Following Tarski, philosophers of logic have claimed that logical notions themselves could be characterized in terms of invariance. In this article, we generalize a correspondence due to Krasner between invariance under groups of permutations and definability in $\mathscr{L}_{\infty\infty}$ so as to cover the cases (quantifiers, logics without equality) that are of interest in the logicality debates, getting McGee’s theorem about quantifiers invariant under all permutations and definability in pure $\mathscr{L}_{\infty\infty}$ as a particular case. We also prove some optimality results along the way, regarding the kinds of relations which are needed so that every subgroup of the full permutation group is characterizable as a group of automorphisms.

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

Autor(es)

Bonnay, Denis -  Engström, Fredrik - 

Id.: 70828095

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clavegeneralized quantifiers - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 2018 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 06-ene-2018

Contacto:

Localización:
* Notre Dame J. Formal Logic 59, no. 1 (2018), 109-133
* doi:10.1215/00294527-2017-0020

Otros recursos del mismo autor(es)

  1. La philosophie des mathématiques L'articulation de la réponse au problème ontologique (de quoi les mathématiques sont-elle l'étude ?)...
  2. Which Logic for the Radical Anti-Realist ? Since the ground-breaking contributions of M. Dummett (Dummett 1978), it is widely recognized that a...
  3. Principe de charité et sciences de l'homme
  4. Précis de philosophie des sciences Le Précis de philosophie des sciences vise à présenter, de manière pédagogique, l'état actuel des gr...
  5. Inexact Knowledge with Introspection This paper supersedes an ealier version, entitled "A Non-Standard Semantics for Inexact Knowledge wi...

Otros recursos de la mismacolección

  1. Errata
  2. On the Jumps of the Degrees Below a Recursively Enumerable Degree We consider the set of jumps below a Turing degree, given by $\mathsf{JB}(\mathbf{a})=\{\mathbf{x}':...
  3. Negation-Free and Contradiction-Free Proof of the Steiner–Lehmus Theorem By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the ge...
  4. Cardinality and Acceptable Abstraction It is widely thought that the acceptability of an abstraction principle is a feature of the cardinal...
  5. Classifications of Computable Structures Let $\mathcal{K}$ be a family of structures, closed under isomorphism, in a fixed computable languag...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.