Limitations of formalization

Philosophy of Science 32 (3/4):356-360 (1965)
  Copy   BIBTEX

Abstract

After several decades during which formalization has flourished it now becomes possible to detect its shortcomings. A definition of formalization is given at the outset. It is next shown that the main justification of formalization as making explicit the form of a proof has serious difficulties. An important shortcoming is found in the fact that many validation procedures in logic and mathematics are not adequately represented deductively. Several such procedures relating to the validation of logical and mathematical sentences are examined. It is concluded that formalization is materially inadequate

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On the formalization of semantic conventions.James G. Williams - 1990 - Journal of Symbolic Logic 55 (1):220-243.
Domains of Sciences, Universes of Discourse and Omega Arguments.Jose M. Saguillo - 1999 - History and Philosophy of Logic 20 (3-4):267-290.
Contexts, oracles, and relevance.Varol Akman & Mehmet Surav - 1995 - In Proceedings of the AAAI-95 Fall Symposium on Formalizing Context (AAAI Technical Report FS-95-02). Palo Alto, CA: Association for the Advancement of Artificial Intelligence Press. pp. 23-30.
A sequence formalization for SCI.Anita Wasilewska - 1976 - Studia Logica 35 (3):213 - 217.
Formalization in philosophy.Sven Ove Hansson - 2000 - Bulletin of Symbolic Logic 6 (2):162-175.
Dialektik und formalisierung.Lorenz B. Puntel - 1997 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 28 (2):367-383.
Formalization and the objects of logic.Georg Brun - 2008 - Erkenntnis 69 (1):1 - 30.

Analytics

Added to PP
2009-01-28

Downloads
28 (#490,379)

6 months
5 (#247,092)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references