Logic for Design
The design of control logic by formal methods provides a stimulating test case for radical advances in the application of
formal logic.
The articulation of principles, rationale, foundations and methods for such an approach to engineering design has substantial
philosophical content.
|
|
Cognitive Engineering
The construction of machines which realise signficant elements of the kinds of cognitive capacity hitherto exclusive to the
human brain is an engineering problem with a substantial philosophical content.
|
|
Social Engineering
Political philosophy has historically been a significant influence on the evolution of political systems in the real world.
Even the most neutral philosophical analysis of may cast light which changes the world.
Conversely, thinking about how to realise significant improvements to the world we live in leads us into a kind of philosophy.
|
|
Best known as a philosopher and mathematician, Leibniz was also an engineer.
He built calculating machines, and conceived of a universal calculating machine capable of solving any problem which could
be formulated in a sufficiently precise way.
|
|
Artificial Intelligence as we now call it, is an engineering problem whose putative solutions raise philosophical problems.
The mere possibility of non-human intelligence, once accepted, may
provoke changes in philosophical attitude to problems which have no
obvious connec
tion with the engineering of artefacts.
|
|