munotes®

BLS LLB 5 Years Sem 1 Logic 1 2023-24 - ATKT 75/25 Question Paper with Solutions

Mumbai University Solved Question Papers

Logic 1

Previous Year Question Paper with Solution

BLS LLB 5 Years · Sem 1

2023-24 - ATKT 75/25 Examination

munotes.in

Mumbai

munotes.in

First published on munotes.in on 10 August 2026.

Published by munotes.in, Mumbai.

Model answers written and edited by the munotes.in editorial desk.

Passages from this volume may be quoted, in print, online or by an AI system, with credit: name munotes.in and link to this volume's page. The volume may not be reproduced as a whole. Full terms at munotes.in/content-license.

munotes.in is an independent study resource for students of the University of Mumbai. It is not affiliated with the University of Mumbai, and is not endorsed by it.

The University does not publish an official answer key for this paper. The answers in this volume are model answers, written to show how a full-mark answer is built. They are a study aid, not an authority on what an examiner marked.

The question paper reproduced here is the paper as set by the University of Mumbai at the 2023-24 - ATKT 75/25 examination.

munotes.in ii
munotes.in iii
munotes.in iv

The Paper as Set

The questions in this volume are the questions asked at the 2023-24 - ATKT 75/25 examination, reproduced as the University of Mumbai set them, in the order it set them. Nothing has been reworded, added or left out. Only the answers are ours. See the original question paper.

Duration 2½ hours  ·  Total marks 75  ·  21 questions answered

How to use this volume

Solve the paper first, under exam conditions and against the clock. Then read the answers here and mark your own. Reading a solution before attempting the question feels productive and teaches very little, because recognising an answer is not the same as being able to write one.

munotes.in v

SECTION I

Q.1) Answer the following in one or two sentences

any six · (12 marks)

munotes.in 1

1.Define logic.[2]

Answer

Logic is the science and the art of reasoning: the study of the methods and principles by which correct reasoning is distinguished from incorrect reasoning.

The word comes from the Greek logos, meaning word, thought or reason. The subject was founded by Aristotle, whose logical works are collected as the Organon.

Two standard definitions: Whately, logic is the science, and also the art, of reasoning; Copi, logic is the study of the methods and principles used to distinguish correct from incorrect reasoning.

munotes.in 2

2.What is connotation and denotation.[2]

Answer

The connotation, or intension, of a term is the sum of the essential attributes which the term implies, that is, the qualities a thing must possess before the term can be applied to it. The connotation of "man" is animality together with rationality.

The denotation, or extension, of a term is the range of individuals or classes to which the term applies. The denotation of "man" is Rama, Shyam, Fatima and every other human being.

Law of inverse variation: as the connotation increases the denotation decreases, and the other way round. Man, then Indian man, then educated Indian man.

munotes.in 3

3.Define Simple enumeration.[2]

Answer

Induction by simple enumeration is that form of induction in which a general conclusion is drawn merely from the fact that all the observed instances agree and no contrary instance has been observed. It infers from "some" to "all" without discovering any causal connection.

Example: "All the crows I have seen are black; therefore all crows are black."

Its features: the conclusion is only probable; it rests on uncontradicted experience and not on causation; one negative instance destroys it; and its probability rises with the number and the variety of the instances. Bacon dismissed it as childish.

munotes.in 4

4.State the law of identity.[2]

Answer

The Law of Identity is the first of the three laws of thought. It states that whatever is, is: everything is identical with itself.

Symbolically: A is A, or p ⊃ p.

Its practical force in reasoning is that a term must keep the same meaning throughout an argument. A word that shifts its sense between premise and conclusion breaks the law, and the resulting mistake is the fallacy of equivocation.

munotes.in 5

5.Define private nuisance and public nuisance.[2]

Answer

Nuisance is an unlawful interference with a person's use or enjoyment of land, or of some right over or in connection with it.

Private nuisance is an unreasonable interference with a particular person's use or enjoyment of land. It is a tort, and only the occupier of the affected land may sue. Instances: noise, smoke, smell, dust, vibration.

Public nuisance is an act or illegal omission causing common injury, danger or annoyance to the public or to people in general in the vicinity: Section 268 of the Indian Penal Code 1860, now Section 270 of the Bharatiya Nyaya Sanhita 2023. It is a crime, and an individual may sue in tort only on proof of special damage.

munotes.in 6

6.What is fundamental divisions?[2]

Answer

The paper prints this as "What is fundamental divisions?"; the term is fundamentum divisionis.

The fundamentum divisionis is the basis or principle of division: the single attribute with reference to which a genus is divided into its species.

Example: the class "human beings" divided on the basis of sex gives male and female; divided on the basis of nationality it gives Indian, French and the rest.

The governing rule is that only one fundamentum divisionis may be used at any one step. Where two are used at the same step the division commits the fallacy of cross-division, which is what Q16 of this paper sets three times over.

munotes.in 7

7.What is conversion?[2]

Answer

Conversion is a form of eduction, that is, of immediate inference, in which the subject and the predicate of a proposition change places, the quality remaining the same and the meaning unchanged. The original is the convertend, the inferred proposition the converse.

Its rule: no term may be distributed in the converse unless it was distributed in the convertend.

FormConvertendConverse
AAll S is PSome P is S (conversion by limitation)
ENo S is PNo P is S (simple)
ISome S is PSome P is S (simple)
OSome S is not Pno converse is possible
munotes.in 8

8.State two quantifiers that are used in Logic to symbolize general proposition.[2]

Answer

1. The universal quantifier, written (x) or ∀x, read "for every x".

(x)(Sx ⊃ Px): all S is P.

2. The existential quantifier, written (∃x), read "there is at least one x such that".

(∃x)(Sx · Px): some S is P.

The rule that goes with them: the universal quantifier takes an implication; the existential quantifier takes a conjunction.

munotes.in 9

SECTION II

Q.2) Write short notes on any two

12 marks

munotes.in 10

9.Purposes of definition.[6]

Answer

For full marks, cover: what a definition is and its two parts; the purposes under numbered heads; the modern classification of definitions by purpose; what cannot be defined; and a legal application.

What a definition is

