Search results: Found 35

Listing 1 - 10 of 35 << page
of 4
>>
Sort by
Nuel Belnap on Indeterminism and Free Action

Author:
Book Series: Outstanding Contributions to Logic ISBN: 9783319017532 9783319017549 Year: Volume: 2 Pages: 411 DOI: 10.1007/978-3-319-01754-9 Language: English
Publisher: Springer Grant: FP7 Ideas: European Research Council - 263227
Subject: Science (General)
Added to DOAB on : 2014-04-15 16:05:22
License:

Loading...
Export citation

Choose an application

Abstract

In this introduction to the Outstanding contributions to logic volume devoted to Nuel Belnap’s work on indeterminism and free action, we provide a&#xD;brief overview of some of the formal frameworks and methods involved in Belnap’s&#xD;work on these topics: theories of branching histories, specifically “branching&#xD;time” and “branching space-times”, the stit (“seeing to it that”) logic of agency, and&#xD;case-intensional first order logic. We also draw some connections to the contributions&#xD;included in this volume. Abstracts of these contributions are included as an&#xD;appendix.&#xD;Nuel Belnap’s work in logic and in philosophy spans a period of over half a century.&#xD;During this time, he has followed a number of different research lines, most of them&#xD;over a period of many years or decades, and often in close collaboration with other&#xD;researchers:1 relevance logic, a long term project starting from a collaboration with&#xD;Alan Anderson dating back to the late 1950s and continued with Robert Meyer&#xD;and Michael Dunn into the 1990s; the logic of questions, developed with Thomas&#xD;Steel in the 1960s and 1970s; display logic in the 1980s and 1990s; the revision&#xD;theory of truth, with Anil Gupta, in the 1990s; and a long-term, continuing interest&#xD;in indeterminism and free action. This book is devoted to Belnap’s work on the latter&#xD;two topics. In this introduction, we provide a brief overview of some of the formal&#xD;frameworks and methods involved in thatwork, and we drawsome connections to the&#xD;contributions included in this volume. Abstracts of these contributions are presented&#xD;in Appendix A.

Keywords

logic

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

What Do We Know About the World? Rhetorical and Argumentative Perspectives

Authors: ---
Book Series: Windsor Studies in Argumentation ISBN: 9780920233702 Year: Volume: 1 Pages: 276 Language: English
Publisher: Centre for Research in Reasoning, Argumentation and Rhetoric (CRRAR): Windsor Studies in Argumentation
Added to DOAB on : 2014-05-06 16:27:35
License:

Loading...
Export citation

Choose an application

Abstract

his book consists of selected papers delivered at “First International Conference on Rhetoric in Croatia: the Days of Ivo Škarić” in May, 2012, and subsequently revised for publication. Through a variety of different routes, the papers explore the role of rhetoric and argumentation in various types of public discourse and present interdisciplinary work connecting linguists, phoneticians, philosophers, law experts and communication scientists in the common ground of rhetoric and argumentation.

Social Media in Trinidad

Author:
Book Series: Why We Post ISBN: 9781787350939 Year: Pages: 250 Language: English
Publisher: UCL Press Grant: FP7 Ideas: European Research Council - 295486
Subject: Sociology --- Social Sciences
Added to DOAB on : 2017-11-17 11:01:53
License:

Loading...
Export citation

Choose an application

Abstract

Drawing on 15 months of ethnographic research in one of the most under-developed regions in the Caribbean island of Trinidad, this book describes the uses and consequences of social media for its residents. Jolynna Sinanan argues that this semi-urban town is a place in-between: somewhere city dwellers look down on and villagers look up to. The complex identity of the town is expressed through uses of social media, with significant results for understanding social media more generally. Not elevating oneself above others is one of the core values of the town, and social media becomes a tool for social visibility; that is, the process of how social norms come to be and how they are negotiated. Carnival logic and high-impact visuality is pervasive in uses of social media, even if Carnival is not embraced by all Trinidadians in the town and results in presenting oneself and association with different groups in varying ways. The study also has surprising results in how residents are explicitly non-activist and align themselves with everyday values of maintaining good relationships in a small town, rather than espousing more worldly or cosmopolitan values.

The Rise of Informal Logic

Author:
Book Series: Windsor Studies in Argumentation ISBN: 9780920233719 Year: Volume: 2 Pages: 259 Language: English
Publisher: Centre for Research in Reasoning, Argumentation and Rhetoric (CRRAR): Windsor Studies in Argumentation
Subject: Philosophy
Added to DOAB on : 2014-08-15 19:09:33
License:

Loading...
Export citation

Choose an application

Abstract

We are pleased to release this digital edition of Ralph Johnson’s The Rise of Informal Logic as Volume 2 in the series Windsor Studies in Argumentation. This edition is a reprint of the previous Vale Press edition with some minor corrections.We have decided to make this the second volume in the series because it is such a compelling account of the formation of informal logic as a discipline, written by one of the founders of the field. The book includes essential chapters on the history and development of informal logic. Other chapters are key reflections on the theoretical issues raised by the attempt to understand informal argument. Many of the papers were previously published in important journals. A number of them were co-authored with J. Anthony Blair. Three of them have appeared only in the present book.

