How to create language without self-contradiction?

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

Discussion Overview

The discussion revolves around the Liar Paradox and the conditions under which self-contradictory statements arise in language. Participants explore the implications of semantic closure in languages, the hierarchical structure of languages as proposed by Alfred Tarski, and the logical foundations that underlie the paradox. The scope includes theoretical reasoning, logical analysis, and philosophical implications of language and truth.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Conceptual clarification

Main Points Raised

  • Some participants reference Alfred Tarski's view that the Liar Paradox arises in semantically closed languages and propose a hierarchy of languages to avoid self-reference.
  • One participant suggests that the Liar Paradox can be expressed through a variable, leading to a contradiction when examining the truth value of the statement.
  • Another participant argues that the existence of the Liar Paradox is logically forbidden, asserting that the paradox arises from attempting to assign a truth value to a self-referential statement.
  • Some participants discuss the implications of the Liar Paradox in formal logic and its parallels with Russell's paradox, emphasizing the need for higher-order logic to resolve such issues.
  • There is mention of the Liar Paradox's relevance in the theory of computation, particularly in relation to self-referential programs and the halting problem.

Areas of Agreement / Disagreement

Participants express differing views on the existence and implications of the Liar Paradox. While some argue that it can be resolved through logical frameworks, others maintain that it highlights fundamental issues in semantics and truth assignment. The discussion remains unresolved with multiple competing perspectives presented.

Contextual Notes

Participants note that the discussion involves complex logical constructs and assumptions about language, truth, and identity. The implications of these constructs are not fully resolved, and the limitations of the arguments presented are acknowledged.

  • #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 64 ·
3
Replies
64
Views
2K
  • · 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