03 Mathematical logic and foundations
03A05 Philosophical and critical (33 articles)
-
Güttner, Jakub:
Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche).
(Czech) [Can a machine think? (A hypothetical debate of L. Wittgenstein, A. Turing].
Pokroky matematiky, fyziky a astronomie,
vol. 48
(2003),
issue 2,
pp. 105-114
-
Griffiths, Phillip A.:
Matematika na přelomu tisíciletí.
(Czech) [Mathematics at the turn of the millennium].
Pokroky matematiky, fyziky a astronomie,
vol. 46
(2001),
issue 3,
pp. 205-218
-
Peregrin, Jaroslav:
Co je to elementární logika?.
(Czech) [What is the elementary logic?].
Pokroky matematiky, fyziky a astronomie,
vol. 43
(1998),
issue 1,
pp. 45-47
-
Hájek, Petr:
Ještě o elementární logice.
(Czech) [Once more on elementary logic].
Pokroky matematiky, fyziky a astronomie,
vol. 43
(1998),
issue 4,
pp. 324-325
-
Grant, Hardy:
Co je „moderního‟ na moderní matematice?.
(Czech) [What is “modern” about modern mathematics?].
Pokroky matematiky, fyziky a astronomie,
vol. 41
(1996),
issue 3,
pp. 134-140
-
Davis, Philip J.:
Matematika a zdravý rozum: jaký je jejich vztah?.
(Czech) [Mathematics and common sense: What is their relationship?].
Pokroky matematiky, fyziky a astronomie,
vol. 41
(1996),
issue 5,
pp. 253-256
-
Thurston, William P.:
O důkazech a pokroku v matematice.
(Czech) [On proof and progress in mathematics].
Pokroky matematiky, fyziky a astronomie,
vol. 41
(1996),
issue 2,
pp. 57-73
-
Sochor, A.:
Complexity of the axioms of the alternative set theory.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 34
(1993),
issue 1,
pp. 33-45
-
Grath, James H,:
Kvantová teorie a operace spojení v teorii svazů.
(Czech) [Quantum theory and the lattice join].
Pokroky matematiky, fyziky a astronomie,
vol. 37
(1992),
issue 6,
pp. 311-324
-
Snapper, Ernst:
Co vlastně děláme, když děláme matematiku ?.
(Czech) [What do we do when we do mathematics?].
Pokroky matematiky, fyziky a astronomie,
vol. 35
(1990),
issue 5,
pp. 241-249
-
Comfort, W. W.:
O riešení niektorých nerozhodnutelných topologických problémov.
(Slovak) [Deciding some undecidable topological statements].
Pokroky matematiky, fyziky a astronomie,
vol. 27
(1982),
issue 5,
pp. 252-272
-
Hauschild, Kurt:
Model-theoretic properties of cause-and-effect structures.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 23
(1982),
issue 3,
pp. 541-555
-
-
Materna, Pavel:
An intensional approach to questions.
(English).
Kybernetika,
vol. 15
(1979),
issue 3,
pp. (161)-192
-
Bek, Roman:
Time change of objects and problem of their identification.
(English).
Kybernetika,
vol. 12
(1976),
issue 3,
pp. (151)-170
-
Mleziva, Miroslav:
Semantics based on states of affairs.
(English).
Kybernetika,
vol. 11
(1975),
issue 5,
pp. (319)-335
-
Mleziva, Miroslav:
States of affairs as values for formulas.
(English).
Kybernetika,
vol. 11
(1975),
issue 1,
pp. (3)-25
-
Tondl, Ladislav:
Проблема информационной синонимии.
(Russian) [The problem of an information synonymy].
Kybernetika,
vol. 11
(1975),
issue 1,
pp. (39)-52
-
Tondl, Ladislav:
Semantic evaluation of prognostic statements on the base of probabilistic parameters.
(English).
Kybernetika,
vol. 10
(1974),
issue 3,
pp. (199)-220
-
Tondl, Ladislav:
Types of preference.
(English).
Kybernetika,
vol. 10
(1974),
issue 5,
pp. (389)-408
-
Hájek, Petr; Harmancová, Dagmar:
On generalized credence functions.
(English).
Kybernetika,
vol. 9
(1973),
issue 5,
pp. (343)-356
-
Hájek, Petr:
Why semisets?.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 14
(1973),
issue 3,
pp. 397-420
-
Heyting, A.:
O intuicionismu.
(Czech) [On intuitionism].
Pokroky matematiky, fyziky a astronomie,
vol. 17
(1972),
issue 1,
pp. 4-15
-
Tondl, Ladislav:
К проблемам семантической информации.
(Russian) [On the problem of semantic information].
Kybernetika,
vol. 8
(1972),
issue 3,
pp. (189)-212
-
Čulík, Karel:
Jazyky pro empirii a teorii.
(Czech) [Languages for empirism and theory].
Kybernetika,
vol. 4
(1968),
issue 6,
pp. (538)-547
-
Tondl, Ladislav:
Sémantika otázky v problémové situaci.
(Czech) [Semantics of the question in the problem-solving situation].
Kybernetika,
vol. 4
(1968),
issue 4,
pp. (295)-317
-
Havlíček, Karel:
O zacházení s matematikou.
(Czech) [On dealing with mathematics].
Pokroky matematiky, fyziky a astronomie,
vol. 9
(1964),
issue 5,
pp. 299-301
-
Gorskij, D. P.:
Idealisace a abstrakce.
(Czech) [Idealization and abstraction].
Pokroky matematiky, fyziky a astronomie,
vol. 5
(1960),
issue 6,
pp. 741-750
-
Schröter, Karl:
Dosah a hranice axiomatické metody.
(Czech) [The scope and limits of the axiomatic method].
Pokroky matematiky, fyziky a astronomie,
vol. 3
(1958),
issue 3,
pp. 346-355
-
Koutský, Karel:
Proti buržoasní ideologii v matematice.
(Czech) [Against burgeois ideology in mathematics].
Časopis pro pěstování matematiky,
vol. 77
(1952),
issue 3,
pp. 209-210
-
Aleksandrov, Aleksandr Danilovich:
Leninská dialektika a matematika.
(Czech) [Lenin's dialectics and mathematics].
Časopis pro pěstování matematiky,
vol. 76
(1951),
issue 4,
pp. 237-250
-
Aleksandrov, Aleksandr Danilovich:
O idealismu v matematice.
(Czech) [On idealism in mathematics].
Časopis pro pěstování matematiky,
vol. 76
(1951),
issue 4,
pp. 251-270
-
Šimerka, Václav:
Síla přesvědčení - Pokus v duchovní mechanice.
(Czech) [The strength of conviction - An experiment in the spirit mechanics].
Časopis pro pěstování mathematiky a fysiky,
vol. 11
(1882),
issue 2,
pp. 75-111