Enormous advances in mathematical logic have taken place over the last 150 years.
These advances have made logic a much more powerful tool than it had hitherto been.
The development of the digital computer in the latter part of this period further broadens the potential applicability of logic, making possible applications which would have otherwise been too complex to realise.
Our understanding the scope and limits of logic in application, though it too has advanced, has not yet caught up with these developments.
The short essays below are my first attempts to approach this problem.
|Logic as a tool for engineers, with pragmatically engineered logical software. Engineering a platform for logical AI.||Androids are often portrayed as more logical than us humans. I think there's a lot of mileage in deliberately making artificial intelligence completely logical, rather than simulating human fallibility.|
|A general philosophical discussion of the potential scope of applicability of logic.||Logicist Epistemology is an approach to the theory of knowledge which emphasises both the distinction between logical and empirical knowledge and the role of logical truths in all branches of knowledge.|