Re: Question about Basic Law V

On 3 Sep 2006 20:41:26 -0700, "Rupert" <rupertmccallum@xxxxxxxxx> wrote:


You need to clarify further how you are going to get the system to talk
about things like predicates.

2nd order logic.


[...] If you spell out the details of Frege's system I may be able to
tell you in more detail how this would come out.

See:
http://plato.stanford.edu/entries/frege-logic/


Fuckwit

.

Quantcast