David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Cambridge University Press (1992)
Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics.
|Keywords||Logic, Symbolic and mathematical Implication (Logic Structuralism|
|Categories||categorize this paper)|
|Buy the book||$25.20 used (88% off) $70.46 new (26% off) $95.00 direct from Amazon Amazon page|
|Call number||BC135.K67 1992|
|ISBN(s)||9780521412674 0521023726 0521412676 9780521023726|
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
Alessandro Torza (2015). Speaking of Essence. Philosophical Quarterly:754-771.
Jaroslav Peregrin (2006). Meaning as an Inferential Role. Erkenntnis 64 (1):1-35.
Alessio Moretti (2012). Why the Logical Hexagon? Logica Universalis 6 (1-2):69-107.
Lloyd Humberstone (2000). The Revival of Rejective Negation. Journal of Philosophical Logic 29 (4):331-381.
Jody Azzouni (2009). Why Do Informal Proofs Conform to Formal Norms? Foundations of Science 14 (1-2):9-26.
Similar books and articles
Majda Trobok (2008). A Structuralist Account of Logic. Croatian Journal of Philosophy 8 (2):257-265.
Jonathan P. Seldin (2000). On the Role of Implication in Formal Logic. Journal of Symbolic Logic 65 (3):1076-1114.
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Ross T. Brady (1996). Relevant Implication and the Case for a Weaker Logic. Journal of Philosophical Logic 25 (2):151 - 183.
Claudio Pizzi & Timothy Williamson (1997). Strong Boethius' Thesis and Consequential Implication. Journal of Philosophical Logic 26 (5):569-588.
Norman M. Martin (1989). Systems of Logic. Cambridge University Press.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. [REVIEW] Journal of Philosophical Logic 30 (5):395-438.
Arnold Koslow (2007). Structuralist Logic: Implications, Inferences, and Consequences. [REVIEW] Logica Universalis 1 (1):167-181.
Added to index2009-01-28
Total downloads24 ( #174,176 of 1,938,824 )
Recent downloads (6 months)2 ( #294,737 of 1,938,824 )
How can I increase my downloads?