Universal Logic An Anthology

Author: Jean-Yves Béziau
Publisher: Birkhäuser
ISBN: 3034601468
Release Date: 2012-04-05
Genre: Mathematics

A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.

The Road to Universal Logic

Author: Arnold Koslow
Publisher: Birkhäuser
ISBN: 9783319153681
Release Date: 2015-06-10
Genre: Mathematics

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert). The volume gathers personal recollections about Jean-Yves Béziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Németi, Henri Prade. These essays will be of interest to all students and researchers interested in the nature and future of logic.

Logic Language Information and Computation

Author: Juliette Kennedy
Publisher: Springer
ISBN: 9783662553862
Release Date: 2017-07-10
Genre: Mathematics

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017. The 28 contributed papers were carefully reviewed and selected from 61 submissions. They cover interdisciplinary research in pure and applied logic, aiming at interactions between logic and the sciences related to information and computation.

Logic A History of its Central Concepts

Author: Dov M. Gabbay
Publisher: Newnes
ISBN: 9780080931708
Release Date: 2012-12-31
Genre: Mathematics

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. Covers in depth the notion of logical consequence Discusses the central concept in logic of modality Includes the use of diagrams in logical reasoning

Contradictions from Consistency to Inconsistency

Author: Walter Carnielli
Publisher: Springer
ISBN: 9783319987972
Release Date: 2018-10-13
Genre: Philosophy

This volume investigates what is beyond the Principle of Non-Contradiction. It features 14 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions. Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction, inconsistency, and triviality, and concern one of the above mentioned threads of the broadly understood non-contradiction principle and the related principle of explosion. Some others take a perspective that is not too far away from such themes, but with the freedom to tread new paths. Readers should understand the title of this book in a broad way,because it is not so obvious to deal with notions like contradictions, consistency, inconsistency, and triviality. The papers collected here present groundbreaking ideas related to consistency and inconsistency.

Grundlagen der Mathematik II

Author: David Hilbert
Publisher: Springer-Verlag
ISBN: 9783642868962
Release Date: 2013-03-13
Genre: Mathematics

Der vorliegende Band schließt die Darstellung der Beweistheorie ab, die ich vor einigen Jahren zusammen mit P. BERNAYS begann. Auf meinen Wunsch hat P. BERNAYS wieder die Abfassung des Textes über nommen. Ich danke ihm für die Sorgfalt und Treue, mit der er meine Gedanken wiedergegeben hat, an deren Entwicklung er in jahrelanger Zusammenarbeit aufs stärkste beteiligt war. Ohne seine Mithilfe wäre die Vollendung dieses Buches unmöglich gewesen. Den Herren W. ACKERMANN, G. GENTZEN, A. SCHMIDT, H. SCHOLZ danke ich für ihre freundliche Mitwirkung bei den Korrekturen. Göttingen, im März 1939 HILBERT Zur Einführung Das vorliegende Buch soll einer eingehenden Orientierung über den gegenwärtigen Stoff der HILBERTschen Beweistheorie dienen. Wenn gleich das bisher hier Erreichte gemessen an den Zielen der Theorie sehr bescheiden ist, so liegt doch ein reichlicher Stoff an prägnanten Ergebnissen, an Gesichtspunkten und Beweisgedanken vor, die zur Kenntnis zu bringen als lohnend erscheint. Für die inhaltliche Gestaltung dieses zweiten Bandes waren durch den Zweck des Buches zwei Hauptthemata vorgezeichnet. - Es handelte sich einmal darum, die hauptsächlichen, an das e-Symbol sich knüpfenden beweistheoretischen Ansätze HILBERTS und ihre Durchführung zur ein gehenden Darstellung zu bringen.

Gentzens Problem

Author: Eckart Menzler-Trott
Publisher: Springer-Verlag
ISBN: 9783034883252
Release Date: 2013-03-07
Genre: Mathematics

Gerhard Gentzen (1909-1945) ist der Begründer der modernen mathematischen Beweistheorie. Die nachhaltige Bedeutung seiner Arbeiten zeigt sich bis heute in der Informatik und beeindruckt durch Einsicht und Eleganz. Der Autor dokumentiert in dieser ersten umfassenden Biografie Leben und Werk Gerhard Gentzens, seinen tragischen Lebensweg: Festnahme 1945 in Prag, Gefangenschaft und Tod. Plus: zahlreiche, bislang unveröffentlichte Dokumente und Fotos.

Idealtheorie

Author: Wolfgang Krull
Publisher: Springer-Verlag
ISBN: 9783642870330
Release Date: 2013-03-13
Genre: Mathematics


Summe der Logik Summa logica

Author: Wilhelm von Ockham
Publisher:
ISBN: 9783787332922
Release Date: 1999-01-01
Genre: Philosophy

Die 1324 verfaßte Logik Wilhelms von Ockham markiert nicht nur den Wendepunkt von der via antiqua zur via moderna, es ist darüber hinaus auch ein Zeugnis des "Universalienstreits", mittelalterlicher Sprachlogik und damit jenes Umbruchs innerhalb der Philosophie des 14. Jahrhunderts, der Philosophie und Theologie als selbständige Disziplinen auftreten läßt.

Anf nge der griechischen Mathematik

Author: Arpad Szabo
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 9783486819861
Release Date: 1969
Genre: History

Gerade heute, wo sich die Aufmerksamkeit der führenden Philosophen, Logiker und Mathematiker erneut auf die Grundlagen der systematisch-deduktiven Mathematik richtet, ist dieses Buch von zeitnaher und tiefer Bedeutung.

Wissen im Diskurs

Author: Laura Kajetzke
Publisher: Springer-Verlag
ISBN: 9783531907819
Release Date: 2008-02-17
Genre: Social Science

In dieser Arbeit werden die theoretischen Perspektiven Pierre Bourdieus und Michel Foucaults einer wissenssoziologischen Lesart unterzogen: Wie verhalten sich Foucaults Konzepte Wissen, Macht, Subjekt, Diskurs und Dispositiv zu Bourdieus Konzepten von Wissen, Habitus, Feld und den Kapitalarten? Die Autorin zeigt anhand einer Analyse der printmedialen PISA-Berichterstattung, wie man mithilfe eines solchen Vergleichs Leitfragen und ein diskursanalytisches Vorgehen entwickeln kann.