The Logic of Mathematical Discovery vs. the Logical Structure of Mathematics

PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:309 - 327 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

reprint Feferman, Solomon (1978) "The Logic of Mathematical Discovery Vs. the Logical Structure of Mathematics". PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978(2):309-327

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Quantum Logic.Peter Mittelstaedt - 1974 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974 (2):501 - 514.
Rationality and Scientific Discovery.Stephen Toulmin - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:387 - 406.
Meaning in Science and Mathematics.Paul Fitzgerald - 1974 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:235 - 269.
Discovery, Rationality, and Progress in Science: A Perspective in the Philosophy of Science.Dudley Shapere - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:407 - 419.
The Justification of Mathematical Induction.George Boolos - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:469 - 475.
The 'Logic' of 'Quantum Logic'.John Stachel - 1974 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:515 - 526.
From Logical Systems to Conceptual Populations.Stephen Toulmin - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:552 - 564.
Structure of Complex Systems.R. J. Nelson - 1976 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1976:523 - 542.
A Logical Empiricist Theory of Scientific Change?Warren D. Siemens - 1970 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970:524 - 535.

Analytics

Added to PP
2011-05-29

Downloads
73 (#288,421)

6 months
4 (#1,255,690)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reliability of mathematical inference.Jeremy Avigad - 2020 - Synthese 198 (8):7377-7399.
Phenomenology and mathematical practice.Mary Leng - 2002 - Philosophia Mathematica 10 (1):3-14.
Towards a theory of mathematical argument.Ian J. Dove - 2013 - In Andrew Aberdein & Ian J. Dove (eds.), The Argument of Mathematics. Dordrecht, Netherland: Springer. pp. 291--308.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references