Special Issue "Lvov—Warsaw School"

A special issue of Axioms (ISSN 2075-1680).

Deadline for manuscript submissions: closed (20 April 2016).

Special Issue Editors

Guest Editor
Prof. Dr. Angel Garrido Website E-Mail
Department of Fundamental Mathematics, Faculty of Sciences, UNED, Paseo Senda del Rey No. 9, 28040 Madrid, Spain
Phone: +34 91 3987237
Fax: +34 91 3987237
Interests: Mathematical Analysis; Measure Theory; Fuzzy Measures, in particular symmetry and entropy; Graph Theory; Discrete Mathematics; Automata Theory; Mathematical Education; Heuristics; Automata Theory; Artificial Intelligence
Guest Editor
Prof. Dr. Urszula Wybraniec-Skardowska Website E-Mail
Cardinal Stefan Wyszyński University in Warsaw, Department of Philosophy, Wójcickiego 1/3 bl. 23 II, O1-938 Warsaw, Poland
Interests: logic and its applications; metalogic; history of logic; philosophy; mathematics; information sciences; theory of deductive systems and foundations of mathematics

Special Issue Information

Dear Colleagues,

Our purpose would be to fill a void present in the day that we see on these topics. Therefore, we have discussed some of the great logicians; including Bolzano, Brentano, Twardowski, Lesniewski, Lvov-Warsaw School (LWS), in contrast with the more “mediatic” or commented on Vienna Circle (Wiener Kreis). His predecessors, such as Leibniz, or Bolzano and Brentano. His disciples, for instance, Husserl or Twardowski, and the very brilliant group that was inspired by him, including Lukasiewicz, Tarski, or Banach. Please refer to interconnections with Peirce, Hilbert, and Zermelo. We will also consider other fundamental names, such as Russell, Whitehead, and Wittgenstein. We will not be omitting mention to Intuitionist Mathematics, using Brouwer and his disciple, Heyting. We also seek to establish mutual relationships with Church, Kleene, Zadeh, etc., without exhausting any of the possible related fields and candidates worthy of consideration.

Additionally, we must analyze the relationship with the new problems proposed by the field of Computer Science; in particular, with Artificial Intelligence. Some of the information contained in our publications may be connected with my own PhD. thesis, entitled Philosophy and Mathematics of Vagueness and Uncertainty. You can also find many analyses related to these themes in three of my previous books, recently published, by Editorial Dykinson (Madrid, Spain). These are:

- LOGIC OF OUR TIME (2014); Lógicas de nuestro tiempo.

- APPLIED LOGIC. VAGUENESS AND UNCERTAINTY (2014); Lógica Aplicada. Vaguedad e Incertidumbre.

- And more recently, MATHEMATICAL LOGIC AND ARTIFICIAL INTELLIGENCE (2015); Lógica Matemática e Inteligencia Artificial, in Spanish.

Additionally, Prof. Dr. Garrido (after Summa Cum Laude) has received the First Extraordinary Award of Doctorate at the UNED, for their analysis of these topics.

Prof. Dr. Angel Garrido
Prof. Dr. Urszula Wybraniec-Skardowska
Guest Editors

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Axioms is an international peer-reviewed open access quarterly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 1000 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.


Keywords

  • Mathematical Analysis
  • Mathematical Logic
  • Many-valued Logics
  • Fuzzy Logic
  • Lvov-Warsaw School
  • Modal Logic
  • Epistemology

Published Papers (9 papers)

Order results
Result details
Select all
Export citation of selected articles as:

Editorial

Jump to: Research

Open AccessEditorial
The Lvov-Warsaw School and Its Future
Axioms 2016, 5(2), 9; https://doi.org/10.3390/axioms5020009 - 11 Apr 2016
Abstract
The Lvov-Warsaw School (L-WS) was the most important movement in the history of Polish philosophy, and certainly prominent in the general history of philosophy, and 20th century logics and mathematics in particular.[...] Full article
(This article belongs to the Special Issue Lvov—Warsaw School)

Research

Jump to: Editorial

