The Limits of Formalization

Pages: 365 - 372
Published: Jan 1, 1994
Abstract
There are two fundamentally different attitudes to the methods of formal logic in the logical tradition at least since Frege. On one hand, a logical formalization of some part of mathematics, or some other domain, is meant to articulate conceptually essential features of that domain as it exists. The formalization is fundamentally the result of a conceptual investigation, and not just the application of a certain technique for transforming...
Paper Fields
Paper Details
Title
The Limits of Formalization
Published Date
Jan 1, 1994
Journal
Pages
365 - 372
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.