tag:blogger.com,1999:blog-3891434218564545511.post3783617108200081576..comments2021-05-13T12:47:57.847-05:00Comments on Alexander Pruss's Blog: Disjunctions and differential equationsAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-3891434218564545511.post-3220600458022990902019-08-20T10:05:12.029-05:002019-08-20T10:05:12.029-05:00Yeah, I was thinking of discrete systems. Not nece...Yeah, I was thinking of discrete systems. Not necessarily with *local* interactions, though.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-84528325834238076302019-08-19T22:28:24.046-05:002019-08-19T22:28:24.046-05:00If you reject derivatives and variational principl...If you reject derivatives and variational principles, and demand manifest causality, what would you accept? Cellular automata and other discrete systems with local interactions? Or am I thinking too narrowly?<br /><br />Note that some introductions to QFT start with a discrete spacetime array of operators linked by local difference equations. So discreteness at fundamental scales may not be so silly.IanShttps://www.blogger.com/profile/00111583711680190175noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-12839505465352524632019-08-19T09:52:26.497-05:002019-08-19T09:52:26.497-05:00For reasons like these, I doubt the Lagrangian for...For reasons like these, I doubt the Lagrangian formulation is the fundamental law. There are equivalent formulations, but not all of them -- maybe none of them -- give the *fundamental* law. Sometimes we can at least talk of gradations of fundamentality. For instance F=Gmm'/r^2 is very likely more fundamental than F=rGmm'/r^3. <br /><br />That it is simpler is evidence of the greater fundamentality, but I do not think the simplicity *defines* the fundamentality.<br /><br />I think the fundamental laws of nature need to be grounded in something hyperintensional. I think causal powers are hyperintensional.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-43154860373028781032019-08-17T18:32:44.836-05:002019-08-17T18:32:44.836-05:00On (2), I see ‘causal explanations’ as stories we ...On (2), I see ‘causal explanations’ as stories we tell ourselves for our own purposes. But nature is not obliged to satisfy our desire for a good story, or to conform to our intuitions.<br /><br />As a schoolboy, I wondered how a Newtonian particle following f = ma was supposed to ‘know’ its acceleration. Later I learned about the stationary (Lagrangian) action formulation. This avoids the derivatives, but raises other questions. How is the particle is supposed to find the stationary value? Does it <i>really</i> check out all possible paths? (The story continues in QM: Schrödinger’s PDEs, Heisenberg’s matrices and Feynman’s path integrals all describe the same behaviour.)<br /><br />The moral? It’s not so easy to infer the ‘fundamental dynamical laws’ from the form of the mathematics.IanShttps://www.blogger.com/profile/00111583711680190175noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-61285669797143055202019-08-14T17:38:43.296-05:002019-08-14T17:38:43.296-05:00I am inclined to reject (5). The definition in te...I am inclined to reject (5). The definition in terms of infinitesimals is much more natural, and perhaps there are other ways to define limits also. (Or: we could just take them as a primitive, a form of vagueness!)Heath Whitehttps://www.blogger.com/profile/13535886546816778688noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-30026384270152002412019-08-14T12:22:46.506-05:002019-08-14T12:22:46.506-05:00What motivation is there for (3)?What motivation is there for (3)?Michael Gonzalezhttps://www.blogger.com/profile/05279261871735286117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-15186429266448669422019-08-14T12:14:06.977-05:002019-08-14T12:14:06.977-05:00Maybe this is an argument in favor of infinitesima...Maybe this is an argument in favor of infinitesimals in the fundamental laws. For with infinitesimals we can define the limit with two conjunction, at least in a Euclidean space: f(x)->z as x->y iff for every infinitesimal a, |f(x+a)-f(x)| is infinitesimal. And being an infinitesimal is itself a conjuntive property: a is infinitesimal iff for all real b>0, |a|<b. <br /><br />The downside of that is that deterministic laws seem to cease to be deterministic, because an infinitesimal perturbation will still satisfy the same differential equations.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.com