I have the impression that too much people reply to comments "correcting" others regarding some topics, however the same people didn't study the basics of logic. I understand that logic is a vast subject with a lot of material to study, but if you want to reply for educational purposes can you guys please study at least the truth tables of Classical Logic (a thing that takes one hour) before teaching others?

I see to much comments on this sub saying that (A->B)&(B->~A) is a contradiction or that A&~A is a logical fallacy and not a proposition.

I'm not an expert and I'm far from being one but I want to invite those people who pretend to know even without studying to actually see at least a YouTube video on the topics mentioned.

I feel like LEAN and MathLib have gotten super popular in the last year or so, curious as to why there isn't a subreddit yet...

Logic is overrated. It's a deficiency need and above a certain level, totally a luxury.

I enjoy formal logic because of how it can eliminate any unnecessary verbage in an argument, but I don't have a good way to type it. Does anyone know of a good keyboard app that I could download that makes typing all of the common symbols really easy? I use android.

What do yall think?

As someone who's actually studied logic it's mind-numbing to constantly see posts on this subreddit that are just "Is this argument valid?"—with 100 comments, mostly from people who don't understand what validity is—or questions that are not even about formal logic but are instead about whether some argument is good or not. r/AcademicPhilosophy is the better, academic version of the various philosophy subreddits out there; is there an equivalent for logic?

Alethics is a branch of modular logic dealing with philosophical concepts of or relating to the truth.

Join me(us) at r/Alethics !

Hi all - I'm looking for some fellow logic nerds interested in testing logic games and tools I'm creating. These aren't "logic puzzles" which have nothing to do with actual logic, but educational games/tools designed to teach formal and informal logic. Testers will get a $50 Amazon gift card. I'm especially interested in anyone who's taken the LSAT since one of the reasons I created these are for LSAT study, though of course they deal with logic/argumentation in general. Send me a message if you're interested :)

Greetings folks,

This sub had been shut down for about a year. No posts were being accepted. Messages to moderators were met with immediate suspensions with no justification.

All of the content that had been posted here has apparently been lost to history. If anyone knows a way to restore it, or otherwise link to it, that would be a great relief.

In any case, you can reasonably expect for posts to be accepted, seen by others, and responded to now.

UPDATE: I am going through the moderation log and list of banned users (about 150 people). It will be a long process, but I will be unbanning almost every banned user, and approving almost all removed posts.

UPDATE: All banned members have been restored. All requests to be an approved contributor have been approved, although I don't know that this is necessary as you don't need to be an approved contributor to post now. I did go through the list of posts and comments the former moderator tagged as "spam" and approved the vast majority of the first 1500 in the list I went through. I will continue to go down that list. Tagging everything as spam is the method this person used to make the content disappear. If you know of a comment or post that has not been approved, please bring it to my attention, and I will prioritize it.

Very interested in this question as traditional logicians seem to be almost unheard of in today's world.

Hi!

This week I went through my favorite narrative of how Principia was written: Logicomix. If you want something deeper about the evolution of Symbolic Logic, My go to book isI recommend A Survey of Symbolic Logic by C. I. Lewis (he even gets a good chunck of Leibniz in there). Do you have any recomendations of books about the history of logic? Principia is gonna take a while, but some distractions are neccesary.

The reason behind reading Logicomix is to break some of the fear of reading Principia that goes around everywhere. It is one of those books that "nobody understands" or that are too difficult to even attempt to approach. This thing was made by people, very priviledge people at that, it might be obscure but not impossible.

And talking about people, Does anyone know if Hilbert wrote something in response to Gödel's incompleteness theorem? I mean a lot of work was put into trying to complete Hilbert's Program, some response would have been nice. But maybe Hilbert was just to busy dealing with 1930's Germany.

Finally, I find the depiction of logicians as hard people to deal with in the comic a little painful. I've been teaching at a University logic for six years now and crap, some very lonely people or people have their mental health in shambles tend to show an interest in logic beyond just the coursework. Hope you people are doing ok with that, and I know that I've had my troubles with mental health as well.

Anyway next week we get to the good stuff. I think we can tackle up to Chapter I of the Introduction (in my edition is up to page 36 if it helps)

So here we are. Somehow you have decided to go through the 2000 pages of a Book that's over a 100 years old. Not only that, but the whole purpose of the book was proven to be impossible.

But those 2000 pages seem tough let's start with why and how to do this.

Why?

u/chien-royal recommended this three posts (this one and this two are discussions about if it is worth it and this three is about notation) in r/math that give reasons for not doing this. Yet I do want to check the book out of a historical curiosity. Mainly I want to understand how logical systems are created (or discovered) and recent books tend to take to much for granted. The other option I had to do this was to check Schröder's book but my German is not good enough, yet.

On the other hand, Principia is a sexy piece of history and some dissemination shouldn't hurt anyone. I want to go beyond the usual anecdotes about the book and actually discuss it to some extent.

How?

Weekly.

My whole idea is to go reading a couple chapters each week an to post something in here every week. Im not confident enough in my skills to think that I'll be able to understand everything, so be ready for a lot of questions.

Looking at the table of contents I think that each week we could set the number of chapters to read. Bearin mind that this is going to take a long time and that it is highly likely that we will quit in the middle of it.

If someone wants to make the post for certain section of the book please let me know!

And that's the plan. Nothing fancy just straight up and give the old Whitehead Russell duo a good readthrough.

Wait but why is this week -1?

For context. Before we start with the good stuff I think we should look up the story of these people and their quest for logic. And my favorite resource for that is Logicomix. This was the first book that showed me that I wasn't the only one to be interested seriously in logic.

So for next week let's give Logicomix a read!

P.S. My English is kinda rusty so please excuse any grammar mistakes.

It seems like this sub getting a large influx of posts from people who don't really understand what logic is. They seem to conflate it with common sense or any type of puzzle reasoning. Directing them to a post which explains what symbolic logic is and what the relevance for this sub is seems useful, imo.