Coming soon - Get a detailed view of why an account is flagged as spam!
view details

This post has been de-listed

It is no longer included in search results and normal feeds (front page, hot posts, subreddit posts, etc). It remains visible only via the author's post history.

5
Conjunctive Syllogism - Why do the standard examples always contain a negation in the major premise?
Post Body

I did not learn categorical logic as part of my training. I can reason through syllogisms just fine, but I find some of the terminology and standard examples counter-intuitive. (I recognize that this is just a coincidence. I'm sure it's intuitive to a person trained in it.) Some folks in my department include it in their logic curriculum so I get random student questions about it and I feel like an idiot.

Can someone explain the underlying logic to disjunction and conjunction. I feel like I am missing some history or practical context.

First, why do we call them this? It seems like a strict disjunctive just is a differently written conjunctive. Further it seems like in any other context "disjunctive" just means "mutally exclusive" which seems to be what conjunctives are. (For some reason the terms never bothered me while doing propositional and predicate logic.)

Second, for what practical reasons are common examples of conjunctives given as ~(A ∧ B)? I assume that this is because major premises like (A ∧ B) are unhelpful or uncommon in certain kinds of arguments common to categorical logic.

Can anyone recommend a good primer on the subject?

Author
Account Strength
100%
Account Age
8 years
Verified Email
Yes
Verified Flair
No
Total Karma
125,475
Link Karma
5,977
Comment Karma
116,949
Profile updated: 4 days ago
Posts updated: 9 months ago
Phil. of Communication, Ancient, Continental

Subreddit

Post Details

We try to extract some basic information from the post title. This is not always successful or accurate, please use your best judgement and compare these values to the post title and body for confirmation.
Posted
7 years ago