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 (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesJames Franklin (1999). Structure and Domain-Independence in the Formal Sciences. Studies in History and Philosophy of Science 30:721-723.
James Franklin (1994). The Formal Sciences Discover the Philosophers' Stone. Studies in History and Philosophy of Science 25 (4):513-533.
Leon Horsten & Igor Douven (2008). Formal Methods in the Philosophy of Science. Studia Logica 89 (2):151 - 162.
Jean-Yves Beziau (2008). What is “Formal Logic”? Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Emily Grosholz (1992). Objects and Structures in the Formal Sciences. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:251 - 260.
Kevin T. Kelly (1988). Formal Learning Theory and the Philosophy of Science. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1988:413 - 423.
Selmer Bringsjord, Micah Clark & Joshua Taylor (forthcoming). Sophisticated Knowledge Representation and Reasoning Requires Philosophy. In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.
E. J. Lowe (2011). The Rationality of Metaphysics. Synthese 178 (1):99-109.
Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
Barry Smith (2004). Beyond Concepts: Ontology as Reality Representation. In Formal Ontology in Information Systems (FOIS).
Franklin M. Fisher (1960). On the Analysis of History and the Interdependence of the Social Sciences. Philosophy of Science 27 (2):147-158.
Analytics
Monthly downloads |
Added to index2010-12-22Total downloads2 ( #232,381 of 549,067 )Recent downloads (6 months)1 ( #63,185 of 549,067 )How can I increase my downloads? |
My notes
Discussion
