Now showing items 1-6 of 6

    • Cantor on Infinitesimals. Historical and Modern Perspective 

      Błaszczyk, Piotr; Fila, Marlena (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      In his 1887's Mitteilungen zur Lehre von Transfiniten, Cantor seeks to prove inconsistency of infinitesimals. We provide a detailed analysis of his argument from both historical and mathematical perspective. We show that ...
    • Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl 

      Aranda, Víctor (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a ...
    • Compounding Objects 

      Šikić, Zvonimir (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      We prove a characterization theorem for filters, proper filters and ultrafilters which is a kind of converse of Łoś's theorem. It is more natural than the usual intuition of these terms as large sets of coordinates, which ...
    • Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument 

      Benzmüller, Christoph; Fuenmayor, David (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument ...
    • Formal Methods and Science in Philosophy: Introduction to the Special Issue 

      Blackburn, Patrick; Kovač, Srećko; Świętorzecka, Kordula (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      Introduction to the Special Issue.
    • What Is the Sense in Logic and Philosophy of Language 

      Wybraniec-Skardowska, Urszula (Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)
      In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception ...