Mid Semester Exam 2020

Mid Semester Examination
PHI455: Philosophical Logic

HSS, IIT Kanpur
General Instructions: Read carefully each question. Fill in your with a pen and
circle the correct answer on paper as well. All your work must be done in these pages.
• You have up to 120 minutes.
• For each Wrong answer 0.25% marks will be deducted.
• Please ensure that you keep a copy of your rough work and save it somewhere
for future reference. Save it with the course number and and your roll number.
• Every item on the test awards 2 points for each correct answer, for a maximum
possible score of 60 points.
• Multiple choice questions may have more than one answer. Circle each of the
correct answer.
• Each Question in part-B consists of 5 marks each. For each wrong an-
swer(0.25%) 1.25 M will be deducted.
SIDE A
Part I. True or False Questions. 20M
1. The following argument is valid in K. It is possible that it is raining outside now and
that it is possible that PHI455 exam is easy implies that (both) it is raining and the
PHI455 exam is easy is possible.
A. True B. False
2. |=S5 □♢□♢♢□♢□ α ↔ □♢ α holds in S5 modal logic.

A. True B. False
3. If there are three people A, B and C . A says B is lying; B says C is lying; and C says
both A and B are lying, so C is telling the truth
A. True B. False
4. The well formed formula (wff), ♢ (p ∧ q) → □(¬p → q) is unsatisfiable in normal modal

logic.
A. True B. False
5. In any normal modal logic, ♢ distributes over ∧, that is ♢ (ϕ ∧ ψ) ≡ (♢ ϕ ∧ ♢ψ)

A. True B. False
6. The well formed formula □♢♢□ p is in contradiction with ♢□♢♢ ¬ p
A. True B. False
7. (p ∧ q) → ¬ p is a theorem of K.
A. True B. False
8. If the world w of a model M = {W, R, V } has no worlds accessible to it, then at w, every
formula is necessary, but none are possible. Hence, the following formula □□♢p is true
with respect to such a world.
A. True B. False
9. The following argument is valid in S: If Kangaroos had no tails, they would topple over.
Therefore, If kangaroos had no tails but used clutches, they would topple over.
A. True B. False
10. The following Well Formed Formula is valid in conditional logic C: ϕ > ψ |=C (ϕ →
ψ)
A. True B. False
Part II. Multiple Choice Questions
11. Which of the following statements are intensional statements.

A. Narendra Modi is the current Prime Minister of India.
B. The square root of 9 is 3.
C. Everyone who has read Huckleberry Finn knows that Mark Twain wrote it.
D. It is possible that Aristotle did not tutor Alexander the Great.
E. Aristotle was pleased that he had a sister.
F. Mark Twain wrote Huckleberry Finn.
G. None of the above.
12. Which of the following are well formed formulas in Modal Propositional Logic L:
A. ♢□♢♢p ∧ ∨♢(p → q)
B. (p → ♢□(r ∨ □ ⊤))
C. p ¬♢ ↔ ¬♢p ∨ q ∧ r
D. (□♢□♢♢ ↔ ¬□♢□♢♢(p ∨ q)) ∧ (p → (q → p))
E. none of the above
13. Which of the following statements are correct or well formed formulas that holds in S5.
A. ⊢S5? ♢□(♢ A → □♢ A)
B. □ (♢ A → ♢ B) ⊢S5? □♢A → ♢□B
C. ♢ ¬A ⊢S5? ¬ ♢A
D. □ (♢A ∨ ♢ B) ⊢S5? □♢ A ∨ □♢ B
14. Frame validity of □□♢□♢p ↔ ♢p is dependent on accessibility relation (R) to be

A. Symmetric
B. Reflexive, Symmetric and transitive
C. Reflexive and transitive
D. Symmetric and transitive
E. No constraints
F. None of the above
15. Which of the following conditional statements hold in both C1 and C2
1. p > p
2. (p ∧ q) → (p > q)
3. (p > q) ∨ ¬(p > q)
4. (p > q) → (p → q)
5. (p > q) → (¬ q > ¬ p)
A. 3
B. 3, 4
C. 1, 2, 4
D. None of the above
16. Imagine that there are three boxes that are presented to you. One contains gold, the
other two are empty. Each box has imprinted on it a clue as to its contents; the clues
are:
Page 2
1. Box 1: The gold is not here
2. Box 2: The gold is not here
3. Box 3 : The gold is in Box 2
Only one message is true; the other two are false. Which box has the gold?
A. Box 1
B. Box 2
C. Both Boxes
D. Nether of the Boxes
E. It cannot be determined
17. There once was a king in a far off island who read , in which a prisoner must choose
between two rooms, one containing a lady and the other a tiger. If he chooses the former,
the prisoner marries the lady; while if he chooses the latter, he (probably) gets eaten
by the tiger. The following signs placed on the two doors.There could be ladies in both
rooms, tigers in both rooms, or a lady in one room and a tiger in the other. Additionally,
the signs on the doors were either both true or both false.
1. D1: Either a lady is in this room, or a tiger is in the other room.

2. D2: A lady is in the other room.
A. Door 1
B. Either of these doors D1 ∨ D2
C. Door 2
D. Cant determine, Prisoner needs more information.
18. In the Kripke model {W, R, V }, Let W = {i, j, k, l}, R = {(i, j), (j, k), (k, l), (k, i)} and
V is a valuation function defined as follows: M, i |= p, q and M, j |= q M, k |= p,
M, l |= ∅ (emptyset). Which of the following formulas are valid in the model (You need
to check the truth of the formula under all worlds (i,j,k,l).
1. ♢ (p ∧ q) → ♢p ∧ ♢q.
2. ♢□ p ∨ ♢♢□p
3. □□♢ q
A. 1,2,3
B. 1,3
C. 2,3
D. 3
E. none of the above
Page 3
Part III. Rough Work
Page 4
Part III. Rough Work
Page 5
Part I11. Rough Work
Page 6

Mid Semester Exam 2020

Uploaded by

Copyright:

Available Formats

Mid Semester Exam 2020

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Mid Semester Exam 2020

Uploaded by

Copyright:

Available Formats

Mid Semester Examination

PHI455: Philosophical Logic

• You have up to 120 minutes.

• For each Wrong answer 0.25% marks will be deducted.

Part I. True or False Questions. 20M

2. |=S5 □♢□♢♢□♢□ α ↔ □♢ α holds in S5 modal logic.

4. The well formed formula (wff), ♢ (p ∧ q) → □(¬p → q) is unsatisfiable in normal modal

5. In any normal modal logic, ♢ distributes over ∧, that is ♢ (ϕ ∧ ψ) ≡ (♢ ϕ ∧ ♢ψ)

6. The well formed formula □♢♢□ p is in contradiction with ♢□♢♢ ¬ p

11. Which of the following statements are intensional statements.

14. Frame validity of □□♢□♢p ↔ ♢p is dependent on accessibility relation (R) to be

15. Which of the following conditional statements hold in both C1 and C2

1. D1: Either a lady is in this room, or a tiger is in the other room.

You might also like