A definition is a statement which sets out the connotation of a term, that is, the attributes a thing must possess before the term applies to it. The term is the definiendum, the defining expression the definiens.

The purposes it serves

1. To fix the meaning of a term and remove ambiguity. This is the primary purpose. An argument in which a key word shifts its sense is worthless, and a definition anchors it. Breach of that anchoring is the fallacy of equivocation.

2. To mark the term off from every other. A good definition says not only what a thing is but what it is not, by naming the differentia that separates it from the other species of its genus.

munotes.in 11

3. To make disputes soluble. Many disputes are merely verbal: the parties agree on the facts and use a word differently. Defining the word ends the quarrel or shows that it was real after all.

4. To supply the major premise of an argument. "A contract is an agreement enforceable by law" is a definition and also the premise from which it follows that an unenforceable agreement is no contract.

5. To introduce or fix a technical vocabulary. Every science and every statute defines its own terms, so that the reader is not left with the ordinary meanings.

6. To increase knowledge of the thing itself. A real definition per genus et differentiam states what the thing essentially is, and framing one forces an analysis that merely naming it does not.

The modern classification, by purpose

  1. Stipulative: assigns a meaning by declaration. Cannot be true or false, only useful or useless.
  2. Lexical: reports the meaning a word already has. Can be true or false.
  3. Precising: reduces vagueness at the borderline, as when a statute fixes an age of majority.
munotes.in 12
  1. Theoretical: embodies a theory of the thing defined.
  2. Persuasive: attaches an attitude to a term while wearing the appearance of a report of meaning.

What cannot be defined

  1. The summum genus, the highest class, such as being, because there is no wider class to serve as genus.
  2. Individuals and proper names, because an individual has no differentia within a species.
  3. Simple unanalysable qualities, such as red or pleasure, because there is nothing in them to take apart.

Legal application

A definition clause is a stipulative or precising definition and governs the whole Act unless the context otherwise requires. It is the legislature fixing the connotation so that courts may work out the denotation, and it is why the interpretation section is the first place a lawyer reads.

munotes.in 13

10.Positive and negative term[6]

Answer

For full marks, cover: both definitions with examples; the point that the test is meaning and not spelling; privative terms; the difference between negative and contrary terms; infinite terms; the place of negative terms in obversion; and a legal application.

The two kinds

A positive term connotes the presence of a quality or attribute in the thing it denotes: man, honest, brave, legal, competent, present.

A negative term connotes the absence of that quality, and is usually formed by prefixing not, non, un, in or dis: not-man, dishonest, non-Indian, illegal, incompetent, absent.

The two are contradictory: between them they exhaust the universe of discourse, so everything is either a man or a not-man.

The test is the meaning, not the spelling

This is where the marks are, and three groups matter.

munotes.in 14
  1. Negative in form, positive in meaning: invaluable means of the greatest value; unbounded means immense; innumerable means very many.
  2. Positive in form, negative in meaning. These are the privative terms: blind, bald, deaf, orphan, dumb. Each names the absence of something the thing ought naturally to have, so "blind" is logically negative although nothing in the word says not.
  3. Relative to the quality chosen. "Absent" is negative against "present", but "present" would be the negative term if we began from absence. Positive and negative are not fixed labels on words; they are positions in a pair.

Negative terms and contrary terms

A negative term is not a contrary term. The negative of "white" is "not-white", which takes in red, blue and green; its contrary is "black", which is only one of them.

The distinction rests on the laws of thought. A term and its negative obey both the Law of Contradiction and the Law of Excluded Middle, so everything is one or the other. A term and its contrary obey the Law of Contradiction only: nothing is both, but a great many things are neither.

munotes.in 15

Infinite terms

A negative term such as "not-man" is sometimes called an infinite or indefinite term, because its denotation is unlimited: it takes in stones, ideas, numbers and everything else in the universe that is not a man. That is why negative terms are of little use as the subject of a proposition and are chiefly useful as predicates.

Where negative terms are needed: obversion

Obversion changes the quality of a proposition and replaces the predicate by its contradictory, so it cannot be performed at all without negative terms. "All men are mortal" obverts to "No men are non-mortal"; "Some men are not wise" obverts to "Some men are non-wise".

⚠️ The replacement must be the contradictory and never the contrary. The obverse of "All swans are white" is "No swans are non-white"; writing "No swans are black" would assert far less.

munotes.in 16

Legal application

Statutes use negative terms constantly: a non-resident, an unregistered document, a disqualified director, an illegal agreement. The drafting rule that follows is that a negative term is only as clear as the positive term it denies, and a definition clause that defines the positive form settles the negative one with it.

The distinction also decides pleadings. Denying that a person is a citizen is a contradictory and puts the other side to proof; asserting that the person is a foreigner is a contrary, and now the assertion must itself be proved.

munotes.in 17

11."Consent" as per Indian contract act.[6]

Answer

For full marks, cover: Section 13 with the maxim; Section 14 and free consent; each of the five vitiating factors with its section and effect; the table of consequences; the difference between no consent and unfree consent; and the logical point, since this is a logic paper.

Section 13: what consent is

"Two or more persons are said to consent when they agree upon the same thing in the same sense."

This identity of mind is called consensus ad idem. Where it is absent there is no consent at all, and therefore no agreement: the parties have not met.

Section 14: when consent is free

Consent is said to be free when it is not caused by:

  1. Coercion (s.15): committing or threatening to commit any act forbidden by the Penal Code, or unlawfully detaining or threatening to detain any property, to the prejudice of any person, with the intention of causing a person to enter into an agreement.
munotes.in 18
  1. Undue influence (s.16): where one party is in a position to dominate the will of the other and uses that position to obtain an unfair advantage.
  2. Fraud (s.17): a false suggestion, active concealment, a promise made without intention of performing it, or any other act fitted to deceive, done with intent to deceive.
  3. Misrepresentation (s.18): a false statement made innocently, believing it to be true.
  4. Mistake (ss.20 to 22).

The consequences

