David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Logica Universalis 1 (1):167-181 (2007)
. 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)|
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.
Citations of this work BETA
Brian R. Gaines (2010). Human Rationality Challenges Universal Logic. Logica Universalis 4 (2):163-205.
Similar books and articles
Katalin Bimbó (2010). Schönfinkel-Type Operators for Classical Logic. Studia Logica 95 (3):355-378.
Arnold Koslow (1992/2005). A Structuralist Theory of Logic. Cambridge University Press.
Ken Akiba (1996). Logic as Instrument: The Millian View on the Role of Logic. History and Philosophy of Logic 17 (1-2):73-83.
Dominique Luzeaux, Jean Sallantin & Christopher Dartnell (2008). Logical Extensions of Aristotle's Square. Logica Universalis 2 (1):167-187.
Lloyd Humberstone (2008). Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau). Theoria 71 (3):241-262.
Sonja Smets (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Denis Bonnay (2006). Logicality and Invariance. Bulletin of Symbolic Logic 14 (1):29-68.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Majda Trobok (2008). A Structuralist Account of Logic. Croatian Journal of Philosophy 8 (2):257-265.
Added to index2009-01-28
Total downloads20 ( #97,997 of 1,679,436 )
Recent downloads (6 months)1 ( #182,836 of 1,679,436 )
How can I increase my downloads?