Das Buch handelt von den Grundlagen einer konstruktiven Theorie menschlichen Handelns. Diese werden in Auseinandersetzung mit prominenten gegenwärtigen Handlungstheorien und -logiken entwickelt und in bezug auf das Geben und Nehmen als Grundform eines aufeinander abgestimmten Gemeinschaftshandelns dargelegt. Konstruktiv - im Sinne der konstruktiven Mathematik - ist die Handlungstheorie, weil sie Handlungen nicht auf die Welt oder auf ein System möglicher Welten abbildet, sondern im Handlungswissen ihrer Agenten repräsentiert, das "praktisches Wissen" genannt wird. Jede Handlung führt zu einer Expansion, Revision oder zu einer Kontraktion dieses geteilten Handlungswissens. Konstruktive Handlungstheorie ist eine Theorie von Geist (mind) und Handlung. Für ihre technische Darstellung wird die Konstruktive Typentheorie des schwedischen Mathematikers und Philosophen Per Martin-Löf adaptiert. Das Buch diskutiert wichtige Positionen der gegenwärtigen handlungstheoretischen Diskussion und legt einen eigenen Ansatz vor. Dazu führt es in die Typentheorie ein und zeigt, wie das Phänomen menschlichen Handelns mit ihrer Hilfe analysiert und philosophisch erhellt werden kann.
