The Logica Yearbook

DOWNLOAD NOW »

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: N.A

View: 7482

The Logica Yearbook 2017

DOWNLOAD NOW »

Author: Pavel Arazim,Tomas Lavicka

Publisher: College Publications

ISBN: 9781848902817

Category: Mathematics

Page: 298

View: 9037

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2017, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

The Logica Yearbook 2015

DOWNLOAD NOW »

Author: Pavel Arazim,Michal Dancak

Publisher: N.A

ISBN: 9781848902138

Category: Mathematics

Page: 234

View: 4474

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2015, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

The Logica Yearbook 2012

DOWNLOAD NOW »

Author: Vit Puncochar,Petr Svarny

Publisher: N.A

ISBN: 9781848901100

Category: Mathematics

Page: 238

View: 1006

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

Zeit und personale Identität

DOWNLOAD NOW »

Author: Friedrich Karl Krämer

Publisher: Walter de Gruyter GmbH & Co KG

ISBN: 3110383373

Category: Philosophy

Page: 259

View: 5961

What are the connections between the notion of time and personal identity? This study examines three key concepts in discussions about personal identity: memory, survival, and responsibility. The analysis shows that for each individual, it is temporal, perspectival self-reference that forms the core of the conceptual relationship between time and personal identity.

Advances in Proof-Theoretic Semantics

DOWNLOAD NOW »

Author: Thomas Piecha,Peter Schroeder-Heister

Publisher: Springer

ISBN: 331922686X

Category: Philosophy

Page: 283

View: 9487

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Logic, Language, and the Liar Paradox

DOWNLOAD NOW »

Author: Martin Pleitz

Publisher: mentis Verlag GmbH

ISBN: 3957438497

Category: Philosophy

Page: 600

View: 3866

The Liar paradox arises when we consider a sentence that says of itself that it is not true. If such self-referential sentences exist – and examples like "This sentence is not true" certainly suggest this –, then our logic and standard notion of truth allow to infer a contradiction: The Liar sentence is true and not true. What has gone wrong? Must we revise our notion of truth and our logic? Or can we dispel the common conviction that there are such self-referential sentences? The present study explores the second path. After comparing the Liar reasoning in formal and informal logic and showing that there are no Gödelian Liar sentences, the study moves on from the semantics of self-reference to the metaphysics of expressions and proposes a novel solution to the Liar paradox: Meaningful expressions are distinct from their syntactic bases and exist only relative to contexts. Detailed semantico-metaphysical arguments show that in this dynamic setting, an object can be referred to only after it has started to exist. Hence the circular reference needed in the Liar paradox cannot occur, after all. As this solution is contextualist, it evades the expressibility problems of other proposals.

Procedural Semantics for Hyperintensional Logic

Foundations and Applications of Transparent Intensional Logic

DOWNLOAD NOW »

Author: Marie Duží,Bjorn Jespersen,Pavel Materna

Publisher: Springer Science & Business Media

ISBN: 9789048188123

Category: Philosophy

Page: 550

View: 9937

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds of linguistic context in a fully compositional and anti-contextual way.

Immanent Reasoning or Equality in Action

A Plaidoyer for the Play Level

DOWNLOAD NOW »

Author: Shahid Rahman,Zoe McConaughey,Ansten Klev,Nicolas Clerbout

Publisher: Springer

ISBN: 331991149X

Category: Philosophy

Page: 332

View: 3584

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.

Grundlagen der Mathematik I

DOWNLOAD NOW »

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868940

Category: Mathematics

Page: 480

View: 802

Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt.

Heinrich Scholz

Logiker, Philosoph, Theologe

DOWNLOAD NOW »

Author: Hans-Christoph Schmidt am Busch,Kai F. Wehmeier

Publisher: N.A

ISBN: N.A

Category: Philosophers

Page: 134

View: 4007

