IF logic and the foundations of mathematics

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Henkin, L.: 1961, ‘Some Remarks on Infinitively Long Formulas’ Infinitistic Methods, Pergamon, Oxford and PAN, Warsaw 1961, pp. 167–183.
Hintikka, J. and G. Sandu: 1989, ‘Informational Independence as a Semantical Phenomenon’ in J. E. Fenstad et al. (eds), Logic, Methodology and Philosophy of Science VIII, Elsevier, Amsterdam, pp. 571–589.
Google Scholar
Hintikka, J.: 1996, The Principles of Mathematics Revisited, Cambridge University Press.
Hyttinen, T. and G. Sandu: forthcoming ‘Henkin quantifiers and the definability of truth’ in Journal of Philosophical Logic.
Sandu, G.: 1998, ‘IF-logic and Truth-definition’ J. Philosophical Logic 27, 143–164.
Google Scholar
Walkoe, W.: 1970, ‘Finite Partially Ordered Quantification’ J. Symbolic Logic 35, 535–550.
Google Scholar

Department of Philosophy, University of Helsinki, Unioninkatu 40B, P.O. Box 24, 00015, Helsinki, Finland
Gabriel Sandu & Tapani Hyttinen

Authors

Gabriel Sandu
View author publications
You can also search for this author in PubMed Google Scholar
Tapani Hyttinen
View author publications
You can also search for this author in PubMed Google Scholar

Sandu, G., Hyttinen, T. IF logic and the foundations of mathematics. Synthese 126, 37–47 (2001). https://doi.org/10.1023/A:1005231507310

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.