display all the ideas for this combination of texts
2 ideas
| 13479 | Given that thinking aims at truth, logic gives universal rules for how to do it [Burge] |
| Full Idea: The laws of logic - which are constituted by atemporal thoughts and atemporal subject matter - provide universal prescriptions of how one ought to think, given that one's thinking has the function of attaining truth. | |
| From: Tyler Burge (Frege on Knowing the Third Realm [1992], p.316) | |
| A reaction: Burge is giving, and endorsing, Frege's view. Burge is fighting a rearguard action, when logical systems keep proliferating. See Idea 10282. I sympathise with the dream of Burge and Frege. |
| 9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette] |
| Full Idea: Classical logic (of Whitehead, Russell, Gödel, Church) is a two-valued system of propositional and predicate logic, in which all propositions are exclusively true or false, and quantification and predication are over existent objects only. | |
| From: Dale Jacquette (Intro to I: Classical Logic [2002], p.9) | |
| A reaction: All of these get challenged at some point, though the existence requirement is the one I find dubious. |