Can you give reasons why infrared couldn't be measured in 1000 BC, or 1,000,000 BC? — ucarr
Does the question of the loss of info due to black hole evaporation raise a question about the complete accessibility of info, or does it raise a question about the completeness of existence, a larger set containing info? — ucarr
perhaps we should focus on the info suggested by the paradox as a revelation of the incompleteness of existence, and thus a gain of info about what cannot be known existentially. — ucarr
Truth Defined — ucarr
So you've determined the truth. Great. Now what do you do with all this? — Astorre
...to human is to need creativity, even if it seems "pointless". — ProtagoranSocratist
Veritas est adequatio intellectus et rei
↪ucarr
This seems to me a definition of essence but not truth — JuanZu
Can you give reasons why infrared couldn't be measured in 1000 BC, or 1,000,000 BC? — ucarr
We didn't have the technology. — Copernicus
Our technologies would have to invent technologies to make themselves see things like we see through our invented technology. — Copernicus
...I haven't seen a single non-speculative statement here. — Astorre
We are homosexual at an early age" – why is that suddenly true?
"AI, becoming humanoid, will soon support the fluidity of all races and genders" – why is that? — Astorre
While it's true that theorizing should be constrained by conjecture, we don't know where the next correct idea in abstraction might arise. Without it, we might still be doing calculus on an abacus. — ucarr
I asked ChatGPT to pull out the argument in your post, and it offered:
Condensed Argument Form — Banno
T-sentence: "p" is true if and only if p.
As definitions of truth go, this is The One.
— Banno
As I read T-sentence, it invokes the bi-conditional; the two terms support each other in identity.
A=A pictures the bi-conditional in all of its beautiful simplicity. — ucarr
T-sentence: "p" is true if and only if p.
As definitions of truth go, this is The One. — Banno
As I read T-sentence, it invokes the bi-conditional; the two terms support each other in identity.
A=A pictures the bi-conditional in all of its beautiful simplicity. — ucarr
Are you saying (p <-> p) = (p=p)? — Hanover
Is your use of the word "picture" an allusion to Wittgenstein and you're suggesting it's his position that the two bi-conditionals are identical? — Hanover
...formal logic has very fixed rules... it has to be shown to conform to the rules... And what you have here doesn't. — Banno
Logic is not based on identity — Banno
Nor is it a symmetrical expansion of identity — Banno
Falsehood is not broken symmetry, as you suggest in your third dot, so much as a logical constant, ⊥. — Banno
No. They are, as you say, operators.Logical operators (∧, ∨, ↔︎, ¬) are not logical identities? — ucarr
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.