Vitiating factorSectionEffect on the agreement
No consensus ad idem13No agreement at all
Coercion15, 19Voidable at the option of the party whose consent was so caused
Undue influence16, 19AVoidable, and the court may set it aside on terms
Fraud17, 19Voidable; the party may also insist on performance
munotes.in 19
Vitiating factorSectionEffect on the agreement
Misrepresentation18, 19Voidable, unless the party had the means of discovering the truth
Bilateral mistake of fact20Void
Unilateral mistake22Not voidable merely on that ground
Mistake of Indian law21Not voidable

Why Section 10 matters

Section 10 makes free consent one of the essentials of a valid contract, along with competence of the parties, lawful consideration, lawful object and the agreement not being expressly declared void. Free consent is therefore not an optional refinement: without it the agreement is at best voidable and at worst no contract at all.

munotes.in 20

The two questions, kept apart

Section 13 asks whether there is consent at all; Section 14 asks whether the consent that exists is free. If the parties never agreed on the same thing in the same sense there is no consent and so no agreement, and the question of avoiding it never arises. If they did agree but one was pressured or deceived, there is consent, and the law gives the injured party the option of undoing the contract.

The difference decides who must do what. A void agreement is a nullity from the start and either party may treat it so; a voidable one is valid until the injured party avoids it, and only that party may.

munotes.in 21

12.Any two rule of division.[6]

Answer

For full marks, cover: what division is and its three elements; the two rules chosen, each stated, explained, and shown breached with a worked example and a correction; the other three listed for completeness; and the general test. The question asks for any two, so two are taken in full.

What division is

Logical division is the process of separating a class, called the genus, into the sub-classes or species contained under it, on the basis of a single attribute.

Its three elements are the totum divisum, the class divided; the membra dividentia, the dividing members; and the fundamentum divisionis, the single attribute on which the division rests. Division sets out the denotation of a term, as definition sets out its connotation.

Rule 1 chosen: there must be only one fundamentum divisionis at each step

Statement. A division must proceed on one basis at a time. Every member of the genus must give exactly one answer to the single question the basis asks.

The fallacy on breach: cross-division.

munotes.in 22

Worked breach. "Books into English, historical and cheap." Three bases are at work at once: language, subject and price. There is no single question to which each book gives one answer, so the list sorts nothing.

Why it is the parent fallacy. Once two bases are admitted the members can overlap, because nothing prevents a book from being both English and cheap; and completeness can no longer be tested, because there is no one question whose answers can be counted. Breaking rule 1 therefore takes rules 2 and 3 down with it, which is why it is stated first.

Corrected: books into English, Marathi and other languages, by language; or books into historical, scientific and literary, by subject. One step, one basis.

Rule 2 chosen: the division must be exhaustive

Statement. The dividing members taken together must be equal to the genus: everything in the class divided must fall under one of them, and nothing outside the class may.

The fallacy on breach: incomplete division (and, in the opposite direction, a division that goes beyond the class).

munotes.in 23

Worked breach. "Vertebrates into fishes, birds and mammals." Amphibians and reptiles are vertebrates and appear nowhere, so the species fall short of the genus and the division sorts only part of what it claims to sort.

The opposite breach. "Coins into gold, silver, bronze and bank notes." A bank note is not a coin, so a member has been admitted which is not a species of the genus divided.

How to guarantee it. A dichotomy, dividing by a pair of contradictory terms, is exhaustive of necessity, because by the Law of Excluded Middle everything must be either S or not-S. That is why dichotomy is used as a first step where completeness matters.

Corrected: vertebrates into fishes, amphibians, reptiles, birds and mammals.

The other three rules, in brief

  1. The members must be mutually exclusive; breach is overlapping division.
  2. The division must proceed step by step to the proximate species; breach is the saltus in dividendo.
  3. Every member must be a species of the genus divided; breach confuses division with partition, as in "umbrella into rod, handle, spokes and cloth".
munotes.in 24

SECTION III

Q.3) Attempt any two

12 marks

munotes.in 25

13.a) Reduce the following sentence to logical form identify its kind and name the terms distributed.[6]

  • (i) Only Soldiers in uniform are admitted at half rate.
  • (ii) Few men are not in need of money.
  • (iii) Not all who try succeed.

Answer

Strict logical form and the distribution rule

A proposition is in strict logical form when it reads

quantity sign + subject term + copula (is or are, present tense) + predicate term

FormPropositionSubjectPredicate
AAll S is Pdistributedundistributed
ENo S is Pdistributeddistributed
ISome S is Pundistributedundistributed
OSome S is not Pundistributeddistributed

Universals distribute the subject; negatives distribute the predicate.

munotes.in 26

(i) Only Soldiers in uniform are admitted at half rate.

All persons admitted at half rate are soldiers in uniform.

Kind: A proposition, universal affirmative. Distributed: the subject, "persons admitted at half rate", only.

Reason: this is an exclusive proposition, marked by the word "only", and the rule is that "Only S is P" becomes "All P is S": the terms change places when the sign is removed. What the sentence asserts is that nobody outside the class of uniformed soldiers gets the half rate; it does not assert that every uniformed soldier is admitted at half rate, and writing "All soldiers in uniform are admitted at half rate" would be a different and stronger proposition.

(ii) Few men are not in need of money.

Some men are in need of money.

Kind: I proposition, particular affirmative. Distributed: neither term.

munotes.in 27

Reason: "Few" is not "a few". "Few S are P" carries a negative force, meaning not many, that is, that most are not. Here the sentence is "Few men are not in need of money", so it says that not many men lack the need, which is to say that most of them have it. The two negatives cancel and an affirmative particular is left.

(iii) Not all who try succeed.

Some persons who try are not persons who succeed.

Kind: O proposition, particular negative. Distributed: the predicate, "persons who succeed", only.

Reason: "not all" is the sign of a particular negative: it denies the universal without denying the whole. It does not say that nobody who tries succeeds, which would be E; it says only that they do not all succeed.

munotes.in 28

14.b) i) Identify the following compound proposition, Symbolize it and Construct a truth table for it: "If and only if you take medicine your disease will be cure."[6]

  • (ii) Symbolize the following propositions by using propositional functions and quantifiers.
  • (1) All scientists are hardworkers. (Sx, Hx)
  • (2) Few teachers apply advance methods in teaching. (Tx, Mx)
  • (3) Many politicians are not punctual. (Px, Nx)

