fom
Posts:
1,969
Registered:
12/4/12


Re: Then answer to Frege's two objections to formalism.
Posted:
Apr 5, 2013 10:22 AM


On 4/5/2013 8:47 AM, Zuhair wrote: > On Apr 5, 2:25 pm, Zuhair <zaljo...@gmail.com> wrote: >> I just want to argue that >> >> "Mathematics is analytic processing fictional or real" >> >
Zuhair,
In the link
http://plato.stanford.edu/entries/existence/#FreRusExiNotProInd
you can find the argument for the descriptivist theory of names used to address the question of negative existentials.
In the link
http://plato.stanford.edu/entries/logicfree/
you will find the statement that classical logic presupposes equivalence between denotation and existence. This comes from the influence of Russellian description theory and the analysis of negative existential statements.
This presuppostion is embraced in the axioms for firstorder logic given by
Ax(P(x)) > P(t)
P(t) > Ex(P(x))
The link on free logic will explain how it differs from classical firstorder logic in relation to names and existential import.

