Choice of primitives: A note on axiomatizing intuitionistic logic

History and Philosophy of Logic 19 (1):31-40 (1998)
  Copy   BIBTEX

Abstract

A purported axiomatization, by P. Gärdenfors, of intuitionistic propositional logic is shown to be incomplete, and that the mistaken claim to completeness is seen to result from carelessness in the choice of primitive logical vocabulary. This leads to a consideration of various ways of conceiving the distinction between primitive and defined vocabularies, along with the bearing of these differences on such matters as are discussed in connection with Gärdenfors

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2010-08-10

Downloads
21 (#631,231)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
Equivalential logics.Janusz Czelakowski - 1981 - Studia Logica 40 (3):227-236.
Equivalential logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.

View all 12 references / Add more references