Elsevier

Journal of Applied Logic

Volume 6, Issue 4, December 2008, Pages 545-552
Journal of Applied Logic

Dark programming and the case for the rationality of programs

https://doi.org/10.1016/j.jal.2008.09.003Get rights and content
Under an Elsevier user license
open archive

Abstract

Programming normally proceeds from subjective method to objective method: to program a task, you need to be able to do the task; at least “in principle.” Some new techniques of producing programs, exemplified by evolutionary algorithm techniques, do not involve any such subjective method. Is this still programming, and are the results really programs? To answer, the concept of program is reexamined. It is argued that in addition to being causative and descriptive, a program must also be rationally justifiable, i.e., the specific structure of the program should be explainable by the (rational) ways in which it contributes to achieving the intended goal. Whereas traditional programming is rational in the sense that it provides the program with a rationale by its reliance on subjective method and problem solving, these new techniques of “dark programming” do not produce any rationale; moreover, the results are not restricted to be easily rationalized. Dark programs are not guaranteed to be proper programs, but dark programming can still be used as a tool in proper (rational) programming. The business of programming then takes a turn from problem solving in the sense of invention and engineering towards problem solving in the sense of explanation and research.

Keywords

Dark programming
Subjective method
Rationality of programs
Justifiability

Cited by (0)