On the creative role of the definition (p ⊃q) = (∼p ∨q) D f in the system of principia: Reply to V. H. Dudman (I) and R. Black (II) [Book Review]

&
Mind 82 (328):613-616 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/mind/lxxxii.328.613

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

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

Through your library

My notes

Similar books and articles

Is (p ⊃q) = (∼p \vee q) df. a proper definition in the system of principia mathematica?E. Z. Nemesszeghy & E. A. Nemesszeghy - 1971 - Mind 80 (318):282-283.
Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown
The existence of matrices strongly adequate for e, R and their fragments.Marek Tokarz - 1979 - Studia Logica 38 (1):75 - 85.
Has a Post-Complete Axiomatization.Nuel D. Belnap - unknown
Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera - 2012 - Anales de la Cátedra Francisco Suárez 46:263-280.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Philosophiae ianua bibliographica.Joachim Aul - 1999 - Dartford: Junghans.
Dizionario enciclopedico dei pensatori e dei teologi di Sicilia: dalle origini al sec. XVIII.Francesco Armetta (ed.) - 2018 - Caltanissetta: Salvatore Sciascia editore.
Content and Confirmation.Kenneth Bruce Gemes - 1991 - Dissertation, University of Pittsburgh
Essay Review.P. Schroeder-Heister - 1986 - History and Philosophy of Logic 7 (2):187-193.

Analytics

Added to PP
2009-01-28

Downloads
33 (#471,604)

6 months
5 (#836,975)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Busting a Myth about Leśniewski and Definitions.Rafal Urbaniak & K. Severi Hämäri - 2012 - History and Philosophy of Logic 33 (2):159-189.

Add more citations

References found in this work

No references found.

Add more references