A structuralist theory of logic / Arnold Koslow

English

Cambridge : Cambridge University Press, 1992

Mai 2010

1 Online-Ressource (xi, 418 pages) : digital, PDF file(s)

Title from publisher's bibliographic system (viewed on 05 Oct 2015)

Erscheint auch als: Druck-Ausgabe- Koslow, Arnold: A structuralist theory of logic. - Cambridge [u.a.] : Cambridge Univ. Press, 1992. - XI, 418 S

978-0-511-60920-6 : ebook

Weitere Ausgaben: 978-0-521-41267-4 (Druckausgabe) : hardback, 978-0-521-02372-6 (andere physische Form) : paperback

DOI: 10.1017/CBO9780511609206

*Logik / Strukturalismus

*Mathematische Logik

*Strukturalismus / Logik

*Structuralism ; Implication (Logic) ; Logic, Symbolic and mathematical

*Logic, Symbolic and mathematical ; Implication (Logic) ; Structuralism

*Mathematische Logik ; Strukturalismus

Library of Congress Classification: BC135

Dewey Decimal Classification: 160

Regensburger Verbund-Klassifikation: CC 2600: CA-CK Philosophie / CC Systematische Philosophie / Abhandlungen zur Logik und mathematischen Grundlagenforschung

Mathematics Subject Classification: *03-02

Mathematics Subject Classification: 03A05

Mathematics Subject Classification: 03B45

Mathematics Subject Classification: 03B60

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

https://zbmath.org/?q=an:0813.03001 [Zentralblatt MATH]

Electronic Resource - Use requires library card of the Staatsbibliothek zu Berlin