Output details

Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

<11> This is the first paper in the philosophy of logic linking logical abstraction procedures historically from formal logic to computing. Its main contribution is the systematic recollection of concepts, functions and types as milestone of abstraction methods. Published in the leading journal for the history and philosophy of logic, it has been cited also by one of the pioneering figures in the history of logic (Grattan-Guinness). It is one of the first papers opening up problems from the philosophy of logic to the philosophy of computer science, which has been established recently as a recognised field with conference series and institutional funding.