For tomorrow, think back about the questions we talked about last time. Have you changed your opinion about any of them in light of the discussion, or reading the Goldfarb paper?
(Especially think about:
1. What was Frege's goal when writing the concept script?
5. Is logic a branch of psychology? What do you think? What did Frege think?
7. Why might we want to axiomatize logic?
8. What is logic?)
Also have a think about the following questions:
1. What is the difference between what Goldfarb calls the modern conception of logic (schematic), and Freges conception of logic (universalist)?
2. Should logic have a truth predicate? Why/why not?
3. What is it to show that an inference is justified?
No comments:
Post a Comment