How to create language without self-contradiction?

  • Thread starter Thread starter sigurdW
  • Start date Start date
  • Tags Tags
    Paradox
Click For Summary
SUMMARY

The discussion centers on Alfred Tarski's diagnosis of the Liar Paradox, which arises in semantically closed languages, such as English. Tarski posits that to avoid self-contradiction, languages must be structured hierarchically, where higher-level sentences can only refer to lower-level sentences. The participants explore the implications of this structure, arguing that self-referential sentences violate the law of identity, thus preventing the paradox from being logically derived. They conclude that the Liar Paradox cannot exist within a properly structured logical framework.

PREREQUISITES
  • Understanding of Tarski's hierarchy of languages
  • Familiarity with the law of identity in logic
  • Knowledge of self-referential statements and their implications
  • Basic concepts of formal logic and paradoxes
NEXT STEPS
  • Study Tarski's theory on truth and language hierarchies
  • Explore the law of identity and its role in logical reasoning
  • Investigate self-referential paradoxes in formal logic
  • Examine the implications of the Liar Paradox in computational theory
USEFUL FOR

Philosophers, logicians, computer scientists, and anyone interested in the semantics of language and the foundations of logic.

  • #61
sigurdW said:
It gave me some headache too: its better to not use exactly that representation, use the following instead:

"This" in the sentence "This sentence is false” refers to "This sentence is false”

It means the same thing! Has the same effect. Its an alternative formulation of the liar identity defining “This sentence is false”.

This seems to get us closer to the abstract form yet it is further a way from the concrete form. We could be more explicit and write:

"This" in the sentence "This sentence is false” is logically equivalent to "This sentence is false”.

but then the question is why do this. Perhaps this historical example given in Wikipedia is a better way to state the paradox:

Eubulides reportedly asked, "A man says that he is lying. Is what he says true or false?"

Yet one might answer Eubulides by saying that the man is lying by omission.
 
Physics news on Phys.org
  • #62
John Creighto said:
"This" in the sentence "This sentence is false” is logically equivalent to "This sentence is false”.
You could say that both sentences has both true and false as truth value... but my point is that if the liar identity has two truth values then THE LIAR "SENTENCE" IS NO SENTENCE AT ALL! It has no true and only true referential identity! It is a sentence function! So they are not logically equivalent after all. I think this is the most overlooked part of my theory. Again: Liar sentences are not sentences, they are sentence functions because they lack proper referential identities! This claim is new: Its not the same claim as saying they are meaningless, they simply don't have a defined subject, they have only a predicate that needs a subject to make a statement...

Look at it backwards: begin with the sentence function "x is not true": if x = "x is not true " then the sentence "x = "x is not true"" is both logically false and empirically true so x is not allowed to take that value! And if we force it to take the value we brake the laws of logic by creating sentences that are both true and false.
 
Last edited:
  • #63
i'm a liar therefore I'm not true.
 
  • #64
nevere said:
i'm a liar therefore I'm not true.
Seriously? I don't think you are a consistent liar :)
 
  • #66
Bill_McEnaney said:
Hi! I've sort of forgotten this thread,
where I've met lots of interesting ppl. I WILL read what is said in http://helsinki.academia.edu/Tuomas...Non-Contradiction_as_a_Metaphysical_Principle
I love Finnish Philosophy "Perkkele! Ei Ymmere"... But not right away... Ill study some beer first.

SO? My theory is like Zenons arrow still alive & swimming?

Cheers to you all ;)

sigurdV


edit: ‘the same attribute cannot at the same time belong and not belong to the same subject in the same respect’(Aristotle 1984: 1005b19-20).

There are References/names?/descriptions? : "xn" (n=1,2,3, ...n)
And Qualities/predicates?. "Qn"
Is negation a quality?

Lets simplify!
Let there be no language:


We are the audience. We look at a fire. Around it we see stones.
Sitting, there are two players supposed to invent language.

My instant guess is that there are three beginning words "this" . "yes" and "no".
But it might be necessary to create other "words" like "aha!" first...

At the moment no word has been created.

Act 1: A player looks at what? and...(Well ahem...) does WHAT?
Yes, friends in the audience, what must happen?
Will a player stick a finger into the fire and say: "Ouch!"?
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 2 ·
Replies
2
Views
601
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
5K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
17
Views
7K
  • · Replies 210 ·
8
Replies
210
Views
18K
  • · Replies 3 ·
Replies
3
Views
2K