Jacek Malinowski - Academia.edu (original) (raw)

Uploads

Papers by Jacek Malinowski

Research paper thumbnail of Contradictions, from Consistency to Inconsistency

Trends in Logic, 2018

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On Generalizations of Consequence Operation

We define some classes of operation generalizing the notion of logical consequence operation. The... more We define some classes of operation generalizing the notion of logical consequence operation. Then we investigate them in terms of properties of their theories. Kraus Lehmann and Magidor in [2] investigated some systems of nonmonotonic inference. The inference considered in [2] is a relation between single sentences. The rules defining it are formulated in terms of Gentzenstyle sequents. In this paper we reformulate the notions considered in [2] in terms of Tarski-style conditions (see [4] for reference) on some generalization of the consequence operation. The idea of considering defeasible reasonings in terms of Tarski-style conditions comes from Makinson’s paper [3]. Also the condition (CU) comes from [3]. [1] contains some recent investigations relevant to the present paper. We will use the word ”operation” as a neutral word characterizing property of being, in a very general sense, inferred, just as a description of some link between set of sentences and a single sentence. If th...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Equivalence in Intensional Logics

1.1. A syntactics of sentential logics 13 1.2. Logical matrices, matrix semantics 17

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Trends in Logic XVIII Fine-Grained Semantics for Modal Logic : Formal and Foundational Issues September 24 th – 27 th , 2018

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Lattice of Orthomodular Logics

The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmb... more The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmbach have described the lower part of the lattice of varieties of orthomodular lattices. They proved that any variety of orthomodular lattices essentially larger than variety generated by a contains at least one of lattices b, c, d, e. (By a, b, c, d, e, f , g we denote the lattice depicted in respective picture.) Among those lattices only b is modular. Let MOn for n ∈ ω and MOω denote the modular ortholattice with 2n (ω respectively) pairwise incomparable elements and the bounds. Then, lattices MO2 and MO3 are those depicted in a and b respectively. Roddy [8] has proved that the varieties generated by ortholattices MOn and MOω form an initial chain in lattice of varieties of modular ortholattices. Therefore any variety of modular ortholattices which does not belong to this chain is placed above it (i.e. contains MOω). J. Malinowski [7] has given a complete description of the lattice of s...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Formalization of Strawson’s Presupposition

Essays in Logic and Ontology, 2007

In this paper we analyze the Strawson’s notion of presupposition proposed in his book Introductio... more 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 operation which mirrors the philosophical intuitions of the Strawson’s notions of presupposition. The aim of this paper is to present in details the philosophical backgrounds of the formal analysis presented in the author’s paper “Strawsonian presuppositions and logical entailment”.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Logic of Social Ontology and Łoś’s Operator

Logic and Logical Philosophy, 2020

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Paradoks golibrody i implikacja koneksywna

Ruch Filozoficzny, 2019

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Bayesian Propositional Logic

Bulletin of the Section of Logic, 2018

We define and investigate from a logical point of view a family of consequence relations defined ... more 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 intersection of |≈w , for all w, and give some formal properties of it.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Essays in Logic and Ontology

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Editorial Introduction Logic in Torun: 1992–2003

Essays in Logic and Ontology, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Wokół Filozofii Logicznej

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Quasivarieties Of Modular Ortholattices

Bookmarks Related papers MentionsView impact

Research paper thumbnail of 50 Years of Studia Logica: Editorial Introduction

Trends in Logic, 2003

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the a... more 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 reflecting both the aim and scope of this journal for symbolic logic.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards Mathematical Philosophy

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Strong versus weak quantum consequence operations

Studia Logica, 1992

This paper is a study of similarities and di#erences between strong andweak quantum consequence o... more This paper is a study of similarities and di#erences between strong andweak quantum consequence operations determined by a given class of ortholattices. Weprove that the only strong orthologics which admits the deduction theorem #the only strongorthologics with algebraic semantics, the only equivalential strong orthologics, respectively#is the classical logic.In the papers concerning quantum logics, there exist two di#erent notionsof logical consequences

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Some remarks on axiomatizing logical consequence operations

Logic and Logical Philosophy, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Logic of Simpson paradox

Logic and Logical Philosophy, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Least Modal Equivalential Logic

home.umk.pl

... 2 The location of the logic → Wfe relatively to another modal logics gives the following theo... more ... 2 The location of the logic → Wfe relatively to another modal logics gives the following theorem: Theorem 2. The logic → Wfe is different than any modal logic C such that C ≤ → S2 Proof. ... 4 Page 5. r S0.5 r S1 r S2 r S3 r T r S4n r S4 r Wef References ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Studia Logica. An International Journal for Symbolic Logic

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Contradictions, from Consistency to Inconsistency

