Jan Wolenski

Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpretative structure SI. However, the content of interpretation, that is, the way of correlating of L-expressions with extralinguistic items depends of informal factors. The discussion shows that semantics is prior to syntax

Kazimierz Twardowski is most commonly known as the teacher of great philosophers and the founder of the Lvov-Warsaw School. As a philosopher however, he is primarily remembered for his famous comparison of the contents and objects of various kinds of representations, a comparison that remains enshrined in European thought.In fact, he attained important results in many other branches of philosophy as well. For instance, in ontology, he laid the foundations for the modern theory of formal structure of objects, and he introduced the theoretically fruitful pair of terms, action-product. In epistemology, he developed a profound analysis of the notion and criteria of truth; and he provided a forceful account of the errors underlying relativist theories of truth. In methodology, he drew an explicit distinction between the processes of discovering, systematising, and grounding in science, and he offered accurate descriptions of the nature of psychology and other humanities. In logic, he offered decisive arguments on behalf of the idiogenetic conception of judgement, and he improved the traditional typology of adjectives.These achievements are of significance that is not only historical. Kazimierz Twardowski's work, formulated in plain, precise language, are instructive and inspiring for contemporary students of philosophy.

This paper compares Kotarbiński’s reism and naturalism. It argues that basic ontological and epistemological reistic principles fit naturalism very well. In particular, the thesis claiming that there are only spatiotemporal things (bodies) gives a very simple naturalistic account of reality. Radical realism defended by Kotarbiński is a version of direct realism, a view about perception which is very accurate for naturalism. On the other hand, since difficulties of reism are also problems for naturalism, the former illuminates typical challenges for the latter

The theory of double truth was proposed in the Middle Age by Latin Averroists as a solution of how the relation between faith (religion, theology) and reason (science) should be conceived. In general terms, according to this theory, there are two orders, one dictated by faith and second dictated by reason. Both are epistemologically different and cannot mutually remain in logical relations such as (in)consistency or entailment. This view was used in the Middle Ages for defending science against a claim that it is the ancilla thelogiae only. The author compares the theory of double truth with other solutions like the model of identity of science and theology or the model of two overlapping regions (Thomas Aquinas). It is argued that the substantial difference of the language of faith and the language of reason makes logical relations between statements of science and statements of theology impossible. In particular, all cosmological proofs of God's existence as well as projects of intelligent design fail if the theory of double truth is adopted