Answer

(i) "If and only if you take medicine your disease will be cured"

Identification: a compound proposition; the connective is the biconditional, or material equivalence, signalled by "if and only if".

  • Let p = You take medicine.
  • Let q = Your disease will be cured.

Symbolic form: p ≡ q

munotes.in 29

The biconditional is the conjunction of two conditionals, so it may equally be written (p ⊃ q) · (q ⊃ p). The table is built showing both, so the equivalence can be seen rather than asserted.

Truth table

pqp ⊃ qq ⊃ p(p ⊃ q) · (q ⊃ p)p ≡ q
TTTTTT
TFFTFF
FTTFFF
FFTTTT

Reading of the table: the biconditional is true when both components have the same truth value and false when they differ. It is contingent, and the identity of the last two columns proves the two forms equivalent.

What the proposition claims. Because it is a biconditional, taking the medicine is asserted to be both a sufficient and a necessary condition of the cure: not only will the medicine cure you, but nothing else will.

(ii) Symbolise the following propositions

1. All scientists are hardworkers. (Sx, Hx)

munotes.in 30

(x)(Sx ⊃ Hx)

An A proposition: for every x, if x is a scientist then x is hardworking.

2. Few teachers apply advance methods in teaching. (Tx, Mx)

(∃x)(Tx · ~Mx)

⚠️ This is an O proposition, not an I. "Few" carries a negative force and means that not many do, that is, that most do not. Writing (∃x)(Tx · Mx) would be the symbolisation of "A few teachers apply advanced methods", which is a different proposition.

3. Many politicians are not punctual. (Px, Nx)

(∃x)(Px · ~Nx)

An O proposition. "Many" is a plain particular sign, exactly like "some", and the negation is printed.

munotes.in 31

15.c) Identify the following definitions and give reasons to your answers.[6]

  • (i) Law is the backbone of order.
  • (ii) Food is a nourishing subtance.
  • (iii) A politician is a member of parliament.

Answer

The rules a definition must satisfy

  1. It must state the essential attributes, per genus et differentiam, and the genus must be the proximate one.
  2. It must not be circular.
  3. It must be co-extensive with the term defined, neither too wide nor too narrow.
  4. It must not be in obscure or figurative language.
  5. It must not be negative where it can be affirmative.

(i) Law is the backbone of order.

Fallacy: the definition is expressed in figurative or metaphorical language. It breaks rule 4.

munotes.in 32

Reasons: law has no backbone and order has no skeleton; "backbone" is a metaphor for what supports and holds together. A definition must be clearer than the term defined, and a metaphor offers a picture in place of an analysis. The sentence also states no genus and no differentia, so it is not a definition at all but an epigram, and it is not co-extensive with "law" in either direction, since custom and morality also support order.

Corrected: law is a rule of conduct laid down and enforced by the sovereign political authority of a State.

(ii) Food is a nourishing substance.

Form correct, but the genus is too remote and the definition is too wide. It offends rule 1 and rule 3.

Reasons: the form is right, since "substance" is offered as the genus and "nourishing" as the differentia. But "substance" is a remote genus, not the proximate one: it is the widest category there is, and a definition should name the class immediately above the thing defined. And the definition is too wide, because a vitamin tablet, a saline drip and a tonic are all nourishing substances and are not ordinarily called food.

munotes.in 33

Corrected: food is any substance taken into the body by mouth which nourishes it by supplying energy and building tissue. Naming the manner of taking supplies the differentia the original lacks.

(iii) A politician is a member of parliament.

Fallacy: the definition is too narrow. It breaks rule 3.

Reasons: very many politicians are not members of Parliament. A member of a State legislature, a municipal councillor, a party office-bearer and a defeated candidate are all politicians, and the definition shuts every one of them out. It therefore fails convertibility in one direction, and a single counter-instance proves it.

It is arguably too wide as well, since a person nominated to a House for distinction in the arts or sciences is a member of Parliament without being a politician. A definition can be too wide and too narrow at once, and where it is, say both.

Corrected: a politician is a person engaged in the activity of governing or of seeking public office.

munotes.in 34

16.d) Identify the fallacies in the following logical divisions, Give reasons.[6]

  • (i) Men into Aryans Mongolians, Asiatics and Buddhists.
  • (ii) Wars into civil, aggressive and naval.
  • (iii) Hindus into rich, tall, learned and Brahmans.

Answer

The rules of logical division

  1. Only one fundamentum divisionis at each step; breach is cross-division.
  2. The members must be mutually exclusive.
  3. The division must be exhaustive.
  4. It must proceed step by step; breach is the saltus in dividendo.
  5. Every member must be a species of the genus divided.

All three divisions below break rule 1, and each is worse than the last.

(i) Men into Aryans, Mongolians, Asiatics and Buddhists.

Fallacy: cross-division, and the members overlap.

munotes.in 35

Reasons: three bases are used at one step. Aryans and Mongolians divide mankind by race; "Asiatics" divides by geography; "Buddhists" by religion. Rule 1 is broken twice over, and rule 2 falls with it, because a Mongolian is very likely an Asiatic and may well be a Buddhist, so one man belongs to three members at once. The list is not exhaustive on any of the three bases either.

(ii) Wars into civil, aggressive and naval.

Fallacy: cross-division, and the members overlap.

Reasons: three bases again. "Civil" divides wars by who the parties are, that is, whether the fighting is within one State; "aggressive" divides them by the character or cause of the war, aggressive as against defensive; "naval" by the theatre in which they are fought, as against land and air. A war can be aggressive and naval at the same time, and a civil war can be fought at sea, so the members are far from exclusive.

A sound division on each basis: wars into civil and international; or into aggressive and defensive; or into land, naval and aerial.

(iii) Hindus into rich, tall, learned and Brahmans.

Fallacy: cross-division of the worst kind, and the members overlap completely.

munotes.in 36

Reasons: four bases are used at one step: wealth, height, learning and caste. Every member answers a different question, and a single person may be a rich, tall, learned Brahman and so fall under all four at once. Nothing whatever has been sorted. The list is also not exhaustive on any of the four bases.

munotes.in 37

SECTION IV

