Logical constants and unrestricted quantification
Variants of the so-called permutation criterion have been used for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is invariant under arbitrary permutations on every domain. Thus a logical operation behaves on...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
European Society for the Philosophy of Mathematics
2024
|
| _version_ | 1826315500420857856 |
|---|---|
| author | Halbach, V |
| author_facet | Halbach, V |
| author_sort | Halbach, V |
| collection | OXFORD |
| description | Variants of the so-called permutation criterion have been used
for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is
invariant under arbitrary permutations on every domain. Thus a logical
operation behaves on all objects in the same way. An expression is logical
if, and only if, the operation expressed by it is logical.
I consider a variant of the permutation criterion that eliminates domains: An operation is permutation-invariant if, and only if, it isinvariant
under arbitrary permutations of the universe. An expression is logical if,
and only if, it expresses an operation that is permutation-invariant in this
sense. This domain-free definition of the invariance criterion matches
definitions of logical consequence without domains where first-order
quantifiers are taken to range over all (first-order) objects in all interpretations. Without domains some problems of the invariance criterion
disappear. In particular, an operation can behave on all objects of any
domain in the same way, while still behaving very differently in each
domain. On the criterion without domains, a logical operation always
behaves on all objects in the same way, not only on all objects of any
given domain. |
| first_indexed | 2024-03-07T08:16:12Z |
| format | Journal article |
| id | oxford-uuid:d1e70b58-d900-4538-95c6-a72005b2a5e7 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-12-09T03:26:48Z |
| publishDate | 2024 |
| publisher | European Society for the Philosophy of Mathematics |
| record_format | dspace |
| spelling | oxford-uuid:d1e70b58-d900-4538-95c6-a72005b2a5e72024-11-28T16:13:57ZLogical constants and unrestricted quantificationJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:d1e70b58-d900-4538-95c6-a72005b2a5e7EnglishSymplectic ElementsEuropean Society for the Philosophy of Mathematics2024Halbach, VVariants of the so-called permutation criterion have been used for distinguishing between logical and non-logical operations or expressions. Roughly, an operation is defined as logical if, and only if, it is invariant under arbitrary permutations on every domain. Thus a logical operation behaves on all objects in the same way. An expression is logical if, and only if, the operation expressed by it is logical. I consider a variant of the permutation criterion that eliminates domains: An operation is permutation-invariant if, and only if, it isinvariant under arbitrary permutations of the universe. An expression is logical if, and only if, it expresses an operation that is permutation-invariant in this sense. This domain-free definition of the invariance criterion matches definitions of logical consequence without domains where first-order quantifiers are taken to range over all (first-order) objects in all interpretations. Without domains some problems of the invariance criterion disappear. In particular, an operation can behave on all objects of any domain in the same way, while still behaving very differently in each domain. On the criterion without domains, a logical operation always behaves on all objects in the same way, not only on all objects of any given domain. |
| spellingShingle | Halbach, V Logical constants and unrestricted quantification |
| title | Logical constants and unrestricted quantification |
| title_full | Logical constants and unrestricted quantification |
| title_fullStr | Logical constants and unrestricted quantification |
| title_full_unstemmed | Logical constants and unrestricted quantification |
| title_short | Logical constants and unrestricted quantification |
| title_sort | logical constants and unrestricted quantification |
| work_keys_str_mv | AT halbachv logicalconstantsandunrestrictedquantification |