Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author : Lev D. Beklemishev
Publisher : Elsevier
Page : 405 pages
File Size : 40,7 MB
Release : 2000-04-01
Category : Mathematics
ISBN : 008095507X
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Author : Walter Alexandre Carnielli
Publisher : American Mathematical Soc.
Page : 266 pages
File Size : 11,70 MB
Release : 1988
Category : Mathematics
ISBN : 0821850768
Constitutes the proceedings of the Seventh Latin American Symposium on Mathematical Logic, held July 29-August 2, 1985, at the University of Campinas in Brazil. This book offers an introduction to the active lines of research in mathematical logic and emphasizes the connections to other fields - philosophy, computer science and probability theory.
Author : Sophia M. Connell
Publisher : Taylor & Francis
Page : 217 pages
File Size : 21,24 MB
Release : 2023-09-12
Category : Philosophy
ISBN : 1000956237
This book aims to redress the balance in the field of Contemporary Philosophy, considered predominantly male, by highlighting the philosophical achievements of various female figures during the period 1870-1970. Contemporary Philosophy is generally presented by its historians as a field founded entirely by men, with no prominent female contributors. Historical investigation of the development of contemporary analytic philosophy, for example, usually centres around Frege, Russell, and Wittgenstein, with occasional ventures into Moore or the Vienna Circle. Such accounts leave out vast swathes of the historical record (from early 19th century to 20th century), in particular the women, including Christine Ladd-Franklin, Sophie Bryant, E.E.C. Jones, Susan Stebbing, Dorothy Wrinch, Alice Ambrose, Margaret MacDonald, Martha Kneale, Ruth Barcan Marcus and Ayda Ignez Arruda publishing on themes central to analytic philosophy– logic, language, realism, and relations. It is noteworthy that this pattern in historiography is not unique to one strand of philosophy or one part of the world but re-appears again and again. In the continental tradition, the development of Schopenhauer's philosophy leaves out significant contributions of women such as Olga Plümacher. The chapters in this book examine central themes from the perspective of female philosophers to provide a fuller picture of Philosophy of this period. This volume will be a great resource for academics, researchers, and advanced students of Philosophy and Women’s Studies and for everyone interested in the contribution of women philosophers. It was originally published in the British Journal for the History of Philosophy.
Author : Giandomenico Sica
Publisher : Polimetrica s.a.s.
Page : 122 pages
File Size : 23,28 MB
Release : 2005
Category : Mathematics
ISBN : 8876990216
Author : Lev D. Beklemishev
Publisher : Springer
Page : 330 pages
File Size : 46,45 MB
Release : 2015-09-05
Category : Computers
ISBN : 3319235346
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).
Author : Carlos A. Di Prisco
Publisher : Springer
Page : 415 pages
File Size : 12,31 MB
Release : 2006-11-14
Category : Mathematics
ISBN : 3540394141
Author : Heinz-Dieter Ebbinghaus
Publisher : Springer Science & Business Media
Page : 653 pages
File Size : 10,85 MB
Release : 2013-06-29
Category : Mathematics
ISBN : 3662090589
Gert H. Müller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical) logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises (presently) the following six volumes (listed with the corresponding Editors): I. Classical Logic W. Rautenberg 11. Non-classical Logics W. Rautenberg 111. Model Theory H.-D. Ebbinghaus IV. Recursion Theory P.G. Hinman V. Set Theory A.R. Blass VI. ProofTheory; Constructive Mathematics J.E. Kister; D. van Dalen & A.S. Troelstra.
Author : John T. Baldwin
Publisher : Cambridge University Press
Page : 462 pages
File Size : 47,61 MB
Release : 2017-03-02
Category : Mathematics
ISBN : 1107168090
This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for ω-stable theories.
Author : Vladimir Markin
Publisher : Springer
Page : 221 pages
File Size : 50,36 MB
Release : 2017-11-21
Category : Philosophy
ISBN : 3319661620
This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions. It includes works which cover Imaginary and Non-Aristotelian Logics, Inconsistent Set Theory and the Expansion of Mathematical Thinking, Plurivalent Logic, and the Impact of Vasiliev's Imaginary Logic on Epistemic Logic. The Russian logician, Vasiliev, was widely recognized as one of the forerunners of modern non-classical logic. His "imaginary logic" developed in some of his work at the beginning of 20th century is often considered to be one of the first systems of paraconsistent and multi-valued logic. The novelty of his logical project has opened up prospects for modern logic as well as for non-classical science in general. This volume contains a selection of papers written by modern specialists in the field and deals with various aspects of Vasiliev's logical ideas. The logical legacy of Nikolai Vasiliev can serve as a promising source for developing an impressive range of philosophical interpretations, as it marries promising technical innovations with challenging philosophical insights.
Author : Gert Heinz Müller
Publisher :
Page : 518 pages
File Size : 33,72 MB
Release : 1987
Category : Mathematics
ISBN :