## Search

Now showing items 11-19 of 19

#### Introduction to Mathematical Logic (Edition 2017)

(2017-05-24)

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. ...

#### What is Mathematics: Gödel's Theorem and Around (Edition 2015)

(2015-01-25)

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.

#### What is Mathematics: Gödel's Theorem and Around (Edition 2013)

(2013-06-23)

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.

#### Introduction to Mathematical Logic (Edition 2012)

(2012-12-20)

Hyper-textbook for students. Edition 2012. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986

#### Introduction to Mathematical Logic (Edition 2014)

(2014-08-25)

Hyper-textbook for students. Edition 2014. ATTENTION! New Edition 2017 available at https://dspace.lu.lv/dspace/handle/7/34986

#### Truth Demystified

(2015-11-05)

For further development, see Karlis Podnieks in ResearchGate.
How could we recognize truth, if we only have models, means of model-building, and the history of their evolution? Where is the truth in the cloud of models – ...

#### Philosophy of Modeling: Some Neglected Pages of History

(2017-10-10)

The work done in the philosophy of modeling by Vaihinger (1876), Craik (1943), Rosenblueth and Wiener (1945), Apostel (1960), Minsky (1965), Klaus (1966) and Stachowiak (1973) is still almost completely neglected in the ...

#### Explanation and Understanding in a Model-Based Model of Cognition

(2017-11-20)

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 ...

#### Towards a General Definition of Modeling

(2010-11-24)

What is a model? Surprisingly, in philosophical texts, this question is asked (sometimes), but almost never – answered. Instead of a general answer, usually, some classification of models is considered. The broadest possible ...