David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
The aim of this paper is to re-emphasise that the purpose of formal systems is to provide something to map into and to stem the tide of unjustified formal systems. I start by arguing that expressiveness alone is not a sufficient justification for a new formal system but that it must be justified on pragmatic grounds. I then deal with a possible objection as might be raised by a pure mathematician and after that to the objection that theory can be later used by more specific models. I go on to compare two different methods of developing new formal systems: by a priori principles and intuitions; and by post hoc generalisation from data and examples. I briefly describe the phenomena of “social embedding” and use it to explain the social processes that underpin “normal” and “revolutionary” science. This suggests social grounds for the popularity of normal science. I characterise the “foundational” and “empirical” approaches to the use of formal systems and situate these with respect to “normal” and “revolutionary” modes of science. I suggest that successful sciences (in the sense of developing relevant mappings to formal systems) bare either more tolerant of revolutionary ideas or this tolerance is part of the reason they are successful. I finish by enumerating a number of ‘tell-tale’ signs that a paper is presenting an unjustified formal system.
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
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.
Citations of this work BETA
No citations found.
Similar books and articles
Carlos Pedro dos Santos Gonçalves & Maria Odete Madeira, A Systems Theoretical Formal Logic for Category Theory.
J. B. Nation (ed.) (2003). Formal Descriptions of Developing Systems. Kluwer Academic Publishers.
Sara L. Uckelman (2013). Medieval Disputationes de Obligationibus as Formal Dialogue Systems. Argumentation 27 (2):143-166.
Ian I. Mitroff (1973). Systems, Inquiry, and the Meanings of Falsification. Philosophy of Science 40 (2):255-276.
Added to index2009-01-28
Total downloads6 ( #217,583 of 1,139,970 )
Recent downloads (6 months)1 ( #157,515 of 1,139,970 )
How can I increase my downloads?