Heinrich Scholz (1884-1956) ist einer der bemerkenswertesten deutschen Gelehrten des vergangenen Jahrhunderts. Schüler Adolf von Harnacks und Alois Riehls, widmete er sich zunächst der Religionsphilosophie und evangelischen Theologie. Durch einen "Glücksfall" 1921 mit den *Principia Mathematica* von Bertrand Russell und Alfred North Whitehead in Berührung gekommen, wandelt sich Scholz zum mathematischen Logiker und Grundlagenforscher; sein Münsteraner philosophischer Lehrstuhl wird zur Keimzelle des ersten Instituts für Mathematische Logik in Deutschland. Der vorliegende Band enthält Beiträge zur internationalen wissenschaftlichen Tagung "Heinrich Scholz: Logiker, Philosoph, Theologe", die im Jahr 2000 aus Anlaß des fünfzigjährigen Bestehens des Münsteraner Instituts für Mathematische Logik und Grundlagenforschung zu Ehren seines Gründers veranstaltet wurde. Die enthaltenen Aufsätze beleuchten u.a. Scholzens Religionsphilosophie, seine Philosophie der Logik, seine Haltung zur Metaphysik sowie seine Freundschaft mit dem polnischen Logiker Jan Lukasiewicz.

Ioane Petrizi, Kommentar zur "Elementatio theologica" des Proklos

Übersetzung aus dem Altgeorgischen, Anmerkungen, Indices und Einleitung

DOWNLOAD NOW »

Author: Ioane Petrici

Publisher: John Benjamins Publishing

ISBN: 9060323785

Category: Philosophy

Page: 418

View: 8822

Ioane Petritsi, a twelfth-century Georgian philosopher, translated from Greek into Georgian "The Elements of Theology "of the Neoplatonist Proclus (fifth century) and wrote a "Commentary "on the entire text, with a preface and a postface. Petritsi tried to prove the priority of the Proclean One over all other ontological hypostases, its transcendence and its omnipresence, together with the thesis that all things depend on the One, including even matter. In his "Commentary, "Petritsi also referred to other works of Proclus besides "The Elements of Theology, "as well as to many other ancient Greek philosophers. Although Petritsi s "Commentary "is an important milestone in the history of the medieval Christian philosophical interpretations of ancient Platonism, to date, this text written in Old Georgian has remained almost unknown for western scholarship. This is the first time that the complete text of Petritsi s "Commentary " is being published in a western language. The present book provides a German translation of the complete text, with an introduction, notes, indices and bibliography. Der mittelalterliche georgische Philosoph Ioane Petrizi ubersetzte im 12. Jahrhundert die "Stoicheiosis theologike "des Neuplatonikers Proclus (5. Jh.) ins Alt-Georgische und verfasste zu dem gesamten Text der "Stoicheiosis "einen umfangreichen "Kommentar," den er zusatzlich mit einem Prolog und einem Epilog versah. Petrizi versucht in seinem "Kommentar," die ontologische Vorrangigkeit des Proklischen Einen uber alle anderen Hypostasen ebenso zu beweisen wie dessen Transzendenz bei gleichzeitiger Allanwesenheit im Seinskontinuum. Zudem vertritt er die These, dass alle Dinge vom Einen abhangen, sogar die Materie. Dabei berucksichtigt Petrizi neben der "Stoicheiosis "auch andere Werke Proclus ebenso wie zahlreiche weitere Texte antiker griechischer Philosophen. Damit wird Petrizis "Kommentar "zu einer bedeutenden Schrift fur die Erforschung und das Verstandnis der mittelalterlichen christlichen Philosophie und ihrer Aneignung des (spat-)antiken Platonismus. Trotz seiner Bedeutung ist Petrizis Text von der westlichen Forschung bisher kaum zur Kenntnis genommen worden. Die vorliegende Ubersetzung ins Deutsche ist die erste komplette Ubersetzung dieses Textes in eine westliche Sprache uberhaupt. Neben der Ubersetzung bietet diese Ausgabe eine Einleitung, Anmerkungen, Indices und eine Bibliografie."

Yearbook on Space Policy 2010/2011

The Forward Look

DOWNLOAD NOW »

Author: Peter Hulsroj,Spyros Pagkratis,Blandina Baranes

Publisher: Springer Science & Business Media

ISBN: 3709113636

Category: Technology & Engineering

Page: 322

View: 7282

