Second-order languages and mathematical practice

Journal of Symbolic Logic 50 (3):714-742 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274326

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

Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
A Poor Concept Script.Hartley Slater - 2004 - Australasian Journal of Logic 2:44-55.
Intuition and visualization in mathematical problem solving.Valeria Giardino - 2010 - Topoi 29 (1):29-39.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
The revenge of Pythagoras: How a mathematical sharp practice undermines the contemporary design argument in astrophysical cosmology.Robert Klee - 2002 - British Journal for the Philosophy of Science 53 (3):331-354.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Word-Order Change as a Source of Grammaticalisation.Susann Fischer - 2010 - John Benjamins Pub. Company.
Observability of Turing Machines: a refinement of the theory of computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.

Analytics

Added to PP
2009-01-28

Downloads
138 (#129,483)

6 months
8 (#292,366)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Stewart Shapiro
Ohio State University

Citations of this work

Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Models and Computability.W. Dean - 2014 - Philosophia Mathematica 22 (2):143-166.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
A critical appraisal of second-order logic.Ignacio Jané - 1993 - History and Philosophy of Logic 14 (1):67-86.

View all 27 citations / Add more citations

References found in this work

Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Science without Numbers.Michael D. Resnik - 1983 - Noûs 17 (3):514-519.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.

View all 13 references / Add more references