Philosophy Stack Exchange
Philosophy Stack Exchange

Questions tagged [tarski]

For questions related to the logician Alfred Tarski (1901-1983).

12 questions
5
votes
7 answers

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 the sentence". I'm confused about the meaning of the word…
William
  • 151
  • 3
4
votes
4 answers

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 and some training in first-order logic. I am interested in…
Preston Campbell
  • 57
  • 4
4
votes
1 answer

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 "Norms for Theories of Reflexive Truth" argues that one…
Constantly confused
  • 834
  • 5
  • 15
4
votes
1 answer

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' is a true sentence if and only if p. From what I…
Max Maxman
  • 157
  • 9
2
votes
2 answers

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 the form γ⟺φ(⌜γ⌝), where φ(x) is any wff of the…
Constantly confused
  • 834
  • 5
  • 15
2
votes
2 answers

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, meaning that it has a truth predicate True(x)…
Constantly confused
  • 834
  • 5
  • 15
2
votes
0 answers

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 resonates with me. Anyway, this is what I'm curious…
Kristian Berry
  • 9,561
  • 1
  • 12
  • 33
1
vote
1 answer

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 weiß’. Our intuition tells us that this sentence…
Constantly confused
  • 834
  • 5
  • 15
1
vote
1 answer

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'? 2)Secondly, why is it necessary for a correct theory of…
PwNzDust
  • 395
  • 2
  • 8
1
vote
1 answer

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 'property'? Can we formalise process of learning?…
Ajax
  • 1,063
  • 5
  • 13
1
vote
1 answer

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 under these rules; that is, of distinguishing whether…
Kristian Berry
  • 9,561
  • 1
  • 12
  • 33
0
votes
1 answer

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 "Paul" is a memeber of the cat set. Following Tarski's theory…
PwNzDust
  • 395
  • 2
  • 8