Assertion: truth | /r/HasProperty | defined
Facets:
value: explicitly
type: MANNER
value: anyway
type: MANNER
value: differently
type: MANNER
Source sentences:
text: Imagine this process repeated infinitely, so that truth is defined for The barn is big; then for "The barn is big is true"; then for "'The barn is big
text: In such an application, truth is not taken to be explicitly defined, but rather the truth conditions of sentences are taken to be described.
text: “correspondence” by arguing that truth is defined differently.
text: Truth for singular sentences, consisting of a name and an arbitrarily complex predicate, is defined thus: A singular sentence is true iff the object denoted by the name satisfies the predicate.
text: From Pilate’s position of power, truth is optional, inconsequential even; truth can be defined anyway one wants.
text: In formal settings satisfying certain natural conditions, Tarski’s theorem on the undefinability of the truth predicate shows that a definition of a truth predicate requires resources that go beyond those of the formal language for which truth is going to be defined.
text: By contrast, the axiomatic approach does not presuppose that truth can be defined.
text: If truth can be explicitly defined, it can be eliminated, whereas an axiomatized notion of truth may and often does come with commitments that go beyond that of the base theory.