Go back
Logic puzzles

Logic puzzles

Posers and Puzzles

moonbus
Über-Nerd (emeritus)

Joined
31 May 12
Moves
8703
Clock
05 Feb 23

“Men are numerous, Socrates is a man, therefore Socrates is numerous.” [Strebbing]

Discuss.

BigDogg
Secret RHP coder

on the payroll

Joined
26 Nov 04
Moves
155080
Clock
05 Feb 23

@moonbus said
“Men are numerous, Socrates is a man, therefore Socrates is numerous.” [Strebbing]

Discuss.
Man != Men

moonbus
Über-Nerd (emeritus)

Joined
31 May 12
Moves
8703
Clock
06 Feb 23
2 edits
Vote Up
Vote Down

@bigdogg said
Man != Men
Distinguish from “Men are mortal, Socrates is a man, therefore Socrates is mortal.”

One argument is valid, the other not. Your answer is on the right track, but not complete.

d

Joined
08 Dec 06
Moves
28383
Clock
06 Feb 23
Vote Up
Vote Down

Numerousness is a higher-order property. "Men are numerous" means "the set of men has many members." You're describing the set and not the members of the set so you can't infer that a man is numerous.

From de Swart's Philosophical and Mathematical Logic:
"It is interesting to note that the notions of ‘finite’ and of ‘non-enumerable’, which
are not first-order properties, can be formulated in second-order logic. In second-order logic, one is allowed to quantify not only over individual
variables, but also over function variables and predicate variables."

From the Stanford Encyclopedia of Philosophy's article on properties:
"Properties are those entities that can be predicated of things or, in other words, attributed to them. Thus, properties are often called predicables."
"This duplicity grounds the common distinction between different orders or types of properties: first-order ones are properties of things that are not themselves predicables; second-order ones are properties of first-order properties; and so on. Even though the formal and ontological issues behind this terminology are controversial, it is widely used and is often connected to the subdivision between first-order and higher-order logics"

moonbus
Über-Nerd (emeritus)

Joined
31 May 12
Moves
8703
Clock
06 Feb 23
1 edit
Vote Up
Vote Down

@damionhonegan

Well done!

Set theory for beginners:

In the set “men are mortal”, the mortality applies to each member of the set, and therefore also to Socrates. Hence, a valid inference.

Whereas, in the set “men are numerous”, the numerosity applies to the set, and therefore not to Socrates. Hence, a fallacious inference.

JJ Adams

Joined
23 Feb 22
Moves
1798
Clock
03 Mar 23

Didn't anyone here take a Logic 101 course in college?
Syllogisms are easy to solve.

Cookies help us deliver our Services. By using our Services or clicking I agree, you agree to our use of cookies. Learn More.