Michel Heinzmann (33 results)

Condition: New.

Condition: New.

Condition: New. In English.

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.…

Condition: New. Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . .…

Condition: New. pp. 440.

Condition: New. Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . . Books ship from the US and Ireland.…

Condition: New.

Gebunden. Condition: New.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Condition: Neu. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics | Dialogue, Rationality, and Formalism | Manuel Rebuschi (u. a.) | Taschenbuch | Logic, Argumentation & Reasoning | viii | Englisch | 2016 | Springer | EAN 9783319353142 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor ('Dialogue, Rationality, Formalisms') which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.…

Condition: New. pp. 382.

Paperback. Condition: Brand New. reprint edition. 380 pages. 9.25x6.10x0.86 inches. In Stock.

Condition: New. pp. 380.

230x160mm, LXI - 357pages, Exemplaire à l'état de neuf. Envois Europe : TVA inclus dans montant final. Exceptions taxes postales locales à la charge de l'acheteur (~2 EUR). Si nécéssaire, contact via notre page d'accueil / Shipping to Europe : VAT included in total amount. Local postal fees apply to buyers in Europe (~2 EUR). Contact us via our homepage if needed.…

Condition: gut. Das neue Urheberrecht: Kommentar zum Bundesgesetz über das Urheberrecht und verwandte Schutzrechte In deutscher Sprache. pages.

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation. 422 pp. Französisch.…

Condition: new. Questo è un articolo print on demand.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Large variety of facets studied: biographical, contextual, philosophical, logical, and mathematicalSignificant progress on problems central to current foundational studiesBrings together 21 contributions of today s leading authors on.…

Condition: new. Questo è un articolo print on demand.

Condition: New. Print on Demand pp. 440 Illus.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor ('Dialogue, Rationality, Formalisms') which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011. 380 pp. Englisch.…

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor ('Dialogue, Rationality, Formalisms') which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011. 380 pp. Englisch.…

Condition: New. PRINT ON DEMAND pp. 440.

Buch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor ('Dialogue, Rationality, Formalisms') which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.…

Buch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (¿Dialogue, Rationality, Formalisms¿) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Part one discusses the Erlangen School, which proposed a logical analysis of science as well as an operational reconstruction of psychological concepts. These first chapters provide epistemological and psychological insights into a conceptual reassessment of rational reconstruction from a pragmatic point of view.The second focus is on formal epistemology, where there has recently been a vigorous contribution from experts in epistemic and doxatic logics and an attempt to account for a more realistic, cognitively plausible conception of knowledge.The third part of this book examines the meeting point between logic and the human and social sciences and the fourth part focuses on research at the intersection between linguistics and psychology.Internationally renowned scholars have contributed to this volume, building on the findings and themes relevant to an interdisciplinary scientific project called DiaRaFor (¿Dialogue, Rationality, Formalisms¿) which was hosted by the MSH Lorraine (Lorraine Institute for Social Sciences and Humanities) from 2007 to 2011.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch.…