Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
1.9
Journals
Axioms
Special Issues
Lvov—Warsaw School
share announcement

Lvov—Warsaw School

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

Deadline for manuscript submissions: closed (20 April 2016) | Viewed by 41958

Special Issue Editors

Prof. Dr. Angel Garrido

E-Mail Website
Guest Editor
Department of Fundamental Mathematics, Faculty of Sciences, National University of Distance Learning (UNED), 28040 Madrid, Spain
Interests: mathematical analysis; measure theory; fuzzy measures, in particular symmetry and entropy; graph theory; discrete mathematics; automata theory; mathematical education; heuristics; artificial intelligence
Special Issues, Collections and Topics in MDPI journals
Prof. Dr. Urszula Wybraniec-Skardowska

E-Mail Website
Guest Editor
Department of Philosophy, Cardinal Stefan Wyszyński University in Warsaw, 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 Issues, Collections and Topics in MDPI journals

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 submissions that pass pre-check are 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 monthly 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 2400 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

Benefits of Publishing in a Special Issue

  • Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
  • Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
  • Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
  • External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
  • e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.

Further information on MDPI's Special Issue polices can be found here.

Published Papers (9 papers)

Download All Papers
Order results
Result details
Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:

Editorial

Jump to: Research

152 KiB  
Editorial
The Lvov-Warsaw School and Its Future
by Angel Garrido and Piedad Yuste
Axioms 2016, 5(2), 9; https://doi.org/10.3390/axioms5020009 - 11 Apr 2016
Viewed by 4200
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

266 KiB  
Article
The Universe in Leśniewski’s Mereology: Some Comments on Sobociński’s Reflections
by Marcin Łyczak, Marek Porwolik and Kordula Świętorzecka
Axioms 2016, 5(3), 23; https://doi.org/10.3390/axioms5030023 - 6 Sep 2016
Cited by 1 | Viewed by 4887
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)
184 KiB  
Article
Is Kazimierz Ajdukiewicz’s Concept of a Real Definition Still Important?
by Robert Kublikowski
Axioms 2016, 5(3), 21; https://doi.org/10.3390/axioms5030021 - 17 Aug 2016
Viewed by 4189
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)
219 KiB  
Article
A Logical Analysis of Existential Dependence and Some Other Ontological Concepts—A Comment to Some Ideas of Eugenia Ginsberg-Blaustein
by Marek Magdziak
Axioms 2016, 5(3), 19; https://doi.org/10.3390/axioms5030019 - 15 Jul 2016
Cited by 2 | Viewed by 3972
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)
284 KiB  
Article
Potential Infinity, Abstraction Principles and Arithmetic (Leśniewski Style)
by Rafal Urbaniak
Axioms 2016, 5(2), 18; https://doi.org/10.3390/axioms5020018 - 15 Jun 2016
Cited by 3 | Viewed by 4386
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)
299 KiB  
Article
An Overview of the Fuzzy Axiomatic Systems and Characterizations Proposed at Ghent University
by Etienne E. Kerre, Lynn D´eer and Bart Van Gasse
Axioms 2016, 5(2), 17; https://doi.org/10.3390/axioms5020017 - 7 Jun 2016
Cited by 1 | Viewed by 7259
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

275 KiB  
Article
On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency
by Urszula Wybraniec-Skardowska
Axioms 2016, 5(2), 15; https://doi.org/10.3390/axioms5020015 - 7 Jun 2016
Cited by 3 | Viewed by 3664
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)
241 KiB  
Article
Contribution of Warsaw Logicians to Computational Logic
by Damian Niwiński
Axioms 2016, 5(2), 16; https://doi.org/10.3390/axioms5020016 - 3 Jun 2016
Viewed by 4519
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)
291 KiB  
Article
An Axiomatic Account of Question Evocation: The Propositional Case
by Andrzej Wiśniewski
Axioms 2016, 5(2), 14; https://doi.org/10.3390/axioms5020014 - 26 May 2016
Cited by 6 | Viewed by 4064
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)
Show export options expand_more Show export options expand_less
Select all
Export citation of selected articles as:
 
Displaying articles 1-9
Back to TopTop