Search results: Found 68

Listing 1 - 10 of 68 << page
of 7
>>
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.

Tools and Algorithms for the Construction and Analysis of Systems

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030174651 Year: Pages: 413 DOI: 10.1007/978-3-030-17465-1 Language: English
Publisher: Springer
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.

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.

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783030255435 Year: Pages: 549 DOI: 10.1007/978-3-030-25543-5 Language: English
Publisher: Springer
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:10
License:

Loading...
Export citation

Choose an application

Abstract

The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.

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;

Computer Aided Verification

Authors: ---
Book Series: Lecture Notes in Computer Science ISBN: 9783319961453 Year: Pages: 703 DOI: 10.1007/978-3-319-96145-3 Language: English
Publisher: Springer
Subject: Computer Science
Added to DOAB on : 2020-01-29 11:21:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

Listing 1 - 10 of 68 << page
of 7
>>
Sort by
-->