The Logica Yearbook

DOWNLOAD NOW »

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: N.A

View: 9135

The Logica Yearbook 2017

DOWNLOAD NOW »

Author: Pavel Arazim,Tomas Lavicka

Publisher: College Publications

ISBN: 9781848902817

Category: Mathematics

Page: 298

View: 1550

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: 2396

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: 8372

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.

The Logica Yearbook 2013

DOWNLOAD NOW »

Author: Michal Dancak,Vit Puncochar

Publisher: N.A

ISBN: 9781848901445

Category: Mathematics

Page: 264

View: 7664

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2013, 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: 2893

Welche Verbindungen bestehen zwischen den Begriffen der Zeit und der personalen Identität? Um diese Frage zu beantworten, untersucht die Studiedrei zentrale Begriffe aus der Debatte um personale Identität, und zwar jeweils vor dem Hintergrund einer bedeutenden Theorie aus der Philosophie der Zeit: Wie stellt sich der Begriff der Erinnerung oder ganz allgemein des Vergangenheitsbezugs dar, wenn man die B-Theorie der Zeit voraussetzt? Welche Konsequenzen hat es für den Begriff des Überlebens, wenn man die Position des Eternalismus zugrunde legt? Und wie stellt sich der Begriff der Verantwortung im Lichte des Vierdimensionalismus dar? In jedem der drei Fälle resultieren spezifische Probleme und begriffliche Spannungen, die sich dennoch, so die Argumentation, auf eine gemeinsame Ursache zurückführen lassen – nämlich auf die Fähigkeit des zeitlich perspektivischen Selbstbezugs, die Personen eigen ist und die den Kern der begrifflichen Beziehungen zwischen Zeit und personaler Identität bildet.

Advances in Proof-Theoretic Semantics

DOWNLOAD NOW »

Author: Thomas Piecha,Peter Schroeder-Heister

Publisher: Springer

ISBN: 331922686X

Category: Philosophy

Page: 283

View: 676

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: 5089

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: 8452

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: 6297

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.

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: 2569

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.

Grundlagen der Mathematik I

DOWNLOAD NOW »

Author: David Hilbert,Paul Bernays

Publisher: Springer-Verlag

ISBN: 3642868940

Category: Mathematics

Page: 480

View: 583

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.

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: 5007

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

Paradoxien

DOWNLOAD NOW »

Author: Richard M. Sainsbury

Publisher: N.A

ISBN: 9783150186909

Category:

Page: 333

View: 928

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: 9303

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

Soziale Formen

Fortführung eines soziologischen Programms

DOWNLOAD NOW »

Author: Athanasios Karafillidis

Publisher: transcript Verlag

ISBN: 3839415608

Category: Social Science

Page: 404

View: 4035

Der Formbegriff gehört zum - wenn auch vernachlässigten - Traditionsbestand der Soziologie. Der Rückgriff der Systemtheorie auf einen Unterscheidungsbegriff der Form erlaubt es nun, diese Tradition auf eine tiefgreifende Art neu zu beleben. Aber was genau gewinnt die Soziologie, wenn sie diesem Begriff der Form theoretisch und methodisch konsequent die Führung überlässt? Sie gewinnt, wie Athanasios Karafillidis zeigt, eine genuin soziologische Methodologie, eine kommunikationstheoretische Fundierung und eine allgemeine Differenzierungstheorie von Kommunikationsformen, die nur noch Gesellschaft als soziales System voraussetzen muss.

Bibliotheca Zoologica

Verzeichniss der Schriften über Zoologie

DOWNLOAD NOW »

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Natural history

Page: N.A

View: 2460

Bibliotheca zoologica

DOWNLOAD NOW »

Author: Julius Victor Carus,Wilhelm Engelmann,Otto Taschenburg,Ernst Wolfgang Taschenberg

Publisher: N.A

ISBN: N.A

Category: Zoology

Page: N.A

View: 9019

Ser. 2, vols. 7-8* Nachträge (verbesserungen, ergänzungen und zusätze).