Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Zagadnienia Naukoznawstwa

Authors help

  1. 1 Murawski R.

Years help

  1. 1 2011

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  TARSKI’S DEFINITION
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Content available remote

O pojęciu prawdy w matematyce

100%
Murawski R.
Zagadnienia Naukoznawstwa
|
2011
|
vol. 47
|
issue 4(190)
471-481
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.