Jazyky pro empirii a teorii
Ještě o elementární logice
Kvantová teorie a operace spojení v teorii svazů
La créativité des définitions dans les systèmes para-euclidiens
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b) ni (c), une...
La fonction logique de Hilbert à travers les «Grundlagen der Mathematik»
La neige est blanche ssi... Prédication et perception
L'article traite des liens entre la syntaxe et la sémantique formelle (de nature logique) des jugements perceptifs et leur contenu proprement perceptif (de nature géométrique). Dans les situations les plus élémentaires le contenu perceptif se ramène à des remplissements de domaines spatiaux (l'extension des objets) par des qualités sensibles (couleurs, textures, etc.). Ces remplissements sont descriptibles par des sections de fibrations appropriées, qui sont des cas particuliers de faisceaux. Il...
Le fantôme de la modalité
Le texte philosophique comme lieu d'étude sur la logique usuelle
Leninská dialektika a matematika
Matemáticas y platonismo(s).
Matematika a zdravý rozum: jaký je jejich vztah?
Matematika na přelomu tisíciletí
Matematika na vzdálené planetě
Meaningfulness and the Erlanger program of Felix Klein
Model-theoretic properties of cause-and-effect structures
Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche)
Negation And Contradiction.
O důkazech a pokroku v matematice
O idealismu v matematice
O intuicionismu