Questions tagged [tarski]
For questions related to the logician Alfred Tarski (1901-1983).
12
questions
1
vote
1
answer
51
views
Kant's commentary on the faculty of judgment: did he anticipate things like incompleteness/halting/truth-undefinability?
First, to cite the (Meiklejohn) version of the argument:
If understanding in general be defined as the faculty of laws or rules, the faculty of judgement may be termed the faculty of subsumption ...
- 10.1k
2
votes
0
answers
18
views
Does a function assigning any sentence to some 𝘢th-order logic exist?
I feel like I'm just reinventing Tarski's wheel with this idea, or maybe I'm even remembering what I've looked over with respect to Tarski's undefinability thesis and phrasing it in a way that ...
- 10.1k
4
votes
1
answer
58
views
Questions Regarding Tarski's Semantical Formalization of the Colloquial Usage of Truth
My question is in regard to a problem (albeit a simple one) that I ran into reading Tarski's paper "Concept of Truth in Formalized Languages".
On page 159 Tarski states:
(5) for all p, ‘p' ...
- 157
5
votes
7
answers
1k
views
What is the meaning of assertion?
I often see the word "assertion" in books of philosophy of language or logic. They may list a sentence like
Snow is white.
Then somewhere in the context, they may write "assertion of ...
- 151
4
votes
4
answers
199
views
How would I translate the following statement into higher order logic? Or what book would you recommend to teach myself higher order logic?
"For every liar Sentence, there exists some person for whom the sentence is either self-referential or (purely) negative."
I am a behavior analyst with an undergraduate degree in philosophy ...
4
votes
1
answer
227
views
McGee's argument on restriction of consistent instances of T-schema
Could someone help me understand what is McGee's argument on restriction of consistent instances of T-schema about please?
This is gonna be messy so please bear with me.
Halbach and Holsten's "...
2
votes
2
answers
390
views
Diagonalization and Tarski's theorem of inexpressibility of truth
I've been reading Peter Smith's Intro to Godel's theorem but I cannot understand how diagonalization works in Tarski's theorem of inexpressibility of truth.
The mentioned Carnap's equivalence is of ...
2
votes
2
answers
154
views
Tarski's sufficient conditions for the Liar paradox and self-reference
Tarski gave three sufficient conditions in his 1944 paper The Semantic Conception of Truth for the Liar paradox to occur:
The language in which the Liar sentence is stated in is semantically closed, ...
1
vote
1
answer
364
views
Is T-schema just another name for Convention-T, or are they two different things?
Question: is the T-schema generally regarded among philosophers as the same as Convention-T?
My understanding of Convention-T (and material adequacy) is as follows.
Consider the sentence ‘Schnee ist ...
0
votes
1
answer
79
views
Equivalence of truth conditions
Truth conditions, roughly, are the way things should be in order for a sentence to be true.
For instance, the condition for the sentence "Paul is a cat" is that the individual denoted by &...
- 395
1
vote
1
answer
483
views
Tarski's convention-T and inductive definition
I am studying the famous tarskian theory of truth ad there is a thing not clear to me.
1)Why does the T-schema "'S' is true if an only if S" specifies the truth-condition for the sentence 'S'...
- 395
1
vote
1
answer
267
views
What does Tarski mean when he says that truth is a property of sentences?
A fundamental statement of Tarski's Theory of Truth is that truth is a property of sentences. What does this statement mean?
What kind of Truth is it referring to?
What is the formal definition of '...
- 1,065