Thanks, that was very interesting. OK, so my understanding is that one sentence that hits (true,true) for isNotProvable is the sentence that asserts t...
OK, so to go back to the third step in your initial post, K could be isNegative. And so isNegative(%M) is false. Then, per the fourth step, any false ...
So a very long sentence could have a Godel number above 10^20 (say, "0=0 and 1=1 and ... 10^20=10^20"). And that sentence could be true or false. But ...
OK, to briefly recap: The sentence "12>3 ; 12-3>3-3 ; 9>0" is a proof of the theorem "12>3". So the sentence "12>3" is both true and provable. It thus...
Cool. No problem with that. Thanks! Very clear. Meaning that ideally every true statement has a corresponding proof and every false statement has no c...
I think either something about the form of the sentence (e.g., HasAnEvenNumberOfLetters) or about the derived Godel number as a number (e.g., your ear...
I like what you're attempting here. The first two steps seem okay to me. On my view, this is a category mistake. Sentences aren't the sort of things t...
There could be any number of reasons why a particular interpretation prevails. Epistemology deals with the norms for assessing claims, of which power ...
Yes, but how is that culture developed? Elinor Ostrom (a political economist) won a Nobel prize in 2009 for her findings on this: Those "community-bas...
There isn't a standard. Mind-body dualism is the result of a language confusion. As Gilbert Ryle put it, "Descartes left as one of his main philosophi...
It's a fascinating topic. For the details, see Solving a System of Linear Equations Using Ancient Chinese Methods by Mary Flagg. Two quotes from that ...
According to Wikipedia they did know about zero but just lacked a symbol for it. As an example of how that might work, suppose you have $2 of assets a...
Agreed, the measurements are the data points. Whereas the underlying structure of the world is still a matter of interpretation. Since photons are the...
I suppose I don't really think in terms of "subconscious mind" and "conscious mind", I just see mind as an abstraction over an agent's intelligent act...
"Consciousness causes collapse" has a history of being associated with quantum mysticism and is generally dismissed by physicists these days. The othe...
Thanks! It's even adaptable to your favorite interpretation: Pilot wave theory: An invisible river guides the boat. Many Worlds: There is a boat on ea...
For one possible physical picture, consider a river that forks around an island. You could represent the river symbolically as: River = left fork + ri...
Yes, but it's motivated by the ordinary definition, not an arbitrary choice. I think the relevant characteristic of objects is that they are concrete ...
A quantum state contains all the information about a quantum system. For two photons to be in the same state means there is no information, in princip...
For the millionaire scenario, the computer randomly removes two wrong answers from the set of three wrong answers. That selection is statistically ind...
It says that bosons can share the same quantum state (which includes position). Fermions can't share the same quantum state but they can still share t...
Fundamental particles can occupy the same space at the same time. See identical particles. I, at least, consider particles to be physical objects. Her...
As I see it, you should be indifferent to keeping or switching in the modified game. My reasoning: If you initially correctly pick the door with the c...
As you probably know, accounting for change was a major issue for the ancient Greek philosophers. As Parmenides (and Plato and Aristotle) would have a...
Sure. You may find this comparison of the various interpretations useful, of which de Broglie-Bohm theory and Many Worlds are the main deterministic i...
Not quite - whether there are multiple versions and what is considered real is an interpretive issue. What is universally agreed on is more like this:...
Classical physics and quantum physics are incompatible descriptions of the world. Though classical physics provides a good approximation in many macro...
OK, you're deflationary about determinism. Which is to say we either have equations and procedures to make predictions about a system, or we do not. T...
I think the example of the light switch/light bulb system captures the definitions you gave in your opening posts. That is, determinism (or non-determ...
To answer that question, I think it's useful to consider a simple system and how it would be represented. Consider a light switch that is connected to...
Going back to this. Is your claim that this temporally prior form is itself separate from particulars? If so, then why would that not be a Platonic fo...
So Aristotle gives a concrete example in Physics Book 8 where he describes a man who moves a stone with a stick. Consider this in terms of a golfer hi...
Perhaps you could specifically quote where you think Aristotle argues this. If you simply mean that there is potential for things in prior (actual) st...
No, it is Aristotle's immanent realism that denies that 'forms' and 'types' exist in separation from particulars (though they can be considered separa...
While they are given independent accounts in Aristotle's writings, some commentators do consider them to be equivalent and that is one of the interpre...
The world isn't grounded in the active intellect for either Aristotle or Aquinas. Both were realists about the world (which contained concrete particu...
Just my quick thoughts here, but if the unmoved mover is identified with the universe itself then, from the universe's frame of reference, it would ha...
The context here is Aristotle's hylomorphic particulars. Aristotle rejected the existence of anything separate from hylomorphic particulars - and spec...
That may have been fine with Aristotle who had a natural theology and located his unmoved mover within the universe. As he wrote, "the things nearest ...
Yes they are thought to be incompatible since Aristotle explicitly rejected Plato's theory of forms . The difference is that Platonic Forms are indepe...
Dualism assumes there are entities that have a reality independent of particulars. In this context it's the Platonic Forms (which Aristotle rejected)....
I was wondering when the discussion would bring in the unmoved movers or active intellect. There's nothing like an excursion into theology or philosop...
Yes he refers to all of those things. However I'm asking for specific quotes that would demonstrate your claim that they are separable from particular...
For Aristotle, form is the correlate of matter and they are not separable from particulars. You can only consider them in separation which is a differ...
Dualism doesn't follow from Aristotle's examples. The soul is not separable from the body - it is always the particular that acts (and thus is the loc...
Thanks. The issue has motivated me to dig more into the literature on Aristotle's philosophy of mathematics. The relevant passage in the chapter you r...
Can you provide a reference in Aristotle's writings where he asserts this position (that these forms are actualized by the human mind)? Also, perhaps ...
What's to exaggerate? Aristotle famously rejected Plato’s theory of forms and proposed his own theory in its place. Note that his conclusion is not th...
Comments