Abstract.
On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products and negates of individuals, intuitionistic operations on mathematical problems, epistemic operations on certain belief states) are simply the logical operators that are deployed in different implication structures. That makes certain logical notions more omnipresent than one would think.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): Primary 03B22; Secondary 03B20, 03B42, 03B60
Rights and permissions
About this article
Cite this article
Koslow, A. Structuralist Logic: Implications, Inferences, and Consequences. Log. univers. 1, 167–181 (2007). https://doi.org/10.1007/s11787-006-0008-1
Issue Date:
DOI: https://doi.org/10.1007/s11787-006-0008-1