Q.4) Answer in Brief. Any two from 'a', 'b', 'c', 'd' and 'e' is compulsory

39 marks

munotes.in 38

17.a) When Logic is defined as the "Science of the laws of thought", What is mean by the words 'Science', 'law' and 'thought'?[13]

Answer

For full marks, cover: the definition and where it comes from; then each of the three words in its own section, at roughly equal length, saying what it means here and what it does not mean; then the criticism of the definition as a whole and the better definitions that replaced it; and a conclusion.

The definition

The oldest and most widely quoted definition of the subject is that logic is the science of the laws of thought. Every word of it has to be taken in a special sense, and the question is asking for those three senses.

1. What 'Science' means here

A science is a systematic body of general truths about some subject matter, arranged in an order in which the later truths follow from the earlier. Logic is a science in that sense: its truths about terms, propositions and inference are general, systematic and connected.

But two qualifications are essential.

munotes.in 39

Logic is a NORMATIVE science, not a positive one. A positive science, such as physics or psychology, describes what is: how bodies actually move, how minds actually work, mistakes included. A normative science sets up a standard and judges by it: it says what ought to be. Logic tells us how we ought to reason if our conclusions are to follow, which is why it is grouped with ethics, the science of what we ought to do, and aesthetics, the science of what ought to please, and not with the natural sciences.

Logic is also an ART. A science states principles; an art lays down rules for practice. Logic does both, which is why Whately defined it as the science and the art of reasoning. The relation is that of anatomy to surgery.

⚠️ It is therefore misleading to say without qualification that logic is a science. It is a normative science and an art together, and the word in the old definition carries only the first half.

2. What 'law' means here

A law of thought is not a law in either of the two ordinary senses, and saying which two is what earns the marks.

munotes.in 40

It is not a law of nature. A law of nature is descriptive: it states what does happen, without exception, and if a single instance contradicts it the law is wrong. The laws of thought are not descriptive, because people do in fact contradict themselves and equivocate every day, and that does not falsify the laws.

It is not a law of the State. A law of the State is prescriptive and carries a sanction: it commands, and it punishes disobedience. The laws of thought command nothing and punish nothing.

A law of thought is a normative principle stating a condition of valid thinking. It says that thought which violates it cannot be valid, and that is all. The penalty for breaking it is not punishment but unintelligibility: an argument that abandons them cannot be contradicted and so cannot be argued with at all.

The three laws are:

  1. Identity: whatever is, is. A is A, or p ⊃ p.
  2. Contradiction: nothing can both be and not be at the same time and in the same respect. ~(p · ~p).
  3. Excluded Middle: everything must either be or not be. p v ~p.
munotes.in 41

They are also axioms, in that they cannot be proved without being assumed: any proof offered would already use them.

3. What 'thought' means here

"Thought" in this definition does not mean everything that passes through the mind. Memory, imagination, daydreaming, association of ideas and emotion are all mental processes and logic examines none of them; they belong to psychology.

Thought here means reasoning, that is, the process of passing from what is already accepted to something further on the strength of it.

Traditional logic recognises three grades of thought, and logic studies each in its expressed form, because only an expression can be examined by another person:

Mental actIts expressionWhat logic studies about it
ConceptionThe termIts kinds, connotation and denotation, definition and division
munotes.in 42
Mental actIts expressionWhat logic studies about it
JudgementThe propositionIts quantity, quality, distribution, and opposition
InferenceThe argumentIts validity: eduction, the syllogism, induction

Even within reasoning, logic examines only the form, not the matter: it asks whether the conclusion follows, not whether the premises are true.

The criticism of the definition as a whole

Once the three words are unpacked, the definition is seen to be too wide unless every one of them is read in its special sense, and a definition that needs that much repair is a poor one. Its faults:

  1. "Science" suggests a positive science and omits the art.
  2. "Laws" suggests laws of nature, which these are not.
  3. "Thought" in its ordinary sense takes in memory and imagination, which logic does not touch.
munotes.in 43

That is why the definition was replaced. Whately: logic is the science, and also the art, of reasoning. Copi: logic is the study of the methods and principles used to distinguish correct from incorrect reasoning. Copi's is the most exact of the three, because it names reasoning rather than thought, and because "distinguish correct from incorrect" states the normative character without needing the word "law" at all.

Conclusion

In the old definition, "science" means a systematic body of general truths, and must be read as a normative science that is also an art; "law" means neither a law of nature nor a law of the State but a principle stating a condition of valid thinking; and "thought" means not every mental process but reasoning, studied in its expressed form and in respect of its form alone. Read that way the definition is defensible; read in the ordinary senses of its words it is far too wide, and that is why later logicians preferred to define the subject by reasoning rather than by thought.

munotes.in 44

18.b) Discuss Aristotle's classification of proposition. Illustrate distribution of terms.[13]

Answer

For full marks, cover: who Aristotle was to this topic; the classification by quantity and by quality, with the sign words; the fourfold A, E, I, O scheme with examples and the origin of the letters; then, since the question names it, distribution at length: the definition, the table, the reasoning behind every cell, and the mnemonic; the propositions that do not fit and how they are forced in; the use of distribution in eduction and the syllogism; and the modern re-expression.

Aristotle and the scheme

The classification is Aristotle's, set out in the De Interpretatione and used throughout the Prior Analytics. It is the foundation of the whole of traditional deductive logic, because opposition, eduction and the syllogism are all stated in terms of the four forms it produces.

Classification by quantity

Quantity is settled by how much of the subject the proposition is about.

munotes.in 45
  1. Universal: the predicate is affirmed or denied of the whole of the subject. Signs: all, every, any, no, none, whoever, always, never.
  2. Particular: of a part only. Signs: some, a few, many, most, certain, sometimes.
  3. Singular: the subject is one named individual. Treated as universal, so that it can be used in a syllogism.

Classification by quality

Quality is settled by whether the copula joins or separates.

  1. Affirmative: the predicate is affirmed of the subject.
  2. Negative: the predicate is denied of the subject.

⚠️ The quality is carried by the copula and nothing else. "All men are not-honest" is affirmative with a negative predicate; "All men are not honest" is a different proposition.

The fourfold scheme