The Mythology in Our Language

Authors: --- ---
ISBN: 9780990505068 Year: Language: English
Publisher: HAU Books Grant: Knowledge Unlatched - 101682
Added to DOAB on : 2019-01-15 13:33:05
License:

Loading...
Export citation

Choose an application

Abstract

In 1931 Ludwig Wittgenstein wrote his famous Remarks on Frazer’s “Golden Bough.". At that time, anthropology and philosophy were in close contact—continental thinkers drew heavily on anthropology’s theoretical terms, like mana, taboo, and potlatch, in order to help them explore the limits of human belief and imagination. Now the book receives its first translation by an anthropologist, in the hope that it can kick-start a new era of interdisciplinary fertilization. Wittgenstein’s remarks on ritual, magic, religion, belief, ceremony, and Frazer’s own logical presuppositions are as lucid and thought-provoking now as they were in Wittgenstein’s day. Anthropologists find themselves asking many of the same questions as Wittgenstein—and in a reflection of that, this volume is fleshed out with a series of engagements from some of the world’s leading anthropologists, including Veena Das, David Graeber, Wendy James, Heonik Kwon, Michael Lambek, Michael Puett, and Carlo Severi.

Keywords

Anthropology --- Philosophy --- Magic --- Ritual --- Kingship --- Logic --- Mind

Impossible Worlds

Authors: ---
ISBN: 9780198812791 Year: Pages: 336 DOI: 10.1093/0198812795.001.0001 Language: English
Publisher: Oxford University Press Grant: H2020 European Research Council - 681404
Subject: Philosophy
Added to DOAB on : 2019-06-12 09:24:02
License:

Loading...
Export citation

Choose an application

Abstract

The latter half of the 20th Century witnessed an ‘intensional revolution’: a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves – from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity – in terms of a single concept. This was the concept of a possible world: a way things could have been. &#xD;Possible worlds found applications in logic, metaphysics, semantics, game theory, information theory, artificial intelligence, and the philosophy of mind and cognition. However, possible worlds analyses have been facing numerous problems. This book traces them all back to hyperintensionality: the need for distinctions more fine-grained than the possible worlds apparatus can easily represent. It then introduces impossible worlds – ways things could not have been – as a general tool for modelling hyperintensional phenomena. The book discusses the metaphysics of impossible worlds and applies them to a range of central topics and open issues in logic, semantics, and philosophy: from the problem of logical omniscience in epistemic logic, to the semantics of non-classical logics, the modeling of imagination and mental simulation, the analysis of information and informative inference, truth in fiction, and counterpossible reasoning.&#xD;The latter half of the 20th Century witnessed an ‘intensional revolution’: a great collective effort to analyse notions which are absolutely fundamental to our understanding of the world and of ourselves – from meaning and information to knowledge, belief, causation, essence, supervenience, conditionality, as well as nomological, metaphysical, and logical necessity – in terms of a single concept. This was the concept of a possible world: a way things could have been. &#xD;Possible worlds found applications in logic, metaphysics, semantics, game theory, information theory, artificial intelligence, and the philosophy of mind and cognition. However, possible worlds analyses have been facing numerous problems. This book traces them all back to hyperintensionality: the need for distinctions more fine-grained than the possible worlds apparatus can easily represent. It then introduces impossible worlds – ways things could not have been – as a general tool for modelling hyperintensional phenomena. The book discusses the metaphysics of impossible worlds and applies them to a range of central topics and open issues in logic, semantics, and philosophy: from the problem of logical omniscience in epistemic logic, to the semantics of non-classical logics, the modeling of imagination and mental simulation, the analysis of information and informative inference, truth in fiction, and counterpossible reasoning.&#xD;

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.

Verification-based software-fault detection

Author:
ISBN: 9783866446762 Year: Pages: XVII, 264 p. DOI: 10.5445/KSP/1000023002 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software ""bugs"") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

Fuzzy Logic - Controls, Concepts, Theories and Applications

Author:
ISBN: 9789535103967 Year: Pages: 430 DOI: 10.5772/2662 Language: English
Publisher: InTechOpen
Subject: Mathematics
Added to DOAB on : 2019-10-03 07:51:49

Loading...
Export citation

Choose an application

Abstract

This book introduces new concepts and theories of Fuzzy Logic Control for the application and development of robotics and intelligent machines. The book consists of nineteen chapters categorized into 1) Robotics and Electrical Machines 2) Intelligent Control Systems with various applications, and 3) New Fuzzy Logic Concepts and Theories. The intended readers of this book are engineers, researchers, and graduate students interested in fuzzy logic control systems.

Listing 1 - 10 of 35 << page
of 4
>>
Sort by