Ok, I am moronic. What I was hoping was, anons providing a set of books from introductory level to intermediate and advance level, that is what I meant.
>From introductory level to intermediate and advance level.
>The Critique of Pure Reason is a logic textbook
I fricking hate IQfy so much.
OP, want you want is any logic textbook published in the last 20 or so years and you're good to go as far as beginner stuff is concerned. I'm partial to Logic and Philosophy by Hausman, Boardman, and Kahane. I've had a lot of success using it when I was learning and when I teach logic classes. Once you've gotten this down (it's just all natural deduction with minimal meta stuff and nothing beyond classical logic), you can start hunting for books that are either (i) mathematical logic (A Mathematical Introduction to Logic by Herbert Enderton is a fine choice), or (ii) explore beyond classical logic and do things such as modal logic or relevance logic or whatever (the two volumes by LTF Gamut are good, but An Introduction to Non-Classical Logic by Graham Priest is a gentler introduction to this stuff).
Mostly method and such. Mathematical logic is going to be much more focused on metatheoretical results and using as minimal of a foundation as possible. Propositional logic in this case uses three axioms and modus ponens to do everything and can be shown to be sound and complete and blah blah blah. Philosophical logic/philosophy of logic is going to more more concerned with the nature of those systems, which system is the correct system (if any is), and their applications. These characterizations are extremely broad and both engage with one another, so it's not a hard and fast distinction.
https://i.imgur.com/MlvPq6N.jpg
he didn't say logic textbook you mental midget; he said logic BOOK.
You know exactly what he meant.
>want you want is any logic textbook published in the last 20 or so
no you do not
Why don't you like the more recent stuff? I've had a ton of great results from using contemporary textbooks in the classroom based on feedback from my students. I also find that the contemporary stuff is (usually) better written and can reference more research than just the early 20th century stuff. Forallx, for instance, is so much easier to use to teach beginners than Quine's book.
1 month ago
Anonymous
>Why don't you like the more recent stuff?
It's full of unexamined metaphysical presuppositions
1 month ago
Anonymous
Ah ok. I'm an analytic, so I don't mess with Hegel haha. I'll take the arrows and greek letters mathematicians moonlighting as philosophers and be perfectly happy.
1 month ago
Anonymous
>I'm analytic
we had hold thread on this the other day
[...]
1 month ago
Anonymous
*had a whole thread
4 weeks ago
Anonymous
When anyone ever talks about formal logic why wouldn't you assume that it's propositional logic they want to know about? No one is looking to relearn algebra or rediscover philosophical axioms
>Yeah, you think I wont find your fricking radius you dirty cone? >I'll use pi to find your fricking radius, just you watch, you b***h prostitute cone. >Then I'll show you the radius of my own fricking cone. I'll volumetrically displace the shit out of you with my cone, you prostitute.
I read this book that I found in a thrift store. It was very easy and doesn't throw too much heavy stuff at you.
It goes from introducing basic terms and propositions all the way up to syllogism forms barbara, cesare, etc
Basically shows different types of logic formulations and how to do them. There’s also this which I got a recommendation from here.
https://i.imgur.com/gBPo5bX.jpg
Wouldn’t this be more appropriate?
https://i.imgur.com/doKShwP.jpg
Name one result in these books that isn't already obvious to anyone with a brain.
Mathematical logic has plenty such examples.
These books on "logic" are just pseud word salads.
For All X is an excellent introduction to formal logic. If you're not particularly interested in formal systems Socratic Logic: A Logic Text Using Socratic Method, Platonic Questions, and Aristotelian Principles is excellent.
For intermediate logic, the Routledge Contemporary Introduction to Philosophical Logic is good. More Precisely: The Mathematics You Need to Do Philosophy is a good introduction to sets, information theory, and computation. Godel, Escher, Bach is also decent if you want an overview of formal systems but don't want to get into the weeds.
We used Ebbinghaus for the first mathematical logic class at my uni, was pretty decent.
Also not sure if this is the kind of logic you are looking for, but here is something more advanced.
ask and you shall recieve
Come one, even I am smart enough to know that Kant is not for beginners.
>From introductory level to intermediate and advance level.
Ok, I am moronic. What I was hoping was, anons providing a set of books from introductory level to intermediate and advance level, that is what I meant.
>The Critique of Pure Reason is a logic textbook
I fricking hate IQfy so much.
OP, want you want is any logic textbook published in the last 20 or so years and you're good to go as far as beginner stuff is concerned. I'm partial to Logic and Philosophy by Hausman, Boardman, and Kahane. I've had a lot of success using it when I was learning and when I teach logic classes. Once you've gotten this down (it's just all natural deduction with minimal meta stuff and nothing beyond classical logic), you can start hunting for books that are either (i) mathematical logic (A Mathematical Introduction to Logic by Herbert Enderton is a fine choice), or (ii) explore beyond classical logic and do things such as modal logic or relevance logic or whatever (the two volumes by LTF Gamut are good, but An Introduction to Non-Classical Logic by Graham Priest is a gentler introduction to this stuff).
Thanks. Is there a difference between mathematical logic and phikosophical logic?
Mostly method and such. Mathematical logic is going to be much more focused on metatheoretical results and using as minimal of a foundation as possible. Propositional logic in this case uses three axioms and modus ponens to do everything and can be shown to be sound and complete and blah blah blah. Philosophical logic/philosophy of logic is going to more more concerned with the nature of those systems, which system is the correct system (if any is), and their applications. These characterizations are extremely broad and both engage with one another, so it's not a hard and fast distinction.
You know exactly what he meant.
Why don't you like the more recent stuff? I've had a ton of great results from using contemporary textbooks in the classroom based on feedback from my students. I also find that the contemporary stuff is (usually) better written and can reference more research than just the early 20th century stuff. Forallx, for instance, is so much easier to use to teach beginners than Quine's book.
>Why don't you like the more recent stuff?
It's full of unexamined metaphysical presuppositions
Ah ok. I'm an analytic, so I don't mess with Hegel haha. I'll take the arrows and greek letters mathematicians moonlighting as philosophers and be perfectly happy.
>I'm analytic
we had hold thread on this the other day
*had a whole thread
When anyone ever talks about formal logic why wouldn't you assume that it's propositional logic they want to know about? No one is looking to relearn algebra or rediscover philosophical axioms
he didn't say logic textbook you mental midget; he said logic BOOK.
>want you want is any logic textbook published in the last 20 or so
no you do not
Wouldn’t this be more appropriate?
both
Might be stupid think to ask but, I was under the assumption that logic came under analytic philosophy and Kant was a continental philosopher.
> Might be stupid think to ask but, I was under the assumption that logic came under analytic philosophy and Kant was a continental philosopher.
Elliot Medelson's Introduction to Mathematical Logic
Alfred Tarksi's Logic,Semantics and Metamathematics
Evert W. Beth's The Foundations of Mathematics
>Schizophrenic Teutonic babblings about metaphysics with zero basis in reality or scientific observation/mathematical deduction
>Logical
Bait
The only one needed is Langer's Introduction to Synbolic Logic
ngmi
gmi
Occasionally, when I think too much while trying to solve a complex problem, I start to get sexually aroused. It somewhat distracts me.
>Yeah, you think I wont find your fricking radius you dirty cone?
>I'll use pi to find your fricking radius, just you watch, you b***h prostitute cone.
>Then I'll show you the radius of my own fricking cone. I'll volumetrically displace the shit out of you with my cone, you prostitute.
Enderton is good.
qrd?
Basically shows different types of logic formulations and how to do them. There’s also this which I got a recommendation from here.
Does Aristotelian logic btfo Modern logic?
Foundations of Mathematical Logic by Haskell B. Curry
Language, Proof and Logic
youtube videos
I read this book that I found in a thrift store. It was very easy and doesn't throw too much heavy stuff at you.
It goes from introducing basic terms and propositions all the way up to syllogism forms barbara, cesare, etc
Name one result in these books that isn't already obvious to anyone with a brain.
Mathematical logic has plenty such examples.
These books on "logic" are just pseud word salads.
Sometimes logic is unintuitive.
By formalising logic, you can expand beyond what is intuitively obvious.
I didn’t ask
https://forallx.openlogicproject.org/
https://slc.openlogicproject.org/
https://ic.openlogicproject.org/
https://bd.openlogicproject.org/
For All X is an excellent introduction to formal logic. If you're not particularly interested in formal systems Socratic Logic: A Logic Text Using Socratic Method, Platonic Questions, and Aristotelian Principles is excellent.
For intermediate logic, the Routledge Contemporary Introduction to Philosophical Logic is good. More Precisely: The Mathematics You Need to Do Philosophy is a good introduction to sets, information theory, and computation. Godel, Escher, Bach is also decent if you want an overview of formal systems but don't want to get into the weeds.
I have enjoyed working through this book occasionally. I’m not much for logic or philosophy, but this helps keep me sharp.
Introduction to formal logic, peter smith
We used Ebbinghaus for the first mathematical logic class at my uni, was pretty decent.
Also not sure if this is the kind of logic you are looking for, but here is something more advanced.
Thanks.
Irving Copi
Weininger, SEX AND CHARACTER; specifically and primarily the first part of Chapter VII: Logic, Ethics and the I of the Second Part.