Message from @actual_communist_boi
Discord ID: 654478514971475968
``` Both versions of logicism—strong and weak—maintain that
All the objects forming the subject matter of those branches of mathematics are logical objects; and
Logic—in some suitably general and powerful sense that the logicist will have to define—is capable of furnishing definitions of the primitive concepts of these branches of mathematics, allowing one to derive the mathematician’s ‘first principles’ therein as results within Logic itself. (The branch of mathematics in question is thereby said to have been reduced to Logic.)
```
Yikes, I don't think I've read all this because it has the zero meme in it
And it would have been great
``` These two forms of neo-Fregean revival of logicism share the following three important features with Frege’s own treatment.
First, the number 0 (zero) is still defined as the number of any empty concept: in particular, as the number of non-self-identical things (formally: #x ¬x = x).
Secondly, once the existence of any natural number n is secured, that of its successor, s(n), is secured by taking s(n) to be the number of all natural numbers from 0 to n, inclusive (Frege’s trick).
Thirdly, the definition of the concept of natural number exploits the notion of the ancestral of the relation of succession: x bears the succession-ancestral relation to y just in case y is at most finitely many steps of succession away from x. (As already made clear, any apparent circularity in this definition, deriving from the adverbial gloss ‘finitely’, turns out, upon closer inspection of the definitions used, to be just that: merely apparent.) The concept “z is a natural number” is then defined as “either 0 is z, or 0 bears the succession-ancestral relation to z”. And this is what allows the neo-Fregean logicist to derive the principle of mathematical induction for the natural numbers. The reader of this survey article will be spared the formal details. ```
Oh god... there's a lot of jargon in that
@Castore ```[5:12 PM] Castore: @actual_communist_boi he amends the objections in the paper he isnt making the same objection iirc he says that in the next paragraphs.```
I know that the first three objections just made me mad
dumb af
@Deleted User what did you just say
@Deleted User since you are low IQ, on average, I expect that you misinterpreted it
I can prove that this is not true deductively:
P1. To be fair, it takes a very high IQ to understand Rick and Morty
P2. Methode watches and understands Rick and Morty
Conclusion - By conjunction of P1 and P2, methode has a very high IQ
That's an airtight argument if I've ever seen one
I missed out on one part. Were they saying that I'm lawful evil?
Castle docterine is really cool
I wish I lived in Colorado again because of it
@Sasha if you can get them to join the infantry and you join the infantry and you end up in the same squads maybe they die in a friendly fire accident (in CoD ofc). Just saying
@Deleted User anytime a women enters voice
can we getta squadhands in the chat
@Dodger101 you are dumb
@Deleted User also what is your race realism shit
@Deleted User also what is your race realism shit
@Deleted User also what is your race realism shit
tell me what to debunk tell me what to debunk tell me what to debunk tell me what to debunk tell me what to debunk tell me what to debunk
tell me what to debunk tell me what to debunk tell me what to debunk
tell me what to debunk
@Deleted User make it so commie boi cant tag me please
lol
@Dodger101 you think he's competent?
i will destroy you <:GODSTINY:399640605053026314>
@Dodger101 sis we should do a podcast together
that's such easy content
@Dodger101 my dream podcast team is like, dodger (dumb ML takes but angry and funny) + bentham/bad_stats (semidumb socdem takes but angry and funny) + some actually funny libertarian socialist
starting a podcast together is the 21st century version of starting a band together
<:watching:644902704388505611>
@Fondboy shut up hoe
@Dodger101 ok that's cool and all but fr
<:ayaaaa:644891993255706645>