tag:blogger.com,1999:blog-21308815.post7509462068239741493..comments2023-10-08T15:51:17.426+00:00Comments on Beyond Necessity: Truthmakers and infinite regressEdward Ockhamhttp://www.blogger.com/profile/07583379503310147119noreply@blogger.comBlogger36125tag:blogger.com,1999:blog-21308815.post-38158576546876667532011-11-05T04:04:43.658+00:002011-11-05T04:04:43.658+00:00Actully Ed-Ock, shouldn't we question , one, w...Actully Ed-Ock, shouldn't we question , one, whether Frege meant infinite regress, and two, whether Frege was correct? He said truth collapses, and in short we might infer that he's saying...empiricism (or is it..induction) fails--snow is white sometimes, tomorrow not. Maybe it has soot in it ("snow is white" is not a great example either-- what about probability, etc) But thats not a regress, more like...endless verification (ie sociologists often do that--do the same study every few years, since data changes etc) it's hardly a lengthy refutation--jus the unreliability of sense impressions, contingency, etc., and the superiority of his rational, formalist views. Provincial IMHO (like the writing of the..putative Fregean Billy Maverick)Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-11996607366539639542011-11-05T03:18:13.002+00:002011-11-05T03:18:13.002+00:00This comment has been removed by the author.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-33737103492227524662011-11-05T01:03:46.169+00:002011-11-05T01:03:46.169+00:00Euclidian geometry, algebra, trig, and calc all de...Euclidian geometry, algebra, trig, and calc all deal with abstractions of reality. Abstractions don't hang on elm trees. But they aren't fantasies either.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-41504163589869119472011-11-05T00:52:19.456+00:002011-11-05T00:52:19.456+00:00My point was, and is, that to the extent that thes...<i>My point was, and is, that to the extent that these truths represent reality, and not fantasy, there is no distinction. </i><br /><br />There you go again, Aynthony, mumbling about an issue you don't understand--ie, the analytical synthetic distinction. Euclidian geometry is not merely a representation of what you take to be "reality", is it--nor is algebra, trig, calc. (any integrals hanging on elm trees up there in Schmutzberg? Nein). Any perfect circles, triangles, or integers in nature?No. Maybe try Herr Doktor Frege's essay "The Thought" and offer a rebuttal--going to be a bit more challenging than yr fave Star Trek rerun. Or..Euclid. The issue is far more difficult than you realize.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-52076255273730345742011-11-04T18:06:52.286+00:002011-11-04T18:06:52.286+00:00I thought you had juxtaposed "mathematical tr...I thought you had juxtaposed "mathematical truths", such as the Pythagorean theorem, which you said were "logically necessary", against scientific truths, such as Newton's laws of motion, which you said were "contingent".<br /><br />My point was, and is, that to the extent that these truths represent reality, and not fantasy, there is no distinction. (Actually I suppose that even to the extent they represent their own little fantasy worlds, there is no distinction.)Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-67906367359212919592011-11-04T18:05:42.514+00:002011-11-04T18:05:42.514+00:00This comment has been removed by the author.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-45850774004115800872011-11-04T16:19:11.908+00:002011-11-04T16:19:11.908+00:00Gen.&Spec/Rel. depended upon mathematical trut...Gen.&Spec/Rel. depended upon mathematical truths, obviously--Minkowski's spacetime and the Lorentz transformation--and the coordinate system was still Cartesian. (And..Ayn Rand's axiom of "Existence exists!" was not involved). I never claimed Euclid was the final word on all mathematics or physics--that wasn't the point on the Pythagorean theorem, which eludes you (or say Frege's point in his essay "The Thought", which was about analytical-a priori truth itself--one might say formalism--, as opposed to knowledge derived from sense impressions) .<br /><br />( Ed Ock perhaps you note Mav. Bill misreading Frege's on "the Thought" essay. Frege was a great logician IMO not quite a great epistemologist. But the essential point--quite platonic-- is that..knowledge via sense impression/experience does not provide a solid footing for knowledge, and truth whatever it is, resides in our "inner world"--not exactly no "truth bearer" or a regress. A somewhat typical formalist view. Frege doesn't refute the "correspondence theory" or via Quine ..observation statements, or even verification per se--he points out the obvious--empirical knowledge is contingent (ie non-necessity of empirical claims/propositions). One wonders if Frege (or Maverick for that matter) had ever read say Hume's Enquiry CHU (not that he would have cared for it)Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-58878895200190877352011-11-04T14:24:51.750+00:002011-11-04T14:24:51.750+00:00Yes, Newtonian Mechanics work in certain contexts....Yes, Newtonian Mechanics work in certain contexts. And yes, Euclidean geometry works in certain contexts. <b>That is my point</b>. The periodic table works in certain contexts. Economics works in certain contexts. Weather forecasting works in certain contexts.<br /><br />When the concepts are formed properly, and reason is used upon those concepts, they all work...<b>in context</b>.<br /><br />(I have no idea what you are referring to by spam. Is it that I provided a URL? Am I not allowed to provide URLs?)<br /><br />Yes, Einstein refers to Kant and to Hume and to other philosophers, in some cases positively, and in some cases negatively. And sometimes he was right, and sometimes he was wrong, and through his life he vacillated back and forth on certain key philosophical issues. <b>But that is not my point.</b> He has, I believe, always and consistently rejected Kant's doctrine of the a priori (at least implicitly, and later explicitly), <b>but even that is not my point</b>. My point is that the genius in Einstein's theory of relativity (especially the general theory) stemmed from the realization that so called "mathematical truths" do not hold a special untouchable place in gaining knowledge about reality. Whether Einstein knew it or not is not my point (though at least at some point in his life he did).Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-40336942211444457502011-11-04T13:13:40.812+00:002011-11-04T13:13:40.812+00:00You don't need to spam away--just link to it.O...You don't need to spam away--just link to it.Or not<br />The attempt at an empirical grounding of Euclid mostly failed--most analytical types agreed, and other methods were used via first order logic and set theory(tho' like Newton mechanics, Euclidian axioms still work on earth, ie bridgebuilding (perhaps NASA-Co might have a few issues--either way you don't understand the functional points whatsoever)<br /><br />Gen. and Spec. Rel. do pose philosophical issues--and even Einstein refers to Kant and even Hume quite often (and poor Schlick, analytical phil., whom AE quotes). But you don't understand what those issues are. (for that matter Spec.Rel. is not accepted in all quarters, and Einswine himself did not accept the Big Bang). So like start with that--or say your first syllogism--since this is about philosophy--not gee-willy pop-science factoids.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-54078000195446659322011-11-04T12:47:22.596+00:002011-11-04T12:47:22.596+00:00This comment has been removed by the author.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-84549235371017822122011-11-04T11:52:28.418+00:002011-11-04T11:52:28.418+00:00The errors are very very small. So yes, when desi...The errors are very very small. So yes, when designing/building a skyscraper the architects/engineers are using euclidian space (and axioms). But when designing/building a global positioning satellite system which has to maintain accuracy to the nanosecond over a span of decades, the architects/engineers are using non-euclidean space. These engineers know that the Pythagorean theorem, while a great approximation of reality for so many typical cases, is based on a flawed premise (the parallel postulate) and thus does not work for the detailed calculations they must make. Or, at least, these engineers apply the principles based on that knowledge, which was, I believe, first grasped by Albert Einstein.<br /><br />Again, read the Einstein lecture on Gutenberg. I don't think it'll be completely over your head.<br /><br />(And I don't say I agree with it in its totality. However, I think Einstein was on exactly the right track in his attempt to bring Mathematics back to reality, and in his insight that Geometry is, or at least ought to be, rooted in concepts formed by induction on observation, and not on non-inductive axiomatic fiat.)Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-52339239936941195502011-11-04T11:33:07.429+00:002011-11-04T11:33:07.429+00:00General relativity applies at all non-quantum dist...General relativity applies at all non-quantum distances, and it differs geometrically from Newtonian physics in all but inertial frames of reference. Newtonian physics "works" here on earth, which is not an inertial frame of reference, but only approximately. There are small errors.<br /><br />This is very much a philosophical issue. I highly suggest you read "Geometry and Experience", which is the second lecture in "Sidelights on Relativity", by Albert Einstein. It is available free at gutenberg (http://www.gutenberg.org/cache/epub/7333/pg7333.html). And it is very much a lecture on epistemology, at least the first half of it. Einstein's theories of relativity are very much epistemological.<br /><br />I want to follow with a quote, but there's just so much from that lecture to quote. It's only a few pages long. Maybe I'll make some out of context snippets to try to pique your interest.<br /><br />"Is human reason, then, without experience, merely by taking thought, able to fathom the properties of real things."<br /><br />"The older interpretation:—Every one knows what a straight line is, and what a point is. Whether [...] is not for the mathematician to decide. He leaves the question to the philosopher. [...] the axiom stated above is, like all other axioms, self-evident, that is, it is the expression of a part of this a priori knowledge."<br /><br />"The more modern interpretation:—Geometry treats of entities which are denoted by the words straight line, point, etc. These entities do not take for granted any knowledge or intuition whatever, but they presuppose only the validity of the axioms, such as the one stated above [...] as void of all content of intuition or experience." "Schlick in his book on epistemology has therefore characterised axioms very aptly as 'implicit definitions.'"<br /><br />"But a presentation of its principles thus clarified makes it also evident that mathematics as such cannot predicate anything about perceptual objects or real objects."<br /><br />"Yet on the other hand it is certain that mathematics generally, and particularly geometry, owes its existence to the need which was felt of learning something about the relations of real things to one another." "To be able to make such assertions, geometry must be stripped of its merely logical-formal character by the co-ordination of real objects of experience with the empty conceptual frame-work of axiomatic geometry. To accomplish this, we need only add the proposition:—Solid bodies are related, with respect to their possible dispositions, as are bodies in Euclidean geometry of three dimensions. Then the propositions of Euclid contain affirmations as to the relations of practically-rigid bodies."<br /><br />"Geometry thus completed is evidently a natural science; we may in fact regard it as the most ancient branch of physics. Its affirmations rest essentially on induction from experience, but not on logical inferences only."<br /><br />"I attach special importance to the view of geometry which I have just set forth, because without it I should have been unable to formulate the theory of relativity."<br /><br />"If we deny the relation between the body of axiomatic Euclidean geometry and the practically-rigid body of reality, we readily arrive at the following view, which was entertained by that acute and profound thinker, H. Poincare"<br /><br />"Geometry (G) predicates nothing about the relations of real things, but only geometry together with the purport (P) of physical laws can do so."<br /><br />"Envisaged in this way, axiomatic geometry and the part of natural law which has been given a conventional status appear as epistemologically equivalent."<br /><br />"First of all, an observation of epistemological nature. A geometrical-physical theory as such is incapable of being directly pictured, being merely a system of concepts."Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-2774850719004668122011-11-04T09:06:07.319+00:002011-11-04T09:06:07.319+00:00Pythagorean theorem has no meaning but for the phy...<i>Pythagorean theorem has no meaning but for the physical validity of the postulates it is based on.</i><br /><br /> Ed-Ock.'s site (AFAICT) is about philosophical issues --not the Carl Sagan-ish pop-science--is it not, Ed-Ock?--such as those related to analyticity/a priori and universals (or not), yet even in terms of a sort of primitive-functionalism, you're mistaken. Gen.Rel. applies at vast distances, with strong gravitational fields. Newtonian mechanics (and euclidian space) still applies and works in earth's gravity. When designing/building a skyscraper the architects/engineers are using euclidian space (and axioms). <br />Like playing chess with someone who doesn't know how the pieces move. Horsie?Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-57082780024805234332011-11-04T07:31:54.194+00:002011-11-04T07:31:54.194+00:00This comment has been removed by the author.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-16831948266330899932011-11-04T01:50:13.926+00:002011-11-04T01:50:13.926+00:00"As far as the laws of mathematics refer to r..."As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality." - Albert Einstein, Sidelights On RelativityAnthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-29463714934078615922011-11-04T01:40:00.951+00:002011-11-04T01:40:00.951+00:00You juxtapose knowledge obtained via observation v...You juxtapose knowledge obtained via observation vs. "mathematical knowledge". But mathematical knowledge *is* obtained via observation in the exact same way as any other knowledge. Mathematical knowledge is not knowledge but for the observable concretes from which it is abstracted. The Pythagorean theorem has no meaning but for the physical validity of the postulates it is based on. Specifically, the parallel postulate, which not only "might not be" true in 10,000 years, but as was postulated by Einstein and proven by experiment, is only approximately true right here on earth today.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-12599862412722240072011-11-04T00:00:56.437+00:002011-11-04T00:00:56.437+00:00It merely means that perceptions are not infallibl...<i>It merely means that perceptions are not infallible.</i><br /><br />and had you ever read a page of Hume you'd realize (or perhaps not)...knowledge via experience is not necessary, but contingent. Perhaps something happens ...all the time, AFAWCT so we call it "true" (ie...ie, the proposition that "the boiling point of water/H20 at sea level is 100 C" IS true--but in 10,000 years?? Who knows) but still not logically necessary (as mathematical truths are,or say a tautology). Consider the differences between..the "truths" of the periodic table, "economics" and ..weather forecasting (hardly regular ,or even predictable much of the time). Ergo, Probability usually an issue as well. Hume's not the final word (as Kant realized)...but an important word(especially to ...dogmatists of various types--even the atheist-materialist sort). But for the naive empiricists (you)...seeing is believing.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-30279662441859060902011-11-03T23:34:45.534+00:002011-11-03T23:34:45.534+00:00The question is not whether or not perceptions are...The question is not whether or not perceptions are infallible. Optical illusions certainly occur (as well as auditory illusions, and other-sensory illusions). Occasionally one may perceive that object A is in front of object B, when in fact object B is in front of object A. For most people this is relatively infrequent, though. And it doesn't change the fact that instances of relations (e.g. that one item is in front of another item) can be perceived. It merely means that perceptions are not infallible.<br /><br />But percepts are not the same as conclusions. If one perceives smoke, and concludes that there is fire, the latter is not a percept. As I said in my clarification, my thesis is that one can sometimes perceive some facts, not that all facts are perceived.<br /><br />Perception is the base of knowledge. All knowledge is based on perception. But knowledge doesn't stop at perception. As humans we also have the ability to form concepts, and thereby to obtain knowledge beyond that which we can directly perceive.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-56330664547618371902011-11-03T23:02:04.039+00:002011-11-03T23:02:04.039+00:00As far as their treatment of "facts" (a...As far as their treatment of "facts" (and the perception thereof) goes, Mav P's accounts are not much superior to Aynthony's--naive empiricism in both cases (at least in regard to BV's "truthmaker" schtick). In both cases, the perceived phenomena (or sense data as Russell called it) may or may not be fact, as in true/accurate (even when it is been put in language as a report, declaration of "fact" etc). It might be a hasty conclusion sort of thing--Smoke most likely means fire, but not always (its...a car with bad engine, burning oil etc..not a brush fire). Pretty obvious Phil 101 issue--ie, the perception of an event X, or apparent event may not be the event itself (false accusations are like this as well--ie, one "Billy V' appears on Amber Alert as a suspected sex offender, his face posted on news everywhere--but lo and behold! he has an airtight alibi--he was at Dennys, and the dishwasher vouches for him). History itself presents the same issue (...prove "Shakespeare" existed, and the "facts" of his life, ie wrote plays ,etc---yes highly likely..but again the claims are themselves contingent and there are alternative candidates for who wrote the plays-- DeVere, IIRC)Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-54899925239103232992011-11-03T22:51:53.916+00:002011-11-03T22:51:53.916+00:00>>So ,in terms of predicate logic, "&qu...>>So ,in terms of predicate logic, ""X exists" does have a meaning quite different than an ordinary verb-predicate as .."sits/eats/plays the fiddle",etc. <br /><br />Yes I'm aware there are problems there.Edward Ockhamhttps://www.blogger.com/profile/07583379503310147119noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-16571296396343447112011-11-03T21:28:05.319+00:002011-11-03T21:28:05.319+00:00This comment has been removed by the author.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-91086651742360875342011-11-03T21:02:43.412+00:002011-11-03T21:02:43.412+00:00This comment has been removed by the author.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-74711146063542133892011-11-03T20:47:08.641+00:002011-11-03T20:47:08.641+00:00This comment has been removed by the author.Anthonyhttps://www.blogger.com/profile/15847046461397802596noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-18525910485111715322011-11-03T19:09:18.657+00:002011-11-03T19:09:18.657+00:00""it would show that there is indeed a d...""it would show that there is indeed a distinction between the contingent and the necessary.""<br /><br />Ah yes, now Moe grabs his hammer and smashes in Leibniz's bust.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.comtag:blogger.com,1999:blog-21308815.post-64512148862180056012011-11-03T18:52:27.978+00:002011-11-03T18:52:27.978+00:00This comment has been removed by the author.Jhttps://www.blogger.com/profile/11567400697675996283noreply@blogger.com