David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given formal specification; or checking that a program meets a specification. We also exhibit a ‘simple’ MAS which has all the power of a Turing machine. We then argue that any ‘pure design’ methodology will face insurmountable difficulties in today’s open and complex MAS. Rather we suggest a methodology based on the classic experimental method – that is ‘scientific foundations’ for the construction and control of complex MAS.
|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
Deborah Mayo & Jean Miller (2008). The Error Statistical Philosopher as Normative Naturalist. Synthese 163 (3):305 - 314.
Vincenzo Crupi & Stephan Hartmann (2010). Formal and Empirical Methods in Philosophy of Science. In Friedrich Stadler et al (ed.), The Present Situation in the Philosophy of Science. Springer 87--98.
Antje Nowack (2005). A Guarded Fragment for Abstract State Machines. Journal of Logic, Language and Information 14 (3):345-368.
Jeffry L. Ramsey (1993). When Reduction Leads to Construction: Design Considerations in Scientific Methodology. International Studies in the Philosophy of Science 7 (3):241 – 253.
Jeff Sanders & Matteo Turilli (2007). Dynamics of Control. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07):440-449.
Pawel Garbacz (2007). A First Order Theory of Functional Parthood. Journal of Philosophical Logic 36 (3):309 - 337.
Leon Horsten & Igor Douven (2008). Formal Methods in the Philosophy of Science. Studia Logica 89 (2):151 - 162.
Added to index2009-01-28
Total downloads3 ( #462,240 of 1,725,584 )
Recent downloads (6 months)1 ( #349,436 of 1,725,584 )
How can I increase my downloads?