Tarski and Mautner proposed to characterize the ``logical operations on a given domain as those invariant under arbitrary permutations. These operations are shown to be the ones that can be obtained as combinations of the operations on the following list: identity; substitution of variables; negation; finite or infinite disjunction; and existential quantification with respect to a finite or infinite block of variables. Inasmuch as every operation on this list is intuitively ``logical, this lends support to the Tarski-Mautner proposal.
Recommendations
Cited in
(28)- Symmetric propositions and logical quantifiers
- Invariance and definability, with and without equality
- Frege's new science
- Burali-Forti as a purely logical paradox
- Tarski's staggering existential assumptions
- Extensionality and logicality
- Logics with Copy and Remove
- Which quantifiers are logical? A combined semantical and inferential criterion
- Mathematical inference and logical inference
- Logicality and meaning
- LOGICALITY AND MODEL CLASSES
- Invariance criteria as meta-constraints
- Sameness
- Isomorphism invariance and overgeneration
- scientific article; zbMATH DE number 6787693 (Why is no real title available?)
- Logic, logics, and logicism
- Tarski's conception of logic
- Algebraic and Logical Operations on Operators One Application to Semantic Computation
- Logical constants and the sorites paradox
- Logical constants and arithmetical forms
- Logical hylomorphism revisited: Aristotle, Tarski, and Corcoran
- Carnap's problem, definability and compositionality
- Deep fried logic
- Topic theoretic invariantism
- Logicality and the picture theory of language
- On the absoluteness of generalized quantifiers with certain closure properties
- Logical operations and invariance
- Applied logic without psychologism
This page was built for publication: Logical operations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5961450)
