Lindström sten (32 Ergebnisse)

Hardcover. Zustand: Fine. No Jacket. 1st Edition. Volume 2 in the Studia Logic Library. Book.

23 x 15,5 cm. Zustand: Gut. 1. Auflage. IX, 232 Seiten Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Einband mit etwas beriebenen Ecken, Deckel mit Lagerspuren. - Essays in Philosophical Logic. - Trends in Logic, Studia Logica Library, volume 2. MIG-13-01A|A26 Sprache: Englisch Gewicht in Gramm: 626. …

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present volume has its origin in a meeting of philosophers, linguists and cognitive scientists that was held at Umea University, Sweden, September 24-26, 1993. The meeting was organized by the Department of Philosophy in cooperation with the Department of Linguistics, and it was called UmLLI-93, the Umea Colloquium on Dynamic Approaches in Logic, Language and Information. The papers published here are considerably expanded and revised versions of talks presented by invited speakers at this colloquium. The papers included here fall into three broad categories. In the first part of the book, Action, we have collected papers that concern the formal theory of action, the logic of nonns, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics in the tradition of Alchourr6n, Gardenfors and Makinson. The third part, Cognition, concerns abstract questions about knowledge and truth as well'as more concrete questions about theusefuleness and tractability of various graphic representations of infonnation. An additional and important topic of the colloquium concerned logical approaches to natural language. For the sake of the thematic unity of this book, and its appearance in the series Trends in logic, the colloquium papers related to language are not included here, but some of these contributions will appear in the philosophical journal Theoria.…

Zustand: New. In English.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is divided into three parts. In the first part, Action, are collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of belief dynamics. The third part, Cognition, concerns Fitch's knowability paradox as well as problems concerning the graphic representation of information.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Kartoniert / Broschiert. Zustand: New.

Gebunden. Zustand: New.

Gebunden. Zustand: New. This book is divided into three parts. In the first part, Action, are collected papers that concern the formal theory of action, the logic of norms, and the theory of rational decision. The papers in the second part, Belief Change, concern the theory of bel.

Hardcover. Zustand: Brand New. 232 pages. 10.00x6.75x0.75 inches. In Stock.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as well as some biographical sketches. Lennart Åqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Sören Halldén, Kaj Børge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmström-Hintikka, Lars Lindahl, Sten Lindström, Ingmar Pörn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Sören Stenlund, Göran Sundholm, and Andrei Voronkov have contributed to this volume.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. This is the second of two volumes dedicated to the work of Stig Kanger. The first volume is a complete collection of Kanger's philosophical papers. The present volume contains critical essays on the various aspects of Kanger's work as well as some biographical sketches. Lennart Åqvist, Jan Berg, Brian Chellas, Anatoli Degtyarev, Lars Gustafsson, Sören Halldén, Kaj Børge Hansen, Sven Ove Hansson, Risto Hilpinen, Jaakko Hintikka, Ghita Holmström-Hintikka, Lars Lindahl, Sten Lindström, Ingmar Pörn, Dag Prawitz, Wlodek Rabinowicz, Krister Segerberg, Amartya Sen, Sören Stenlund, Göran Sundholm, and Andrei Voronkov have contributed to this volume.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. It is generally accepted nowadays that Kanger was one of the originators of possible worlds semantics for modal logic. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. He also contributed to action theory, preference logic, and the theory of measurement. This is the first of two volumes dedicated to the work of Stig Kanger. The present volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on Kanger's work, as well as biographical essays on Kanger written by colleagues and friends.…

23,5 x 15,5 cm. Zustand: Gut. XII, 512 Pages ; With Figures Synthese Library ; Volume 341 - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). In Englischer Sprache B09-04-02L Sprache: Englisch Gewicht in Gramm: 808.…

Zustand: New. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title deals with the work of Stig Kanger. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 15. Weight in Grams: 920. . 2001. Paperback. . . . . Books ship from the US and Ireland.…

Zustand: New. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof theory as well as the first fully worked out model-theoretic interpretation of quantified modal logic. This book presents a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 17. Weight in Grams: 1000. . 2001. Paperback. . . . . Books ship from the US and Ireland.…

Zustand: New. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. This title contains critical essays on the various aspects of Kanger's work. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 281 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 244 x 170 x 17. Weight in Grams: 592. . 2001. Hardback. . . . . Books ship from the US and Ireland.…

Zustand: New. Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation "Provability in Logic", 1957, contained significant results in proof theory. This is the first of two volumes dedicated to the work of Stig Kanger. It is a collection of Kanger's philosophical papers. Editor(s): Holmstrom-Hintikka, Ghita; Lindstrom, Sten; Sliwinski, Rysiek (Uppsala University, Uppsala, Sweden). Series: Synthese Library. Num Pages: 305 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 235 x 155 x 19. Weight in Grams: 631. . 2001. Hardback. . . . . Books ship from the US and Ireland.…

Zustand: gut. 1997. Logic, Action and Cognition In englischer Sprache. pages.

Taschenbuch. Zustand: Neu. Epistemology versus Ontology | Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf | P. Dybjer (u. a.) | Taschenbuch | Logic, Epistemology, and the Unity of Science | xxviii | Englisch | 2014 | Springer | EAN 9789401782388 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics.…

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 2012 edition. 416 pages. 9.25x6.10x0.94 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s.The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.The volume will be of interest primarily to researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields.…