Math Forum / Mathematics / Mathematical Logic / April 2004

I regret having missed that tv program last tuesday, 20 April of NOVA's
"World in the Balance". Regret because human overpopulation is
humanities most horrible problem. Human overpopulation is the prime
source that causes all major wars and causes terrorism and causes crime

Authors of most modern textbooks on formal logic usually maintain that
Aristotelian logic is a simple special case of class or predicate
logic. In addition, Aristotelian logic is accused of being incorrect
insofar as Aristotle did not explicitely mention "existential import".

Here's a challenge to everyone here. Let me say, first of all, that I
pretty much just strained my brain trying to figure it out. It's one
of those things that Captain Kirk might have used in the original Star
Trek to short out a computer. Hope you fare better than me.

A structure is usually defined to be something like this:
<underlying set, relations, functions, destinguished elements>
but such things as vector spaces and modules don't fit into this pattern
because there is no single underlying set which all the functions are

As I remember the ancient Greek philosophers, Plato & Aristotle had
substantial opinions on law.  Apparently law is considered as a
profession where the application of rigorous logic is appropriate ?
In reading some high-court judgements, it is obvious that some

Yesterday it came to my attention, the way such things usually do, that
recursion in "mathematical philosophy" predates theory of computation
proper, not only with reference to the physical use but also as a
constructivist ideal.  The point of reference is Skolem's 1919/1923

3. Platonic Epistemology
3.1.  Theaetetus
Although the problem of epistemology comes up in several of his dialogues,
Plato dedicates the Theaetetus to this philosophical question. Using

Men are stupid and remote-controlled by their "antennas", their
penises.They have traded all braincells for their testicles and their
penises and are now brainless.
Women are much more intelligent.

Electronic electricity repository is an energy concept that aims to accumulate
and store electrical energy from any source.  The storage would be intended to
accommodate such things as electric vehicles, home heating, etc.  The best
example is the EV - an electric car that would run ...

As I remember, in one of his earlier books or essays on logic (not
PM), Bertrand Russell wrote something along the lines of "it's a good
idea, when thinking about logic, to store up puzzles..." so that you
can see whether your logical theory solves them for you, when you

A statement is NECESSARY iff its negation is not POSSIBLE
The Doctrine of Tautology The only necessary propositions are those which are true by definition.
A sentence is true (false) if it is true (false) purely on the basis of the meaning of its words.
A statement is POSSIBLE iff ...

The traditional “refutation” of idealism, (attributed to a “Dr. Johnson” as
a refutation of Bishop George Berkeley’s version of idealism) suggests that,
to “disprove” idealism, all one has to do is kick something (or someone). As
if to say, “oh, so you don’t believe in matter; then ...

A Story of a Walk
Douglas Eagleson, 2004
Plato&#8217;s world is a very foundational concept in the sciences.
It is the abstract world where the mind causes its existence. And the

I have a question regarding to a kind FOL formula and would like to
thank in advance
if you could help answer them.
Let T1, T2 be 2 1st order theories; A1, A2 be unprovable formulae in T1,

I don't know if this is the right forum, but I'd be happy for any hints on
this.
It pertains a discussion on soc. history.mediaeval about the vicious circle.
I append a summary of exchanges between the OP, Inger, Edgar DEB and myself.