Now showing items 1-3 of 3
Introduction to Mathematical Logic (Edition 2017)
Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. ...
Explanation and Understanding in a Model-Based Model of Cognition
This article is an experiment. Consider a minimalist model of cognition (models, means of model-building and history of their evolution). In this model, explanation could be defined as a means allowing to advance: production ...
Philosophy of Modeling: Some Neglected Pages of History
Read the published version at https://dspace.lu.lv/dspace/handle/7/46695. The work done in the philosophy of modeling by Vaihinger (1876), Craik (1943), Rosenblueth and Wiener (1945), Apostel (1960), Minsky (1965), ...