On the Possibility to use the Subtractive Calculus for the Formalization of Constructive Theories

Proceedings of the XIth International Congress of Philosophy 14:60-64 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

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

Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Empirical Adequacy in the Received View.Sebastian Lutz - 2014 - Philosophy of Science 81 (5):1171-1183.
Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.
Absolute Continuity and the Uniqueness of the Constructive Functional Calculus.Douglas Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (4):519-527.
Nature, Morality and the Possibility of Peace.Paul Guyer - 1995 - Proceedings of the Eighth International Kant Congress 1:51-69.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Space, Time and Einstein’s Theories.N. Lossky - 1953 - Proceedings of the XIth International Congress of Philosophy 6:175-179.
Le rôle de l’analogie dans les théories physiques.P. Filippo Selvaggi - 1953 - Proceedings of the XIth International Congress of Philosophy 6:138-143.
Kant's Argument against the Possibility of Cognitive Science.Richard McDonough - 1995 - Proceedings of the Eighth International Kant Congress 2:37-45.
The Ethics of Honour and the Possibility of Promise.John Milbank - 2008 - Proceedings of the American Catholic Philosophical Association 82:31-65.
Heidegger and the Possibility of Authentic Christianity.Thomas Langan - 1972 - Proceedings of the American Catholic Philosophical Association 46:101-113.
The Possibility of a Single Ethics in a Pluralistic World.George L. Stengren - 1963 - Proceedings of the American Catholic Philosophical Association 37:84-88.
Comments on Richard McDonough's, “Kant's Argument Against the Possibility of Cognitive Science".Frank Kirkland - 1995 - Proceedings of the Eighth International Kant Congress 1:1361-1365.
Mathematizing Power, Formalization, and the Diagrammatical Mind or: What Does “Computation” Mean? [REVIEW]Sybille Krämer - 2014 - Philosophy and Technology 27 (3):345-357.
Rose Alan. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 , pp. 635–636. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):66-66.

Analytics

Added to PP
2017-01-10

Downloads
26 (#602,477)

6 months
1 (#1,491,286)

Historical graph of downloads
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