It does imply that. If the independent result (from Lines 4 to 9) doesn't convince you, can you come up with a concrete instance where “p & ~Kp” can b...
It's not merely an assumption or stipulation though, it's the justifiable proposition that there is some particular truth that isn't presently known. ...
Fitch's paradox shows that a contradiction follows from KP and NonO. Per the law of non-contradiction, contradictions are false. Thus it's false that ...
The contradiction means that one of the premises is false (KP or NonO). Not that "p & ~Kp" is both knowable and unknowable. If KP is false, "p & ~Kp" ...
No. Line 3 of the SEP proof asserts that "p & ~Kp" is knowable, i.e., "<>K(p & ~Kp)". "<>K(p & ~Kp)" is then subsequently proved to be false. Therefor...
To clarify, p is the unknown truth and that p has the characteristics of being unknown and true is expressed by the conjunction "p & ~Kp". So to summa...
Yes, which is what I said above ("the former is unknown"). Because that's what the proof shows. "<>K(p & ~Kp)" (line 3 in the SEP proof) is proved to ...
No. Perhaps we can - who knows? But they are not the unknowable truths that Fitch's paradox expresses. It's the latter. In the SEP proof, line 1 asser...
Because Alice can (speculatively) say of an unknown truth, t, that "t is true and no-one knows that t is true". Alice's statement will, in turn, be an...
OK, though it's not clear to me what you are objecting to. No. False propositions are unknowable in the sense that you can't know what is false. And, ...
Goldbach's conjecture was just an example. The point is that if there is any unknown truth (i.e., if we are not collectively omniscient), then there i...
Well, one might prefer to think they are omniscient. ;-) More seriously, presumably people who have considered Fitch's paradox do accept that. But fro...
The basic idea is that if there's a truth that isn't known then that implies a related truth that isn't knowable. Suppose there is some statement t th...
OK, but I still didn't get a clear "yes" or "no". :smile: Yes. It's the case that human beings construct the experiments, observe the results, theoriz...
Would that be something that we are unable to describe using ordinary or specialized language? We describe human beings and their activities in terms ...
Certainly it does. Do you see that your questions assume the very antithesis at issue? To give a familiar example from Ryle, is a university "Nothing ...
From J.L. Austin: @"Banno" and @"Tate" get to the crux of it here: So how do we avoid returning to it? @"Michael" shows how. Note that there are no co...
Yes, that's correct. It's only measurement that is (sometimes) random. To see this, take a look at this quantum coin example. In terms of a quantum co...
It's about the delayed choice quantum eraser and the philosophical or foundational implications - a discussion which may sometimes require recourse to...
Here's what GPT-3 (from OpenAI, Microsoft) thought of your comment. Our resulting conversation: GPT-3: There is a lot of research that still needs to ...
It follows from their joint entangled (Bell) state. Which, written in the z-basis (ignoring square root of two factors), is: |00\rangle + |11\rangle T...
No, the signal pattern never shows interference regardless of what happens to the idler photons. Interference is only revealed when the idler photons ...
Yes. Yes. Why would that be? Note, however, that the two phase subsets combined and the two path subsets combined do produce the same (non-interferenc...
When the idler photon (qubit) is measured in the z-basis or the x-basis, then we can infer the path or the phase of the signal photon respectively. Ma...
This information is encoded (or, better, implicit) at the time of entanglement, i.e, when the entangled pair of photons are created at the BBO in Figu...
See Figure 1-3 and Figure 1-4 of Feynman's lectures. Figure 1-4 (c) (path information known) shows that photons can strike anywhere on the back screen...
No, those two beam splitters just reduce the probability of all the idler photons striking D2. If the BSa and BSb beam splitters were removed, then th...
It doesn't matter what happens to the idler photons, the signal pattern will remain the same. From the Wikipedia page (especially the bolded part): Th...
Fair enough. The important (non-spooky) point with the delayed-choice quantum eraser experiment is that the original observed pattern for the signal p...
Measurement doesn't affect anything in the past. In the delayed-choice quantum eraser experiment, the original observed pattern remains the same regar...
Yes, for macroscopic systems at low velocities in weak gravitational fields, QM and relativity approximate classical Newtonian mechanics (as an emerge...
:up: As Fuchs implies with "us-within-the-world", there's no view from nowhere. Just to be precise here, measurement involves an interaction between a...
:up: Below is the broader quote that that phrase was taken from, describing Bell's Theorem. Both locality and realism are technical terms. Don't equat...
Spot on. As it happens, most physicists choose locality over realism . This rejection of realism (precisely, counterfactual definiteness) is well summ...
A representation that was later used was binary-coded decimal. That required four transistors per digit, for a total of twelve transistors for a 3-dig...
Yes, and I see now that you're referring to qubit coherence. I found an interesting summary of the historical and projected improvements in coherence ...
Comments