So what exactly should I read before i get into this semen demon?

>>9018820
badump

on the technical side, if you're starting with TLP, you can get away with knowing the basics of first order logic with quantifiers and a little bit of set theory. more seriously, you could study the basics of Principia Mathematica by Russel and Whitehead, and Frege's Grundgesetze (Basic Laws of Arithmetic).

on the more traditionally philosophical side, Russell's 'On Denoting' is important and his 'The Philosophy of Logical Atomism' is helpful since it was heavily influenced by the TLP, which was still unpublished at the time, and covers some similar ground. for Frege, his articles 'On Sense and Reference' (Uber Sinn und Bedeutug) and 'The Thought' (Der Gedanke) are important, and his book 'The Foundations of Arithmetic' (Die Grunlagen) is also important for understanding the whole logicist project in the first place

for PI, just start with TLP (plus the above) and then read some of the stuff in between, especially Blue and Brown books

>>9018929
thanks so much my main man

>>9018929
>Actually reading Principia Mathematica

I have a decent understanding of logic, foundations of mathematics, and set theory as well as a little bit of formal languages/automata, model theory, lambda calculus, and category theory, and let me tell you, nobody studying/working in contemporary mathematics or philosophy actually reads/studies the Pricipia Mathematica. A lot of it's unnecessarily verbose, the notation is outdated, and a lot of the methods have since evolved or been simplified. E.g. the natural numbers generally aren't defined as equivallence classes of equipollent sets (i.e. on the basis of Hume's Principle, which was used by Russell and Whitehead), but rather on the basis of Van Neumann ordinals.

You're best bet would be to study some very basic predicate logic (just enough so that you understand the notation), and then maybe a few essays by Russell and Frege (namely the one's you mentioned). Frege "The Foundations of Arithemetic" would probably be you best bet.

>>9018980
do you have any resource recs for learning predicate logic?

>>9019041
http://www.sfu.ca/~jeffpell/Ling324/fjpSlides6.pdf
This is pretty good, but it looks like it might be a little complicated for someone not already familiar with logic or more advanced math.

Your best bet is to try some introductory discrete mathematics textbook. I've used Rosen's Discrete Mathematics textbook and I think it presented a brief although decent introduction.

>>9019122
much appreciated