The purpose of the paper is to study syntactic refutation systems as a way of characterizing normal modal propositional logics. In particular it is shown that there is a decidable modal logic without the finite model property that has a simple finite refutation system.

A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed.

This volume contains papers presented at the Poznań Reasoning Week multi-conference held in Poznań in September 11-15, 2018. PRW aims at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling. The 2018 edition consisted of three conferences, which addressed the following topics: (i) games in reasoning research, (ii) the interplay of logic and cognition, and (iii) refutation systems. The papers collected in this volume address all these topics.

In the paper we study the method of Socratic proofs in the intuitionistic propositional logic as a reduction procedure. Our approach consists in constructing for a given sequent α a finite tree of sets of sequents by using invertible reduction rules of the kind: ? is valid if and only if ?1 is valid or... or ?n is valid. From such a tree either a Gentzen-style proof of α or an Aristotle-style refutation of α can also be extracted.

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk''s logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

In this paper we study the method of refutation rules in the modal logic K4. We introduce refutation rules with certain normal forms that provide a new syntactic decision procedure for this logic. As corollaries we obtain such results for the following important extensions: S4, the provability logic G, and Grzegorczyk's logic. We also show that tree-type models can be constructed from syntactic refutations of this kind.

The goal of this paper is to generalize specific techniques connected with refutation rules involving certain normal forms. In particular, a method of axiomatizing both a logic L and its complement −L is introduced.

In Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tarski consequence operators) without the finite model property. In Section 3 I study ukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion.

A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.

The goal of this paper is to analyse Implicational Relevance Logic from the point of view of refutability. We also correct an inaccuracy in our paper “The RM paraconsistent refutation system”.

The purpose of the paper is to make a few remarks on the following aspects of refutation rules: a characteristic property of a logic, elegant and constructive completeness proofs. In particular a new constructive completeness proof for the provability logic G is given.

The aim of this paper is to study the refutation system consisting of the refutation axiom p ∧ ¬p → q and the refutation rules: reverse substitution and reverse modus ponens (B/A, if A → B ∈ RM). It is shown that the refutation system is characteristic for the logic of the 3-element RM algebra.

David Lewis’s latest theory of causation defines the causal link in terms of the relation of influence between events. It turns out, however, that one event’s influencing another is neither a necessary nor sufficient condition for its being a cause of that event. In the article one particular case of causality without influence is presented and developed. This case not only serves as a counterexample to Lewis’s influence theory, but also threatens earlier counterfactual analyses of causation by admitting a particularly (...) troublesome type of preemption. The conclusion of the article is that Lewis’s influence method of solving the preemption problem fails, and that we need a new and fresh approach to the cases of redundant causation if we want to hold on to the counterfactual analysis of causation. (shrink)

In the late 2010s, various international committees, expert groups, and national strategy boards have voiced the demand to ‘open’ the algorithmic black box, to audit, expound, and demystify artificial intelligence. The opening of the algorithmic black box, however, cannot be seen only as an engineering challenge. In this article, I argue that only the sort of transparency that arises from critique—a method of theoretical examination that, by revealing pre-existing power structures, aims to challenge them—can help us produce technological systems that (...) are less deceptive and more just. I relate the question of AI transparency to the broader challenge of responsible making, contending that future action must aim to systematically reconcile design—as a way of concealing—with critique—as a manner of revealing. (shrink)

In this paper we study symmetric inference systems (that is, pairs of inference systems) as refutation systems characterizing maximal logics with certain properties. In particular, the method is applied to paraconsistent logics, which are natural examples of such logics.