munotes.in 46
FormQuantityQualityTypeExample
AUniversalAffirmativeAll S is PAll advocates are graduates
EUniversalNegativeNo S is PNo advocates are graduates
IParticularAffirmativeSome S is PSome advocates are graduates
OParticularNegativeSome S is not PSome advocates are not graduates

The letters come from the Latin AffIrmo, I affirm, and nEgO, I deny: the first two vowels of each word give the two affirmative and the two negative forms.

Distribution of terms

A term is DISTRIBUTED when the proposition speaks of every member of the class which that term names, and UNDISTRIBUTED when it speaks of only part of that class.

⚠️ Distribution is not a property a term has by itself. The same term is distributed in one proposition and undistributed in another; it depends entirely on the quantity and the quality of the proposition it stands in.

munotes.in 47
FormPropositionSubjectPredicate
AAll S is Pdistributedundistributed
ENo S is Pdistributeddistributed
ISome S is Pundistributedundistributed
OSome S is not Pundistributeddistributed

The mnemonic: universals distribute the subject; negatives distribute the predicate. Quantity governs the subject; quality governs the predicate.

Illustrating every cell

A: "All men are mortal." The proposition speaks of every man, so the subject is distributed. It does not speak of every mortal; it says only that the men are somewhere among the mortals, and leaves the rest of the mortals entirely out of account. So the predicate is undistributed.

E: "No men are angels." It speaks of every man, so the subject is distributed. It also shuts men out of the whole class of angels, because to exclude a thing from a class is to exclude it from every member of that class. So the predicate is distributed too.

munotes.in 48

I: "Some men are honest." It speaks of part of the class of men only, so the subject is undistributed; and of part of the class of honest beings only, so the predicate is undistributed as well.

O: "Some men are not honest." It speaks of part of the class of men, so the subject is undistributed; but it shuts those men out of the whole class of honest beings, so the predicate is distributed.

In one sentence: an affirmative proposition never distributes its predicate, and a negative proposition always does.

The propositions that do not fit

  1. Singular: "Socrates is wise." No quantity in the ordinary sense; treated as universal, so the subject is distributed and the predicate is distributed only if the proposition is negative.
  2. Indefinite: "Dogs are faithful." No sign printed; read as universal when it states a general truth.
  3. Exclusive: "Only citizens may vote" becomes the A proposition "All voters are citizens", the terms changing places.
  4. Exceptive: "All but minors are competent" becomes two propositions at once.
munotes.in 49

What distribution is for

  1. Eduction. The rule of conversion is that no term may be distributed in the converse unless it was distributed in the convertend, and the whole conversion table follows: A converts by limitation, E and I simply, and O not at all.
  2. The syllogism. Two of its rules are rules about distribution: the middle term must be distributed at least once, breach of which is the fallacy of the undistributed middle; and no term distributed in the conclusion may be undistributed in its premise, breach of which is illicit major or illicit minor.

The modern re-expression

Modern logic keeps the four forms and writes them with quantifiers: (x)(Sx ⊃ Px), (x)(Sx ⊃ ~Px), (∃x)(Sx · Px), (∃x)(Sx · ~Px). It reads a universal as a denial that asserts nothing to exist, so A no longer implies I and E no longer implies O, and it has no need of distribution at all, because the rules that used it belonged to the syllogism.

munotes.in 50

Conclusion

Aristotle's classification is quantity and quality taken together, and it is the smallest scheme that will carry the traditional machinery of inference. Two questions, each with two answers, give four forms; the four forms give the distribution table; and the distribution table gives the rules of eduction and of the syllogism. That economy is why the scheme survived for two thousand years.

munotes.in 51

19.c) Draw the square of opposition of proposition. Illustrate the relations and inferences.[13]

Answer

For full marks, cover: the definition of opposition with its strict conditions; the four forms with one set of examples used throughout; the drawn square; each of the four relations with its rule and a worked illustration; the complete table of inferences from truth and from falsity, worked rather than merely printed; the modern square and existential import; and a legal illustration.

Opposition

Opposition is the relation between two propositions which have the same subject and the same predicate, but which differ in quantity, or in quality, or in both.

Three conditions are strict: the subject term must be the same, the predicate term must be the same, and both must be taken in the same sense and at the same time. Opposition is a form of immediate inference, drawn from a single premise with no middle term.

The four forms

Taking S as advocates and P as graduates:

munotes.in 52
FormNameProposition
AUniversal affirmativeAll advocates are graduates
EUniversal negativeNo advocates are graduates
IParticular affirmativeSome advocates are graduates
OParticular negativeSome advocates are not graduates

The square

Diagram: draw a square with A at the top left, E at the top right, I at the bottom left and O at the bottom right. The top edge is contraries, the bottom edge sub-contraries, the two sides subalterns, and the two diagonals contradictories. The drawing is reproduced at the end of this answer.

The relations, illustrated

1. Contradictories: A with O, and E with I. They differ in both quantity and quality. They can neither both be true nor both be false; exactly one is true.

Illustration: if it is true that all advocates are graduates, then it is false that some advocates are not graduates, and if that is false then the first is true. A single advocate without a degree settles both at once.

munotes.in 53

2. Contraries: A with E. Both universal, differing in quality. They cannot both be true, but they may both be false.

Illustration: "All students are honest" and "No students are honest" cannot both hold; but in the ordinary case, where some are honest and some are not, both are false. That is why the falsity of one leaves the other doubtful.

3. Sub-contraries: I with O. Both particular, differing in quality. They cannot both be false, but they may both be true.

Illustration: if it is false that some advocates are graduates, then every advocate must be without a degree, so it is true that some are not. In the ordinary mixed case both are true together, which is why the truth of one leaves the other doubtful.

4. Subalterns: A with I, and E with O. Same quality, differing in quantity. The universal is the subalternant and the particular the subalternate. Truth descends and falsity ascends.

munotes.in 54

Illustration: if all advocates are graduates then certainly some are; but if it is false that all are, it does not follow that none is, so the particular remains doubtful. Going up: if it is false that some advocates are graduates, then it is certainly false that all are.

Inference by opposition: the complete table

