Logica Universalis 1 (1):167-181 (2007)

Arnold Koslow
CUNY Graduate Center
.  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.
Keywords Implication structure  consequence operator  epistemic implication  intuitionism  mereology
Categories (categorize this paper)
DOI 10.1007/s11787-006-0008-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,992
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.
A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.
Bi-Intuitionistic Implication Structures.Daniel Skurt - 2018 - Journal of Applied Non-Classical Logics 28 (1):20-34.

Add more citations

Similar books and articles

Logic as Instrument: The Millian View on the Role of Logic.Ken Akiba - 1996 - History and Philosophy of Logic 17 (1-2):73-83.
From Intuitionistic Logic to Dynamic Operational Quantum Logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.


Added to PP index

Total views
62 ( #167,837 of 2,439,431 )

Recent downloads (6 months)
1 ( #433,565 of 2,439,431 )

How can I increase my downloads?


My notes