Contemporary epistemological and cognitive studies, as well as recent trends in computer science and game theory have revealed an increasingly important and intimate relationship between Information, Interaction, and Agency.

This book offers insights relevant to modern history and epistemology of physics, mathematics and, indeed, to all the sciences and engineering disciplines emerging of 19th century. This research volume is the first of a set of three Springer books on Lazare Nicolas Marguérite Carnot’s (1753–1823) remarkable work: Essay on Machines in General (Essai sur les machines en général [1783] 1786). The other two forthcoming volumes are: Principes fondamentaux de l’équilibre et du mouvement (1803) and Géométrie de position (1803).

This book provides a collection of chapters on the development of scientific philosophy and symbolic logic in the early twentieth century. The turn of the last century was a key transitional period for the development of symbolic logic and scientific philosophy. The Peano school, the editorial board of the Revue de Métaphysique et de Morale, and the members of the Vienna Circle are generally mentioned as champions of this transformation of the role of logic in mathematics and in the sciences. The scholarship contained provides a rich historical and philosophical understanding of these groups and research areas. Specifically, the contributions focus on a detailed investigation of the relation between structuralism and modern mathematics. In addition, this book provides a closer understanding of the relation between symbolic logic and previous traditions such as syllogistics. This volume also informs the reader on the relation between logic, the history and didactics in the Peano School. This edition appeals to students and researchers working in the history of philosophy and of logic, philosophy of science, as well as to researchers on the Vienna Circle and the Peano School.

This textbook presents the basics of philosophy that are necessary for the student and researcher in science in order to better understand scientific work. The approach is not historical but formative: tools for semantical analysis, ontology of science, epistemology, and scientific ethics are presented in a formal and direct way. The book has two parts: one with the general theory and a second part with application to some problems such as the interpretation of quantum mechanics, the nature of mathematics, and the ontology of spacetime. The book addresses questions such as "What is meaning?", "What is truth?", "What are truth criteria in science?", "What is a theory?", "What is a model?" "What is a datum?", "What is information?", "What does it mean to understand something?", "What is space?", "What is time?", "How are these concepts articulated in science?" "What are values?" "What are the limits of science?", and many more. The philosophical views presented are "scientific" in the sense that they are informed by current science, they are relevant for scientific research, and the method adopted uses the hypothetical-deductive approach that is characteristic of science. The results and conclusions, as any scientific conclusion, are open to revision in the light of future advances. Hence, this philosophical approach opposes to dogmatic philosophy. Supported by end-of-chapter summaries and a list of special symbols used, the material will be of interest for students and researchers in both science and philosophy. The second part will appeal to physicists and mathematicians.