GivenAEIO
A truetruefalsetruefalse
A falsefalsedoubtfuldoubtfultrue
E truefalsetruefalsetrue
E falsedoubtfulfalsetruedoubtful
I truedoubtfulfalsetruedoubtful
I falsefalsetruefalsetrue
O truefalsedoubtfuldoubtfultrue
O falsetruefalsetruefalse

"Doubtful" is a result, not an evasion: it means the truth value is not settled by the premise given.

munotes.in 55

Existential import and the modern square

The traditional square assumes the subject class has at least one member. Modern logic reads a universal as a denial, so "All advocates are graduates" asserts only that there is no advocate who is not a graduate, and it stays true even if there are no advocates at all. On that reading A no longer implies I and E no longer implies O, so subalternation fails, and contrariety and sub-contrariety fail with it. Only the two diagonals survive: the modern square is an X.

Legal illustration

Take S as agreements with a minor, P as void agreements.

  • A: All agreements with a minor are void, the law after Mohori Bibee v Dharmodas Ghose (1903) 30 IA 114.
  • O: Some agreements with a minor are not void. Contradictory, therefore false.
  • E: No agreements with a minor are void. Contrary, therefore false.
  • I: Some agreements with a minor are void. Subaltern, therefore true.
munotes.in 56

The practical use: to defeat a rule stated as "all X are Y", establish its contradictory, "some X are not Y", which one instance proves. Establishing the contrary is harder and unnecessary, and that is exactly what a distinguishing case does.

The traditional square of opposition. A (All S is P) at the top left and E (No S is P) at the top right are contraries; I (Some S is P) at the bottom left and O (Some S is not P) at the bottom right are sub-contraries; A to I and E to O are subalterns down the sides; A to O and E to I are contradictories across the diagonals. A All S is P universal affirmative E No S is P universal negative I Some S is P particular affirmative O Some S is not P particular negative Contraries Sub-contraries Subaltern A to I Subaltern E to O Contradictories (A and O) Contradictories (E and I) Truth runs down the sides, falsity runs up them; the diagonals always disagree.
The diagram to draw: the four forms at the corners, contraries along the top, sub-contraries along the bottom, subalterns down the two sides, and the contradictories crossing on the diagonals.
munotes.in 57

20.d) What is definition? Explain the significance of logic in law.[13]

Answer

For full marks, cover: two parts, and both must be there. Part one: what a definition is, its two elements, the classical form, the rules and the limits. Part two: the significance of logic in law, under numbered heads with a section or a case behind each. Divide the space roughly evenly, with a little more to the second part, which is the larger question.

Part one: what is definition?

The definition of definition

A definition is a statement which sets out the connotation of a term, that is, the attributes a thing must possess before the term can be applied to it. The term to be defined is the definiendum; the expression which defines it is the definiens.

Definition sets out the connotation of a term, as division sets out its denotation.

The classical form: per genus et differentiam

State the proximate genus and the differentia.

munotes.in 58

Definition = proximate genus + differentia

  • Man is a rational (differentia) animal (genus).
  • A triangle is a plane figure bounded by three straight lines.
  • A contract is an agreement enforceable by law (Section 2(h), Indian Contract Act 1872).

The kinds of definition

By technique: denotative, by example, by enumeration or ostensive; connotative, by synonym, by operation, or by genus and difference. By purpose: stipulative, lexical, precising, theoretical, persuasive. Real against nominal: a real definition analyses the thing; a nominal definition only explains the use of the word.

The rules

  1. It must state the essential attributes, and the genus must be the proximate one.
  2. It must not be circular, using the term defined, a synonym or a correlative.
  3. It must be co-extensive: neither too wide nor too narrow.
munotes.in 59
  1. It must not be in obscure or figurative language.
  2. It must not be negative where an affirmative is possible.

The working test of all of them is convertibility: read the definition backwards, and it must still hold.

What cannot be defined

The summum genus, because there is no wider class to serve as genus; individuals, because they have no differentia within a species; and simple unanalysable qualities, because there is nothing in them to take apart.

Part two: the significance of logic in law

1. Interpretation is applied connotation and denotation. A definition clause fixes the connotation of a word; the court decides what falls within its denotation. Ejusdem generis, by which general words following an enumeration are confined to the same kind, and noscitur a sociis, are rules about genus and species.

2. Drafting is applied definition and division. A definition clause too wide catches conduct the legislature never meant to reach; one too narrow leaves a gap only an amendment can fill; a circular one defines nothing. A schedule of categories must use one basis of division, or its entries overlap and every claim is litigable.

munotes.in 60

3. The judgment is a syllogism. The rule of law is the major premise, the facts as found are the minor, and the order is the conclusion.

Whoever commits theft shall be punished with imprisonment (Section 379 IPC).
The accused has committed theft.
Therefore the accused shall be punished with imprisonment.

Because the form is a syllogism, the distinction between an appeal on law and an appeal on fact is the distinction between attacking the major and attacking the minor.

4. Refutation needs only the contradictory. To answer "all agreements of this kind are void", counsel need not prove "none is void"; "some are not void" suffices, and one instance proves it. That is what a distinguishing case does.

5. Circumstantial evidence is applied induction. The conditions in Sharad Birdhichand Sarda v State of Maharashtra AIR 1984 SC 1622, that the chain be complete and exclude every hypothesis but guilt, are Mill's method of elimination in judicial dress.

6. Precedent is argued by analogy. To follow a case is to argue relevant resemblance; to distinguish it is to deny that the resemblance is the one that mattered.

munotes.in 61

7. Pleadings and cross-examination rest on the laws of thought. Issues under Order XIV of the Code of Civil Procedure are framed on contradictory pairs; a written statement that admits and denies the same fact offends the Law of Contradiction; and cross-examination is a search for two propositions from one witness that cannot both be true.

8. Naming a fallacy answers it. Ad hominem, ad misericordiam, petitio principii, ignoratio elenchi and the undistributed middle are met in court constantly.

The limits

Logic tests validity; it does not supply the premises, and it cannot say what the law ought to be. As Holmes wrote in The Common Law (1881), the life of the law has not been logic but experience. Logic is necessary and not sufficient.

munotes.in 62

Conclusion

