**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

Does Russell's paradox reveal that we are not operating within a formal system of logic? In a determinate system of logic when we take proposition A, only A or not-A can be true. But the paradox that 'S is the set of all sets that don't contain themselves' shows that we don't have such a determinate system of logic.

*Last edited by RomanJoe (5/12/2017 3:41 pm)*

**John West****Member**Offline

- Registered: 6/25/2015
- Posts: 793

## RomanJoe wrote:

Does Russell's paradox reveal that we are not operating within a formal system of logic?

Nah. It doesn't even do in every form of set theory—i.e. both ZF and ZFC are built on standard first-order logic, and the law of the excluded middle is part of that.

**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

## John West wrote:

## RomanJoe wrote:

Does Russell's paradox reveal that we are not operating within a formal system of logic?

Nah. It doesn't even do in every form of set theory—i.e. both ZF and ZFC are built on standard first-order logic, and the law of the excluded middle is part of that.

How would one go about showing formally that it excludes the middle term?

**John West****Member**Offline

- Registered: 6/25/2015
- Posts: 793

## RomanJoe wrote:

## John West wrote:

## RomanJoe wrote:

Does Russell's paradox reveal that we are not operating within a formal system of logic?

Nah. It doesn't even do in every form of set theory—i.e. both ZF and ZFC are built on standard first-order logic, and the law of the excluded middle is part of that.

How would one go about showing formally that it excludes the middle term?

The law of the excluded middle is an axiom of the predicate calculus (usually, anyway).

Curious: how did the Russell's paradox thing come up?

**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

## John West wrote:

## RomanJoe wrote:

## John West wrote:

How would one go about showing formally that it excludes the middle term?

The law of the excluded middle is an axiom of the predicate calculus (usually, anyway).

Curious: how did the Russell's paradox thing come up?

I'm in an argument with someone who denies that our use of formal propositional logic is determinate. He believes our minds are reducible to the indeterminate physical processes of hormone secretion and neural firing. So, consequently, this indeterminate process cannot conform to a determinate set of inflexible logical laws. He claimed that an admissible proposition A in a determinate system of logic only can yield A or not-A. The paradox thus shows that our logical system is indeterminate because it is a proposition that yields neither A or not-A.

**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

The law of the excluded middle is an axiom of the predicate calculus (usually, anyway).

Oh yeah, I was thinking of the fallacy of the undistributed middle.

**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

What do you think about the liar's paradox?

(A) This statement is false.

If (A) is true, then "This statement is false" is true. Therefore, (A) must be false. The hypothesis that (A) is true leads to the conclusion that (A) is false, a contradiction.If (A) is false, then "This statement is false" is false. Therefore, (A) must be true. The hypothesis that (A) is false leads to the conclusion that (A) is true, another contradiction. Either way, (A) is both true and false, which is a paradox.

The law of the excluded middle states that a proposition is either A or not-A. So is this paradox an exception?

*Last edited by RomanJoe (5/15/2017 1:32 pm)*

**John West****Member**Offline

- Registered: 6/25/2015
- Posts: 793

## RomanJoe wrote:

What do you think about the liar's paradox?

The short answer is: I don't think the Liar expresses a proposition.

The law of the excluded middle states that a proposition is either A or not-A. So is this paradox an exception?

So no.

**RomanJoe****Member**Offline

- Registered: 5/01/2017
- Posts: 176

Why do you think it's not a true proposition?

**John West****Member**Offline

- Registered: 6/25/2015
- Posts: 793

I think that, on closer analysis, the liar sentence comes out meaningless.

But the liar paradox is irrelevant to the argument from reason, anyway. Suppose we agree that it refutes the law of the excluded middle, and cope by adopting a three-valued logic. How do we account for rational inference in the three-valued logic in terms of “indeterminate physical processes of hormone secretion and neural firing”?