Logical Operations and Invariance |
| |
Authors: | Enrique Casanovas |
| |
Affiliation: | (1) Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Baldiri Reixac s/n, E-08028 Barcelona, Spain |
| |
Abstract: | I present a notion of invariance under arbitrary surjective mappings for operators on a relational finite type hierarchy generalizing the so-called Tarski–Sher criterion for logicality and I characterize the invariant operators as definable in a fragment of the first-order language. These results are compared with those obtained by Feferman and it is argued that further clarification of the notion of invariance is needed if one wants to use it to characterize logicality. |
| |
Keywords: | logical operations logical constants |
本文献已被 SpringerLink 等数据库收录! |