O pojęciu prawdy w matematyce

• Authors: Roman Murawski

Title variants

EN

THE CONCEPT OF TRUTH IN MATHEMATICS

• Languages of publication: PL

Abstracts

EN

The paper is devoted to the concept of truth in mathematics. The starting point is Tarski's definition of truth. The philosophical background of this definition is discussed, its meaning for the language of mathematics and for philosophy, its relation to various definitions of truth. The relation provability vs. truth is also considered. With use of some results of mathematical logic, it is shown that the conditions from Tarski's definition are too weak to assure the uniqueness of interpretation of truth predicate. It is also shown that semantic notions such as satisfaction and truth are not finitistic and require the concept of infinity.

Keywords

EN

TRUTH; SATISFACTION; TARSKI’S DEFINITION; SEMANTICS

• Publisher: Science Studies Committee, Polish Academy of Sciences
• Journal: Zagadnienia Naukoznawstwa
• Year: 2011
• Volume: 47
• Issue: 4(190)
• Pages: 471-481

Contributors

author

Roman Murawski

• Wydział Matematyki i Informatyki, Uniwersytet im. Adama Mickiewicza, ul. Umultowska 87, 61-614 Poznań, Poland