The Yearbook on Space Policy is the reference publication analysing space policy developments. Each year it presents issues and trends in space policy and the space sector as a whole. Its scope is global and its perspective is European. The Yearbook also links space policy with other policy areas. It highlights specific events and issues, and provides useful insights, data and information on space activities. The Yearbook on Space Policy is edited by the European Space Policy Institute (ESPI) based in Vienna, Austria. It combines in-house research and contributions of members of the European Space Policy Research and Academic Network (ESPRAN), coordinated by ESPI. The Yearbook is designed for government decision-makers and agencies, industry professionals, as well as the service sectors, researchers and scientists and the interested public.

Yearbook of Muslims in Europe

DOWNLOAD NOW »

Author: Jørgen Nielsen,Samim Akgönül,Ahmet Alibašić,Egdunas Racius

Publisher: BRILL

ISBN: 9004255869

Category: Social Science

Page: 728

View: 1219

The Yearbook of Muslims in Europe provides up-to-date factual information and statistics of the situation of Muslims in 46 European countries.

The New Rhetoric and the Humanities

Essays on Rhetoric and its Applications

DOWNLOAD NOW »

Author: Ch. Perelman

Publisher: Springer Science & Business Media

ISBN: 9400994826

Category: Philosophy

Page: 180

View: 3520

Modern logic has Wldergone some remarkable developments in the last hun dred years. These have contributed to the extraordinary use of formal logic which has become essentially the concern of mathematicians. This has led to attempts to identify logic with formal logic. The claim has even been made that all non-formal reasoning, to the extent that it cannot be formalized, no longer belongs to logic. This conception leads to a genuine impoverishment of logic as well as to a narrow conception of reason. It means that as soon as demonstrative proofs are no longer available reason will no longer dominate. Even the idea of the 'reasonable' becomes foreign to logic and such expres sions as 'reasonable decisions', 'reasonable choice' or 'reasonable hypotheses' would be put aside as meaningless. The domain of action, including method ology and everything that is given over to deliberation or controversy - i.e., foreign to formal logic - would become a battleground where necessarily the reason of the strongest would always prevail.

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

DOWNLOAD NOW »

Author: William Ewald,Wilfried Sieg

Publisher: Springer-Verlag

ISBN: 3540694447

Category: Mathematics

Page: 1062

View: 9734

The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert’s foundational thought during this period, and show the increasing dominance of the metamathematical perspective in his logical work: the emergence of modern mathematical logic; the explicit raising of questions of completeness, consistency and decidability for logical systems; the investigation of the relative strengths of various logical calculi; the birth and evolution of proof theory, and the parallel emergence of Hilbert’s finitist standpoint. The lecture notes are accompanied by numerous supplementary documents, both published and unpublished, including a complete version of Bernays’s Habilitationschrift of 1918, the text of the first edition of Hilbert and Ackermann’s Grundzüge der theoretischen Logik (1928), and several shorter lectures by Hilbert from the later 1920s. These documents, which provide the background to Hilbert and Bernays’s monumental Grundlagen der Mathematik (1934, 1938), are essential for understanding the development of modern mathematical logic, and for reconstructing the interactions between Hilbert, Bernays, Brouwer, and Weyl in the philosophy of mathematics.

Die Grundlagen der Mathematik

DOWNLOAD NOW »

Author: David Hilbert

Publisher: Springer-Verlag

ISBN: 3663161021

Category: Mathematics

Page: 29

View: 4226

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Nachträge und Gesamtregister

DOWNLOAD NOW »

Author: Renate Heuer

Publisher: Walter de Gruyter

ISBN: 3110314843

Category: History

Page: 365

View: 9197

Mit dem vorliegenden Nachtrags- und Registerband wird das Lexikon deutsch-jüdischer Autoren (Bd. 1, 1992 bis Bd. 20, 2012) abgeschlossen. Der Band enthält Beiträge zu weiteren ca. 15 Autoren, darunter Saul Ascher, Rudolf Borchardt und Ernst Hans Gombrich. Darüber hinaus bietet der Band umfassende Register für das gesamte Lexikon: Geburts- und Todesortregister, Wirkungsort- und Berufsregister sowie Kriegsteilnahme- und Deportationsregister.