Anthropologists often have fieldwork experiences that are not explicitly analysed in their writings, though they nevertheless contribute to and shape their ethnographic understandings, and can resonate throughout their work for many years. The task of this volume is precisely to uncover these layers of anthropological knowledge-making. Contributors take on the challenge of reconstructing the ways in which they originally entered the worlds of research subjects - their anthropological Others - by focusing on pre-textual and deeply phenomenological processes of perceiving, noting, (...) listening and sensing. Drawing on a wide range of research experiences - with the Dogon in Mali, immigrant football players in Spain, the Inuit of the Far North, Filipino transnational families, miners in Poland and students in Scotland - this book goes beyond an exploration of the development of increased ethnographic sensitivity towards words or actions. It also commences the foundational project of developing a new language for building anthropological works, one stemming from recurring acts of participation, and rooted primarily in the pre-textual worlds of the tacit, often non-visible, and intense experiences that exceed the limitations of conventional textual accounts. (shrink)

Avant-propos -- L'œil énucléé -- L'œil du Dieu caché -- L'œil originel -- L'œil silencieux -- L'œil du non-savoir -- L'œil météorologique -- L'œil maternel -- L'œil incestueux -- L'œil persuasif -- L'œil orgiastique -- L'œil obscurci -- L'œil sociologique -- L'œil testamentaire -- L'œil transversal -- L'œil sacré -- L'œil artaudien -- L'œil du flâneur -- L'œil urbain -- L'œil méditatif -- L'œil éclaboussé -- En guise de vision : l'œil laminé.

This book is a collection of skeptical social essays in which the author reveals that much of our popular beliefs, psychology and science are defective, because, although we live in the 21st century, our approach to them is deeply rooted in our culture, and biased by history and evolution. These essays help the reader take a step sideways, think independently, and not fall victim to fads, fakes, and frauds. Anyone who values a deeper understanding of contemporary social reality and the (...) changes taking place in it should read this book, from students to scientists and intellectuals. Through these essays we learn to look under the veneer of reality, behind the altars of science, under the scenery of pop-psychology and behind the facade of therapeutic culture. Thanks to essays on suicide, euthanasia and more, we also come close to the edge of life and death. Contrary to many meticulous social critical analyzes, in sharing his thoughts the author takes us on a picturesque journey through bounty hunters, ludicrous machines, compulsive hoarding, Charlie Chaplin, and much more. (shrink)

The book _Metaphysics in Contemporary Physics_ offers various perspectives on the relation and mutual influence between modern physical theories and analytic metaphysics.

It is part of the phenomenology of perceptual experiences that objects seem to be presented to us. The first guide to objects is their perceptual presence. Further reflection shows that we take the objects of our perceptual experiences to be among the causes of our experiences. However, not all causes of the experience are also objects of the experience. This raises the question indicated in the title of this paper. We argue that taking phenomenal presence as the guide to the (...) objects of perception, we can see that at least in two sensory modalities, smell and touch, there is no uniform answer to this question. The objects of olfactory and tactile experiences can move along the causal chain. Accordingly, the content of olfactory and tactile experience may vary. (shrink)

One can often hear that intuitions are standardly “appealed to”, “relied on”, “accounted for”, or “used as evidence” in ethics. How should we interpret these claims? I argue that the typical understanding is what Bernard Molyneux calls “descriptive evidentialism”: the idea that intuition-states are treated as evidence of their propositional contents in the context of justification. I then argue that descriptive evidentialism is false- on any account of what intuitions are. That said, I admit that ethicists frequently rely on intuitions (...) to clarify, persuade, discover, or to support things other than the intuitions’ contents. The contents of intuitions are also commonly used as starting premises of philosophical arguments. However claims about these practices need to be sharply distinguished from the prevalent dogma. (shrink)

The article discusses the issue of the departure from examining real behaviours in a real environment, a trend in social psychology which has been observed going back several years, and the impact of this phenomenon for social psychology as a scientific discipline. The article presents two studies on the well-known and explored “bystander effect”. This phenomenon is examined in two ways – once by way of a “traditional” field experiment conducted in natural conditions, and once through a survey. As it (...) turned out, the results generated by the two studies were diametrically opposite, and only in the field experiment were we able to achieve a pattern of results consistent with those in the original studies. (shrink)