Logic: Ancient and Modern Syllogisms

If you have ever seen any syllogism, chances are it’s this one:

All men are mortal;
Socrates is a man;
therefore, Socrates is mortal.

Aristotle believed that there were 19 valid syllogisms. Today — since the work of George Boole (and possibly of De Morgan) — we take it that there are only 15 valid syllogisms.

As I have alluded to before, this distinction arises because we consider the possibility of an empty set. This affects the valid conclusions from such statements as “all unicorns are mortal”.

We take that statement to be true, even though we believe that unicorns do not exist; we take it that all zero of them are mortal.

We do not conclude, however, that some unicorn is mortal.
Read the rest of this entry »

Happenings – 2010 Apr 24

Well, it has turned out to be an interesting week. Somehow I found enough time to do some meta-mathematics of my own.

Logic

Or to stumble across some by someone else. I was sorting through a pile of books that had been sitting on the floor of my library for too long. One of the books I found was called “Cognition” by Dodd & White. In one section it talks about why some syllogisms seem harder than others for people to get right. I haven’t taken notes on this yet, but I’m looking forward to it. It should serve as spice when I get to talking about syllogisms. Real Soon Now. Probably this weekend.
Read the rest of this entry »

Posted in diary. 4 Comments »

Logic: “all” and “some”

This is the third post (excluding two “books added” posts) in the category “logic”, so if you need to, go back to the earlier posts.

In this post, I want to do two things.

First, I want to show you the duality between “for all” and “there exists”.

Second, I want to show you how to translate “all dogs are clever” and “some dogs are clever”. There is at least one subtle point.

Let me jump right in.

Duality

Read the rest of this entry »

Posted in logic. 1 Comment »

Happenings — Apr 17

Good morning — it’s still morning as I start this… and, apparently, still morning as I publish it.

Let me say up front that this post includes thumbnail summaries of five books on color. In a way this is risky: having said something about these books, I can delay putting them into the bibliography. Well, I’ll just have to aim you at this post when I mention these books in other posts.
Read the rest of this entry »

Color = XYZ tristimulus?

How many colors in this drawing?

That depends on how we define color. And I’ve decided that it isn’t particularly important how we define “color” — instead, the perceived difference between the interior bars on the left and the interior bars on the right, that is what’s important.

The whole point of that drawing is that all the interior bars are exactly the same XYZ — I know because I drew it — but they do not all look the same. To me, at least, the left ones look yellowish, but the bars on the right look like gray. This effect is called “simultaneous contrast”.

Let us ask an explicit question: does a set of XYZ coordinates specify a unique color?
Read the rest of this entry »

Posted in color. 5 Comments »

Happenings – Apr 10

As I begin this draft, it’s Friday evening, and I’m tired.

I took some time off from real work this week, and I managed to look at logic, orbits, and color. In particular, I was fairly productive, answering some of my questions in orbits and color. (I ended up with more questions in logic.)

I have quantified at least one of the nonlinearities in color theory: my monitor, specifically the gamma correction curve(s). This was one of the two remaining topics I wanted to discuss… and I think I will try to put it in the context of everything else we’ve done (!). We’ll see. Maybe I should do it as a stand-alone calculation.

(The other color topic — still unsolved — was to construct an everywhere non-negative spectrum in the case where the fundamental (constructed from an XYZ) was negative over some wavelengths.)

Not surprisingly, as I keep reading about color, I keep thinking of more things to do. I finally broke down and ordered Fairchild’s “Color Appearance Models”, and a few other books that looked interesting. (The other expensive one was Kuehni & Schwarz’ “Color Ordered: a Survey of Color Systems from Antiquity to the Present”… and I ordered three books by Faber Birren — which may turn out to be more expensive per page though not in total cost!)
Read the rest of this entry »

Logic: tautologies

I never planned on writing this post, and although it’s not complicated (say I who wrote it!), it was time-consuming. It grew out of my confirming that Copi & Cohen and Gensler (both books are titled “Introduction to Logic”) had exactly the same two lists of rules and tautologies. That made it relatively universal.

For what it’s worth, Copi (“Symbolic Logic”) has one different rule — the same total of 9, but one different; and Hummel (“Introductory Concepts for Abstract Mathematics”) has several more which are particularly suited to mathematics. In addition, Gensler also presented the material in another way, as one set of rules for simplifying expressions, and another for making inferences.

(All those books are in the bibliography, and were reviewed in the two most recent “Books Added”, here and here.)

The following can be found in Copi & Cohen, or in Gensler (although I have written them differently from both texts, and in a different order). On my computer, this fits on one screen.
Read the rest of this entry »

Posted in logic. 9 Comments »