Jacek Malinowski - Academia.edu (original) (raw)
Uploads
Papers by Jacek Malinowski
Trends in Logic, 2018
Bookmarks Related papers MentionsView impact
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
1.1. A syntactics of sentential logics 13 1.2. Logical matrices, matrix semantics 17
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
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
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
Logic and Logical Philosophy, 2020
Bookmarks Related papers MentionsView impact
Ruch Filozoficzny, 2019
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact
Essays in Logic and Ontology, 2007
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact
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
Logic and Logical Philosophy, 2005
Bookmarks Related papers MentionsView impact
Logic and Logical Philosophy, 2005
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact
Trends in Logic, 2018
Bookmarks Related papers MentionsView impact
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
1.1. A syntactics of sentential logics 13 1.2. Logical matrices, matrix semantics 17
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
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
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
Logic and Logical Philosophy, 2020
Bookmarks Related papers MentionsView impact
Ruch Filozoficzny, 2019
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact
Essays in Logic and Ontology, 2007
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact
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
Logic and Logical Philosophy, 2005
Bookmarks Related papers MentionsView impact
Logic and Logical Philosophy, 2005
Bookmarks Related papers MentionsView impact
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
Bookmarks Related papers MentionsView impact