Proof

&
Aristotelian Society Supplementary Volume 40 (1):23-46 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1093/aristoteliansupp/40.1.23

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,440

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

Symposium: Proof.J. L. Mackie & G. T. Kneebone - 1966 - Aristotelian Society Supplementary Volume 40:23 - 46.
Sequent reconstruction in LLM—A sweepline proof.R. Banach - 1995 - Annals of Pure and Applied Logic 73 (3):277-295.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
Descartes's Ontological Proof of God's Existence.Cecilia Wee - 2012 - British Journal for the History of Philosophy 20 (1):23-40.
Argumentative aspects of indirect proof.James Gasser - 1992 - Argumentation 6 (1):41-49.
Dialectic and Indirect Proof.Clark Butler - 1991 - The Monist 74 (3):422-437.
Proof and Sanction in Mill's Utilitarianism.Stephen Cohen - 1990 - History of Philosophy Quarterly 7 (4):475 - 487.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
A New Proof of the Likelihood Principle.Greg Gandenberger - 2015 - British Journal for the Philosophy of Science 66 (3):475-503.
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
Semantic and game-theoretical insight into argumentation and proof.Barrier Thomas, Durand-Guerrier Viviane & Thomas Blossier - unknown
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Key ideas : What are they and how can they help us understand people view proof?Manya Sundström - unknown

Analytics

Added to PP
2015-02-05

Downloads
19 (#783,934)

6 months
7 (#416,569)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Numbers as quantitative relations and the traditional theory of measurement.Joel Michell - 1994 - British Journal for the Philosophy of Science 45 (2):389-406.
Suppositions, Presuppositions, and Ontology.Ian Hinckfuss - 1993 - Canadian Journal of Philosophy 23 (4):595 - 618.

Add more citations

References found in this work

No references found.

Add more references