[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 23 KB, 344x450, b.jpg [View same] [iqdb] [saucenao] [google]
6912121 No.6912121 [Reply] [Original]

Can any of you fa/sci/sts recommend me a good book for introduction to symbolic logic?
i would ask /lit/ but i get the feeling you might know better.
there's entirely too many results on amazon and i couldn't really find a recommendation online.

>> No.6912124 [DELETED] 

>>6912121


<span class="math">

I'm \ only \ familiar \ with \ logic \ in \ discrete \ math. \

[/spoiler]

<span class="math">

What \ is \ the \ difference \ between \ discrete \ math \ and \ symbolic \ logic? \

[/spoiler]

>> No.6912126 [DELETED] 

>>6912124


<span class="math">

OP \ doesn't \ pay \ attention \ to \ their \ threads. \ Bye. \

[/spoiler]

>> No.6912130
File: 423 KB, 490x684, Hardest class in CS.png [View same] [iqdb] [saucenao] [google]
6912130

>>6912124
<span class="math">Discrete ~ math ~ is ~ for ~ retards[/spoiler]

>> No.6912147

OP here

>>6912124
i don't know anything about discrete math logic so i can't answer your question

anyone have any recommendations?

>> No.6912150

All I remember from my symbolic logic class before I dropped it (freshman, didn't realize what 400 level meant difficulty-wise) was the teacher emphasizing the difference between a thing and a label for that thing. 9 is just one symbol to represent the quantity.

Bob is a person. "Bob" (in quotes) is the name of that person. "My name is "Bob"" means your name is the name bob. "My name is Bob" means your name is the person Bob.

>> No.6912151

>>6912126
i'm from /lit/ and /fa/, where i often have to wait at least an hour to get real responses.
my apologies

>> No.6912161

>>6912150
doesn't look like symbolic logic to me?
"My name is bob" would be something like "Nib"

>> No.6912210 [DELETED] 

>>6912130


<span class="math">

So \ Euclid \ was \ a \ retard \ then? \

[/spoiler]

>> No.6912260
File: 40 KB, 387x500, 514q5f7nBnL.jpg [View same] [iqdb] [saucenao] [google]
6912260

<\thread>

>> No.6912283

>>6912130
I like discrete math.

>> No.6912286

http://cseweb.ucsd.edu/~gill/BWLectSite/

a free book, basically

>> No.6912293
File: 25 KB, 302x475, tmp_1779-41M6KSMDNVL._SL1500_-1789644367.jpg [View same] [iqdb] [saucenao] [google]
6912293

There is an "Introduction to Logic" by Copi and Cohen as well, that is very basic...yet it covers most of the concepts

>> No.6912318

I learned a lot from
http://www.personal.psu.edu/t20/notes/logic.pdf

from
http://www.personal.psu.edu/t20/notes/

(in fact I also read Wittgensteins Tractatus before and it influenced me too, although it's far away from being a mathematical book in the common sense)

>> No.6913467

>>6912260
This, Mendelson and Ebbinhaus.