The Trend of Logic and Foundation of Mathematics in Japan in 1991 to 1996

, &
Annals of the Japan Association for Philosophy of Science 9 (2):95-110 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.9.95

Links

PhilArchive



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

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

Is logic in the mind or in the world?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.
Book Review: Logic, Mathematics, and the Mind: A Critical Study of Richard Tieszen's Phenomenology, Logic, and the Philosophy of Mathematics. [REVIEW]Robert Hanna - 2009 - Notre Dame Journal of Formal Logic 50 (3):339-361.
Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.
Wittgenstein on the Foundations of Mathematics.Crispin Wright - 1980 - Cambridge, Mass.: Harvard University Press.
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
From Bolzano’s Point of View.Jan Berg - 2000 - The Monist 83 (1):47-67.
The foundational problem of logic.Gila Sher - 2013 - Bulletin of Symbolic Logic 19 (2):145-198.
Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics, Brasov, 23-25 mai 1991.Gabriel V. Orman (ed.) - 1991 - Brasov: Society of Mathematics Sciences.

Analytics

Added to PP
2014-03-28

Downloads
22 (#669,532)

6 months
9 (#250,037)

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

Bounded arithmetic and the polynomial hierarchy.Jan Krajíček, Pavel Pudlák & Gaisi Takeuti - 1991 - Annals of Pure and Applied Logic 52 (1-2):143-153.
Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Bounded arithmetic for NC, ALogTIME, L and NL.P. Clote & G. Takeuti - 1992 - Annals of Pure and Applied Logic 56 (1-3):73-117.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.

View all 43 references / Add more references