tag:blogger.com,1999:blog-7126049.post7489943162973843722..comments2024-01-22T11:42:42.772+08:00Comments on FideCogitActio : omnis per gratiam: More on Ross, Feser, etc....Codgitator (Cadgertator)http://www.blogger.com/profile/00872093788960965392noreply@blogger.comBlogger13125tag:blogger.com,1999:blog-7126049.post-6475938925048282732010-01-01T11:10:00.398+08:002010-01-01T11:10:00.398+08:00aletheist,
Vegans avoid using any animal product,...aletheist,<br /><br />Vegans avoid using any animal product, vegetarians avoid meat and such, I think the generality goes. Though what they'd personally want isn't really the issue here, just the rule set of what meal type to serve depending on who shows up.<br /><br />But yeah, whether they like what they get isn't much a concern here. :)Crudehttps://www.blogger.com/profile/04178390947423928444noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-16335411468694107762010-01-01T10:37:37.173+08:002010-01-01T10:37:37.173+08:00Crude: Yes, I know that vegan and vegetarian are d...Crude: Yes, I know that vegan and vegetarian are different; but to be honest, I am not up to speed on exactly <i>what</i> the differences are. Why would two vegetarians want a vegan meal, rather than a vegetarian one? Maybe I am just overthinking the whole thing at this point. :-)aletheistnoreply@blogger.comtag:blogger.com,1999:blog-7126049.post-89824022737289755812010-01-01T06:08:02.503+08:002010-01-01T06:08:02.503+08:00aletheist,
You're aware that vegan and vegeta...aletheist,<br /><br />You're aware that vegan and vegetarian are distinct classes, right?<br /><br />0 = Carnivore<br />1 = Vegetarian<br />2 = Vegan<br /><br />So, 2 carnivores yields carnivore meal (0+0), a carnivore and a vegetarian yields a vegetarian meal (0+1, 1+0), two vegetarians yields a vegan meal (1+1), a vegan and a carnivore yields a vegan meal (2+0, 0+2).Crudehttps://www.blogger.com/profile/04178390947423928444noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-70044317715824509652009-12-31T23:33:28.955+08:002009-12-31T23:33:28.955+08:00I appreciate all of the feedback. It is helpful, b...I appreciate all of the feedback. It is helpful, but still not as "clear and distinct" as I would like. Some explicit and precise definitions of key terms would probably clarify things further, at least for me--formal, determinate, function, pure function, operation, meaning, etc. Which of these presuppose or depend on Aristotelian metaphysics (AM)? Would someone who rejects AM define them differently? If so, would that indicate that the two sides are simply talking past each other?<br /><br />Additional specific questions:<br /><br />1. Why is it "absurd" to suggest that the human mind is just as formally indeterminate as a physical machine? How do we <i>know</i> that we <i>really</i> "formally-determinately perform pure functions" and "instantiate formally complete operations"? How do we know that determinately pure functions exist at all?<br /><br />2. Is the indeterminacy of the physical linked to the problem of induction? We <i>assume</i> that today's laws of nature will remain unchanged in the future (and have been unchanged in the past), but we do not <i>know</i> this. Perhaps the material universe is hard-wired such that E=mc^2 until 2012, after which E=mc^2.001. Or perhaps the speed of light in a vacuum is constant until 2012, after which it is 1 m/s faster. Either way, would we notice?<br /><br />3. The notion of (proper) function entails teleology, but does it (by itself) entail that there are immaterial aspects of thought? If so, how exactly?<br /><br />4. Is underdetermination a central concept? Does the inherent (possibly ontological) indeterminacy of quantum phenomena have any bearing?<br /><br />I realize that some of these are addressed by Ross, Feser, and/or earlier comments here, but again, I would like to have the answers spelled out more explicitly and precisely. To me, the overall argument boils down to this:<br /><br />A. Some thoughts are incompossibly determinate.<br />B. No physical processes or functions of physical processes are incompossibly determinate.<br />C. Therefore, some thoughts are not physical processes or functions of physical processes.<br /><br />I am looking for equally succinct and valid arguments to support both premises (A and B).<br /><br />Crude: I still do not see how the six calculator operations would be mapped to the three diner combinations. Can you lay out the translations of 0, 1, and 2 to vegetarians, carnivores, vegetarian meals, and carnivore meals?<br /><br />Happy New Year to all!aletheistnoreply@blogger.comtag:blogger.com,1999:blog-7126049.post-17660739641453858662009-12-31T18:08:35.560+08:002009-12-31T18:08:35.560+08:00Cog,
No prob on Kurd of course. :) I'm still ...Cog,<br /><br />No prob on Kurd of course. :) I'm still learning a lot here, but one thing I'm curious of is that whole idea of there being actual "meaning" in nature at all. Ed recently got done with a series with the EM claim that nature cannot really have meanings, or directedness, or aboutness, etc. And one claim I've read with Ed is that if it's argued that nature really does have things like "meaning" and "aboutness" and such present in it, then what's being argued for is, in essence, a broadly Aristotlean metaphysic.<br /><br />Do I have that much right?<br /><br />Second, if I do have that right, then isn't all this talk of the physical determinately instantiating a single formal operation A) Still part of that broadly Aristotlean conception of nature, and therefore B) Still not physicalism?<br /><br />Or am I missing something?Crudehttps://www.blogger.com/profile/04178390947423928444noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-7889907077471854702009-12-31T16:33:34.801+08:002009-12-31T16:33:34.801+08:00I also wanted to add that objectors think they can...I also wanted to add that objectors think they can say a physical system is formally determinate only by relying on a suppressed premise, to wit, a massive ceteris paribus clause. E.g., "This machine is determinately doing f(x) [...but only if the laws of the universe are exactly what we take them to be at this moment and if they don't alter at some point]." That's a decisive lemma, however, since it is precisely the ceteris paribus clause which artificially buttresses a physical system's formality from malfunction or 'impurity' in a single case. Without a unilateral ceteris paribus clause, a physical system is wide open to entering "alternate nomic conditions" and thereby performing a different function. (E.g., F = ma is only formally true of any physical system under serious, outdated Newtonian ceterus paribus qualifications.) The prophylactic ceteris paribus clause being deployed, unwittingly, I think, by many objectors, simply begs the question: for it assumes that physical nature IS and always WILL perform its 'one' super-complex function as the stabilizing background for lesser functions in this debate. If ceteris paribus does not hold, then the nomic parameters of lesser functions eo ipso deform (!) into variant functions. <br /><br />Best,Codgitator (Cadgertator)https://www.blogger.com/profile/00872093788960965392noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-85702377299422792692009-12-31T16:23:49.004+08:002009-12-31T16:23:49.004+08:00Sorry, Crude, I didn't mean to call you a &quo...Sorry, Crude, I didn't mean to call you a "Kurd" and possibly entangle FCA in a sociopolitical imbroglio. See the Coffee Buzz Proviso in my first comment. ;) <br /><br />aletheist: <i>"Mr. Brightly has posted two additional comments...."</i> <br /><br />I realize now that you mean Brightly's two other comments after Dr. Feser's reply to his first. They were about N up to 57 and differentiating outputs, i.a. I had all three of his comments on-screen when I wrote this post, so I was cognizant of the latter two comments when I wrote it. Indeed, they are what I am batting down with my S(pm) and S(qm), Rube-Goldberg-cosmos scenarios. As I said, the issue doesn't strictly hinge on there being differentiating outputs in the operations of the machines themselves, since only the larger formal context of even physically (type-) IDENTICAL machines would determine WHAT the machines are doing. <br /><br /><i>"...pm and qm would necessarily have different internal physical organizations in order to perform different functions (plus and quus, respectively)--e.g., qm would need a circuit that makes an explicit comparison of the inputs with the threshold value (57 or whatever)."</i> <br /><br />Again, the point is that pm and qm could have physically (type-) identical compositions and still be underdetermined with respect to any SINGLE pure function. Their performance can either be described under a myriad of incompossible functions or fail to generate every possible instance of a given function. In either case, the machines qua purely physical system crucially lack the identity criteria for "being a case of a determinately pure function." <br /><br />Best,Codgitator (Cadgertator)https://www.blogger.com/profile/00872093788960965392noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-24967240425358803742009-12-31T13:03:22.175+08:002009-12-31T13:03:22.175+08:00CONT.
The objector will say, "Just look at/...CONT. <br /><br />The objector will say, "Just look at/in pm and qm and see how long their circuits are, where their wires lead, etc.," but this just begs the question, since WHAT pm and qm are requires a FORMAL grasp of their operative and material differences from the outset. That’s why the objector says we can see their determinateness: they were designed to BE something formally determinate. That of course just gives away the game. If on the other hand a thoroughgoing physicalist says ALL “complex” systems are the result of blind, brute physical happenstance (cf. hostility to Intelligent Design, etc.), then she ipso facto has no FORMALLY DETERMINATE REASON to assert qm and pm really and wholly perform their respective functions. They weren’t “designed” with a formal goal in mind, since nature has no mind and is no finalizing designer. Ergo, they not only did not emerge in accord with some formal truth but also do not irrefragably operate according to any formal truth. <br /><br />2. The scenario about a "crude" (heheh) machine dishing out food to different animals is on track in that it relates to what I was saying about the spill-over indeterminacy of S(pm) and S(qm), and the spill all the way up to the cosmos. Who the hell knows what the machines are "supposed" (teleology!) to do without already knowing what is formally possible? <br /><br />3. "2 + 2 = 4 until 2012" is just another example of Goodman's grue problem, and therefore on-track. It signals once more what I referred to as "endless formal possibilities" for any wholly material system. The (two-pronged) fact that a purely material system COULD (for all we know) be running countless incompossible functions under the exact same mechanical parameters and that it CAN at any point commence running a variant function, suffices to show that the material system is not and cannot be formally determinate. The physical is ALWAYS subsumable to a competing formal definition (points on a curve, no experimentum crucis, etc.), whereas the formal is NEVER subsumable to some incompossible function. This is an essential ontological difference. We are physical beings, yet we are able to instantiate formally complete operations. Wholly physical systems cannot do that. Ergo, we are not wholly physical systems. <br /><br />If we assert that "This wholly physical machine JUST IS doing addition," we also assert that it can't even possibly do anything else, which is false, since i.) it could be part of larger incompossible function and ii.) could malfunction down the road (in which case its IDENTITY with its formal content would entail the formal operation itself malfunctioned). If the formal is possibly IDENTICAL with a physical system, the function becomes as limited and as mutable as the system itself, which of course makes mush of formal determinacy. And let no objector wiggle out from under the fact that physicalism/materialism assert the IDENTITY of any and every formal operation (all formal truth) with "subvening" the physical system(s). Also, when I said that nothing in the purely physical mode “restricts” a physical system to running only one formal operation—and thus crucially differs from formal truth in the mind—you can imagine my point like this: A wholly physical system is, on physicalism, devoid of intention, finality, will, etc., and therefore, a “formally operative” machine has no intrinsic ability or drive to abide by one formal operation. It isn’t really saying, “No, THIS is the formal operation I want to do forever.” It’s completely ‘passive’ with respect to how it is informed and therefore formally indeterminate, whereas formal realities as such are incommensurately “stubborn” about doing/being ONLY ONE function. <br /><br />I may write more as it comes to mind, but let me know if the above helps for now. <br /><br />Best,Codgitator (Cadgertator)https://www.blogger.com/profile/00872093788960965392noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-57133146162821152242009-12-31T13:02:56.820+08:002009-12-31T13:02:56.820+08:00aletheist and Curde:
Thanks for your contributio...aletheist and Curde: <br /><br />Thanks for your contributions. I might be too buzzed on coffee to reply as precisely and as thoroughly as I should, but I've also got some reading to do; and I don't think I'll get much stuff done online over the weekend, so I don't want this weighing on me without getting a few points across. (Venting is good for the soul?) <br /><br />1. I have not seen Brightly's two additional comments, since it looks like even my comments at Dr. Feser's have not shown up yet. Maybe it's just my server or something. aletheist, are you retro-fitting my pm and qm into his initial objections? <br /><br />Anyway, the problem with saying pm and qm (as well as S(pm) and S(qm), etc.) "differ" commensurately with their differing formal processes, is that, apart from an antecedent FORMAL division of just WHAT pm and qm are, we have no PURELY PHYSICAL way of distinguishing them. That is, how do we know in PURELY MATERIAL terms exactly (determinately) where pm and qm begin and end in spacetime? Moreover, how do we know they are even independent systems and not actually parts of a larger (but perhaps inscrutably complex) super-system which runs a totally different function based on the sub-operations of pm and qm? How do we know pm does not crucially depend on negative ion concentration in the air but qm does not? Those ions would then "count" as parts of pm. And this is not just an epistemological fault on our part: it's an endemic indeterminacy of the purely physical as such. The epistemological skepticism/confusion is a function of the ontological indeterminacy/potency, not vice versa. If physicalism/materialism is true, a species of monism is true, and if monism is true, then we have no way “outside” the formal constraints of that monism to analyze reality.Codgitator (Cadgertator)https://www.blogger.com/profile/00872093788960965392noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-21476475185064674302009-12-31T11:26:30.063+08:002009-12-31T11:26:30.063+08:00aletheist,
I knew I was forgetting something simp...aletheist,<br /><br />I knew I was forgetting something simple! Thanks.<br /><br />0+2 and 2+0 could fulfilled as saying that if a vegan and a carnivore show up, serve the vegan meal. Simple enough.<br /><br />As for the response, I actually have a couple questions of my own. <br /><br />First, if someone insists that there is really some kind of "meaning" or "meaningfulness" in a 'purely physical operation' - isn't that what Ed would call a return to a broadly Aristotlean metaphysic anyway? In other words, how is this an objection against formal and final causality? I'm an amateur here, so I could be missing something. And it does seem that if the fallback is to "some kind of meaning", then the argument really is that whatever the purely physical system is doing, it can't be adding - so we're back to "so does that mean we're not adding either?" question with Ross, if I'm right.<br /><br />Second, I wonder how much blurriness is being played up on with 'internal' versus 'external'. If I type '2+2=4' into a calculator, how do I know "2+2=4" is being instantiated, and not "2+2=4 until 2012"? The response here seems to be "If you completely examine the computer's hardware and software, you will have a physically fixed machine and a completely determinate set of operations." But, the hardware and software is just part of another "physical system", so the exact same questions seem to be lingering.Crudehttps://www.blogger.com/profile/04178390947423928444noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-28043456465199762792009-12-31T06:04:52.771+08:002009-12-31T06:04:52.771+08:00Thanks, Crude. If I understand you correctly, you ...Thanks, Crude. If I understand you correctly, you seem to be suggesting that the <i>meaning</i> of the physical inputs and outputs is indeterminate and must be <i>assigned</i> to them by an immaterial mind in order for what happens in the machine to correspond to a formally truth-preserving pure function. Dr. Feser made a similar point in chapter 6 of <i>TLS</i>, using addition and deductive syllogism as his examples.<br /><br />One response that I have seen is to define the differences in output as the "meaning" of the differences in input, or to claim that a response to a stimulus is "meaningful" as long as it is non-random. Any thoughts on how to deal with those objections? My initial approach was an appeal to intentionality ("aboutness").<br /><br />One quibble with your "simplified systems" here is that 2+0=2 and 0+2=2 would also be possible for the calculator. With this in mind, how would you map the six different mathematical operations of the first device to the three different combinations of diners such that "the same exact machine could satisfy both uses"?aletheistnoreply@blogger.comtag:blogger.com,1999:blog-7126049.post-56411095221260597742009-12-31T02:58:19.997+08:002009-12-31T02:58:19.997+08:00aletheist,
I'm very much out of my league her...aletheist,<br /><br />I'm very much out of my league here, but I'd like to take a stab at this just to see if I understand what Cog is arguing here on behalf of Ross. In part, anyway.<br /><br />Let's imagine a really simplified system: A calculator that could only do addition, could only use whole numbers, and could only handle outputs as high as 2. So you're limited to 0+0=0, 0+1=1, 1+0=1, and 1+1=2.<br /><br />Let's imagine another equally simplified system: A device used as a memory aid for what dinner to serve to mixes of carnivores and vegans. If two carnivores show up, they get the carnivore meal. If a carnivore and a vegetarian show up, they get the vegetarian meal. If two vegetarians show up, they get the vegan meal. No other combination is considered.<br /><br />It seems to me that the same exact machine could satisfy both uses. Same hardware, same programming, etc. Mentally, I'd just be interpreting the inputs and outputs differently while changing nothing about the machine. So is the machine adding / is it programmed to add? Is the machine showing proper dinner service instructions / is it programmed to do this? Is "two vegetarians get meal C" exactly the same thing as "1+1=2"? None of the above?<br /><br />Either way, I'd like Cog to tell me if what I wrote above is on the right track with this 'indeterminacy of the physical' thing. Another way to put it would be that even with the exact same physical system, we could come up with multiple 'equivalent' descriptions (mathematical and perhaps otherwise?) of the system. Meaning more than one description or formula or elsewise that perfectly matches what we're seeing, but is nevertheless distinct.Crudehttps://www.blogger.com/profile/04178390947423928444noreply@blogger.comtag:blogger.com,1999:blog-7126049.post-55439594793101728262009-12-30T23:08:47.716+08:002009-12-30T23:08:47.716+08:00Mr. Brightly has posted two additional comments ar...Mr. Brightly has posted two additional comments arguing that pm and qm would necessarily have different internal physical organizations in order to perform different functions (plus and quus, respectively)--e.g., qm would need a circuit that makes an explicit comparison of the inputs with the threshold value (57 or whatever). If this is right, then there <i>would</i> be a (physical) fact of the matter about which machine was performing which function. If this is wrong--i.e., if pm and qm have physically identical structures--how can it be said that they are performing different functions? Is it somehow "cheating" to peek inside the machines, rather than treating them as black boxes and only looking at their inputs and outputs?<br /><br /><i>It’s not just that we don’t know which function a physical/material system is “running”; the problem is that nothing about the systems themselves in purely physical/material terms restricts—determines—their being instances of a single formal operation.</i><br /><br />This suggests to me that the unquestionable versatility of computers may be evidence for the indeterminacy of the physical, since different operating systems and software programs can cause the same machine to perform vastly different functions. Am I right? Even if so, the question remains whether the same can be said of machines that are "hard wired" to perform a <i>single</i> function.aletheistnoreply@blogger.com