Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic PDF Download

Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 008095507X
Category : Mathematics
Languages : en
Pages : 405

View

Book Description
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic

Author: Walter Alexandre Carnielli
Publisher: American Mathematical Soc.
ISBN: 0821850768
Category : Mathematics
Languages : en
Pages : 266

View

Book Description
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
ISBN: 1000956237
Category : Philosophy
Languages : en
Pages : 217

View

Book Description
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.
ISBN: 8876990216
Category : Mathematics
Languages : en
Pages : 122

View

Book Description

Author: Lev D. Beklemishev
Publisher: Springer
ISBN: 3319235346
Category : Computers
Languages : en
Pages : 330

View

Book Description
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
ISBN: 3540394141
Category : Mathematics
Languages : en
Pages : 415

View

Book Description

Author: Heinz-Dieter Ebbinghaus
Publisher: Springer Science & Business Media
ISBN: 3662090589
Category : Mathematics
Languages : en
Pages : 653

View

Book Description
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
ISBN: 1107168090
Category : Mathematics
Languages : en
Pages : 462

View

Book Description
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
ISBN: 3319661620
Category : Philosophy
Languages : en
Pages : 221

View

Book Description
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:
ISBN:
Category : Mathematics
Languages : en
Pages : 518

View

Book Description