Bulletin of the Section of Logic 49/2 (2020)
Browse by
Recent Submissions
-
What Is the Sense in Logic and Philosophy of Language
(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 ... -
Compounding Objects
(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 ... -
Cantor on Infinitesimals. Historical and Modern Perspective
(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 ... -
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
(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 ... -
Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
(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 ... -
Formal Methods and Science in Philosophy: Introduction to the Special Issue
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)Introduction to the Special Issue.