Logical Operations and Invariance |
| |
Authors: | Enrique Casanovas |
| |
Institution: | (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 等数据库收录! |