Sources of Domain-Independence in the Formal Sciences
AbstractAny 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.
Added to PP
Historical graph of downloads
Similar books and articles
Certainty and Domain-Independence in the Sciences of Complexity: A Critique of James Franklin's Account of Formal Science.Kevin de Laplante - 1999 - Studies in History and Philosophy of Science Part A 30 (4):699-720.
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.
Response to Franklin's Comments on 'Certainty and Domain-Independence in the Sciences of Complexity'.Kevin de Laplante - 1999 - Studies in History and Philosophy of Science Part A 30 (4):725-728.
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.
Sophisticated Knowledge Representation and Reasoning Requires Philosophy.Selmer Bringsjord, Micah Clark & Joshua Taylor - forthcoming - In Ruth Hagengruber (ed.), Philosophy's Relevance in Information Science.
The Different Ways in Which Logic is (Said to Be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
Beyond Concepts: Ontology as Reality Representation.Barry Smith - 2004 - In Achille C. Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems (FOIS). pp. 1-12.
On the Analysis of History and the Interdependence of the Social Sciences.Franklin M. Fisher - 1960 - Philosophy of Science 27 (2):147-158.