Tag Archives: Logic

The Implicit “All”

12 Tuesday Nov 2019

Posted by in Critical Thinking, Logic

≈ Leave a comment

Tags

,

One of the fundamental units in logical analysis is that function/operatori lovingly known as “the quantifier.” Most logic texts content themselves with just two: “all” and “some,” formally symbolized as “” and “” respectively. Thus, to say that, “All X is p,” one is asserting that every (or any) instance of X is also an instance of p, or is characterized by p, etc. Similarly, when someone says only that, “Some X is p,” the claim is made that, if one looks hard enough, one will find at least one instance where X is p. There are ways of precisifying (one of those $5.00 words philosophers love to use) the above statements, but there is hardly any need to do so here. It suffices to have a general idea. Two points I’ll mention in passing. First, in most formal contexts (substructural logics are an example of an exception), “all” and “some” are defined as being interchangeable using “not”: thus, “not-All X is not-p” is taken to mean “Some X is p,” and conversely. Secondly, these are not the only quantifiers possible: “many” and “most” are also examples. But these last two are difficult to formalize (to say the least) and by a polite convention among logicians they are generally ignored wholesale.Implicit All

As the title of this post states, I wish to talk about what I am calling the implicit “all”; uses of the “all” quantifier in which that quantifier is functioning but not explicitly stated. This happens quite often, in point of fact, and is not problematical in itself. Where problems do arise is when that usage is not merely implicit, but actively denied as a means of evading the consequences of what someone has actively stated or written. When this happens, we are faced not merely with a logical error, but an overt act of dishonesty. The dishonesty becomes not merely overt but blatant when, even after the implicit “all” is pointed out, the individual continues to deny it. Continue reading →

Objects and Relations

19 Monday Nov 2018

Posted by in Logic, Process Philosophy, Relationalism

≈ Leave a comment

Tags

, ,

Let’s get (a little) mathematical. If you’re still reading, good for you!

I spend a fair amount of time reading various logic texts. Most of that time, these days, is spent on texts that are shared with a “Creative Commons” license, and are thus freely downloadable. This is for two reasons: first, I am deeply offended by contemporary text book prices. For example, Hurley’s logic book (you can look that up on your own) is around $100.00 for the more recent editions. Not as bad as Calculus text books, but certainly extreme when one considers that the material presented can be had for free from other sources. So, despite the overwhelming improbability of it ever occurring, I can’t stop myself from thinking about the scam inherent in textbook pricing, and thinking how I, as a would-be teacher, might better serve my students w/o bankrupting them.Venn diagram

The second reason is that I just really like the subject, and want to keep my nose in the books on this subject at all times. Like playing the cello, if you stop practicing, you lose whatever mastery you may once have possessed. (The cello analogy is in reference to the great Pablo Casals and the possibly apocryphal response(s) he gave to why he always practiced so diligently.) Since I am otherwise utterly penurious, my choice of texts to “practice” with are limited to what I can download for free. With respect to topics within mathematics, including formal logic, the range of materials is actually enormous, and the quality exceptionally good. One of these books is the Open Logic Text by the Open Logic Group (“OL”), licensed under Creative Commons international attribution 4.0. (I believe I have fulfilled my legal obligations in the forgoing; full .PDF HERE.) I very much approve of this text, and almost anyone but me would never have even the slightest critique to offer regarding its exceptionally comprehensive coverage of the topic in a readily understandable fashion. But I do have one criticism, one that pretty much no one but a Whiteheadian would ever think to make. And that is about their too sanguine opening about the centrality of sets, and their uncritical acceptance of an intransigently object structured thinking. Continue reading →

Self-Identity

27 Tuesday Feb 2018

Posted by in Logic, Mathematics, Metaphysics, Ontology, Process Philosophy, Relationalism

≈ 2 Comments

Tags

, , ,

I was not an especially “outward looking” or alert youth, working rather to shut the world out rather than invest painful consideration into something that was already almost unbearably painful. But occasionally my habits of thinking would turn themselves outward, to chew on a puzzle that had managed to break through my protective shell and demand my attention. This happened twice that I can recall in high school: the first time, after an especially depressing episode I realized I needed to make a study of reading people – perhaps, more importantly, I realized that I could learn this, and I began picking up clues effectively and rapidly. The second, and first genuinely philosophical moment, was when I “discovered” the “problem of evil” as it related to the born-again Christianity I’d been emotionally bullied into accepting by various members of my family – personal responsibility is a joke, of course, in any world dominated by an omniscient and omnipotent creator god. This began my “angry atheist” phase, which went on for another decade (until I’d actually read a substantial bit of philosophy.)Acropolis1

