We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.

Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.

We present a semantics for strong negation systems on the basis of the subformula property of the sequent calculus. The new models, called subformula models, are constructed as a special class of canonical Kripke models for providing the way from the cut-elimination theorem to model-theoretic results. This semantics is more intuitive than the standard Kripke semantics for strong negation systems.

The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...) contingents. (shrink)

The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems (...) of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints. (shrink)

David Nelson’s constructive logics with strong negation may beviewed as alternative paraconsistent logic. These logics have been developedbefore da Costa’s works. We address some philosophical aspects of Nelson’slogics and give technical results concerning Kripke models and tableau calculi. We also suggest possible applications of paraconsistent constructivelogics.

How do we ready ourselves to intervene responsively in the contingent situations that arise in co-designing to make change? How do we attune to group dynamics and respond ethically to unpredictable developments when working with 'community'? Participatory Design can contribute to social transitions, yet its focus is often tightly tuned to technique for designing ICT at the cost of participatory practice. We challenge PD conventions by addressing what happens as we step into a situation to alter it with others, an (...) aspect of practice that cannot be replicated or interchanged. We do so to argue that practices of readiness are constituted by personal histories, experiences, philosophies and culture. We demonstrate this political argument by giving reflexive accounts of our dimensions of preparation. The narratives here are distinct, yet reveal complementary theories and worldviews that shape PD ontologies. We have organized these around the qualities of punctuation and poise as a way to draw out some less easily articulated aspects of PD practice. (shrink)

De-Signing Design: Cartographies of Theory and Practice throws new light on the terrain between theory and practice in transdisciplinary discourses of design and art. The collection brings together a selection of essays on spatiality, difference, cultural aesthetics, and identity in the expanded field of place-making and being.

仁斎にとっての「学問」とは、世界の見え方を刷新させるものである。そして、そのような「学問」の道を開いたのが孔子であった。.

国学考証派の登場と学問領域を築き深化させた過程を、考証の方法や実践などに着目して追究。近代の実証的学問への継承まで論じる。.

劇的転換を求められている新たな生命倫理の案内書。従来、医療分野に集中しがちであった内容を生命科学全体とさらに関連する社会的緊急課題―環境・人口・難民・人種などにまで拡大、包括して最適任者が興趣ある解説 で応える。.

大学、学会、企業、国家などと関わりながら「制度化」の歩みを進めて来た西洋科学。現代に至るまでの歴史を概観した入門書。.

ヒトと自然の交流の産物として生まれた田舎の景色には、どこか安堵する懐かしさがある。しかし、このような田舎、里山は今どれだけ残っているだろうか?21世紀にむかって、ヒトと自然環境、その産物としての文化遺 産のあり方が地球規模で問われている。本書は、21世紀にむかって文化遺産のあり方を問う。.