display all the ideas for this combination of philosophers
2 ideas
| 17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
| Full Idea: A variable in a proposition of logic ....has the status of a mere auxiliary notion that is really inappropriate to the constant, 'eternal' essence of the propositions of logic. | |
| From: Moses Schönfinkel (Building Blocks of Mathematical Logic [1924], §1) | |
| A reaction: He presumably thinks that what the variables stand for (and he mentions 'argument places' and 'operators') will be included in the essence. My attention was caught by the thought that he takes logic to have an essence. |
| 9375 | Conventionalism agrees with realists that logic has truth values, but not over the source [Boghossian] |
| Full Idea: Conventualism is a factualist view: it presupposes that sentences of logic have truth values. It differs from a realist view in its conception of the source of those truth values, not on their existence. I call the denial of truths Non-Factualism. | |
| From: Paul Boghossian (Analyticity Reconsidered [1996], §III) | |
| A reaction: It barely seems to count as truth is we say 'p is true because we say so'. It is a truth about an agreement, not a truth about logic. Driving on the left isn't a truth about which side of the road is best. |