We're couple of patricians trying to get into analytic philosophy/formal logic.
We're looking for people who are also beginners in the discipline of Logic and want to join our journey in learning, understanding, discussing etc.
Our main source material is this:
http://people.ucalgary.ca/~rzach/static/open-logic/open-logic-complete.pdf
It's a textbook of formal metalogic and formal methods (rigorous stuff), aimed at non-mathematical
individuals (students of philosophy/computer science).
It's gonna be fun, for now get in tinychet "litlogic".
Or can ask for invitation in our Slack group.
>hey fag no one cares
I hope there are people in here who are interested because it's impossible to find normies who would be into this.
>>7818065
I'm a normie, I wanna learn, explain more :)
>>7818076
Nothing much to explain, we're embarking on understanding Logic and thought the more the merrier in our chat group.
We usually discussed about a wide range of things but decided to undertake formal logic, we can see the potential it has as a tool not only in philosophy but other disciplines as well.
Discussing. questioning eachother, sharing insights, etc will make the learning deeper and more efficient and probably more interesting.
It's a long term project obviously, you can join/leave anytime you want.
We're communicating in Slack (a website for collab group chats).
I might be interested. Can I get an invitation to the Slack group?
>>7818113
Sure, create a throwaway email account if you're worried about privacy, and I'll invite you.
>>7818065
Are you lads in Calgary?
>>7818120
Nope, found the link online.
Why, are you?
>>7818118
other anon, [email protected]
>>7818065
why choose this book ?
derek_goldrei_-_propositional_and_predicate_calculus_a_model_of_argument is the easiest book in the world for an introduction to classical logic.
then you can move on to this book.
and for constructive logics,
laura_crosilla_&_peter_schuster_-_from_sets_and_types_to_topology_and_analysis_towards_practicable_foundations_for_constructive_mathematics
plus of course, the book by lawere to learn category theory through usual set theory.
visit also regularly nlab.com since it exposes plenty of definitions.
>>7818118
Okay posting a throwaway.
[email protected]
Thanks anon kun this is amazing.
Finally something constructive
This sounds like a really good initiative. Something constructive.
I have some background in logic because I've studied it as a cs student but I'm quite rusty and would like to study it more rigorously.
Email : [email protected]
Send me an invite please?
I hope I'll be allowed to be passive and lurk on your slack forums. It might be difficult for me to be very active.
>>7818205
Yeah brohw, just get in and chill, imagine we're around a campfire at night in a medieval fantasy world but instead of planning our dungeon raid we discuss logic n shit
>>7818205
Why would it be difficult for you to participate? I have about zero formal background in logic so you won't be the only one less than versed on the subject, if that's what you're worried about.
>>7818243
As I said, I'm quite rusty and I do not want to cause a decline in the quality of the conversation by posting as someone not entirely well versed with the topic at hand (even if there are others just as rusty as me).
I like to actively participate only in things that I'm extremely confident about. Else I just passively listen or observe.
Also, I'm simultaneously going through the greeks (beginning) which is a bit time consuming and might limit the extent to which I cover the material of this initiative. So I'm not sure if I should post a lot considering that I'm not doing full justice to the content being covered by the rest.
That being said, if I have something that I feel could be a good contribution, I'll certainly post it. Will also try to cover as much material as I can.
>>7818266
Afaik we're at beginner in formal logic in this group.
You don't have to be confident about what you know/say.
Just be chill.
Can you add me too? [email protected]
>>7818508
THE LOGIC TRAIN HAS ¬BRAKES
Welcome aboard.
Looks promising, I'd like to join
[email protected]
>>7818564
cent ;)
Chat is looking promising.
>>7818126
Yes, I am
>>7818623
Welp, you can join the group if you want.
>>7818065
>open-logic-complete.pdf
the ToC looks like my CS syllabus
am i a philosopher?
OKAY LET'S DO THIS MOTHERFUCKERS
[email protected]
>>7818843
Invite sent.
I like to think I'm very dedicated to learning, but I'm not actually even acquainted with the basics of logic, or thats a lie I understand Aristotle and his 'invention' of the syllogism, and the... properties of words and states?
Either way, I'd be interested but I'm also going in green, would this be okay?
[email protected]
>>7819035
Sent wink
Group is growing, we're about 11 qts now.
I'm quite interested, but not very educated on the topic (probably lower than a beginner), so here's my email:
[email protected]
>>7820014
It's fine bro, a desire to know is the most valuable thing here.
>>7819953
Hit me up senpai
[email protected]
>Logic
Another patriarchal trick to make women look dumb
No promises from me, but here is my email
[email protected]
I'm reading the Organon right now. Don't know if I'll have enough time for it but I'll give it a shot.
[email protected]
Sounds exactly like what I was planning to do. If you don't mind a complete beginner to join, add me [email protected]
when i graduate college i'll look back and regret wasting so much time on this stupid shit the thread
>>7821643
kek
I disagree though, compared to literally everything people do nowadays on the internet, shitposting, watching countless vids, netflix, porn, etc, this is actually useful.
>>7821643
You used to be cool. Now you're just a faggot, like the rest of us.
>>7818065
I would love to try this out. I will use a throwaway email though for safety purposes though I'm sure you guys will be fine. My email address is [email protected]
>>7818065
>analytic philosophy
Please don't venture into the mess that is analytic philosophy.
>>7821643
Do you like anything?
>>7822673
Relax, the main goal of the project is to study Logic, which can be applied to many fields.
Update.
We're currently at 19 people.
At the very beginning yet but things are looking smooth.
Invs sent to all.
learning formal logic with other people outside of an academic setting is so obnoxious and autistic
>>7823593
It's obnoxious and autistic in academia as well.
Let the manlets have their discussion, it's not like they'll do anything better with their time.
>>7823612
past about 1980 you're actually right.
then again things started to sour pretty early on around the 60s.
Can you please add something about the "meaning/unmeaning dichotomy"? Maybe as a quick mention in bold text (as it is a text book, it could be a glossary term). Just as part of the metalogic argument?
Here's a definition:
"meaning/unmeaning dichotomy" - developed as a post-postmodern metalogical application, it is essentially the rule that any concept that can be assigned a meaning, must also have an unmeaning, or a meaningless state of application; the two bodies cancel each other out, meaning that an equal state of unmeaning must also be assigned its own meaning; the exact meaning of this concept is left ambiguous, with some arguing that the concept is just too difficult to truly understand, others that meaning in unmeaning is a product of the lost or unseeable meaning in the postmodern world (unmeaning), or that the dichotomy is purely ironic and that there really is unmeaning in its meaning; if the latter is true, than the quotation itself cancels itself out, with both opposite sides becoming balanced into nothingness
On second thought, maybe the concept might be a little too difficult to understand.
>>7821664
The bitch was always a useless faggot
>>7823659
once we master logic, we'll be able to answer that.
>>7823672
>master logic
Godel would like to have a word with you
>>7823515
Invite pls
[email protected]
>>7824876
Check your inbox desu
With you we hit 22 strong.
We'll officially start this weekend (19-20)
You stupid mouth-breathers need to realize that OP's book is fairly intermediate, too advanced perhaps, for most of you here and for most of your abilities.
The thing is, when it comes to Mathematical Logic, as a subject, it is taught to mathematicians in their 3rd or 4th year of their undergraduate studies. What does this mean? It means that when they get to Mathematical Logic they will already have about 3 years of intense and rigorous (albeit intuitive and informal) practice of logic under their belts, proving a myriad of interesting things. You, on the other hand, stupid and delusional fucks, have nothing that even resembles such experience and mathematical maturity.
OP's book is strictly metatheory and assumes that you already know how to prove things WITHIN a first-order system. First master the object-language (become accustomed to seeing quantifiers, truth-functional connectives etcetera basic stuff) and the mechanical manipulation of propositions via axioms and rules of inference of the system, and only then worry about metatheory, otherwise this whole endeavour is bound to fail pretty much from the get-go.
>>7825166
"Though aimed at a non-mathematical audience
(in particular, students of philosophy and computer science), it is rigorous."
Taken from the intro of the book.
I don't know what you mean it's strictly metatheory.
What would you suggest for beginners?
[email protected]
Let's hope I'm not too stupid
>>7824853
master does not equal prove everything
pleb
>>7825351
Not the other guy but if you want to be able to read the shit in his picture, Enderton's Introduction to Mathematical Logic is where to start.
As the other anon said though, it's an advanced undergraduate text. I didn't use it until my senior year of a math major.
[email protected]
will we receive email updates?
>>7818065
I have to ask... Did you deliberately phrase the OP to get this page title, our were you just incredibly lucky?
<title>/lit/ - We're couple of patricians trying to get into anal - Literature - 4chan</title>
>>7818065
I'd recommend that Ernest lepore book on RPL
>>7827813
>>7818065
[email protected]
Beginning normie
[email protected]
I don't really know how Slack works though
>>7827956
You have an invitation in your inbox
invite, please
[email protected]
>>7827992
'vited
We're at 29,, the chat is booting up.
Join the skrt clvb of patricians
Here is a good, open source, entry-level formal logic textbook. I recommend you work through this before the one in the OP.
http://www.fecundity.com/logic/
I can't believe i'm going to give this e-mail, it was the perfect pen-name. Anyhow:[email protected]
I'll join you guys when I get around to making a throwaway email. I have some background in formal logic from a philosophy perspective.
Could I recommend you guys organising this look into:
http://www.logicmatters.net/tyl/
Teach yourself logic, guided by an Oxford University professor. It's a pretty thorough guide that might be the best way to go about this endeavour.
>>7829784
Cambridge, not Oxford. My mistake.
Opened OP's PDF read "Mathematical Object" closed it.
>>7818065
Philosophy grad here, this should be fun. Throwaway is
[email protected]
Like a lot of others here, I'm going to point out that starting off with sets is the wrong place to begin. You should be starting off the knowing the difference between induction and deduction, the difference between connotation and denotation of definitions, categorical propositions (Do you know what AEIO refers to?), etc.
I'd recommend, and have many times before, A concise introduction to logic 11th edition.
>>7818065
I'd be down for this.
[email protected]
Math undergrad for whatever that counts for. Hardly know any of what's covered in that text though.
>>7821538
>>7826027
Sorry OP for whatever reason I couldn't get these to work. Here's a new one last time I swear
[email protected]
>>7831402
/lit/: The post
We changed source textbook to this:
http://www.fecundity.com/codex/forallx.pdf
Easy and intuitive.
>>7835093
You did right, the OP text is way too advanced for beginners.
If there's still any space [email protected]
>>7835120
Welcome skaterboy
[email protected]
Doing this shit at uni, might help to have some logic pals