Open AccessArticle
The Universe in Leśniewski’s Mereology: Some Comments on Sobociński’s Reflections
Axioms 2016, 5(3), 23; https://doi.org/10.3390/axioms5030023 - 06 Sep 2016
Cited by 1
Abstract
Stanisław Leśniewski’s mereology was originally conceived as a theory of foundations of mathematics and it is also for this reason that it has philosophical connotations. The ‘philosophical significance’ of mereology was upheld by Bolesław Sobociński who expressed the view in his correspondence with [...] Read more.
Stanisław Leśniewski’s mereology was originally conceived as a theory of foundations of mathematics and it is also for this reason that it has philosophical connotations. The ‘philosophical significance’ of mereology was upheld by Bolesław Sobociński who expressed the view in his correspondence with J.M. Bocheński. As he wrote to Bocheński in 1948: “[...] it is interesting that, being such a simple deductive theory, mereology may prove a number of very general theses reminiscent of metaphysical ontology”. The theses which Sobociński had in mind were related to the mereological notion of “the Universe”. Sobociński listed them in the letter adding his philosophical commentary but he did not give proofs for them and did not specify precisely the theory lying behind them. This is what we want to supply in the first part of our paper. We indicate some connections between the notion of the universe and other specific mereological notions. Motivated by Sobociński’s informal suggestions showing his preference for mereology over the axiomatic set theory in application to philosophy we propose to consider Sobociński’s formalism in a new frame which is the ZFM theory—an extension of Zermelo-Fraenkel set theory by mereological axioms, developed by A. Pietruszczak. In this systematic part we investigate reasons of ’philosophical hopes’ mentioned by Sobociński, pinned on the mereological concept of “the Universe”. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
Is Kazimierz Ajdukiewicz’s Concept of a Real Definition Still Important?
Axioms 2016, 5(3), 21; https://doi.org/10.3390/axioms5030021 - 17 Aug 2016
Abstract
The concept of a real definition worked out by Kazimierz Ajdukiewicz is still important in the theory of definition and can be developed by applying Hilary Putnam’s theory of reference of natural kind terms and Karl Popper’s fallibilism. On the one hand, the [...] Read more.
The concept of a real definition worked out by Kazimierz Ajdukiewicz is still important in the theory of definition and can be developed by applying Hilary Putnam’s theory of reference of natural kind terms and Karl Popper’s fallibilism. On the one hand, the definiendum of a real definition refers to a natural kind of things and, on the other hand, the definiens of such a definition expresses actual, empirical, fallible knowledge which can be revised and changed. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
A Logical Analysis of Existential Dependence and Some Other Ontological Concepts—A Comment to Some Ideas of Eugenia Ginsberg-Blaustein
Axioms 2016, 5(3), 19; https://doi.org/10.3390/axioms5030019 - 15 Jul 2016
Cited by 1
Abstract
This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in relation to the concepts of state of affairs and [...] Read more.
This paper deals with several problems concerning notion of existential dependence and ontological notions of existence, necessity and fusion. Following some ideas of Eugenia Ginsberg-Blaustein, the notions are treated in reference to objects, in relation to the concepts of state of affairs and subject of state of affairs. It provides an axiomatic characterization of these concepts within the framework of a multi-modal propositional logic and then presents a semantic analysis of these concepts. The semantics are a slight modification to the standard relational semantics for normal modal propositional logic. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style)
Axioms 2016, 5(2), 18; https://doi.org/10.3390/axioms5020018 - 15 Jun 2016
Cited by 1
Abstract
This paper starts with an explanation of how the logicist research program can be approached within the framework of Leśniewski’s systems. One nice feature of the system is that Hume’s Principle is derivable in it from an explicit definition of natural numbers. I [...] Read more.
This paper starts with an explanation of how the logicist research program can be approached within the framework of Leśniewski’s systems. One nice feature of the system is that Hume’s Principle is derivable in it from an explicit definition of natural numbers. I generalize this result to show that all predicative abstraction principles corresponding to second-level relations, which are provably equivalence relations, are provable. However, the system fails, despite being much neater than the construction of Principia Mathematica (PM). One of the key reasons is that, just as in the case of the system of PM, without the assumption that infinitely many objects exist, (renderings of) most of the standard axioms of Peano Arithmetic are not derivable in the system. I prove that introducing modal quantifiers meant to capture the intuitions behind potential infinity results in the (renderings of) axioms of Peano Arithmetic (PA) being valid in all relational models (i.e. Kripke-style models, to be defined later on) of the extended language. The second, historical part of the paper contains a user-friendly description of Leśniewski’s own arithmetic and a brief investigation into its properties. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
An Overview of the Fuzzy Axiomatic Systems and Characterizations Proposed at Ghent University
Axioms 2016, 5(2), 17; https://doi.org/10.3390/axioms5020017 - 07 Jun 2016
Cited by 1
Abstract
During the past 40 years of fuzzy research at the Fuzziness and Uncertainty Modeling research unit of Ghent University several axiomatic systems and characterizations have been introduced. In this paper we highlight some of them. The main purpose of this paper consists of [...] Read more.
During the past 40 years of fuzzy research at the Fuzziness and Uncertainty Modeling research unit of Ghent University several axiomatic systems and characterizations have been introduced. In this paper we highlight some of them. The main purpose of this paper consists of an invitation to continue research on these first attempts to axiomatize important concepts and systems in fuzzy set theory. Currently, these attempts are spread over many journals; with this paper they are now collected in a neat overview. In the literature, many axiom systems have been introduced, but as far as we know the axiomatic system of Huntington concerning a Boolean algebra has been the only one where the axioms have been proven independent. Another line of further research could be with respect to the simplification of these systems, in discovering redundancies between the axioms. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Show Figures

Figure 1

Open AccessArticle
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency
Axioms 2016, 5(2), 15; https://doi.org/10.3390/axioms5020015 - 07 Jun 2016
Cited by 1
Abstract
In this paper, two axiomatic theories T and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence [...] Read more.
In this paper, two axiomatic theories T and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T it is replaced by the notion of Słupecki’s rejection consequence Cn and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has proved that the theories T+, T, and T′ are equivalent. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
Contribution of Warsaw Logicians to Computational Logic
Axioms 2016, 5(2), 16; https://doi.org/10.3390/axioms5020016 - 03 Jun 2016
Abstract
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical [...] Read more.
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal μ-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the μ-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations. Later, Bojanczyk opened a new chapter by introducing an unboundedness quantifier, which allowed for expressing some quantitative properties of programs. Yet another topic, linking the past with the future, is the subject of automata founded in the Fraenkel-Mostowski set theory. The studies on intuitionism found their continuation in the studies of Curry-Howard isomorphism. ukasiewicz’s landmark idea of many-valued logic found its continuation in various approaches to incompleteness and uncertainty. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Open AccessArticle
An Axiomatic Account of Question Evocation: The Propositional Case
Axioms 2016, 5(2), 14; https://doi.org/10.3390/axioms5020014 - 26 May 2016
Cited by 2
Abstract
An axiomatic system for question evocation in Classical Propositional Logic is proposed. Soundness and completeness of the system are proven. Full article
(This article belongs to the Special Issue Lvov—Warsaw School)
Back to TopTop