Szukaj
Wyświetlanie pozycji 1-3 z 3
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 ...
Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-04)
We investigate the relationship between M. De's empirical negation in Kripke and Beth Semantics. It turns out empirical negation, as well as co-negation, corresponds to different logics under different semantics. We then ...
Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-12-30)
We continue the investigation of the first paper where we studied logics with various negations including empirical negation and co-negation. We established how such logics can be treated uniformly with R. Sylvan's CCω as ...