Just lying

Lying is an ubiquitous element of communication. Amazingly enough, the topic is almost completely ignored by traditional logic. The usual example, Eubulides’ antinomy, is not a good one: intuitively, “the Liar” doesn’t lie. There are not many further approaches to be found in the literature. Why is this? There are quite a few reasons. We will consider them one by one and disclose further properties of lies at the same time. We sketch a general framework for the formal analysis of lying. As a result we observe that non-adjunctive calculi fits in here quite comfortably

Comments on Aldo Bressan’s paper

At a conference in Athen some time ago, I had the honour to comment on Aldo Bressan’s lecture “On certain notions, partly extensional and partly modal, relevant for the semantics of general relativity”. A version of this lecture constitutes the first part of his paper “Again on relativistic semantics”. At Aldo Bressan’s request, I will outline the criticism put forward at the Athens conference. My comment does not, however, pertain to the second part of the preceding publication. Bressan’s considerations on time and causality — which in fact illustrate the capability of the previously explained technical apparatus — are enlightening and truly stimulating

Scraping heavens. On Inconsistencies in sciences

The title of this special session “Starry Sky Above Me, Consistency Law Within Me” opens two possible ways of approaching my issue. However, its location under the most impressive radio-astronomical observatory of the Copernicus University strongly directs my thoughts towards the first topic

On causality. Ingarden's analysis vs. Jaśkowski’s logic

Considering the growing need for formal counterparts of causal nexus (AI is desperately looking for a good one!) and thus trying to construct appropriate relations within a formal framework one faces the problem that the notion of “causal connection” is by no means explained with sufficient precision. How to overcome the resulting difficulties

Making use of logic

It seems that Polish logic has always been open to considerations concerning the use of methods and results of formal logic within disciplines. We overview a couple of such Polish contributions to what may be called the realm of applied logic. We take a closer look at the formalization of natural reasoning, inconsistency-tolerant logic, and at the formal analysis of causal nexus

Deductive models and practical reasoning

Cognitive psychology investigates the structural properties of human reasoning. We review some achievements of this kind of research and give a critical evaluation of its methods

Preface

Science today is an international business, of course, and there has hardly ever been a partition wall between the logical work in Poland and Germany. However, apart from long lasting personal scientific contacts there are good reasons to further intensify the relations between the German and the Polish Community of Logic and Logical Philosophy. So it was only natural to think about bringing them together at a scientific event in a friendly environment. This idea was carried out as a common initiative of the Polish Association for Logic and Theory of Science (PTL) and of the German based Society for Analytic Philosophy (GAP). The First German-Polish Workshop on Logic and Logical Philosophy was held in Bachotek/Poland from September 10.–13., 1995. It was organized by Kazimierz Świrydowicz (PTL), Heinrich Wansing (GAP) and Max Urchs (both).This part of the present volume of Logic and Logical Philosophy is not the proceedings of the workshop. On one hand, not all the papers presented at the workshop (see previous page for the programme) are attended to this volume. Due to their more technical character, the contributions of Gregory Restall, Tomasz Skura, Heinrich Wansing, Andrzej Wroński and others will appear in the next number of Reports on Mathematical Logic. Some papers included in this issue were changed considerably for publication. On the other hand, colleagues who intended to join the workshop but had to cancel for some reason were invited to submit their material, too. We would like to thank the editors of both journals very kindly for their suggestion to publish the submitted material

Preface

Since the late eighties, a sequel of annual workshops on logic and analytic philosophy has been held on the Island of Poel near Wismar, close to both Gottlob Frege’s grave and to his house in Bad Kleinen. The meeting last year, however, was held in Graal-Müritz and was devoted to Ontologic. It was organised by Jerzy Perzanowski, Uwe Scheffler and Max Urchs.The present number of Logic and Logical Philosophy is not exactly the proceedings of the 94’ conference. On one hand, not all the papers presented at the workshop (see next page for the programme) are included in this volume, while others were changed considerably. On the other hand, colleagues who were to come but had to cancel for some reason were invited to submit their material, too

Zur Formalisierung der kausalen Beziehungen

Im Rahmen der formalen Logik versucht man auf verschiedene Art und Weise Implikationen zu definieren, die den intuitiven Cehalt der "weil..., darum..." Beziehung wiedergeben. Einige dieser Formalisierungsansätze werden vorgestellt. Am Beispiele einer auf Jaśkowski zurückgehenden Konzeption wird demonstriert, wie man kausale Beziehungen repräsentierende Funktoren semantisch charakterisieren kann. Man konstruiert dazu zunächst n-dimensionale Kripke- -Modelle, in denen eine nichtklassische aussagenlogische Sprache interpretiert wird. Die Ausdrucksmittel der Sprache gestatten die Definition verschiedener Kausalfunktoren, deren Eigenschaften überdies von der jeweiligen Modellklasse abhängen. Man erhält also eine Vielzahl formaler Entsprechungen für die intuitive Kausalbeziehung, unter denen die den jeweiligen Anschauungen am nächsten kommende auszuwählen ist.Zadanie pt. „Digitalizacja i udostępnienie w Cyfrowym Repozytorium Uniwersytetu Łódzkiego kolekcji czasopism naukowych wydawanych przez Uniwersytet Łódzki” nr 885/P-DUN/2014 dofinansowane zostało ze środków MNiSW w ramach działalności upowszechniającej naukę