Jan Wolenski

This paper critically discusses two points concerning some recent views about the concept of truth. Firstly, contrary to Davidson, it shows that meaning of sentences cannot be explicated by T-equivalences. In particular, “is true” is an extensional predicate, but “means that” an intensional one. Secondly, the minimalist account of truth does not provide a satisfactory analysis of the concept of falsity. In this respect, minimalism does not satisfy Russell’s claim that any adequate truth-theory must be a theory of falsity as well.

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

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

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems

Traces of the coherence theory are to be found in rationalistic epistemological systems of Leibniz, Spinoza, Kant, Hegel and Fichte. However, the first fully advanced coherence theory was proposed by Bradley in XIX century. He was followed by Joachim, McTaggart, and particularly Blanshard and Ewing. The coherence theory later became popular among philosophers of the Vienna Circle, notably in Neurath and Hempel.2 Recently, Rescher tried to combine various proposals of coherentists into one fully unified view.

This paper outlines an approach to the principle of bivalence based on very general, but still elementary, semantic considerations. The principle of bivalence states that “every sentence is either true or false”. Clearly, some logics are bivalent while others are not. A more general formulation of uses the concept of designated and non-designated logical values and is captured by “every sentence is either designated or non-designated”. Yet this formulation seems trivial, because the concept of non-designated value is negative. In order to refine the analysis, the class of anti-designated values has been distinguished. The non-trivial version of the principle of bivalence is expressed by “every sentence is either designated or anti-designated”. The last part of the paper mentions some extralogical reasons for considering the principle of bivalence with truth being a designated value as intimately connected to human thinking and behavior