The third “break through” (second genuinely philosophical one) happened when I was in the army. I was stationed some 18 kliks from what was (at the time) the East German border, in the Central German highlands, as an electronics tech in an Improved HAWK anti-aircraft missile battery. Every year, each such unit chose a squad of people to be sent to NAMFI, Crete, to spend a few days training, culminating in firing a live bird at a drone target. As it happened (then, at least), the entire trip involved several days both before and after the actual training which were free time for the troops to explore the island or, as several of us chose to do, take the ferry from Souda bay to the Piraeus and Athens. So it came to pass that I climbed the steps up the hill of the Acropolis. Except, that’s not quite right. Nobody actually walked on those steps, and it wasn’t out of respect for their antiquity. Continue reading →

Making Sense

12 Monday Feb 2018

Posted by in General Philosophy, Inquiry, Logic, Metaphysics, Philosophy of Science, Process Philosophy, Whitehead

≈ Leave a comment

Tags

, , ,

Whitehead set out to make sense of things. After witnessing all of his attempts to point out how Einstein’s general theory of relativity failed to make the sense it claimed to make (and still fails to do so, but the model centrists won’t permit empirical evidence to get in the way of their clever mathematics), he arguably decided that he needed to step back from epistemology and philosophy of science, to present a more logically primary argument, in the metaphysical form of his “philosophy of organism.” Whitehead centered his argument on what I and Randy Auxier named “the quantum of explanation,” a logical (rather than ontological) center, around which Whitehead constructed his subtle and complex system of making sense. It has been suggested that Whitehead’s magnum opus, Process and Reality, is one of the five most difficulty works in the Western philosophical canon. I’m not inclined to argue with such a sentiment, since the most that could be credibly argued is that it might be knocked back to sixth place. For my part, I’m not sure what work could manage that feat.No Sense

One of the points that Randy and I tried to emphasize was that the process of “making sense” was itself a rather complex process, in which the most active word in the proceeding is process: this is not an object you hold, but an activity you engage in. So despite my habitual focus upon contemporary science &/or concerns, this is actually as classic an issue as you can find in the Western philosophical canon. (And I just don’t have the expertise to speak with even casual ignorance about the Eastern canon, a source of inestimable insight and subtlety. I am, however, inclined – ignorant as I am – to suspect that what I have to say here can find its analogs in that tradition.) Continue reading →

The World is a Circle

15 Wednesday Feb 2017

Posted by in Authoritarians, Critical Thinking, Logic

≈ 1 Comment

Tags

, ,

The title is an ironic gesture to a disturbingly cheerful (some, like me, might say saccharin) tune by Bacharach and David, but my intention is to talk about what is less happily categorized as circular reasoning. This is one of those fallacies that has been recognized for so long that the medievals gave it a Latin name: petitio principii. It is also one of those painful failures of basic reasoning that goes beyond the narrow confines of formal logic, or introductory critical thinking classes. This is one of those monsters of bad thinking that empower authoritarian minded individuals and their enablers to unshamefacedly spout about “alternative facts” and other infantile drivel. You see, the problem with a circle, as well as with a mind that reasons in one, is that the circle is closed; inquiry, on the other hand, is (by necessity) open and ongoing.disturbing-1

I’ve talked before (several times, in fact) about what Altemeyer describes as the “compartmentalization” that occurs in authoritarian belief and ideology. One can scarcely dignify this latter as “thinking,” regardless of the degree of sophisticated cleverness employed in maintaining those compartments as air tight against all facts and logic. Authoritarian thinkers, following Hamlet’s example, keep their minds, bounded in a nutshell and count themselves kings of infinite space, were it not that they have bad dreams. (Of course, Hamlet was being ironic, and mocking his interlocutors, something the Mango Mussolini’s enthusiasts entirely fail to grasp.) The thing is, these people choose to be bounded by a nutshell, all the while imagining themselves in princely command of infinite space. Meanwhile, their bad dreams (which are the trailings of reality, dogging them despite their dogmatism) are the sources of their willing embrace of Trumpian neo-fascism. Because the nutshell – the “nut house” – in which they have bound their minds is a tightly enclosed circle that permits no entry from reality. Continue reading →

Foolish Consistency

16 Friday Dec 2016

Posted by in Critical Thinking, Donald Trump, Inquiry, John Dewey, Logic, Martin Luther King, Philosophy of Logic

≈ 1 Comment

Tags

, ,

It is certainly disturbing to see how many people prefer a convenient lie over a disquieting truth. But more importantly, we should make note of how many people will flee in abject terror to the warm, terroristic embrace of a convenient lie when confronted with an indisputable uncertainty, the unavoidable knowing that you do not know. I should get that tattooed somewhere … somewhere where no one will ever see it …dunce-cap

