Solved

Use the Following Key to Translate Each of the Given

Question 155

Short Answer

use the following key to translate each of the given arguments into symbols of PL.
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.

Correct Answer:

verifed

Verified

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

Related Questions