The categories of proof in indian logic

Philosophy and Phenomenological Research 6 (3):400-409 (1945)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1946

DOI

10.2307/2102694

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

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

Reply to Solomon.Laurence BonJour - 1990 - Philosophy and Phenomenological Research 50 (4):779-782.
Solomon on the control of emotions.Robert C. Roberts - 1984 - Philosophy and Phenomenological Research 44 (March):395-404.
Solomon on normative ethics and meta-ethics.Robert L. Simon - 1972 - Philosophy and Phenomenological Research 32 (4):554-556.
Review: Solomon Feferman, Ordinals and Functionals in Proof Theory. [REVIEW]Georg Kreisel - 1975 - Journal of Symbolic Logic 40 (4):625-626.
Logic and Categories as Tools for Building Theories.Samson Abramsky - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Proof and counterproof in early Indian dialectic and logic,'.Ernst Prets - 2001 - Journal of Indian Philosophy 29.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
The Distinction in intellectu/in re in the Ontological Proof and in Bhartrhari.Fernando Tola & Carmen Dragonetti - 2010 - In Piotr Balcerowicz (ed.), Logic and belief in Indian philosophy. Delhi: Motilal Banarsidass Publishers. pp. 3--213.
Frege on proof.Arnold B. Levison - 1961 - Philosophy and Phenomenological Research 22 (1):40-49.
Fundamentals of Indian Philosophy.D. C. Mathur - 1977 - Philosophy and Phenomenological Research 37 (4):571-574.

Analytics

Added to PP
2009-01-28

Downloads
19 (#1,072,200)

6 months
10 (#399,629)

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