There is a formal structure to at least some kinds of disruptive uncertainty, and that structure is not all that hard to understand. I’ll mostly be discussing that logical structure, which often requires a kind of patience with inconsistency. But I will turn to the psychological issues of those who embrace inconsistency without thought at the end. What I wish to address here are kinds of inconsistency, most importantly noting that there are genuinely and importantly different kinds. I’ll mainly draw on investigations by Nicholas Rescher and Robert Brandom, coupled with developments by Jon Barwise and John Perry. Continue reading →

The Bad Seed

20 Thursday Oct 2016

Posted by in Critical Thinking, fallacies, Genetic Fallacy, Logic

≈ Leave a comment

Tags

, ,

Where an argument comes from is not supposed to be relevant to the logical credibility of the argument, and there are named fallacies that highlight just such errors. (I’m going to talk loosely here, at first, so take the immediately following with a grain of salt.) The genetic fallacy says that where an argument comes from – its origins or “genesis” – should not be treated as relevant to the cogency of that argument. A somewhat more specific version of the genetic fallacy is a variant on the argumentum ad hominem, known as the tu quoque fallacy. “Tu quoque” basically means “you too,” or “you’re another.” The idea with this latter is rejecting the advice or argument of a person on the grounds that that person is doing the very thing she or he is advising against.bad-seed-1

However, such a rejection is clearly not only unfair, but unjustifiable. An alcoholic may not be able to stop drinking, but is certainly in a position to understand the evils of that drinking, and present cogent arguments against it. Similarly, the nicotine addict, slowly suffocating from emphysema may not be physically or psychologically able to stop smoking, but said person is certainly well placed to understand the viciousness of doing so, and can offer extremely valid arguments against ever picking up the habit. But there are times when the source of a claim really is important, and needs to be taken into account when evaluating a claim. The probative value of evidence which we are not able to check ourselves often rests on the credibility of the source. The superficial version of the genetic fallacy that I presented above says that the source of a claim should not be given any weight, and that the argument should be evaluated by itself and on its own terms. But when we do not have complete control and/or mastery over those terms, then that source must also be taken into account. Continue reading →

Slippery Slope

13 Thursday Oct 2016

Posted by in Critical Thinking, fallacies, Inquiry, Logic

≈ Leave a comment

Tags

, ,

The “slippery slope” is the fallacy (if it is a fallacy – some might dispute that!) that says certain actions cannot ever be taken because they lead to other actions, which make still other actions possible, etc., leading finally to some kind of catastrophic action which can no longer be denounced or argued against because of all the little steps that led up to it and gave it permission. It is a frequent traveler with those who would argue against any sort of incremental changes to social institutions or the guarantee of civil rights. Thus, we’ve seen a great deal of slippery slope “reasoning” amongst conservatives denouncing marriage equality, with such claims being floated as, “If gays are allowed to marry, what is to prevent people from marrying farm animals, or young children?” (I’ll not link to any such claims; if the rock you’ve been hiding under these past several years has kept you shielded from such nonsense, I will not be the one responsible for breaking your bubble.)slippery-slope

What inspired me to write about this now was my recollection of how this fallacy relates to the famous sorites paradox: Sorites: noun so·ri·tes \sə-ˈrī-(ˌ)tēz\ The paradox (if it is a paradox) rotates around the question of how trivial actions, too small to have any consequence of their own, nevertheless can sum up to be massive and absolute distinctions. So, in a sense, slippery slope is going down the hill, while sorites is going up it. Continue reading →

Plenum

23 Friday Sep 2016

Posted by in Logic, Metaphysics, Philosophy of Logic, Whitehead

≈ 3 Comments

Tags

, , ,

So my last round of musing was on the subject of “emptiness.” Connected to that idea is the concept of “fullness,” of “plenum.” I suspect that one of the primary failures of contemporary metaphysics is misunderstanding which is really which: that is to say, what is really full, and what is really empty. Here again, Whitehead’s process metaphysics offers us important insights. Because how we think of “fullness” – of a thing, a region of space, or whatever – is directly correlated to what we believe to be genuinely real. I argued earlier against the naïve concept of “empty” space, pointing out that not only is that space (according to physics) a broiling froth of micro events and virtual particles, but that it is also densely awash in relational connections to the rest of the universe. Adding to that earlier discussion, one could say that the space itself is a kind of “thing”: it is an event in its own right, it is a process of space relating itself to other spatial events. In this regard, Whitehead rejected the “material aether” that dominated astrophysical thought in the days between James Clerk Maxwell and Albert Einstein (the last quarter of the 19th C. to the first decade or two of the 20th), and argued instead for an “aether of events” as the dominating characteristic of space.plenum

Without assuming – indeed, explicitly denying – any absolute sense of either “emptiness” or “fullness,” what sorts of relative conditions might lead us to characterize one sort of collection as generally more full, and another as comparatively more empty? Well, for that we need a notion of what it is that fills, hence that which is not there when things are empty. My argument is that what “fills” are events and relations. Continue reading →