Logic and philosophy of science in Nancy (II)

Philosophia Scientiae

Gerhard Heinzmann, Pierre É. Bour, Wilfrid Hodges, Peter Schroeder-Heister (eds)

2015

This issue collects a selection of contributed papers presented at the 14th International Congress of Logic, Methodology and Philosophy of Science in Nancy, July 2011. These papers were originally presented within two of the main sections of the Congress.

Interdisciplinary works in logic, epistemology, psychology and linguistics

Manuel Rebuschi, Gerhard Heinzmann, Michel Musiol, Alain Trognon (eds)

Springer - Berlin

2014

This book presents comparisons of recent accounts in the formalization of natural language (dynamic logics and formal semantics) with informal conceptions of interaction (dialogue, natural logic, and attribution of rationality) that have been developed in both psychology and epistemology. There are four parts which explore: historical and systematic studies; the formalization of context in epistemology; the formalization of reasoning in interactive contexts in psychology; the formalization of pathological conversations.

Standards of rigor in mathematical practice

Philosophia Scientiae

Gerhard Heinzmann (ed)

2014

One hundred years of intuitionism (1907–2007)

Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann (eds)

Springer - Berlin

2008

With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.

The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism.

Aperçus philosophiques en logique et en mathématiques

Philosophia Scientiae

Gerhard Heinzmann, Manuel Rebuschi (eds)

2005