Sources of Domain-Independence in the Formal Sciences


Abstract
Any discussion of the concept of “formal science” must acknowledge that the term is used in different ways, for different purposes, by different people. For some, the formal sciences are defined by the exclusive use of deductive methods for discovering, or reasoning about, the properties of formal, abstract systems. On this view, the formal sciences are synonymous with mathematics, formal logic, and certain branches of linguistics and computer science that emphasize the study of formal languages. For others, “formal science” means something like “exact science”, or “formalized science”. On this view, any scientific discipline that places heavy emphasis on mathematical or logical formalization of key theoretical concepts and theories, could be described as a formal science. This latter conception of formal science is much more liberal than the former, and would include all of physics, much of chemistry, and some parts of biology, ecology, psychology and economics, as well as newer computationoriented disciplines like artificial life and artificial intelligence that do not fit easily within the traditional classification of the sciences.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,226
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Structure and Domain-Independence in the Formal Sciences.James Franklin - 1999 - Studies in History and Philosophy of Science Part A 30:721-723.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Objects and Structures in the Formal Sciences.Emily Grosholz - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:251 - 260.
Formal Learning Theory and the Philosophy of Science.Kevin T. Kelly - 1988 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:413 - 423.
The Rationality of Metaphysics.E. J. Lowe - 2011 - Synthese 178 (1):99-109.
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.

Analytics

Added to PP index
2010-12-22

Total views
9 ( #947,696 of 2,499,678 )

Recent downloads (6 months)
1 ( #418,206 of 2,499,678 )

How can I increase my downloads?

Downloads

My notes