From Instrumentalism to Constructive Realism, Theo A.F. Kuipers

Автор: Kenneth J. Archer; L. William Oliverio, Jr.
Название: Constructive Pneumatological Hermeneutics in Pentecostal Christianity
ISBN: 1137585609 ISBN-13(EAN): 9781137585608
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the work of leading hermeneutical theorists alongside emerging thinkers, examining the current state of hermeneutics within the Pentecostal tradition. The volume’s contributors present constructive ideas about the future of hermeneutics at the intersection of theology of the Spirit, Pentecostal Christianity, and other disciplines. This collection offers cutting-edge scholarship that engages with and pulls from a broad range of fields and points toward the future of Pneumatological hermeneutics. The volume’s interdisciplinary essays are broken up into four sections: philosophical hermeneutics, biblical-theological hermeneutics, social and cultural hermeneutics, and hermeneutics in the social and physical sciences.

Автор: Giovanni Sommaruga
Название: History and Philosophy of Constructive Type Theory
ISBN: 9048154030 ISBN-13(EAN): 9789048154036
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

Автор: P. Dicken
Название: Constructive Empiricism
ISBN: 1349320072 ISBN-13(EAN): 9781349320073
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constructive empiricism is not just a view regarding the aim of science; it is also a view regarding the epistemological framework in which one should debate the aim of science. This is the focus of this book - not with scientific truth, but with how one should argue about scientific truth.

Автор: Giovanni Sommaruga
Название: History and Philosophy of Constructive Type Theory
ISBN: 0792361806 ISBN-13(EAN): 9780792361800
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A comprehensive survey of Martin-Lof`s constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material.

Автор: Giovanni Sommaruga
Название: Foundational Theories of Classical and Constructive Mathematics
ISBN: 9400735618 ISBN-13(EAN): 9789400735613
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focusing on the foundations, this volume explores both classical and constructive mathematics. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time both subtle and more differentiated.

Автор: Theo A.F. Kuipers
Название: From Instrumentalism to Constructive Realism
ISBN: 0792360869 ISBN-13(EAN): 9780792360865
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Suitable for open minded philosophers and scientists, this book explains and justifies the scientist`s intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences.

Автор: Anna Horsk?
Название: Where is the G?del-point hiding: Gentzen`s Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 3319021702 ISBN-13(EAN): 9783319021706
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book explains the first published consistency proof of PA. A notable aspect of the proof is the representation of ordinal numbers that was developed by Gentzen. The topic should interest researchers and students who work on proof theory, history of proof theory or Hilbert`s program and who do not mind reading mathematical texts.ГЇВїВЅ

Автор: Peter Schuster; Ulrich Berger; Horst Osswald
Название: Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
ISBN: 9048158850 ISBN-13(EAN): 9789048158850
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Symposion Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

Автор: Sergei Odintsov
Название: Constructive Negations and Paraconsistency
ISBN: 9048177448 ISBN-13(EAN): 9789048177448
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

Автор: Ermanno Bencivenga
Название: Exercises in Constructive Imagination
ISBN: 0792367022 ISBN-13(EAN): 9780792367024
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Philosophy has often self-consciously presented itself as aiming at the destruction or deconstruction of philosophical tradition or even of theorizing as such. This book contains a series of examples of philosophy, venturing into quantum mechanics and political theory, psychoanalysis and environmental ethics, philosophy of language and sociology.