The technological sciences have at least six defining characteristics that distinguish them from the other sciences. They have human-made rather than natural objects as their study objects, include the practice of engineering design, define their study objects in functional terms, evaluate these study objects with category-specified value statements, employ less far-reaching idealizations than the natural sciences, and do not need an exact mathematical solution when a sufficiently close approximation is available. In combination, the six characteristics are sufficient to show that (...) the technological sciences are neither branches nor applications of the natural sciences, but form a different group of sciences with specific characteristics of their own.Keywords: Technological sciences; Technology; Functional concepts; Idealization; Design. (shrink)

This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...) the semantics, such as inductive skepticism, the logic of discovery, Duhem’s problem, the articulation of theories by auxiliary hypotheses, the role of serendipity in scientific knowledge, Fitch’s paradox, deductive closure of knowability, whether one can know inductively that one knows inductively, whether one can know inductively that one does not know inductively, and whether expert instruction can spread common inductive knowledge—as opposed to mere, true belief—through a community of gullible pupils. (shrink)