Trends in Logic, 2018

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On Generalizations of Consequence Operation

We define some classes of operation generalizing the notion of logical consequence operation. The... more We define some classes of operation generalizing the notion of logical consequence operation. Then we investigate them in terms of properties of their theories. Kraus Lehmann and Magidor in [2] investigated some systems of nonmonotonic inference. The inference considered in [2] is a relation between single sentences. The rules defining it are formulated in terms of Gentzenstyle sequents. In this paper we reformulate the notions considered in [2] in terms of Tarski-style conditions (see [4] for reference) on some generalization of the consequence operation. The idea of considering defeasible reasonings in terms of Tarski-style conditions comes from Makinson’s paper [3]. Also the condition (CU) comes from [3]. [1] contains some recent investigations relevant to the present paper. We will use the word ”operation” as a neutral word characterizing property of being, in a very general sense, inferred, just as a description of some link between set of sentences and a single sentence. If th...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Equivalence in Intensional Logics

1.1. A syntactics of sentential logics 13 1.2. Logical matrices, matrix semantics 17

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Trends in Logic XVIII Fine-Grained Semantics for Modal Logic : Formal and Foundational Issues September 24 th – 27 th , 2018

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Lattice of Orthomodular Logics

The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmb... more The upper part of the lattice of orthomodular logics is described. In [1] and [2] Bruns and Kalmbach have described the lower part of the lattice of varieties of orthomodular lattices. They proved that any variety of orthomodular lattices essentially larger than variety generated by a contains at least one of lattices b, c, d, e. (By a, b, c, d, e, f , g we denote the lattice depicted in respective picture.) Among those lattices only b is modular. Let MOn for n ∈ ω and MOω denote the modular ortholattice with 2n (ω respectively) pairwise incomparable elements and the bounds. Then, lattices MO2 and MO3 are those depicted in a and b respectively. Roddy [8] has proved that the varieties generated by ortholattices MOn and MOω form an initial chain in lattice of varieties of modular ortholattices. Therefore any variety of modular ortholattices which does not belong to this chain is placed above it (i.e. contains MOω). J. Malinowski [7] has given a complete description of the lattice of s...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of On the Formalization of Strawson’s Presupposition

Essays in Logic and Ontology, 2007

In this paper we analyze the Strawson’s notion of presupposition proposed in his book Introductio... more 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 operation which mirrors the philosophical intuitions of the Strawson’s notions of presupposition. The aim of this paper is to present in details the philosophical backgrounds of the formal analysis presented in the author’s paper “Strawsonian presuppositions and logical entailment”.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Logic of Social Ontology and Łoś’s Operator

Logic and Logical Philosophy, 2020

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Paradoks golibrody i implikacja koneksywna

Ruch Filozoficzny, 2019

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Bayesian Propositional Logic

Bulletin of the Section of Logic, 2018

We define and investigate from a logical point of view a family of consequence relations defined ... more 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 intersection of |≈w , for all w, and give some formal properties of it.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Essays in Logic and Ontology

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Editorial Introduction Logic in Torun: 1992–2003

Essays in Logic and Ontology, 2007

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Wokół Filozofii Logicznej

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Quasivarieties Of Modular Ortholattices

Bookmarks Related papers MentionsView impact

Research paper thumbnail of 50 Years of Studia Logica: Editorial Introduction

Trends in Logic, 2003

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the a... more 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 reflecting both the aim and scope of this journal for symbolic logic.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards Mathematical Philosophy

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Strong versus weak quantum consequence operations

Studia Logica, 1992

This paper is a study of similarities and di#erences between strong andweak quantum consequence o... more This paper is a study of similarities and di#erences between strong andweak quantum consequence operations determined by a given class of ortholattices. Weprove that the only strong orthologics which admits the deduction theorem #the only strongorthologics with algebraic semantics, the only equivalential strong orthologics, respectively#is the classical logic.In the papers concerning quantum logics, there exist two di#erent notionsof logical consequences

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Some remarks on axiomatizing logical consequence operations

Logic and Logical Philosophy, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Logic of Simpson paradox

Logic and Logical Philosophy, 2005

Bookmarks Related papers MentionsView impact

Research paper thumbnail of The Least Modal Equivalential Logic

home.umk.pl

... 2 The location of the logic → Wfe relatively to another modal logics gives the following theo... more ... 2 The location of the logic → Wfe relatively to another modal logics gives the following theorem: Theorem 2. The logic → Wfe is different than any modal logic C such that C ≤ → S2 Proof. ... 4 Page 5. r S0.5 r S1 r S2 r S3 r T r S4n r S4 r Wef References ...

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Studia Logica. An International Journal for Symbolic Logic

Bookmarks Related papers MentionsView impact