Philosophy Now Forum

Magnus Anderson wrote: ↑Mon Oct 14, 2024 9:26 am

Skepdick wrote: ↑Mon Oct 14, 2024 9:24 am It's nothing like that.

It's exactly like that. And yes, it is an equivocation.

Skepdick wrote: ↑Mon Oct 14, 2024 9:29 am Your word against mine.

Like all philosophy. Pointless fucking mental masturbation.

Magnus Anderson wrote: ↑Mon Oct 14, 2024 9:37 am

Skepdick wrote: ↑Mon Oct 14, 2024 9:29 am Your word against mine.

Like all philosophy. Pointless fucking mental masturbation.

What you put in is what you get out.

Skepdick wrote: ↑Mon Oct 14, 2024 9:38 am Great! So put something in..

Magnus Anderson wrote: ↑Mon Oct 14, 2024 9:43 am

Skepdick wrote: ↑Mon Oct 14, 2024 9:38 am Great! So put something in..

I did and you ignored it.

I will kindly ask you to leave this thread if you have nothing of substance to add.

Skepdick wrote: ↑Mon Oct 14, 2024 9:46 am What is the truth-value of LEM?

Yes, It's Either True or False. Which one?

Magnus Anderson wrote: ↑Mon Oct 14, 2024 9:54 am First of all, you have to make sure that your questions are relevant and that they are perceived as such. Noone will answer a question they perceive as irrelevant. Not only that, but since you've demonstrated that you don't enjoy proving the relevance of your questions, you won't be asked to do that. You will be simply ignored.

Second of all, your question has been answered more than once here in this thread. Not only that but I am sure you knew the answer long before you opened this thread.

Magnus Anderson wrote: ↑Mon Oct 14, 2024 9:59 am This guy is seriously deaf.

Skepdick wrote: ↑Mon Oct 14, 2024 9:24 am Imagine that somebody proposes that every proposition is either true or false. Is that proposition true or false?

godelian wrote: ↑Tue Oct 15, 2024 2:35 am The proposition is false. Counterexample: Russell's paradox. There are undecidable propositions.

Magnus Anderson wrote: ↑Tue Oct 15, 2024 6:03 am By definition, every proposition has truth value. That cannot be argued against.

https://en.m.wikipedia.org/wiki/Decidability_(logic)

In logic, a true/false decision problem is decidable if there exists an effective method for deriving the correct answer. Zeroth-order logic (propositional logic) is decidable, whereas first-order and higher-order logic are not.

Many important problems are undecidable, that is, it has been proven that no effective method for determining membership (returning a correct answer after finite, though possibly very long, time in all cases) can exist for them.

Decidability of a logical system

A logical system is decidable if there is an effective method for determining whether arbitrary formulas are theorems of the logical system. For example, propositional logic is decidable, because the truth-table method can be used to determine whether an arbitrary propositional formula is logically valid.

First-order logic is not decidable in general; in particular, the set of logical validities in any signature that includes equality and at least one other predicate with two or more arguments is not decidable.[1] Logical systems extending first-order logic, such as second-order logic and type theory, are also undecidable.

godelian wrote: ↑Tue Oct 15, 2024 6:49 am ...

all non-trivial semantic properties of programs are undecidable.

In programming language theory and proof theory, the Curry–Howard correspondence is the direct relationship between computer programs and mathematical proofs.

Skepdick wrote: ↑Tue Oct 15, 2024 6:57 am

godelian wrote: ↑Tue Oct 15, 2024 6:49 am ...

1. https://en.wikipedia.org/wiki/Rice%27s_theorem

all non-trivial semantic properties of programs are undecidable.

2. https://en.wikipedia.org/wiki/Curry%E2% ... espondence

In programming language theory and proof theory, the Curry–Howard correspondence is the direct relationship between computer programs and mathematical proofs.

Proofs ARE programs.
All non-trivial semantic properties of Mathematical proofs are undecidable.

And that does it for the semantic view of Mathematics. Garbage in - Garbage out.

godelian wrote: ↑Tue Oct 15, 2024 6:49 am In my opinion, stating that "every proposition has truth value" is equivalent to stating that "every proposition is decidable".

This is not true.