Przeglądaj Bulletin of the Section of Logic 46/1-2 (2017) według tytułu
Wyświetlanie pozycji 6-10 z 10
-
On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only ... -
Professor Grzegorz Malinowski in Honorem
(Wydawnictwo Uniwersytetu Łódzkiego, 2017) -
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)We discuss relationships among the existence property, the disjunction property, and their weak variants in the setting of intermediate predicate logics. We deal with the weak and sentential existence properties, and the ... -
Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)In this note I am reflecting on interrelations between three concepts of truth: (1) that employed by Hilbert arguing his formalist view on the nature of mathematics, (2) Freges idea of truth supported by mathematical ... -
Universality of Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, ...