Use the Following Key to Determine Which of the Translations

use the following key to determine which of the translations of the given English argument to PL is best.
B: Brouwer is an intuitionist.
F: Frege is a logicist.
G: Gödel is a platonist.
H: Hilbert is a formalist.
-If Frege is a logicist, then Brouwer is an intuitionist. If Brouwer is an intuitionist, then Gödel is a platonist only if Hilbert is a formalist. Gödel is a platonist. Frege is a logicist. So, Hilbert is a formalist.

A) F ⊃ B B ⊃ (H ⊃ G)
G
F / H
B) F ⊃ B B ⊃ (G ⊃ H)
G
F / H
C) F ⊃ B B ⊃ (G ≡ H)
G
F / H
D) F ⊃ B (B ⊃ G) ⊃ H
G
F / H
E) F ⊃ B (B ⊃ H) ⊃ G
G
F / H

Correct Answer:

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Access For Free