## About

46

Publications

2,175

Reads

**How we measure 'reads'**

A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more

315

Citations

Citations since 2017

Introduction

My research belong to the main stream of ideas coming from the heritage of Lvov-Warsaw School of Logic determined by Alfred Tarski, Jan Lukasiewicz,Adolf Lindenbaum and Mordechaj Wajsberg in the subject of propositional logics and the theory of consequence operation (extensively elaborated by Helena Rasiowa, Jerzy Los, Roman Suszko and Janusz Czelakowski).
At present I run research on connexive logics and relating semantics together with Tomasz Juamużek, Rafał Palczewski and Mateusz Klonowski.

Additional affiliations

October 1996 - September 2014

Position

- Professor

Description

- Besides of my primary place - Section of Logic, Institute of Philosophy and Sociology at Polish Academy of Sciences, due to the fact that from 1995 Toruń become my permanent place of stay, I closely cooperate with Department of Logic and Semiotics, Nicolaus Copernicus University in Toruń. I worked there since 1996 until 2014, first as an adjunkt and since 2006 as a professor.

## Publications

Publications (46)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and...

In this paper, we present a relating semantics in order to investigate the connexive logic. We remind Barbershop paradoxBarbershop paradox noted by Lewis Carroll in 1894. Next we apply the relating semanticsRelating semantics to investigate this paradox in detail and to show its relation to the connexive logic.

This introductory chapter has two main aims: first, we provide a characterization of the basic notions of logical semantics; second, we give a short description of the remaining chapters of this book.

In 1947 Jerzy Łoś proposed a positional logic based on the realization operator. We follow his work and present it in the context of fundamental challenges of sociology such as the complexity of social reality and reflexivity of social agents. The paper is an outline of the general concept, as it opens a discussion and sets ground for future elabor...

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic...

In this paper we define a new type of connexive logics which we call Boolean connexive logics. In such logics negation, conjunction and disjunction behave in the classical, Boolean way. We determine these logics through application of the relating semantics. In the final section we present a tableau approach to the discussed logics.

In this paper we define a new type of connexive logics which we call Boolean connexive logics. In such logics negation, conjunction and disjunction behave in the classical, Boolean way. We determine these logics through application of the relating semantics. In the final section we present a tableau approach to the discussed logics.

If something is contradictory, then it is not consistent; but if something is non-contradictory, is it necessarily consistent? If so, there may be nothing between consistency and inconsistency. Thus if we literally apprehend the title of this book, it will be on nothing. However, the title of this book should be understood more broadly. This is bec...

This volume investigates what is beyond the Principle of Non-Contradiction. It features 13 papers on the foundations of reasoning, including logical systems and philosophical considerations. Coverage brings together a cluster of issues centered upon the variety of meanings of consistency, contradiction, and related notions.
Most of the papers, bu...

We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w, where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the i...

Building on our diverse research traditions in studying reasoning, language and communication, the Polish School of Argumentation integrates different disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Crafting methodological program and establishing organisational in...

According to a brief and very general definition Cognitive Science is an interdisciplinary scientific study of how information is represented and transformed in a human nervous system. “Information”, “representation” and “transformation” are keywords here. Many disciplines bring considerable contribution to Cognitive Science. Logic is one of them....

Introduction to the volume.

In this paper we analyze the Strawson's notion of presupposition proposed in his book Introduction to Logical Theory. Strawsonian notion of presupposition is dependent on the notion of logical entailment. We make use of the theory of logical consequence operation as a general framework to show that it is impossible to find a logical consequence ope...

The main aim of this paper is to elucidate, from a logical point of view, the phenomenon of Simpson reversal – the paradox of a statistical reasoning. We define a binary relation of supporting in the following way: a sentence A supports a sentence B if and only if the probability of B is higher when A is true, than when A is false. It appears that...

In this paper we investigate the relation between the axiomatiza- tion of a given logical consequence operation and axiom systems defining the class of algebras related to that consequence operation. We show examples which prove that, in general there are no natural relation between both ways of axiomatization. Most of the results presented in this...

We formalize and investigate by means of logical entailment two of Strawson’s notions of presupposition: Strawsonian presupposition and presupposition via negation. We develop the theory of bi-matrices – a formal tool to investigate Strawsonian presuppositions. We prove that any class of presuppositional bi-matrices determines the Strawsonian presu...

The aim of this paper is to analyze the difierences and similarities between the linguistic and the logical meaning of a sentence and propose a uniform point of view on the notion of the meaning of utterances. The proposed notion difiers from the notion of the logical meaning as well as from the linguistic one. It may be considered to be a kind of...

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of Sciences. Now, 5 decades later the present volume is dedicated to a celebration of this 50th Anniversary of Studia Logica. It features a series of papers by distinguished scholars reflectin...

We define some classes of operations generalizing the notion of logical consequence operation. Then we investigate them in terms of properties of their theories.

We prove that no logic #i.e.consequence operation# determined by any class of orthomodular lattices admits the deduction theorem #Theorem 2.7#. We extend those results to some broader class of logics determined by ortholattices #Corollary 2.6#. Preliminaries In this paper we examine a cluster of issues centering upon the deduction theorem for ortho...

We describe the weakest modal logic which is equivalential with respect to 2#p $ q#. It is known fact #see #5##, that #nitely equivalential strengthenings of a given equivalential logics form the #lter which is not principal. Consequently the weakest #nitely equivalential modal logic does not exists. The aim of this note is to answer the relative q...

Lattice of subquasivarieties of variety generated by modular ortholattices MOn, n 2 ! and MO! is described.

The upper part of the lattice of orthomodular logics is described.

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the...

Wprowadzenie. Celem tej pracy jest pokazanie, w jaki sposób wychodząc od pewnego ty-pu eksperymentów fizycznych można skonstruować semantykę algebraiczną dla zdaniowej logiki klasycznej oraz kwantowej. Zaprezentowane w pierw-szej części pojęcia i wyniki pochodzą od C. Pirona [64], [77], (patrz też M. Majewski [78]). Pozostałe części pracy poświęcon...

## Projects

Project (1)