On the verifiers of disjunction

Bulletin of the Section of Logic 9 (2):57-59 (1980)
  Copy   BIBTEX

Abstract

In a letter David Makinson has pointed out to me a clear-cut coun- terexample to the formula T3: S = M in [ S()), propounded in [1] for objective of disjunction. As he says: let p; q be independent E- propositions and put = p ^ q, = p^ q. Since p is an E-proposition, S = fug for some u in SE. Then S = S _ ) = S = fug; but u 62 V () [ V () S() [ S() M in [ S())

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,748

External links

  • This entry has no external links. Add one.
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 verifiers of disjunction.Bogus law Wolniewicz - 1980 - Bulletin of the Section of Logic 9 (2):57-59.
Ploucquet’s “Refutation” of the Traditional Square of Opposition.Wolfgang Lenzen - 2008 - Logica Universalis 2 (1):43-58.
Understanding, Knowledge, and Scientific Antirealism.Kareem Khalifa - 2011 - Grazer Philosophische Studien 83 (1):93-112.
Existential-Import Mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.
Ultrafilters, monotone functions and pseudocompactness.M. Hrušák, M. Sanchis & Á Tamariz-Mascarúa - 2005 - Archive for Mathematical Logic 44 (2):131-157.
The logic of freedom and responsibility.G. Oddie - 1982 - Studia Logica 41:227.
Ramsey + Moore!= God.David Barnett - 2008 - Analysis 68 (2):168-174.
E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
Maximal chains in the fundamental order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
On the Tracking Account of Inferential Knowledge.Bin Zhao - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references