Methods and Applications of Mathematical Logic

Methods and Applications of Mathematical Logic

Author: Walter Alexandre Carnielli

Publisher: American Mathematical Soc.

Published: 1988

Total Pages: 266

ISBN-13: 0821850768

DOWNLOAD EBOOK

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.


Lost Voices

Lost Voices

Author: Sophia M. Connell

Publisher: Taylor & Francis

Published: 2023-09-12

Total Pages: 217

ISBN-13: 1000956237

DOWNLOAD EBOOK

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.


Fields of Logic and Computation II

Fields of Logic and Computation II

Author: Lev D. Beklemishev

Publisher: Springer

Published: 2015-09-05

Total Pages: 330

ISBN-13: 3319235346

DOWNLOAD EBOOK

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).


Ω-Bibliography of Mathematical Logic

Ω-Bibliography of Mathematical Logic

Author: Heinz-Dieter Ebbinghaus

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 653

ISBN-13: 3662090589

DOWNLOAD EBOOK

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.


Fundamentals of Stability Theory

Fundamentals of Stability Theory

Author: John T. Baldwin

Publisher: Cambridge University Press

Published: 2017-03-02

Total Pages: 462

ISBN-13: 1107168090

DOWNLOAD EBOOK

This book introduces first order stability theory, organized around the spectrum problem, with complete proofs of the Vaught conjecture for ω-stable theories.


The Logical Legacy of Nikolai Vasiliev and Modern Logic

The Logical Legacy of Nikolai Vasiliev and Modern Logic

Author: Vladimir Markin

Publisher: Springer

Published: 2017-11-21

Total Pages: 221

ISBN-13: 3319661620

DOWNLOAD EBOOK

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.