On the Shape of Mathematical Arguments, Antonetta J.M. van Gasteren; Edsger W. Dijkstra
Автор: Franco Montagna Название: Petr H?jek on Mathematical Fuzzy Logic ISBN: 3319382950 ISBN-13(EAN): 9783319382951 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This volume celebrates the work of Petr H jek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on H jek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of H jek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment of vagueness, building connections between H jek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles.
Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication.
The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that H jek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call H jek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by H jek in the context of fuzzy logic.
Автор: R.L. Tieszen Название: Mathematical Intuition ISBN: 9401075298 ISBN-13(EAN): 9789401075299 Издательство: Springer Рейтинг: Цена: 26546.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Intuition" has perhaps been the least understood and the most abused term in philosophy. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati- cal knowledge.
Автор: Dimiter G. Skordev Название: Mathematical Logic and Its Applications ISBN: 1461282349 ISBN-13(EAN): 9781461282341 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema.
Автор: David Makinson; Jacek Malinowski; Heinrich Wansing Название: Towards Mathematical Philosophy ISBN: 9048180651 ISBN-13(EAN): 9789048180653 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.
Автор: R.L. Tieszen Название: Mathematical Intuition ISBN: 0792301315 ISBN-13(EAN): 9780792301318 Издательство: Springer Рейтинг: Цена: 26546.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Intuition" has perhaps been the least understood and the most abused term in philosophy. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati- cal knowledge.
Автор: Olgierd Wojtasiewicz; Andrzej Grzegorczyk; Waclaw Название: An Outline of Mathematical Logic ISBN: 9401021147 ISBN-13(EAN): 9789401021142 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent years have seen the appearance of many English-language hand- books of logic and numerous monographs on topical discoveries in the foundations of mathematics.
Автор: Jaakko Hintikka; I. Niiniluoto; Esa. Saarinen Название: Essays on Mathematical and Philosophical Logic ISBN: 9400998279 ISBN-13(EAN): 9789400998278 Издательство: Springer Рейтинг: Цена: 35218.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyvaskyla, Finland, June 29-July 6, 1976.
Автор: Feng Ye Название: Strict Finitism and the Logic of Mathematical Applications ISBN: 9400736312 ISBN-13(EAN): 9789400736313 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exploring the logic behind applied mathematics to the physical world, this volume illustrates how radical naturalism, nominalism and strict finitism can account for the applications of classical mathematics in current theories about natural phenomena.
Автор: Tomasz Placek Название: Mathematical Intuitionism and Intersubjectivity ISBN: 9048151872 ISBN-13(EAN): 9789048151875 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. There is little sense in disputing whether what mathematicians said about the objectivity and reality of mathematical facts belongs to philosophy, or not.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
