Copernicus
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
Astorre
Truth Defined — ucarr
ucarr
So you've determined the truth. Great. Now what do you do with all this? — Astorre
Astorre
ucarr
...to human is to need creativity, even if it seems "pointless". — ProtagoranSocratist
ucarr
Veritas est adequatio intellectus et rei
↪ucarr
This seems to me a definition of essence but not truth — JuanZu
ucarr
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
ucarr
...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
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
Astorre
ucarr
I asked ChatGPT to pull out the argument in your post, and it offered:
Condensed Argument Form — Banno
Hanover
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
Banno
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
ucarr
...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
Banno
No. They are, as you say, operators.Logical operators (∧, ∨, ↔︎, ¬) are not logical identities? — ucarr
ucarr
Banno
What am I to make of this? What is the "identity" of "^" or of "⊃"? Am i to write "^=^"? In what logic would such a string be well-formed? How do I assemble such an expression?Each operator has its identity, so operator identities are fundamental to logic. — ucarr
I'm happy to go with what's already been decided, since it's coherence is verified by multiple folk. That is, the accepted logic is rigourous. I remain unconvinced that there is much coherence in your proposal. But I happily admit I don't understand your proposal.Don’t kid yourself you’re not looking for your own playing field, if you can discover it. — ucarr
To my eye, I have.Your job is to tear the guts out of my theoretical sallies, if you can. — ucarr
ucarr
Each operator has its identity, so operator identities are fundamental to logic. — ucarr
What am I to make of this? What is the "identity" of "^" or of "⊃"? Am i to write "^=^"? In what logic would such a string be well-formed? How do I assemble such an expression? — Banno
Am i to write "^=^"? In what logic would such a string be well-formed? How do I assemble such an expression? — Banno
ucarr
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.