Cambridge University Press (1992)

Authors
Arnold Koslow
CUNY Graduate Center
Abstract
In this 1992 book, Professor Koslow advances an 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)
Reprint years 1992, 2005, 2010, 2011
Buy this book $62.97 used (13% off)   $71.38 new (1% off)   $71.99 from Amazon    Amazon page
Call number BC135.K67 1992
ISBN(s) 9780511609206   9780511879845   9780521023726   9780521412674   0521023726   0521412676
Options
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

Following Logical Realism Where It Leads.Michaela McSweeney - 2019 - Philosophical Studies 176 (1):117-139.
Speaking of Essence.Alessandro Torza - 2015 - Philosophical Quarterly:754-771.
Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
Why Do Informal Proofs Conform to Formal Norms?Jody Azzouni - 2009 - Foundations of Science 14 (1-2):9-26.
The Revival of Rejective Negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.

View all 27 citations / Add more citations

Similar books and articles

A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Formal Logic for Informal Logicians.David Sherry - 2006 - Informal Logic 26 (2):199-220.
Is Modal Logic Logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Linearity and Negation.Kenji Tokuo - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):43-51.
Strong Boethius' Thesis and Consequential Implication.Claudio Pizzi & Timothy Williamson - 1997 - Journal of Philosophical Logic 26 (5):569-588.

Analytics

Added to PP index
2009-01-28

Total views
32 ( #332,936 of 2,439,431 )

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

How can I increase my downloads?

Downloads

My notes