4 found
Sort by:
  1. Jan Platvono (2008). Gentzen's Proof of Normalization for Natural Deduction. Bulletin of Symbolic Logic 14 (2):240-257.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
    Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Jan Platvono (1982). Probability and Determinism. Philosophy of Science 49 (1):51-.
    This paper discusses different interpretations of probability in relation to determinism. It is argued that both objective and subjective views on probability can be compatible with deterministic as well as indeterministic situations. The possibility of a conceptual independence between probability and determinism is argued to hold on a general level. The subsequent philosophical analysis of recent advances in classical statistical mechanics is of independent interest, but also adds weight to the claim that it is possible to justify an objective interpretation (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation