Heinzmann michel (32 risultati)

Condizione: New.

Condizione: New.

Buch. Condizione: 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.…

Condizione: 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. . . . .…

Condizione: New. pp. 440.

Condizione: 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.…

Condizione: New.

Gebunden. Condizione: New.

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

Taschenbuch. Condizione: 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.…

Taschenbuch. Condizione: 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.…

Condizione: New. pp. 382.

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

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

Condizione: As New. Unread book in perfect condition.

Condizione: New. pp. 380.

230x160mm, LXI - 357pages, Exemplaire à l'état de neuf. Envoi groupé : les frais de port sont calculés sur le poids total de la commande ; chaque livre supplémentaire coûte donc beaucoup moins cher à expédier. Commandez plusieurs livres et économisez sur le port ! / Combined shipping: postage is charged on the total weight of your order, so each additional book ships at a reduced rate. Order several books from us and save on postage ! / Envois Europe : Droits et taxes inclus - aucun frais à la livraison / Shipments to Europe: Duties and taxes included - no delivery charges.…

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

Buch. Condizione: 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.…

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

Condizione: 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.…

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

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

Buch. Condizione: 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.…

Taschenbuch. Condizione: 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.…

Condizione: New. PRINT ON DEMAND pp. 440.

Buch. Condizione: 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.…

Taschenbuch. Condizione: 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.…

Buch. Condizione: 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.…

Condizione: New. PRINT ON DEMAND pp. 382.