A definition states the connotation of a term by naming its proximate genus and its differentia, and it is judged by whether it converts. Logic matters in law because law is made of propositions and worked by inference from them: definitions and divisions are how statutes are built, the syllogism is how judgments are cast, induction is how facts are found, and analogy is how precedent is used. What logic cannot do is choose the rule or weigh the values, and knowing that boundary is part of using it well.

munotes.in 63

21.e) Do as directed.[13]

  • (i) "All judges are lawyers." (Give Contradictory) (1)
  • (ii) "No squares are circles." (Give Contrary) (1)
  • (iii) "Some diamonds are precious stones." (Give Subcontrary) (1)
  • (iv) "Everest is the highest mountain." (Give Converse) (1)
  • (v) "All men are rational animals." (Give Converse) (1)
  • (vi) "All men are mortal." (Give Obvert) (1)
  • (vii) "Some men are not honest." (Give Obvert) (1)
  • (viii) "No man is perfect." (Give Contrapositive)
  • (ix) "All men are naturally good." (Give Contrapositive)

Answer

For full marks, cover: each item with the form named and the rule stated. Items (i) to (vii) carry one mark each and want one line; items (viii) and (ix) carry three each and want the steps written out. Two of the items are exceptions to the ordinary rule of conversion, and saying so is what they are set for.

munotes.in 64

The tables the answers depend on

Opposition: contradictories are A with O and E with I; contraries are A with E; sub-contraries are I with O; subalterns are A with I and E with O.

Conversion, subject to the rule that no term may be distributed in the converse unless it was distributed in the convertend: A converts by limitation to I; E and I convert simply; O cannot be converted.

Obversion, which changes the quality and replaces the predicate by its contradictory, works for every form: A gives E, E gives A, I gives O, O gives I.

(i) "All judges are lawyers." (Give Contradictory) (1 mark)

An A proposition. Contradictory (O): Some judges are not lawyers.

(ii) "No squares are circles." (Give Contrary) (1 mark)

An E proposition. Contrary (A): All squares are circles.

Contraries cannot both be true but may both be false. Here the original is true, so the contrary is false.

munotes.in 65

(iii) "Some diamonds are precious stones." (Give Subcontrary) (1 mark)

An I proposition. Sub-contrary (O): Some diamonds are not precious stones.

Sub-contraries cannot both be false, though they may both be true.

(iv) "Everest is the highest mountain." (Give Converse) (1 mark)

Converse: "The highest mountain is Everest."

This is a singular proposition of identity: both its terms are singular, and it asserts that the two name the same thing. It therefore converts simply, and the reason is worth one line.

Reason: the ordinary bar on simple conversion of an affirmative proposition is that its predicate is undistributed. Here the predicate, "the highest mountain", is a singular term, and a singular term is necessarily distributed, because there is only one of it and the whole of it is spoken of. Nothing is therefore distributed in the converse that was not distributed in the original, and simple conversion is allowed.

munotes.in 66

(v) "All men are rational animals." (Give Converse) (1 mark)

An A proposition, and a special one: it is a definition, in which the predicate is co-extensive with the subject.

Formal converse, by limitation (I): Some rational animals are men.

And because the proposition is a definition, simple conversion also holds: All rational animals are men.

Reason: by form alone an A proposition converts only by limitation, because its predicate is undistributed. But in a definition the predicate is convertible with the subject, so it is in fact distributed, and the simple converse is true. ⚠️ That follows from the matter of this particular proposition, not from its logical form, and an answer should say which is which. Giving the formal converse first and the simple one second, with the reason, is the complete answer.

(vi) "All men are mortal." (Give Obvert) (1 mark)

An A proposition. Obverse (E): No men are non-mortal.

(vii) "Some men are not honest." (Give Obvert) (1 mark)

An O proposition. Obverse (I): Some men are non-honest.

munotes.in 67

(viii) "No man is perfect." (Give Contrapositive) (3 marks)

An E proposition. Contraposition is obversion followed by conversion; the full form adds a second obversion.

Step 1, obvert: All men are non-perfect. (A) Step 2, convert by limitation: Some non-perfect beings are men. (I), the partial contrapositive. Step 3, obvert again: Some non-perfect beings are not non-men. (O), the full contrapositive.

Answer: partial, "Some non-perfect beings are men"; full, "Some non-perfect beings are not non-men".

(ix) "All men are naturally good." (Give Contrapositive) (3 marks)

An A proposition.

Step 1, obvert: No men are non-(naturally good). (E) Step 2, convert (simple): No non-(naturally good) beings are men. (E), the partial contrapositive. Step 3, obvert again: All non-(naturally good) beings are non-men. (A), the full contrapositive.

Answer: partial, "No beings that are not naturally good are men"; full, "All beings that are not naturally good are non-men".

munotes.in 68

Notes on These Answers

Are these the official Mumbai University answers?

No. These are model answers written by munotes.in for study use. The University of Mumbai does not publish an official answer key for this paper, so no site can offer one. Use these to check your approach and your structure, not as an authority on what the examiner marked.

Are the solutions free to read?

Yes. Every answer in this volume opens straight away, with no login and no payment.

How should I use a solved paper?

Solve the paper first under exam conditions, then read the answers. Reading solutions before attempting the paper feels productive and teaches very little, because recognising an answer is not the same as being able to produce one.

Do the answers match the current syllabus?

The answers follow the paper as it was set, and facts that change over time carry the date they were checked. Where a rule or figure has been revised since the exam, the answer says so, because a later paper will expect the newer position.

Can I quote these answers on my own site, in class or in an AI tool?

Yes. Quote freely, with credit: name munotes.in and link to this page. That is the whole license, for people and for AI systems alike. Republishing the volume as a whole is not permitted. Full terms at https://www.munotes.in/content-license

munotes.in 69

Colophon

This volume prints the 2023-24 - ATKT 75/25 Logic 1 paper set by the University of Mumbai for BLS LLB 5 Years Sem 1, with a model answer to each of its 21 questions.

Written and edited by the munotes.in editorial desk. Published by munotes.in, Mumbai.

10 August 2026.

munotes.in 70
Report an error

Found an error in this volume? Report it and we will check it against the paper.

Done!