Is (p ⊃q) = (∼p \vee q) df. a proper definition in the system of principia mathematica?

&
Mind 80 (318):282-283 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/mind/lxxx.318.282

Links

PhilArchive



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

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

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). [REVIEW]E. Z. Nemesszeghy & E. A. Nemesszeghy - 1973 - Mind 82 (328):613-616.
On Pretabular Extensions of Relevance Logic.Asadollah Fallahi & James Gordon Raftery - forthcoming - Studia Logica:1-19.
The existence of matrices strongly adequate for e, R and their fragments.Marek Tokarz - 1979 - Studia Logica 38 (1):75 - 85.
The probability of particular events.R. G. Swinburne - 1971 - Philosophy of Science 38 (3):327-343.
Necessariamente, Provavelmente não sou um Zumbi (Necessarily, Probably I am not a Zombie).Danilo Fraga Dantas - 2018 - Intuitio 11 (1):19-32.
"Not both P and not q, therefore if P then q" is not a valid form of argument.Geoffrey Hunter - 1973 - Mind 82 (326):280.
On the verifiers of disjunction.Boguslaw Wolniewicz - 1980 - Bulletin of the Section of Logic 9 (2):57-59.
A deduction theorem schema for deductive systems of propositional logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Minimal extensions of Π01 classes.Douglas Cenzer & Farzan Riazati - 2005 - Mathematical Logic Quarterly 51 (2):206-216.

Analytics

Added to PP
2009-01-28

Downloads
34 (#123,329)

6 months
14 (#987,135)

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