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

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

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

(2017-10-10)

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