Search results: Found 5

Listing 1 - 5 of 5
Sort by
Advances in Proof-Theoretic Semantics

Authors: ---
Book Series: Trends in Logic ISSN: 15726126 ISBN: 9783319226859 9783319226866 Year: Volume: 43 Pages: 283 DOI: 10.1007/978-3-319-22686-6 Language: English
Publisher: Springer Nature
Subject: Mathematics --- Statistics --- Philosophy
Added to DOAB on : 2016-06-08 18:00:12
License:

Loading...
Export citation

Choose an application

Abstract

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.

Logik. Wiener Logikkolleg 1894/95

Author:
Book Series: Phenomenology & Mind ISSN: 2198-204X ISBN: 9783110345933 Year: Volume: 17 Pages: 268 DOI: 10.1515/9783110345933 Language: German
Publisher: De Gruyter
Subject: Philosophy
Added to DOAB on : 2018-04-18 17:28:13
License:

Loading...
Export citation

Choose an application

Abstract

This book presents the long-awaited critical edition of an unpublished manuscript of 277 pages containing Twardowski’s lecture notes on logic given in German at the University of Vienna. As to length, language and topic, this text is unique among the works of the author, who is renowned for his Zur Lehre vom Inhalt und Gegenstand der Vorstellungen (1894), an influential but short book that has been out of stock for a long time already. In Logik Twardowski’s ideas are exposed in a much more extensive and interestingly revised form. The rest of Twardowski’s production is in Polish, a language inaccessible to many readers.This edition will be of special interest to philosophers interested in the scientific philosophy in Vienna before the Wiener Kreis, to phenomenologists and anyone interested in early phenomenology and Husserl’s thought, to historians of early analytic philosophy, and particularly to specialists of Austrian philosophy and the continental analytic tradition from Bolzano to Tarski, for whom the book will be a truly indispensable source.

Terrorismus und moderne Kriegsführung

Author:
Book Series: Sozialtheorie ISBN: 9783837633269 9783839433263 Year: DOI: 10.14361/9783839433263 Language: English
Publisher: transcript Verlag Grant: Knowledge Unlatched - 103348
Subject: Political Science
Added to DOAB on : 2018-04-07 11:02:07
License:

Loading...
Export citation

Choose an application

Abstract

Der Begriff "Terrorismus" ist definitorisch uneindeutig - und das macht jeden Akteur zu einem bestimmten Grad zum Terroristen. Dieses Paradox zieht Eva-Maria Heinke als Ausgangspunkt für eine tiefgreifende Analyse der Strategien moderner Kriegsführung heran und löst es durch die gegenwärtig einmalige Verwendung von sogenannten Fuzzy-Inferenzsystemen zum Zwecke der Typisierung politischer Gewalt auf. Die intensive Verbindung von soziologischer Gewaltforschung mit der Mathematik unscharfer Mengen macht den Grad der Verwendung politischer Gewaltstrategien erstmalig berechenbar - und ermöglicht somit einen völlig neuartigen Blick auf den strategischen Kontext des Handelns politischer Gewaltakteure.

Two-Dimensional Electronics - Prospects and Challenges

ISBN: 9783038422495 9783038422501 Year: Pages: XVI, 248 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Electrical and Nuclear Engineering
Added to DOAB on : 2016-09-02 17:56:27
License:

Loading...
Export citation

Choose an application

Abstract

During the past 10 years, two-dimensional materials have found incredible attention in the scientific community. The first two-dimensional material studied in detail was graphene, and many groups explored its potential for electronic applications. Meanwhile, researchers have extended their work to two-dimensional materials beyond graphene. At present, several hundred of these materials are known and part of them is considered to be useful for electronic applications. Rapid progress has been made in research concerning two-dimensional electronics, and a variety of transistors of different two-dimensional materials, including graphene, transition metal dichalcogenides, e.g., MoS2 and WS2, and phosphorene, have been reported. Other areas where two-dimensional materials are considered promising are sensors, transparent electrodes, or displays, to name just a few. This Special Issue of Electronics is devoted to all aspects of two-dimensional materials for electronic applications, including material preparation and analysis, device fabrication and characterization, device physics, modeling and simulation, and circuits. The devices of interest include, but are not limited to transistors (both field-effect transistors and alternative transistor concepts), sensors, optoelectronics devices, MEMS and NEMS, and displays.

Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

Author:
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889450428 Year: Pages: 111 DOI: 10.3389/978-2-88945-042-8 Language: English
Publisher: Frontiers Media SA
Subject: General and Civil Engineering --- Biotechnology --- Science (General) --- Genetics
Added to DOAB on : 2018-02-27 16:16:44
License:

Loading...
Export citation

Choose an application

Abstract

The complexity of living organisms surpasses our unaided habilities of analysis. Hence, computational and mathematical methods are necessary for increasing our understanding of biological systems. At the same time, there has been a phenomenal recent progress allowing the application of novel formal methods to new domains. This progress has spurred a conspicuous optimism in computational biology. This optimism, in turn, has promoted a rapid increase in collaboration between specialists of biology with specialists of computer science. Through sheer complexity, however, many important biological problems are at present intractable, and it is not clear whether we will ever be able to solve such problems. We are in the process of learning what kind of model and what kind of analysis and synthesis techniques to use for a particular problem. Some existing formalisms have been readily used in biological problems, others have been adapted to biological needs, and still others have been especially developed for biological systems. This Research Topic has examples of cases (1) employing existing methods, (2) adapting methods to biology, and (3) developing new methods. We can also see discrete and Boolean models, and the use of both simulators and model checkers. Synthesis is exemplified by manual and by machine-learning methods. We hope that the articles collected in this Research Topic will stimulate new research.

Listing 1 - 5 of 5
Sort by
Narrow your search