Math Forum / Mathematics / Mathematical Logic / February 2010

Hello everybody. I am reading "Introduction to mathematical logic", by
Elliot Mendelson, and on page 100 there is an explanation about how to
contract any model with equality to a normal model. I don't understand
it. I will write it:

After *Philosophical Investigations* — —
A plasticine flesh-mass of words for the purpose of "edification" qua
extension of one's marginally bearable days — — in accordance with the
*clearest* Rules of Old and the sharpest practice /of the moment/ — —

To ask whether a proposition is logical is like asking if a proposition
is coloured.
Logic deals with the general behaviour of physical objects.
Colouring deals with the general behaviour of colours.

Business Development & Marketing Services
Google Translate: http://mixet.se
http://translate.google.com/#sv|en|http%3A%2F%2Fmixet.se
Mixet Financial Information: http://ibank.mixet.se,

Phi is said to be a *set defining formula* only if the following
characteristics are met:
(1) Every subformula of Phi must have at least two free variables.
(2) No two basic subformulas of any subformula Q of Phi having

Get Mallika Sherawath Bathing Videos At
http://blogcreationandhosting.blogspot.com/2009/11/play-with-internet.html
< Due to some issues,I have hidden these videos inside an image.In
that website , click on the big vertical Image on right side of

Qualia and Physicalism: A
Neurophenomenological Account
Qualia (raw perceptual “feels”) are often supposed to be a problem for
physicalism, the doctrine that everything that exists is physical; a

Marx and Actualism
“Analytic Marxism” is usually disappointing to me on two counts.
Firstly, analytic Marxists don’t generally seem to have taken the
advice about changing the world to heart — instead, they write books

*Syntactic Structures*
Noam Chomsky
Mouton de Gruyter (NL)
1982 ed.

Joe Hill, Woody Guthrie, Hank Williams Sr: Steps On The Road To The
Reconciliation
As far as I can tell, there seem to be two primary topics for
country-music songs: misbehavior and romance.  So it occurred to me

On Power [originally posted to 'alt.sociology']
A comment on the nature of political power: in the main, all
discussion of the topic seems somehow ludicrous, but perhaps there is
a guiding thread in all such commentary as is offered outside the fold

The Function of Literature
The function of literature, the basis of its cultivation by humanity,
is clearly not solely a matter of enjoyment. Although it is possible
to read a work of literature with profound pleasure, from whence the

Long ago I asked in a post for a set theoretic first-order formula
asserting the existence of "arbitrary subsets" of a given set. By then
I got convinced that no such formula exists. But let me reconsider
that matter just for the set N of natural numbers. How can we assert

It would be highly appreciated if you could share this announcement
with your colleagues, students and individuals whose research is in
theoretical computing, complexity theory, algorithms, computational
science and related areas.

“An afterlife for a silverfish” (The first *Critique*)
The central question of Kant’s famous work The Critique of Pure Reason
is: “How do you know you’re not already dead?” Kant’s own formulation
“How is synthetic a priori knowledge possible?” is less perspicuous